2008 |
6 | EE | Jos C. M. Baeten,
D. A. van Beek,
Pieter J. L. Cuijpers,
Michel A. Reniers,
J. E. Rooda,
Ramon R. H. Schiffelers,
R. J. M. Theunissen:
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi.
Electr. Notes Theor. Comput. Sci. 209: 21-53 (2008) |
2007 |
5 | EE | D. A. van Beek,
Michel A. Reniers,
Ramon R. H. Schiffelers,
J. E. Rooda:
Foundations of a Compositional Interchange Format for Hybrid Systems.
HSCC 2007: 587-600 |
4 | EE | D. A. van Beek,
J. E. Rooda,
Ramon R. H. Schiffelers,
Ka L. Man,
Michel A. Reniers:
Relating Hybrid Chi to Other Formalisms.
Electr. Notes Theor. Comput. Sci. 191: 85-113 (2007) |
2006 |
3 | EE | D. A. van Beek,
Ka L. Man,
Michel A. Reniers,
J. E. Rooda,
Ramon R. H. Schiffelers:
Syntax and consistent equation semantics of hybrid Chi.
J. Log. Algebr. Program. 68(1-2): 129-210 (2006) |
2003 |
2 | EE | Ramon R. H. Schiffelers,
D. A. van Beek,
Ka L. Man,
Michel A. Reniers,
J. E. Rooda:
Formal Semantics of Hybrid Chi.
FORMATS 2003: 151-165 |
1 | EE | D. A. van Beek,
Niek G. Jansen,
J. E. Rooda,
Ramon R. H. Schiffelers,
Ka L. Man,
Michel A. Reniers:
Hybrid dynamic systems: relating Chi to hybrid automata.
Winter Simulation Conference 2003: 632-640 |