Search the dblp DataBase

Publications of Author

1. Gina Fábián, D. A. van Beek, J. E. Rooda
   Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. [Citation Graph (0, 0)][DBLP]
   ESM, 1998, pp:252-256 [Conf]
   
2. J. M. van de Mortel-Fronczak, R. J. A. Gorter, J. E. Rooda
   A case study in simulation based system specification and design. [Citation Graph (0, 0)][DBLP]
   ESM, 2000, pp:232-238 [Conf]
   
3. D. A. van Beek, J. E. Rooda, S. H. F. Gordijn
   A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. [Citation Graph (0, 0)][DBLP]
   EUROSIM, 1995, pp:1029-1034 [Conf]
   
4. Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda
   Formal Semantics of Hybrid Chi. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2003, pp:151-165 [Conf]
   
5. D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda
   Foundations of a Compositional Interchange Format for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:587-600 [Conf]
   
6. J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
   A Process Algebra Based Verification of a Production System. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1998, pp:90-99 [Conf]
   
7. E. M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda
   Verification of timed chi models using uppaal. [Citation Graph (0, 0)][DBLP]
   ICINCO, 2005, pp:486-492 [Conf]
   
8. J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda
   Experimental comparison of control architectures. [Citation Graph (0, 0)][DBLP]
   APMS, 1999, pp:530-537 [Conf]
   
9. S. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. Rooda
   Simulation optimization of stochastic systems with integer variables by sequential linearization. [Citation Graph (0, 0)][DBLP]
   Winter Simulation Conference, 2000, pp:715-723 [Conf]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:632-640 [Conf]
    
11. N. C. W. M. Braspenning, J. M. van de Mortel-Fronczak, J. E. Rooda
    A Model-based Integration and Testing Method to Reduce System Development Effort. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:13-28 [Journal]
    
12. J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda
    Analysis of an Industrial System. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:3, pp:249-282 [Journal]
    
13. E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda
    Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2005, v:65, n:2, pp:51-104 [Journal]
    
14. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:129-210 [Journal]
    
15. D. A. van Beek, S. H. F. Gordijn, J. E. Rooda
    Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 1997, v:5, n:7-8, pp:653-669 [Journal]
    
16. D. A. van Beek, Victor Bos, J. E. Rooda
    Declaration of unknowns in DAE-based hybrid system specification. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 2003, v:13, n:1, pp:39-61 [Journal]
    
17. 
    Synthesizing nonblocking distributed supervisors based on automaton abstraction. [Citation Graph (, )][DBLP]
    
    
18. 
    Relating Hybrid Chi to Other Formalisms. [Citation Graph (, )][DBLP]
    
    
19. 
    Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. [Citation Graph (, )][DBLP]