| Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware | 1 | 0.35 | 2016 |
| Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. | 0 | 0.34 | 2013 |
| Static dataflow with access patterns: semantics and analysis | 3 | 0.38 | 2012 |
| Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code | 2 | 0.38 | 2012 |
| Early timing estimation for system-level design using FPGAs (abstract only) | 0 | 0.34 | 2012 |
| Analysis techniques for static dataflow models with access patterns. | 2 | 0.37 | 2012 |
| Correct and non-defensive glue design using abstract models | 7 | 0.50 | 2011 |
| Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment | 48 | 2.03 | 2011 |
| Timing Analysis and Optimization of FlexRay Dynamic Segment | 13 | 0.78 | 2010 |
| Education panel: designing the always connected car of the future | 0 | 0.34 | 2010 |
| Scheduling the FlexRay bus using optimization techniques | 18 | 1.11 | 2009 |
| Logical reliability of interacting real-time tasks | 7 | 0.61 | 2008 |
| A hierarchical coordination language for interacting real-time tasks | 35 | 1.75 | 2006 |
| Implementation of AFR Controller in an Event-driven Real-time Language | 1 | 0.36 | 2005 |
| Event-Driven Programming with Logical Execution Times | 28 | 1.92 | 2004 |
