CNR Institutional Research Information System

TER BEEK, MAURICE HENRI

TER BEEK, MAURICE HENRI  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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.
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
Model checking groupware protocols 1-gen-2004 Ter Beek M. H.; Massink M.; Latella D.; Gnesi S.