TER BEEK, MAURICE HENRI
TER BEEK, MAURICE HENRI
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Formal methods for railway systems: a survey of research and technology transfer projects
2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
Towards dynamic classification in domain modeling with Jjodel
2026 Ter Beek, Maurice Henri; Bucchiarone, Antonio; Pierantonio, Alfonso; Selic, Bran
Animating Rebeca
2025 Ter Beek, M.; Proença, J.
Controlled hybrid CD grammar systems
2025 Ter Beek, M. H.
Formal methods for intersymbolic AI
2025 Ter Beek, M. H.; Dubslaff, C.; Schaefer, I.
Formal methods for industrial critical systems: 30 years of railway applications
2024 ter Beek, M. H.; Fantechi, A.; Gnesi, S.
From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL
2019 Gnesi, S; ter Beek, M H
States and Events in KandISTI: A Retrospective
2019 ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F
The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back
2019 ter Beek, M. H.; Fantechi, A.; Semini, L.
Preface
2016 TER BEEK, MAURICE HENRI; Gnesi, S; Knapp, A
From EU projects to a family of model checkers. From Kandinsky to KandISTI
2015 Ter Beek M. H.; Gnesi S.; Mazzanti F.
Model checking value-passing modal specifications
2015 Ter Beek, M H; Gnesi, S; Mazzanti, F
Towards automatic decision support for bike-sharing system design
2015 Ter Beek M. H.; Gnesi S.; Latella D.; Massink M.
Shuffles and synchronized shuffles: a survey
2014 Ter Beek M. H.; Kleijn J.
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
2013 Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G
Analysing robot movement using the SENSORIA methods
2011 Ter Beek M. H.; Lapadula A.; Loreti M.; Palasciano C.
Cooperating distributed grammar systems: components with nonincreasing competence
2011 Maurice H. ter Beek ; Erzsébet CsuhajVarjú ; Markus Holzer ; György Vaszil
Sensoria Results Applied to the Case Studies
2011 TER BEEK, MAURICE HENRI
Detecting policy conflicts by model checking UML state machines
2009 Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L.
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications
2008 Ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formal methods for railway systems: a survey of research and technology transfer projects | 1-gen-2026 | Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio | |
| Towards dynamic classification in domain modeling with Jjodel | 1-gen-2026 | Ter Beek, Maurice Henri; Bucchiarone, Antonio; Pierantonio, Alfonso; Selic, Bran | |
| Animating Rebeca | 1-gen-2025 | Ter Beek, M.; Proença, J. | |
| Controlled hybrid CD grammar systems | 1-gen-2025 | Ter Beek, M. H. | |
| Formal methods for intersymbolic AI | 1-gen-2025 | Ter Beek, M. H.; Dubslaff, C.; Schaefer, I. | |
| Formal methods for industrial critical systems: 30 years of railway applications | 1-gen-2024 | ter Beek, M. H.; Fantechi, A.; Gnesi, S. | |
| From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL | 1-gen-2019 | Gnesi, S; ter Beek, M H | |
| States and Events in KandISTI: A Retrospective | 1-gen-2019 | ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F | |
| The Legacy of Stefania Gnesi: From Software Engineering to Formal Methods and Tools, and Back | 1-gen-2019 | ter Beek, M. H.; Fantechi, A.; Semini, L. | |
| Preface | 1-gen-2016 | TER BEEK, MAURICE HENRI; Gnesi, S; Knapp, A | |
| From EU projects to a family of model checkers. From Kandinsky to KandISTI | 1-gen-2015 | Ter Beek M. H.; Gnesi S.; Mazzanti F. | |
| Model checking value-passing modal specifications | 1-gen-2015 | Ter Beek, M H; Gnesi, S; Mazzanti, F | |
| Towards automatic decision support for bike-sharing system design | 1-gen-2015 | Ter Beek M. H.; Gnesi S.; Latella D.; Massink M. | |
| Shuffles and synchronized shuffles: a survey | 1-gen-2014 | Ter Beek M. H.; Kleijn J. | |
| An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam | 1-gen-2013 | Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G | |
| Analysing robot movement using the SENSORIA methods | 1-gen-2011 | Ter Beek M. H.; Lapadula A.; Loreti M.; Palasciano C. | |
| Cooperating distributed grammar systems: components with nonincreasing competence | 1-gen-2011 | Maurice H. ter Beek ; Erzsébet CsuhajVarjú ; Markus Holzer ; György Vaszil | |
| Sensoria Results Applied to the Case Studies | 1-gen-2011 | TER BEEK, MAURICE HENRI | |
| Detecting policy conflicts by model checking UML state machines | 1-gen-2009 | Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L. | |
| An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications | 1-gen-2008 | Ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F |