フォロー
Mieke Massink
Mieke Massink
CNR-ISTI
確認したメール アドレス: isti.cnr.it
タイトル
引用先
引用先
年
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, 637-664, 1999
4611999
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
3281999
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
2092013
Formal test-case generation for UML statecharts
S Gnesi, D Latella, M Massink
Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004
1282004
Model checking UML statechart diagrams using JACK
S Gnesi, D Latella, M Massink
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
1191999
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014
1012014
Model checking mobile stochastic logic
R De Nicola, JP Katoen, D Latella, M Loreti, M Massink
Theoretical Computer Science 382 (1), 42-70, 2007
882007
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015
852015
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
822015
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
772018
Model checking spatial logics for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
Logical Methods in Computer Science 12, 2017
712017
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Logical Methods in Computer Science 14 (Modal and temporal logics), 2018
692018
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
682013
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
68*
Spatial logics and model checking for medical imaging
F Banci Buonamici, G Belmonte, V Ciancia, D Latella, M Massink
International Journal on Software Tools for Technology Transfer 22 (2), 195-217, 2020
672020
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
662016
Automatic verification of a lip-synchronisation protocol using uppaal
H Bowman, G Faconti, JP Katoen, D Latella, M Massink
Formal Aspects of Computing 10, 550-575, 1998
661998
CARMA: collective adaptive resource-sharing Markovian agents
L Bortolussi, R De Nicola, V Galpin, S Gilmore, J Hillston, D Latella, ...
arXiv preprint arXiv:1509.08560, 2015
642015
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
632002
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
612005
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20