| Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. | 0 | 0.34 | 2019 |
| Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. | 0 | 0.34 | 2019 |
| Teaching Concurrency with the Disappearing Formal Method. | 0 | 0.34 | 2019 |
| A Notebook Format for the Holistic Design of Embedded Systems (Tool Paper). | 0 | 0.34 | 2018 |
| An object model for dynamic mixins. | 0 | 0.34 | 2018 |
| Refining Santa: An Exercise in Efficient Synchronization. | 0 | 0.34 | 2018 |
| An object model for a dynamic mixin based language. | 1 | 0.38 | 2016 |
| Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring. | 1 | 0.39 | 2015 |
| The safety of dynamic mixin composition | 2 | 0.43 | 2015 |
| Model-based WCET Analysis with Invariants. | 0 | 0.34 | 2015 |
| A Holistic Approach In Embedded System Development | 2 | 0.43 | 2015 |
| Using dynamic mixins to implement design patterns | 2 | 0.43 | 2014 |
| Verification and Code Generation for Timed Transitions in pCharts | 5 | 0.53 | 2014 |
| Finitary Fairness in Action Systems. | 0 | 0.34 | 2013 |
| On A New Notion Of Partial Refinement | 0 | 0.34 | 2013 |
| Correctness of intrusive data structures using mixins | 2 | 0.39 | 2013 |
| Verification rules for exception handling in eiffel | 0 | 0.34 | 2012 |
| An Algebraic Approach to Refinement with Fair Choice | 2 | 0.39 | 2008 |
| Verifying Statecharts with State Invariants | 10 | 0.73 | 2008 |
| FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings | 44 | 6.35 | 2006 |
| Verification and refinement with fine-grained action-based concurrent objects | 0 | 0.34 | 2005 |
| Exploring Tabular Verification and Refinement | 3 | 0.41 | 2003 |
| Concurrent Object-Oriented Programs: From Specification to Code | 3 | 0.40 | 2002 |
| Tabular Verification and Refinement | 0 | 0.34 | 2002 |
| Foundations of the Trace Assertion Method of Module Interface Specification | 20 | 1.45 | 2001 |
| On Guarded Commands with Fair Choice | 2 | 0.39 | 2000 |
| A Foundation for Refining Concurrent Objects | 4 | 0.51 | 2000 |
| Developing Components in the Presence of Re-entrance | 11 | 1.14 | 1999 |
| Graphical Design of Reactive Systems | 29 | 3.43 | 1998 |
| A Study of The Fragile Base Class Problem | 63 | 3.40 | 1998 |
| Formal Methods for Component Software: The Refinement Calculus Perspective | 12 | 1.01 | 1997 |
| The Fragile Base Class Problem and Its Impact on Component Systems | 4 | 0.68 | 1997 |
| Class Refinement and Interface Refinement in Object-Oriented Programs | 42 | 2.68 | 1997 |
| Action-Based Concurrency and Synchronization for Objects | 3 | 0.38 | 1997 |
| A Theory of Prioritizing Composition | 27 | 1.41 | 1996 |
| An Action System Approach to the Steam Boiler Problem | 15 | 1.23 | 1995 |
| On Object-Oriented Design and Verification | 1 | 0.44 | 1995 |
| Modula-3 | 1 | 0.37 | 1995 |
| RAISE | 2 | 0.38 | 1995 |
| Stepwise Refinement of Control Software - A Case Study Using RAISE | 2 | 0.39 | 1994 |
| A Calculus for Predicative Programming | 16 | 1.04 | 1992 |
