Martijn A. Goorden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2023
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2022 | ATVA | STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. | Martijn A. Goorden, Peter Gjl Jensen, Kim G. Larsen, Mihhail Samusev, Jir Srba, Guohan Zhao |
| 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 |