ACM Transactions on Programming Languages and Systems (TOPLAS)
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
A refinement calculus for the synthesis of verified hardware descriptions in VHDL
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Compilation and Synthesis for Real-Time Embedded Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Unifying Theories of Parallel Programming
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Representing WP Semantics in Isabelle/ZF
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Weakest Precondition for General Recursive Programs Formalized in Coq
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
On the Semantics of Refinement Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Refinement and Temporal Annotations
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Deriving Software Specifications from Event Based Models
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Theory of Generalised Substitutions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Interpreting the B-Method in the Refinement Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
On Excusable and Inexcusable Failures
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A predicative semantics for real-time refinement
Programming methodology
Enhancing cleanroom techniques with refinement calculus
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
A class of synchronization systems that permit the use of large atomic blocks
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Techniques for the design of communicating processes
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Generating error traces from verification-condition counterexamples
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Software engineering as a model of understanding for learning and problem solving
Proceedings of the first international workshop on Computing education research
Software Refinement with Perfect Developer
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Acta Cybernetica
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Terms with unbounded demonic and angelic nondeterminacy
Science of Computer Programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Mechanised Refinement of Procedures
Electronic Notes in Theoretical Computer Science (ENTCS)
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming language elements for correctness proofs
Acta Cybernetica
Separation and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Security, Probability and Nearly Fair Coins in the Cryptographers' Café
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Intuitionistic refinement calculus
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Proceedings of the tenth international conference on Aspect-oriented software development
Proving Reachability in B using Substitution Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The challenge of probabilistic event B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Development via refinement in probabilistic b: foundation and case study
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Calculational derivation of algorithms on tree-based pointer structures
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
An iterator construct for the refinement calculus
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Recasting hoare and he's unifying theory of programs in the context of general correctness
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
An unbounded nondeterministic model for CSP-like Languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
A tool for logic program refinement
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Investigating miraculous specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
On exceptions, events and observer chains
Proceedings of the 12th annual international conference on Aspect-oriented software development
Set-theoretic models of computations
Theories of Programming and Formal Methods
Hi-index | 0.00 |