Diego Latella
发表
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2004,
Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1996
.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2016,
Log. Methods Comput. Sci..
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2016,
ISoLA.
Diego Latella,
Fosca Giannotti,
F. Giannotti,
1993,
Sci. Comput. Program..
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2009,
J. Log. Algebraic Methods Program..
Diego Latella,
Andrea Bondavalli,
Mario Dal Cin,
2001,
Comput. Syst. Sci. Eng..
Diego Latella,
Stefania Gnesi,
2001,
Formal Methods Syst. Des..
Diego Latella,
Gigliola Vaglini,
Nicoletta De Francesco,
1985,
ICSE '85.
Erik P. de Vink,
Diego Latella,
Mieke Massink,
2012,
ACCAT.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
1998
.
Diego Latella,
D. Latella,
2016,
FORECAST@STAF.
Diego Latella,
Stefania Gnesi,
1998,
Formal Aspects of Computing.
Diego Latella,
Tommaso Bolognesi,
D. Latella,
2000
.
Diego Latella,
Fosca Giannotti,
1992,
WSA.
Diego Latella,
Mieke Massink,
Nicolas Gast,
2020,
ArXiv.
Diego Latella,
Andrea Bondavalli,
Mario Dal Cin,
1999,
Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2013,
CSUR.
Diego Latella,
Andrea Bondavalli,
Luca Simoncini,
2001,
IEEE Micro.
Diego Latella,
Olof Hagsand,
Tommaso Bolognesi,
1989
.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2018,
International Journal on Software Tools for Technology Transfer.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2020,
ArXiv.
Diego Latella,
Mieke Massink,
Michele Loreti,
2014,
QAPL.
Erik P. de Vink,
Diego Latella,
Mieke Massink,
2015,
Log. Methods Comput. Sci..
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2008,
ERCIM News.
Diego Latella,
Mieke Massink,
Michele Loreti,
2017,
TACAS.
Diego Latella,
Andrea Bondavalli,
Cinzia Bernardeschi,
1988
.
Diego Latella,
Mieke Massink,
Andrea Bracciali,
2010
.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2009,
SOS@ICALP.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
2007,
Theor. Comput. Sci..
Diego Latella,
Joost-Pieter Katoen,
Tommaso Bolognesi,
1996,
Formal Methods Syst. Des..
Diego Latella,
Mieke Massink,
Mario Bravetti,
2008,
TGC.
Christel Baier,
Diego Latella,
Joost-Pieter Katoen,
2001,
Theor. Comput. Sci..
Diego Latella,
Stefania Gnesi,
Alessandro Fantechi,
1996,
CONCUR.
Diego Latella,
Mieke Massink,
Stephen Gilmore,
2015
.
Diego Latella,
Mieke Massink,
Luca Bortolussi,
2013,
Perform. Evaluation.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2015,
2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
ERCIM News.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
ICSE.
Diego Latella,
Mieke Massink,
Martin Wirsing,
2004,
Global Computing.
Diego Latella,
Olof Hagsand,
Tommaso Bolognesi,
1991,
Comput. Networks ISDN Syst..
Diego Latella,
Mieke Massink,
2003,
FMOODS.
Diego Latella,
John Derrick,
Stefania Gnesi,
2012
.
Diego Latella,
Tommaso Bolognesi,
Testing Protocol Specification,
2000
.
Diego Latella,
Mieke Massink,
István Majzik,
1999,
FMOODS.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2004,
COOP.
Diego Latella,
Mieke Massink,
2002,
ISSTA '02.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2015,
SEFM Workshops.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2005,
SAC '05.
Diego Latella,
Tommaso Bolognesi,
2000
.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2009,
FMICS.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2006,
J. Log. Algebraic Methods Program..
Diego Latella,
Mieke Massink,
Roberto Bruni,
2002,
WADT.
Diego Latella,
Mieke Massink,
Michele Loreti,
2015,
EPEW.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1996,
FTRTFT.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
1999,
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2000,
Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
IFIP TCS.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2003
.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2012,
Formal Aspects of Computing.
Diego Latella,
Mieke Massink,
István Majzik,
1999,
Formal Aspects of Computing.
Diego Latella,
Mieke Massink,
Nicolas Gast,
2019,
PERV.
Diego Latella,
Mieke Massink,
Michele Loreti,
2017,
ModelEd, TestEd, TrustEd.
Diego Latella,
Mieke Massink,
Michele Loreti,
2015,
Sci. Comput. Program..
Gina Belmonte,
Vincenzo Ciancia,
Diego Latella,
2018,
TACAS.
Diego Latella,
Mieke Massink,
Stefania Gnesi,
2002,
J. Log. Algebraic Methods Program..
Gina Belmonte,
Vincenzo Ciancia,
Diego Latella,
2016,
FORECAST@STAF.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2011,
Results of the SENSORIA Project.
Diego Latella,
Mieke Massink,
Andrea Bracciali,
2010,
LAM@LICS.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
ArXiv.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1998,
Comput. Networks.
Diego Latella,
Mieke Massink,
Michele Loreti,
2014,
ICE.
Diego Latella,
Mieke Massink,
Michele Loreti,
2013,
TGC.
Gina Belmonte,
Vincenzo Ciancia,
Diego Latella,
2018,
International Journal on Software Tools for Technology Transfer.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2009,
ICALP.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000,
Proceeding International Conference on Dependable Systems and Networks. DSN 2000.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
2004,
International Conference on Dependable Systems and Networks, 2004.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Diego Latella,
Mieke Massink,
Mauro Birattari,
2012,
ANTS.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000
.
Diego Latella,
Mieke Massink,
Rocco De Nicola,
2015
.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2010
.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
Electron. Notes Theor. Comput. Sci..
Diego Latella,
Mieke Massink,
Luca Bortolussi,
2013,
COORDINATION.
Diego Latella,
Mieke Massink,
D. Latella,
2012,
COORDINATION.
Diego Latella,
Andrea Bondavalli,
Gigliola Vaglini,
1989
.
Diego Latella,
Mieke Massink,
Mauro Birattari,
2013,
Swarm Intelligence.
Diego Latella,
Stefania Gnesi,
1998,
Formal Methods Syst. Des..
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
2001,
TACAS.
Diego Latella,
Mieke Massink,
Nicolas Gast,
2018,
Perform. Evaluation.
Diego Latella,
Paola Quaglia,
D. Latella,
1993,
TAPSOFT.
Diego Latella,
1993
.
Diego Latella,
Mieke Massink,
Michele Loreti,
2015,
Software, Services, and Systems.
Diego Latella,
Allan Clark,
Stephen Gilmore,
2011,
Results of the SENSORIA Project.
Diego Latella,
Mieke Massink,
Michele Loreti,
2015,
COORDINATION.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
1998,
Formal Aspects of Computing.
Diego Latella,
Mieke Massink,
Andrea Bracciali,
2011,
FASE.
Diego Latella,
Mieke Massink,
Nicolas Gast,
2020,
COORDINATION.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2016,
SFM.
Diego Latella,
Tommaso Bolognesi,
Elisabetta Zuppa,
1991,
TAPSOFT, Vol.2.
Diego Latella,
Fosca Giannotti,
1994,
Sci. Comput. Program..
Diego Latella,
Andrea Bondavalli,
Luca Simoncini,
2000
.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2009,
EICS '09.
Christel Baier,
Diego Latella,
Joost-Pieter Katoen,
1998,
ICALP.
Diego Latella,
Tommaso Bolognesi,
Rom Langerak,
1992
.
Diego Latella,
Mieke Massink,
Stephen Gilmore,
2015,
QAPL.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2015,
SEFM Workshops.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
DSV-IS.
Diego Latella,
Mieke Massink,
D. Latella,
2001,
Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2010,
SAC '10.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2008,
TAMODIA/HCSE.
Diego Latella,
Tommaso Bolognesi,
1989,
[Proceedings] 1989 IEEE Workshop on Visual Languages.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
2006,
QAPL.
Diego Latella,
Joost-Pieter Katoen,
Rom Langerak,
1993,
FORTE.
Diego Latella,
Andrea Bondavalli,
Gigliola Vaglini,
1989,
MFDBS.
Diego Latella,
Joost-Pieter Katoen,
Ed Brinksma,
1995,
Comput. J..
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2002
.
Diego Latella,
Mieke Massink,
2017,
QAPL@ETAPS.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2016,
COORDINATION.
Diego Latella,
Andrea Bondavalli,
Luca Simoncini,
1999
.
Diego Latella,
Gabriele Lenzini,
Stefania Gnesi,
2000,
TACAS.
Erik P. de Vink,
Diego Latella,
Mieke Massink,
2015,
QAPL.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2021,
FMICS.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2021,
ArXiv.
Giovanna Broccia,
Gina Belmonte,
Vincenzo Ciancia,
2021,
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2021,
ArXiv.
Gina Belmonte,
Vincenzo Ciancia,
Diego Latella,
2021,
SPIN.
Giovanna Broccia,
Gina Belmonte,
Vincenzo Ciancia,
2021,
MEDI Workshops.
Diego Latella,
Joost-Pieter Katoen,
Rom Langerak,
1995
.
Diego Latella,
Mieke Massink,
2006
.
Diego Latella,
Mieke Massink,
Joost-Pieter Katoen,
.
Diego Latella,
Mieke Massink,
Michael Harrison,
2009
.
Diego Latella,
Mieke Massink,
Michele Loreti,
2006
.
Diego Latella,
Mieke Massink,
Andrea Bracciali,
2010
.