| Verification and Uncertainties in Self-integrating System | 1 | 0.37 | 2021 |
| Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving | 0 | 0.34 | 2021 |
| Learning safe neural network controllers with barrier certificates | 0 | 0.34 | 2020 |
| A Calculus of Space, Time, and Causality - Its Algebra, Geometry, Logic. | 0 | 0.34 | 2019 |
| Probabilistic Semantics for RoboChart - A Weakest Completion Approach. | 0 | 0.34 | 2019 |
| Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. | 1 | 0.34 | 2018 |
| Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. | 1 | 0.37 | 2018 |
| Checking SysML Models for Co-simulation. | 2 | 0.36 | 2016 |
| From Formalised State Machines to Implementations of Robotic Controllers | 3 | 0.38 | 2016 |
| Java in the Safety-Critical Domain. | 0 | 0.34 | 2016 |
| Cyber-physical systems design: formal foundations, methods and integrated tool chains | 9 | 0.73 | 2015 |
| Simulink timed models for program verification | 3 | 0.38 | 2013 |
| Theories of Programming and Formal Methods: essays dedicated to Jifeng He on the occasion of his 70th birthday | 24 | 1.13 | 2013 |
| Foundations for Model-Based Engineering of Systems of Systems. | 9 | 0.56 | 2013 |
| A plug-in based approach for UML model simulation | 1 | 0.38 | 2012 |
| Correct hardware synthesis: An algebraic approach | 1 | 0.35 | 2011 |
| Safety-critical Java in Circus | 11 | 0.60 | 2011 |
| The safety-critical Java memory model: a formal account | 16 | 0.84 | 2011 |
| Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings | 23 | 1.17 | 2010 |
| POSIX file store in Z/Eves: an experiment in the verified software repository | 24 | 1.06 | 2009 |
| Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers | 24 | 1.26 | 2009 |
| ABZ2008 VSR-Net Workshop | 0 | 0.34 | 2008 |
| UTP semantics for handel-C | 5 | 0.45 | 2008 |
| The Miracle of Reactive Programming | 12 | 0.71 | 2008 |
| Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation | 2 | 0.38 | 2008 |
| Slotted-Circus | 5 | 0.44 | 2007 |
| A Denotational Semantics for Circus | 20 | 0.94 | 2007 |
| Verified Software: A Grand Challenge | 42 | 1.96 | 2006 |
| An operational semantics in UTP for a language of reactive designs (abstract) | 0 | 0.34 | 2006 |
| prialt in Handel-C: an operational semantics | 5 | 0.49 | 2005 |
| Refinement: An overview | 0 | 0.34 | 2004 |
