Diego Latella
Diego Latella
Senior Researcher - CNR-ISTI (Pisa)
Verifierad e-postadress på cnr.it
TitelCiteras avÅr
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
4041999
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
2941999
Dependability analysis in the early phases of UML-based system design
A Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G Savoia
Comput. Syst. Sci. Eng. 16 (5), 265-275, 2001
1672001
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
1462013
Formal test-case generation for UML statecharts
S Gnesi, D Latella, M Massink
Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004
1142004
Model checking UML statechart diagrams using JACK
S Gnesi, D Latella, M Massink
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
1021999
A stochastic causality-based process algebra
E Brinksma, JP Katoen, R Langerak, D Latella
The Computer Journal 38 (7), 552-565, 1995
911995
Model checking mobile stochastic logic
R De Nicola, JP Katoen, D Latella, M Loreti, M Massink
Theoretical Computer Science 382 (1), 42-70, 2007
712007
On specifying real-time systems in a causality-based setting
JP Katoen, R Langerak, D Latella, E Brinksma
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1996
541996
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
532002
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
512005
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
462013
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, 3-71, 2015
452015
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
IFIP International Conference on Theoretical Computer Science, 222-235, 2014
432014
Rate-based transition systems for stochastic process calculi
R De Nicola, D Latella, M Loreti, M Massink
International Colloquium on Automata, Languages, and Programming, 435-446, 2009
432009
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-6), 550-575, 1998
421998
An automatic SPIN validation of a safety critical railway control system
S Gnesi, G Lenzini, D Latella, C Abbaneo, A Amendola, P Marmo
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
402000
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-3), 201-228, 2013
392013
Techniques for the formal definition of the G-LOTOS syntax
T Bolognesi, D Latella
[Proceedings] 1989 IEEE Workshop on Visual Languages, 43-49, 1989
391989
A formal testing framework for UML Statechart Diagrams Behaviours: From theory to automatic verification
D Latella, M Massink
Proceedings Sixth IEEE International Symposium on High Assurance Systems …, 2001
382001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20