Joanna M. van de Mortel-Fronczak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2005–2023
Best venue rank
A
Where they publish
Papers
8 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 |
| 2014 | TACAS | CIF 3: Model-Based Engineering of Supervisory Controllers. | D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers |
| 2012 | SAFECOMP | Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. | Jasen Markovski, Joanna M. van de Mortel-Fronczak |
| 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 |