| Conformance test development with the Java modeling language. | 1 | 0.43 | 2017 |
| Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. | 0 | 0.34 | 2017 |
| A Two-Way Path Between Formal And Informal Design Of Embedded Systems | 0 | 0.34 | 2016 |
| Validating Timed Component Contracts | 0 | 0.34 | 2015 |
| A method for model checking feature interactions | 1 | 0.35 | 2015 |
| Model Checking Feature Interactions. | 0 | 0.34 | 2015 |
| Certifiable Java for Embedded Systems | 1 | 0.36 | 2014 |
| A real-time Java tool chain for resource constrained platforms | 2 | 0.37 | 2014 |
| A Safety-Critical Java Technology Compatibility Kit | 0 | 0.34 | 2014 |
| A test suite for safety-critical Java using JML. | 4 | 0.42 | 2013 |
| Towards harnessing theories through tool support for hard real-time Java programming | 6 | 0.52 | 2013 |
| Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011. | 0 | 0.34 | 2013 |
| Model-checking web services business activity protocols. | 5 | 0.45 | 2013 |
| HomePort: Middleware for heterogeneous home automation networks | 3 | 0.39 | 2013 |
| A Toolchain for Home Automation Controller Development | 2 | 0.50 | 2013 |
| Safety-critical Java for low-end embedded platforms | 21 | 0.85 | 2012 |
| Safety-critical Java with cyclic executives on chip-multiprocessors | 5 | 0.48 | 2012 |
| Compositional verification of real-time systems using Ecdar. | 9 | 0.44 | 2012 |
| Modelling and verification of web services business activity protocol | 9 | 0.55 | 2011 |
| An abstract model for proving safety of multi-lane traffic manoeuvres | 19 | 0.91 | 2011 |
| A Hardware Abstraction Layer in Java | 22 | 1.06 | 2011 |
| Schedulability analysis for Java finalizers | 2 | 0.36 | 2010 |
| Formal Modelling And Analysis Of Predictable Java | 0 | 0.34 | 2010 |
| Cyclic executive for safety-critical Java on chip-multiprocessors | 3 | 0.45 | 2010 |
| A formal analysis of the web services atomic transaction protocol with UPPAAL | 11 | 0.85 | 2010 |
| A predictable Java profile: rationale and implementations | 17 | 0.82 | 2009 |
| Semantics for Communicating Actors with Interdependent Real-Time Deadlines | 0 | 0.34 | 2009 |
| Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings | 26 | 1.70 | 2009 |
| On the Specification of Full Contracts | 4 | 0.43 | 2009 |
| Refinement and verification in component-based model-driven design | 31 | 1.24 | 2009 |
| Classification of SOA Contract Specification Languages | 6 | 0.57 | 2008 |
| Contract-Oriented Software Development For Internet Services | 1 | 0.37 | 2008 |
| Hardware Objects for Java | 20 | 1.06 | 2008 |
| Interrupt Handlers in Java | 4 | 0.47 | 2008 |
| Modelling with Relational Calculus of Object and Component Systems - rCOS | 6 | 0.50 | 2007 |
| Automated distributed simulation in Ptolemy II | 3 | 0.42 | 2007 |
| Editorial: Hybrid Systems | 0 | 0.34 | 2007 |
| Design Verification Patterns | 2 | 0.36 | 2007 |
| A Refinement Driven Component-Based Design | 6 | 0.50 | 2007 |
| A Profile for Safety Critical Java | 18 | 1.16 | 2007 |
| Developing a TTCN-3 test harness for legacy software | 3 | 0.43 | 2006 |
| Language-Based Support For Service Oriented Architectures: Future Directions | 3 | 0.43 | 2006 |
| Harnessing Theories for Tool Support | 12 | 0.69 | 2006 |
| A Ravenscar-Java profile implementation | 9 | 0.60 | 2006 |
| Unifying proof methodologies of duration calculus and timed linear temporal logic | 5 | 0.45 | 2004 |
| Hybrid control design for a wheeled mobile robot | 3 | 0.52 | 2003 |
| Hybrid action systems | 14 | 0.68 | 2003 |
| AsmL specification of a ptolemy II scheduler | 1 | 0.46 | 2003 |
| Completeness in formal specification language design for process-control systems | 8 | 0.84 | 2000 |
| Real-Time Constraints Through the ProCoS Layers | 1 | 0.35 | 1999 |
