Matteo Rossi's Publications (by type)

Book
Book Edited
Journal
Lecture Notes in Computer Science
Book Chapters
Conference and Workshop proceedings (refereed)
Other
Technical reports
By Year (sans technical reports)
DBLP


Book

C. A. Furia, D. Mandrioli, A. Morzenti, M. Rossi, Modeling Time in Computing, Monographs in Theoretical Computer Science, an EATCS Series, Springer, 2012 ISBN 978-3-642-32331-7

 

Book Edited

A. Bagnato, I. R. Quadri, M. Rossi, L. Soares Indrusiak (editors), Handbook of Research on Embedded Systems Design, IGI Global, 2014 ISBN 9781466661943

 

Journal

M. M. Bersani, A Frigeri, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Constraint LTL Satisfiability Checking without Automata, Journa of Applied Logic, in press, doi:10.1016/j.jal.2014.07.005

A. G. Bianchessi, G. Cugola, S. Formentin, A. Morzenti, C. Ongini, E. Panigati, M. Rossi, S. M. Savaresi, F. A. Schreiber, L. Tanca, E. G. Vannutelli Depoli, Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing, IEEE Intelligent Transportation Systems Magazine, Fall 2014, vol. 6, n. 3, pp. 96-108, doi:10.1109/MITS.2014.2323421

A. G. Bianchessi, C. Ongini, S. Rotondi, M. Tanelli, M. Rossi, G. Cugola, S. M. Savaresi, A Flexible Architecture for Managing Vehicle Sharing Systems, Embedded Systems Letters, September 2013, vol. 5, n. 3, pp. 30-33, doi:10.1109/LES.2013.2262765

L. Baresi, G. Blohm, D. S. Kolovos, N. Matragkas, A. Motta, R. F. Paige, A. Radjenovic, M. Rossi, Formal verification and validation of embedded systems: the UML-based MADES approach, Software and Systems Modeling, June 2013, pp. 1-21, doi:10.1007/s10270-013-0330-z

E. Carpanzano, L. Ferrucci, D. Mandrioli, M. Mazzolini, A. Morzenti, M. Rossi, Automated formal verification for flexible manufacturing systems, Journal of Intelligent Manufacturing, vol. 25, n. 5, October 2014, pp. 1181-1195, doi:10.1007/s10845-013-0760-z

Yu Zhou, L. Baresi, M. Rossi, Towards A Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata, Journal of Computer Science and Technology, January 2013, vol. 28, n. 1, pp. 188-202, doi:10.1007/s11390-013-1322-8

C. A. Furia, M. Rossi, A theory of sampling for continuous-time metric temporal logic, ACM Transactions on Computational Logic, Volume 12 Issue 1, October 2010, Article No. 8, doi:10.1145/1838552.1838560

C. A. Furia, D. Mandrioli, A. Morzenti, M. Rossi, Modeling Time in Computing: a taxonomy and a comparative survey, ACM Computing Surveys, Volume 42 Issue 2, February 2010, Article No. 6, doi:10.1145/1667062.1667063

C. A. Furia, M. Pradella, M. Rossi, Comments on "Temporal Logics for Real-Time System Specification", ACM Computing Surveys, Volume 41 Issue 2, February 2009, Article No. 13, doi:10.1145/1459352.1459358

C. A. Furia, M. Rossi, D. Mandrioli, A. Morzenti, Automated Compositional Proofs for Real-Time Systems, Theoretical Computer Science, special issue on FASE 2004/2005, vol. 376, n. 3, May 2007, pp. 164-184, doi:10.1016/j.tcs.2007.02.003

C. A. Furia, M. Rossi, No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators, Bulletin of the European Association for Theoretical Computer Science, n. 92, June 2007, pp. 150-160

C. A. Furia, A. Morzenti, M. Pradella, M. Rossi, Comments on "A Temporal Logic for Real-Time System Specification", IEEE Transactions on Software Engineering, vol. 32, n. 6, June 2006, pp. 424-427, doi:10.1109/TSE.2006.50

A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A Formal Approach for Designing CORBA-based Applications, ACM Transactions On Software Engineering and Methodology, vol. 12, n. 2, April 2003, pp. 107-151, doi:10.1145/941566.941567

 

Lecture Notes in Computer Science

M. M. Bersani, M. Rossi, P. San Pietro, A Logical Characterization of Timed (non-)Regular Languages, Mathematical Foundations of Computer Science 2014, Lecture Notes in Computer Science, vol. 8634, pp. 75-86, doi:10.1007/978-3-662-44522-8_7

M. M. Bersani, M. Rossi, P. San Pietro, Deciding Continuous-Time Metric Temporal Logic with Counting Modalities, Reachability Problems, Lecture Notes in Computer Science, vol. 8169/2013, pp. 70-82, doi:10.1007/978-3-642-41036-9_8

L. Ferrucci, D. Mandrioli, A. Morzenti, M. Rossi, Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis, Formal Methods for Industrial Critical Systems, vol. 7437/2012, pp. 162-176, doi:10.1007/978-3-642-32469-7_11

A. Radjenovic, N. Matragkas, R. F. Paige, M. Rossi, A. Motta, L. Baresi, D. S. Kolovos, MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems, Modelling Foundations and Applications, vol. 7349/2012, pp. 340-351, doi:10.1007/978-3-642-31491-9_26

N. M. Calcavecchia, E. Di Nitto, D. J. Dubois, C. Ghezzi, V. Mazza, M. Rossi, Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches, Methodologies and Technologies for Networked Enterprises, vol. 7200/2012, pp. 85-113, doi:10.1007/978-3-642-31739-2_6

L. Baresi, A. Morzenti, A. Motta, M. Rossi, Towards the UML-Based Formal Verification of Timed Systems, Formal Methods for Components and Objects, vol. 6957/2012, pp. 267-286, doi:10.1007/978-3-642-25271-6_14

M. M. Bersani, A. Frigeri, M. Rossi, P. San Pietro, Completeness of the Bounded Satisfiability Problem for Constraint LTL, Reachability Problems, Lecture Notes in Computer Science, vol. 6945/2011, pp. 58-71, doi:10.1007/978-3-642-24288-5_7

L. Baresi, A. Morzenti, A. Motta, M. Rossi, From Interaction Overview Diagrams to Temporal Logic, Models in Software Engineering, Lecture Notes in Computer Science, vol. 6627/2011, pp. 90-104, doi:10.1007/978-3-642-21210-9_9

C. A. Furia, M. Pradella, M. Rossi, Practical Automated Partial Verification of Multi-Paradigm Real-Time Models, Formal Methods and Software Engineering, Lecture Notes in Computer Science, vol. 5256/-1, October 2008, pp. 298-317, doi:10.1007/978-3-540-88194-0_19

C. A. Furia, M. Rossi, MTL with Bounded Variability: Decidability and Complexity, Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, vol. 5215, September 2008, pp. 109-123, doi:10.1007/978-3-540-85778-5_9

C. A. Furia, M. Pradella, M. Rossi, Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation, FM 2008: Formal Methods, Lecture Notes in Computer Science, vol. 5014, May 2008, pp. 132-147, doi:10.1007/978-3-540-68237-0_11

C. A. Furia, M. Rossi, On the Expressiveness of MTL Variants over Dense Time, Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, vol. 4763, October 2007, pp. 163-178 doi:10.1007/978-3-540-75454-1_13

A. Matta, M. Rossi, P. Spoletini, D. Mandrioli, Q. Semeraro, T. Tolio, FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems, Theoretical Aspects of Computing - ICTAC 2007, Lecture Notes in Computer Science, vol. 4711, September 2007, pp. 366-380 doi:10.1007/978-3-540-75292-9_25

C. A. Furia, M. Rossi, Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling, Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, vol. 4202, September 2006, pp. 215-229 doi:10.1007/11867340_16

M. Pradella, M. Rossi, D. Mandrioli, ArchiTRIO: a UML-compatible language for architectural description and its formal semantics, Formal Techniques for Networked and Distributed Systems - FORTE 2005, Lecture Notes in Computer Science, vol. 3731, October 2005, pp. 381-395 doi:10.1007/11562436_28

M. Pradella, M. Rossi, D. Mandrioli, A UML-compatible formal language for system architecture description, SDL 2005: Model Driven, Lecture Notes in Computer Science, vol. 3530, June 2005, pp. 234-246 doi:10.1007/11506843_17

C. A. Furia, M. Rossi, D. Mandrioli, A. Morzenti, Automated Compositional Proofs for Real-Time Systems, Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 3442, April 2005, pp 326-340 doi:10.1007/978-3-540-31984-9_25

A. Matta, C. A. Furia, M. Rossi, Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems, Computer and Information Sciences - ISCIS 2004, Lecture Notes in Computer Science, vol. 3280, October 2004, pp. 718-728 doi:10.1007/978-3-540-30182-0_72

 

Book Chapters

A. Bagnato, I. Quadri, E. Brosse, A. Sadovykh, L. Soares Indrusiak, R. Paige, N. Audsley, I. Gray, D. S. Kolovos, N. Matragkas, M. Rossi, L. Baresi, M. C. Crippa, S. Genolini, S. Hansen, G. Meisel-Blohm, MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems, In: Handbook of Research on Embedded Systems Design, IGI Global, June 2014, pp. 181-208
doi:10.4018/978-1-4666-6194-3.ch008

 

Conference and Workshop proceedings (refereed)

L. Baresi, M. M. Pourhashem Kallehbasti, M. Rossi, Flexible Modular Formalization of UML Sequence Diagrams, 2nd ICSE Workshop on Formal Methods in Software Engineering (FormaliSE), June 2014, pp. 10-16
doi:10.1145/2593489.2593492

M. M. Bersani, M. Rossi, P. San Pietro, A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic, 20th International Symposium on Temporal Representation and Reasoning (TIME), September 2013, pp. 99-106
doi:10.1109/TIME.2013.20

M. M. Bersani, M. Rossi, P. San Pietro, On the Satisfiability of Metric Temporal Logics over the Reals, Electronic Communications of the EASST, September 2013, pp. 1-15
available online

M. M. Bersani, M. Rossi, P. San Pietro, Deciding the Satisfiability of MITL Specifications, Fourth International Symposium on Games, Automata, Logics and Formal Verification, Electronic Proceedings in Theoretical Computer Science, vol. 119, August 2013, pp. 64-78
doi:10.4204/EPTCS.119.8

G. Alli, L. Baresi, A. Bianchessi, G. Cugola, A. Margara, A. Morzenti, C. Ongini, E. Panigati, M. Rossi, S. Rotondi, S. Savaresi, F. A. Schreiber, A. Sivieri, L. Tanca, and E. Vannutelli Depoli, Green Move: towards next generation sustainable smartphone-based vehicle sharing, 2nd IFIP Conference on Sustainable Internet and ICT for Sustainability (SustainIT), October 2012, pp. 1-5, available online

L. Ferrucci, D. Mandrioli, A. Morzenti, M. Rossi, A Metric Temporal Logic for Dealing with Zero-Time Transitions, 19th International Symposium on Temporal Representation and Reasoning (TIME), September 2012, pp. 81-88
doi:10.1109/TIME.2012.22

L. Baresi, G. Ferretti, A. Leva, M. Rossi, Flexible logic-based Co-simulation of Modelica models, 10th International Conference on Industrial Informatics (INDIN), July 2012, pp. 635-640
doi:10.1109/INDIN.2012.6301223

I. R. Quadri, E. Brosse, I. Gray, N. Matragkas, L. S. Indrusiak, M. Rossi, A. Bagnato, A. Sadovykh, MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems, 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), July 2012, pp. 1-8
doi:10.1109/ReCoSoC.2012.6322882

L. Baresi, A. Morzenti, A. Motta, M. Rossi, A logic-based semantics for the verification of multi-diagram UML models, ACM SIGSOFT Software Engineering Notes, Vol. 7, n. 4, July 2012, pp. 1-8
doi:10.1145/2237796.2237811

E. Carpanzano, L. Ferrucci, D. Mandrioli, M. Mazzolini, A. Morzenti, M. Rossi, Automated Formal Verification for Flexible Manufacturing Systems, 14th IFAC Symposium on Information Control Problems in Manufacturing (INCOM), May 2012, pp. 1609-1614
doi:10.3182/20120523-3-RO-2023.00133

M. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Bounded Reachability for Temporal Logic over Constraint Systems, 17th International Symposium on Temporal Representation and Reasoning (TIME), September 2010, pp. 43-50
doi:10.1109/TIME.2010.21

M. M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, M. Rossi, SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability, 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), September 2010, pp. 244-254
doi:10.1109/SEFM.2010.37

S. Bindelli, E. Di Nitto, C. A. Furia, M. Rossi, Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components, 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), March 2010, pp. 85-94
doi:10.1109/ICECCS.2010.65

M. M. Bersani, C. A. Furia, M. Pradella, M. Rossi, Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms, 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM), November 2009, pp. 13-22
doi:10.1109/SEFM.2009.16

S. Pacifici, M. Rossi, Towards a formal model of autonomic services based on SelfLets, ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS), May 2009, pp. 13-17
doi:10.1109/PESOS.2009.5068814

C. A. Furia, M. Rossi, D. Mandrioli, Modeling the Environment in Software-Intensive Systems, International Workshop on Modeling in Software Engineering (MISE07), May 2007
doi:10.1109/MISE.2007.11

M. Rolando, M. Rossi, N. Sanarico, D. Mandrioli, A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System, Workshop on Software Engineering for Secure Systems (SESS06), May 2006, pp. 65-71
doi:10.1145/1137627.1137638

P. Spoletini, M. Tomasella, A. Matta, M. Rossi, Formal Verification in Analysis and Design of Production Systems, International Seminar on Intelligent Computation in Manufaturing Engineering (ICME06), July 2006, pp. 367-372

P. Colombo, M. Pradella, M. Rossi, G. Sassaroli, A UML 2-compatible language and tool for formal modeling real-time system architectures, Symposium on Applied Computing, Software Engineering Track (SAC-SE 2006), April 2006, pp. 1785-1790 doi:10.1145/1141277.1141696

M. Rossi, D. Mandrioli, A Formal Approach for Modeling and Verification of RTCORBA-based Applications, International Symposium on Software Testing and Analysis, July 2004, pp. 263-273. doi:10.1145/1007512.1007548

C. A. Furia, M. Rossi, A Compositional Framework for Formally Verifying Modular Systems, Electronic Notes in Theoretical Computer Science, vol. 116, January 2005, pp. 185-198.
doi:10.1016/j.entcs.2004.02.076

M. Pezzè, A. Baldini, G. Denaro, G. Lipari, M. Rossi, D. Rogai, QUACK: a platform for the quality of new generation integrated embedded systems, Electronic Notes in Theoretical Computer Science, vol. 116, January 2005, pp. 113-131.
doi:10.1016/j.entcs.2004.02.082

M. Rossi, M. Lovera, A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits, Proc. of the International ESA Conference on Guidance, Navigation and Control Systems, Frascati, Italia, October 2002.

M. Rossi, M. Lovera, A Multirate Predictive Approach to Orbit Control of Small Spacecraft, Proc. of the American Control Conference (ACC2002), Anchorage, Alaska, USA, May 2002, pp. 1843-1848. doi:10.1109/ACC.2002.1023835

A. Coen-Porisini, M. Pradella, M. Rossi, D. Mandrioli, A Formal Approach for Designing CORBA based Applications, Proc. of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick (IR), June 4-11, 2000, pp. 188-197. doi:10.1145/337180.337202

A. Coen-Porisini, M. Pradella, M. Rossi, An Evolutionary Approach to the Design of Supervision and Control Systems, Proc. of the International Workshop on Principles of Software Evolution (IWPSE'99), Fukuoka City (JP), July 1999, pp. 37-42.

A. Morzenti, M. Pradella, M. Rossi, S. Russo, A. Sergio, A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications, Proc. of 2nd Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), Los Angeles (USA), May 1999, IEEE Computer Society Press, pp. 217 - 223. doi:10.1109/PDSE.1999.779755

 

Other

M. Rossi, M. Young SCORE 2011, the second student contest on software engineering, Proceedings of the 33rd International Conference on Software Engineering, June 2011, pp. 1232-1233 doi:10.1145/1985793.1986062

D. Mandrioli, S. Fickas, C.A. Furia, M. Jazayeri, M. Rossi, M. Young, SCORE: the first student contest on software engineering, ACM SIGSOFT Software Engineering Notes, Vol. 35, n. 4, July 2010, pp. 24-30
doi:10.1145/1811226.1811240

 

Technical Reports

C. A. Furia, M. Rossi, E. A. Strunk, D. Mandrioli, J. C. Knight, Raising Formal Methods To The Requirements Level, Technical Report 2006.64, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2006.

E. A. Strunk, C. A. Furia, M. Rossi, J. C. Knight, D. Mandrioli, The Engineering Roles of Requirements and Specification, Technical Report 2006.61, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2006.

C. A. Furia, D. Mandrioli, A. Morzenti, M. Pradella, M. Rossi, P. San Pietro, Higher-Order TRIO, Technical Report 2004.28, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2004.

M. Rossi, Modeling and Analysis of CORBA-based real-time distributed systems, PhD Thesis, Politecnico di Milano, 2002.

M. Rossi, An analyzer for probe placement and configuration of a Network Intrusion Detection System, Technical Report, University of California at Santa Barbara, October 2002.

M. Rossi, On Probe Placement and Configuration in an Intrusion Detection System, Technical Report 2002.21, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2002.

M. Rossi, A multirate predictive approach to orbit control of small spacecraft, Technical Report 2002.10, Dipartimento di Elettronica e Informazione, Politecnico di Milano, 2002.




Page last updated October 22nd, 2014.