| Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. | 0 | 0.34 | 2021 |
| Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. | 2 | 0.39 | 2021 |
| Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. | 0 | 0.34 | 2017 |
| Rapid Prototyping of a Semantically Well Founded Circus Model Checker. | 4 | 0.38 | 2014 |
| Engineering UToPiA - Formal Semantics for CML. | 4 | 0.45 | 2014 |
| Unifying Theories of Logic and Specification. | 1 | 0.35 | 2013 |
| Unifying Theories of Programming in Isabelle | 6 | 0.50 | 2013 |
| Circus Time with Reactive Designs. | 7 | 0.56 | 2012 |
| Unifying Theories of Undefinedness in UTP. | 2 | 0.36 | 2012 |
| Features of CML: A formal modelling language for Systems of Systems | 36 | 1.55 | 2012 |
| Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures | 8 | 2.62 | 2010 |
| Considering Software Preservation | 0 | 0.34 | 2010 |
| Modelling and Implementing Complex Systems with Timebands | 1 | 0.38 | 2010 |
| A Timed Model of Circus with the Reactive Design Miracle | 7 | 0.51 | 2010 |
| A Chain Datatype in Z | 4 | 0.44 | 2009 |
| Towards a Methodology for Software Preservation | 5 | 0.99 | 2009 |
| Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings | 19 | 2.01 | 2008 |
| Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions | 51 | 4.55 | 2008 |
| Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings | 28 | 2.03 | 2007 |
| Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures | 3 | 0.37 | 2007 |
| Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 | 19 | 1.32 | 2007 |
| The Verification Grand Challenge | 14 | 1.40 | 2007 |
| Verified software grand challenge | 12 | 0.97 | 2006 |
| Unifying Program Refinement Calculi | 0 | 0.34 | 2005 |
| Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings | 37 | 2.58 | 2003 |
| Unifying Theories of Parallel Programming | 9 | 0.59 | 2002 |
| Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems | 0 | 0.34 | 2000 |
| When to Trust Mobile Objects: Access Control in the Jini(tm) Software System | 1 | 0.44 | 1999 |
| FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II | 47 | 13.97 | 1999 |
| On the Refinement and Simulation of Data Types and Processes | 36 | 1.85 | 1999 |
| An inconsistency in procedures, parameters, and substitution in the refinement calculus | 14 | 1.16 | 1999 |
| More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement | 40 | 2.38 | 1998 |
| Procedures and Recursion in the Refinement Calculus | 6 | 0.67 | 1998 |
| FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings | 38 | 8.97 | 1996 |
| Introduction to Special Section (Guest Editorial) | 1 | 0.34 | 1995 |
| FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings | 40 | 12.20 | 1993 |
| Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings | 24 | 7.12 | 1993 |
| Two Refinement Case Studies | 0 | 0.34 | 1991 |
| A Simpler Semantics for Z | 8 | 0.65 | 1990 |
