Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
Composition and Refinement for Partial Object Specifications
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Refinement and Continuous Behaviour
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Structuring and verifying distributed algorithms
Nordic Journal of Computing
A compositional formalism for object viewpoints
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Modular Design of Reactive Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A rigorous environment for development of concurrent systems
Nordic Journal of Computing
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Derivation of a Scalable Lock-Free Stack Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation Machines for Checking Action System Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Trace-based Derivation of a Lock-Free Queue Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Refinement and verification in component-based model-driven design
Science of Computer Programming
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Inheriting laws for processes with states
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A stepwise development process for reasoning about the reliability of real-time systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Stepwise development of simulink models using the refinement calculus framework
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Reactive probabilistic programs and refinement algebra
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Compositional action system derivation using enforced properties
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Synchronized architectures for adaptive systems
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Simulation refinement for concurrency verification
Science of Computer Programming
Completeness of fair ASM refinement
Science of Computer Programming
Composing Event-B specifications: case-study experience
SC'11 Proceedings of the 10th international conference on Software composition
Contract-based verification of simulink models
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Reasoning algebraically about probabilistic loops
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Formal specification of a protocol processor
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Continuous action system refinement
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
A Foundation for Refining Concurrent Objects
Fundamenta Informaticae
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
Deriving real-time action systems in a sampling logic
Science of Computer Programming
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
Hi-index | 0.00 |