Matteo Rossi
发表
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Giuseppe Lipari,
Giovanni Denaro,
Mauro Pezzè,
2004,
TACoS.
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi,
2012,
ArXiv.
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2007,
FORMATS.
Raphaël Troncy,
Óscar Corcho,
Anthony Jameson,
2017,
J. Web Semant..
Emanuele Carpanzano,
Dino Mandrioli,
Angelo Morzenti,
2014,
J. Intell. Manuf..
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2013,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2014,
MFCS.
Luciano Baresi,
Richard F. Paige,
Matteo Rossi,
2015,
Software & Systems Modeling.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2013,
GandALF.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2013,
2013 20th International Symposium on Temporal Representation and Reasoning.
Luciano Baresi,
Matteo Rossi,
Mohammad Mehdi Pourhashem Kallehbasti,
2016,
SAC.
Matteo Rossi,
Rita Deiana,
Damiano Pasetto,
2015,
J. Comput. Phys..
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2008,
CSUR.
Marco Lovera,
Matteo Rossi,
2002,
Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
Luciano Baresi,
Angelo Morzenti,
Matteo Rossi,
2010,
FMCO.
Andrea Matta,
Carlo A. Furia,
Matteo Rossi,
2004,
ISCIS.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2005,
FASE.
Marcello M. Bersani,
Matteo Rossi,
Francesco Marconi,
2018,
ICPE Companion.
Matteo Pradella,
Dino Mandrioli,
Matteo Rossi,
2005,
FORTE.
Luciano Baresi,
Matteo Rossi,
Mohammad Mehdi Pourhashem Kallehbasti,
2014,
FormaliSE 2014.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Matteo Pradella,
Carlo A. Furia,
Matteo Rossi,
2008,
ICFEM.
Luciano Baresi,
Richard F. Paige,
Matteo Rossi,
2012,
ECMFA.
Letizia Tanca,
Sergio M. Savaresi,
Simone Formentin,
2014,
IEEE Intelligent Transportation Systems Magazine.
Dino Mandrioli,
Federico Vicentini,
Matteo Rossi,
2017,
SAFECOMP.
Leandro Soares Indrusiak,
Imran Rafiq Quadri,
Ian Gray,
2012,
7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).
Matteo Pradella,
Dino Mandrioli,
Matteo Rossi,
2005,
SDL Forum.
Andrea Matta,
Quirico Semeraro,
Tullio Tolio,
2007,
ICTAC.
Matteo Pradella,
Carlo A. Furia,
Angelo Morzenti,
2006,
IEEE Trans. Software Eng..
Luciano Baresi,
Letizia Tanca,
Sergio M. Savaresi,
2012,
2012 Sustainable Internet and ICT for Sustainability (SustainIT).
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Matteo Rossi,
Stefania Pacifici,
2009,
2009 ICSE Workshop on Principles of Engineering Service Oriented Systems.
Cosimo Della Santina,
Manuel G. Catalano,
Giorgio Grioli,
2019,
Front. Neurorobot..
Luciano Baresi,
Marcello M. Bersani,
Matteo Rossi,
2018,
NFM.
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi,
2016,
Theor. Comput. Sci..
Angelo Morzenti,
Matteo Rossi,
Gianpaolo Cugola,
2017
.
Luciano Baresi,
Matteo Rossi,
Mohammad Mehdi Pourhashem Kallehbasti,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Carlo A. Furia,
Matteo Rossi,
2010,
TOCL.
Michal Young,
Matteo Rossi,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Luciano Baresi,
Angelo Morzenti,
Matteo Rossi,
2012,
SOEN.
Dino Mandrioli,
Federico Vicentini,
Matteo Rossi,
2016,
SAFECOMP.
Dino Mandrioli,
Carlo A. Furia,
Matteo Rossi,
2007,
International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007).
Carlo A. Furia,
Elisabetta Di Nitto,
Matteo Rossi,
2010,
2010 15th IEEE International Conference on Engineering of Complex Computer Systems.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2013,
TIME.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2014
.
Nikolaos G. Tsagarakis,
Edoardo Battaglia,
Antonio Bicchi,
2016,
2016 IEEE International Conference on Robotics and Automation (ICRA).
Matteo Brilli,
Alessio Mengoni,
Marco Bazzicalupo,
2015,
PLoS Comput. Biol..
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2007,
Bull. EATCS.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2013,
RP.
Carlo A. Furia,
Matteo Rossi,
2005,
Electron. Notes Theor. Comput. Sci..
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Luciano Baresi,
Yu Zhou,
Matteo Rossi,
2013,
Journal of Computer Science and Technology.
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi,
2012,
2012 19th International Symposium on Temporal Representation and Reasoning.
Marcello M. Bersani,
Matteo Rossi,
Francesco Marconi,
2016,
ICFEM.
Matteo Pradella,
Marcello M. Bersani,
Luca Cavallaro,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Matteo Pradella,
Marcello M. Bersani,
Angelo Morzenti,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2006,
FORMATS.
Matteo Pradella,
Marcello M. Bersani,
Carlo A. Furia,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Luciano Baresi,
Angelo Morzenti,
Matteo Rossi,
2010,
MoDELS Workshops.
Dino Mandrioli,
Matteo Rossi,
2004,
ISSTA '04.
Cosimo Della Santina,
Manuel G. Catalano,
Giorgio Grioli,
2017,
2017 International Conference on Rehabilitation Robotics (ICORR).
Matteo Pradella,
Carlo A. Furia,
Matteo Rossi,
2008,
FM.
Hassan Nazeer Chaudhry,
Matteo Rossi,
Alessandro Margara,
2019,
DEBS.
Antonio Bicchi,
Matteo Rossi,
Sasha B. Godfrey,
2015,
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Emanuele Carpanzano,
Dino Mandrioli,
Angelo Morzenti,
2012
.
Matteo Pradella,
Stefano Russo,
Angelo Morzenti,
1999,
1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012,
Monographs in Theoretical Computer Science. An EATCS Series.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2018,
ArXiv.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Matteo Pradella,
Matteo Rossi,
Pietro Colombo,
2006,
SAC '06.
Marcello M. Bersani,
Matteo Rossi,
Francesco Marconi,
2017,
SAC.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2011,
RP.
Luciano Baresi,
Angelo Morzenti,
Matteo Rossi,
2017,
ACM Trans. Softw. Eng. Methodol..
Mara Tanelli,
Sergio M. Savaresi,
Matteo Rossi,
2013,
IEEE Embedded Systems Letters.
Luciano Baresi,
Ernesto Damiani,
Matteo Rossi,
2016,
SIMPDA.
Federico Vicentini,
Matteo Rossi,
Mehrnoosh Askarpour,
2020,
2020 IEEE International Conference on Human-Machine Systems (ICHMS).
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2007,
Theor. Comput. Sci..
Matteo Pradella,
Marcello M. Bersani,
Angelo Morzenti,
2012,
J. Appl. Log..
Dino Mandrioli,
Federico Vicentini,
Matteo Rossi,
2017,
Ershov Informatics Conference.
Luciano Baresi,
Gianni Ferretti,
Alberto Leva,
2012,
IEEE 10th International Conference on Industrial Informatics.
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2008,
FORMATS.
Marcello M. Bersani,
Matteo Rossi,
Francesco Marconi,
2016,
QUDOS@ISSTA.
Peter Dietrich,
Andreas Kemna,
Andrew Binley,
2014,
Environmental Science and Pollution Research.
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi,
2012,
FMICS.
Carlo Ghezzi,
Elisabetta Di Nitto,
Matteo Rossi,
2012,
ArtDeco.
Marcello M. Bersani,
Silvio Ghilardi,
Matteo Rossi,
2017,
SPIN.
Dino Mandrioli,
Matteo Rossi,
Marco Rolando,
2006,
SESS '06.
Andrea Matta,
Paola Spoletini,
Maurizio Tomasella,
2006
.
Matteo Pradella,
Carlo A. Furia,
Matteo Rossi,
2009,
CSUR.
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2017,
Theor. Comput. Sci..
Dana Petcu,
Danilo Ardagna,
Craig Sheridan,
2015,
2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering.
Matteo Rossi,
Antonio Pratelli,
Marjana Petrović,
2012
.
Aldo Franco Dragoni,
Paolo Sernani,
Matteo Rossi,
2013,
KES-AMSTA.
Marcello M. Bersani,
Matteo Rossi,
Mehrnoosh Askarpour,
2021,
IEEE Access.
Federico Vicentini,
Matteo Rossi,
Mehrnoosh Askarpour,
2021,
J. Intell. Robotic Syst..
Radu Calinescu,
Marcello M. Bersani,
Manuel Wimmer,
2021,
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Marcello M. Bersani,
Pierluigi San Pietro,
Matteo Rossi,
2021,
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits
Marco Lovera,
Matteo Rossi,
M. Lovera,
2002
.