| Formalization of software models for cyber-physical systems | 0 | 0.34 | 2014 |
| A co-simulation framework for design of time-triggered automotive cyber physical systems. | 6 | 0.47 | 2014 |
| Partition configuration for real-time systems with dependencies | 0 | 0.34 | 2013 |
| Co-simulation framework for design of time-triggered cyber physical systems | 10 | 0.61 | 2013 |
| A case study on the model-based design and integration of automotive cyber-physical systems | 2 | 0.39 | 2013 |
| A passivity approach for model-based compositional design of networked control systems | 0 | 0.34 | 2012 |
| High confidence embedded software design: a quadrotor helicopter case study | 0 | 0.34 | 2011 |
| Towards incremental cycle analysis in ESMoL distributed control system models | 0 | 0.34 | 2011 |
| Online stability validation using sector analysis | 1 | 0.36 | 2010 |
| Towards a time-triggered schedule calculation tool to support model-based embedded software design | 6 | 0.66 | 2009 |
| An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software | 6 | 0.64 | 2009 |
| Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages | 4 | 0.46 | 2009 |
| PaNeCS: A modeling language for passivity-based design of networked control systems | 2 | 0.40 | 2009 |
| Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation | 13 | 0.65 | 2008 |
