Segui
Mieke Massink
Mieke Massink
CNR-ISTI
Email verificata su isti.cnr.it
Titolo
Citata da
Citata da
Anno
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
D Latella, I Majzik, M Massink
Formal aspects of computing 11 (6), 637-664, 1999
4451999
Towards a formal operational semantics of UML statechart diagrams
D Latella, I Majzik, M Massink
International conference on formal methods for open object-based distributedá…, 1999
3191999
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
1872013
Formal test-case generation for UML statecharts
S Gnesi, D Latella, M Massink
Proceedings. Ninth IEEE International Conference on Engineering of Complexá…, 2004
1262004
Model checking UML statechart diagrams using JACK
S Gnesi, D Latella, M Massink
Proceedings 4th IEEE International Symposium on High-Assurance Systemsá…, 1999
1131999
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification, 21-37, 2015
792015
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
IFIP international conference on theoretical computer science, 222-235, 2014
772014
Model checking mobile stochastic logic
R De Nicola, JP Katoen, D Latella, M Loreti, M Massink
Theoretical Computer Science 382 (1), 42-70, 2007
772007
The SCEL language: design, implementation, verification
RD Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems, 3-71, 2015
662015
A uniform definition of stochastic process calculi
R De Nicola, D Latella, M Loreti, M Massink
ACM Computing Surveys (CSUR) 46 (1), 5:1-5:35, 2013
602013
A uniform definition of stochastic process calculi
R Nicola, D Latella, M Loreti, M Massink
ACM Computing Surveys (CSUR) 46 (1), 1-35, 2013
602013
A uniform definition of stochastic process calculi
R De Nicola, D Latella, M Loreti, M Massink
ACM Computing Surveys (CSUR) 46 (1), 5:1-5:35, 0
60*
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
S Gnesi, D Latella, M Massink
The Journal of Logic and Algebraic Programming 51 (1), 43-75, 2002
592002
Formal modeling and quantitative analysis of KLAIM-based mobile systems
R De Nicola, D Latella, M Massink
Proceedings of the 2005 ACM symposium on Applied computing, 428-435, 2005
572005
Spatio-temporal model checking of vehicular movement in public transport systems
V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink
International Journal on Software Tools for Technology Transfer 20 (3), 289-311, 2018
542018
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics
M Massink, M Brambilla, D Latella, M Dorigo, M Birattari
Swarm Intelligence 7 (2), 201-228, 2013
522013
The hybrid world of virtual environments
S Smith, D Duke, M Massink
Computer Graphics Forum 18 (3), 297-308, 1999
521999
Exploring spatio-temporal properties of bike-sharing systems
V Ciancia, D Latella, M Massink, R Pakauskas
2015 IEEE International Conference on Self-Adaptive and Self-Organizingá…, 2015
492015
Automatic verification of a lip-synchronisation protocol using uppaal
H Bowman, G Faconti, JP Katoen, D Latella, M Massink
Formal Aspects of Computing 10 (5), 550-575, 1998
491998
Model checking spatial logics for closure spaces
M Massink, M Loreti, D Latella, V Ciancia
Logical Methods in Computer Science 12, 2017
482017
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20