Laura Nenzi
发表
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
RV.
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
RV.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2013,
HSB.
Luca Bortolussi,
Laura Nenzi,
Roberta Lanciani,
2017,
Inf. Comput..
Marco Gribaudo,
Rocco De Nicola,
Lenz Belzner,
2015
.
Luca Bortolussi,
Laura Nenzi,
Giuseppe Maria Gallo,
2020,
OVERLAY.
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2017,
MEMOCODE.
Lu Feng,
Josephine Lamp,
Laura Nenzi,
2019,
CMSB.
Laura Nenzi,
2015
.
Jane Hillston,
Glenn Marion,
Michele Loreti,
2017,
QEST.
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2018,
ATVA.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2015,
Theor. Comput. Sci..
Carlo Ghezzi,
Marin Litoiu,
Danny Weyns,
2019,
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
International Journal on Software Tools for Technology Transfer.
Vincenzo Ciancia,
Mieke Massink,
Luca Bortolussi,
2015,
RV.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2015,
HSB.
Carlo Ghezzi,
Schahram Dustdar,
Martin Garriga,
2019,
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Luca Bortolussi,
Michele Loreti,
Laura Nenzi,
2016,
VALUETOOLS.
Luca Bortolussi,
Laura Nenzi,
L. Bortolussi,
2014,
VALUETOOLS.
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2013,
CMSB.
Laura Nenzi,
2016
.
Jane Hillston,
Michele Loreti,
Ludovica Luisa Vissat,
2017,
VALUETOOLS.
Vincenzo Ciancia,
Mieke Massink,
Luca Bortolussi,
2017,
Log. Methods Comput. Sci..
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2018,
QEST.
Jane Hillston,
Michele Loreti,
Ludovica Luisa Vissat,
2019,
ACM Trans. Model. Comput. Simul..
Luca Bortolussi,
Laura Nenzi,
Jan Kvret'insk'y,
2022,
TACAS.
Laura Nenzi,
Sara Mohammadinejad,
Jyotirmy V. Deshmukh,
2021,
ATVA.
Ezio Bartocci,
Michele Loreti,
Laura Nenzi,
2021,
MEMOCODE.
Gregor Kastner,
Laura Nenzi,
Ennio Visconti,
2021
.