Jacobus E. Rooda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
10
Active years
1998–2023
Best venue rank
National
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICECCS | Validating communication of a dynamic traffic management system. | J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
| 2023 | TACAS | Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. | Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel |
| 2020 | ICARCV | Data Logging and Reconstruction of Discrete-event System Behavior. | Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
| 2020 | SETTA | The Road Ahead for Supervisor Synthesis. | Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman |
| 2019 | FMICS | The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. | Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
| 2012 | WSC | Aggregate simulation modeling of an MRI department using effective process times. | F. J. A. Jansen, L. F. P. Etman, Jacobus E. Rooda, Ivo J. B. F. Adan |
| 2011 | WSC | Aggregate modeling of semiconductor equipment using effective process times. | L. F. P. Etman, C. P. L. Veeger, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda |
| 2011 | SIMULTECH | Automated Order-picking Workstation Handling Out-of-sequence Product Arrivals. | Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda |
| 2010 | WSC | Aggregate modeling for flow time prediction of an end-of-aisle order picking workstation with overtaking. | Ricky Andriansyah, Pascal Etman, Jacobus E. Rooda |
| 2010 | WSC | Single-server aggregation of a re-entrant flow line. | Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan |
| 2009 | WSC | Cycle Time Distributions of Semiconductor Workstations using Aggregate Modeling. | Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk |
| 2007 | ACC | State feedback control of switching server flowline with setups. | J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda |
| 2005 | ICINCO | Verification of timed chi models using uppaal. | Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
| 2003 | WSC | Hybrid dynamic systems: relating Chi to hybrid automata. | D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers |
| 2000 | WSC | Simulation optimization of stochastic systems with integer variables by sequential linearization. | S. J. Abspoel, L. F. P. Etman, J. Vervoort, Jacobus E. Rooda |
| 1998 | ICFEM | A Process Algebra Based Verification of a Production System. | J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers |