Matteo Rossi

Yu Zhou, Luciano Baresi, Matteo Rossi: Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. 28(1): 188-202 (2013)

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing. Monographs in theoretical computer science, Springer 2012, isbn 978-3-642-32331-7, pp. I-XVI, 1-423

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos: MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012: 162-176

Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh: MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems. ReCoSoC 2012: 1-8

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012)

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012)

Matteo Rossi, Michal Young: SCORE 2011: the second student contest on software engineering. ICSE 2011: 1232-1233

Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro: Completeness of the Bounded Satisfiability Problem for Constraint LTL. RP 2011: 58-71

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2) (2010)

Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young: SCORE: the first student contest on software engineering. ACM SIGSOFT Software Engineering Notes 35(4): 24-30 (2010)

Carlo A. Furia, Matteo Rossi: A theory of sampling for continuous-time metric temporal logic. ACM Trans. Comput. Log. 12(1): 8 (2010)

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286

Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi: Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. ICECCS 2010: 85-94

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: From Interaction Overview Diagrams to Temporal Logic. MoDELS Workshops 2010: 90-104

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010)

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi: SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010)

Carlo A. Furia, Matteo Pradella, Matteo Rossi: Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2) (2009)

Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22

Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. CoRR abs/0907.5074 (2009)

Carlo A. Furia, Matteo Rossi: A Theory of Sampling for Continuous-time Metric Temporal Logic. CoRR abs/0911.5642 (2009)

Carlo A. Furia, Matteo Pradella, Matteo Rossi: Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147

Carlo A. Furia, Matteo Rossi: MTL with Bounded Variability: Decidability and Complexity. FORMATS 2008: 109-123

Carlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317

Carlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. CoRR abs/0804.4383 (2008)

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008)

Carlo A. Furia, Matteo Rossi: No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. Bulletin of the EATCS 92: 150-160 (2007)

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007)

Carlo A. Furia, Matteo Rossi: On the Expressiveness of MTL Variants over Dense Time. FORMATS 2007: 163-178

Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio: FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC 2007: 366-380

Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi: Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 424-427 (2006)

Carlo A. Furia, Matteo Rossi: Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. FORMATS 2006: 215-229

Pietro Colombo, Matteo Pradella, Matteo Rossi: A UML 2-compatible language and tool for formal modeling real-time system architectures. SAC 2006: 1785-1790

Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai: QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems. Electr. Notes Theor. Comput. Sci. 116: 113-131 (2005)

Carlo A. Furia, Matteo Rossi: A Compositional Framework for Formally Verifying Modular Systems. Electr. Notes Theor. Comput. Sci. 116: 185-198 (2005)

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340

Matteo Pradella, Matteo Rossi, Dino Mandrioli: ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395

Matteo Pradella, Matteo Rossi, Dino Mandrioli: A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246

Andrea Matta, Carlo A. Furia, Matteo Rossi: Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. ISCIS 2004: 718-728

Matteo Rossi, Dino Mandrioli: A formal approach for modeling and verification of RTCORBA-based applications. ISSTA 2004: 263-273

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli: A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003)

Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini: A formal approach for designing CORBA based applications. ICSE 2000: 188-197

Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio: A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. PDSE 1999: 217-223