 | 2009 |
|---|
| 23 |       | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Comments on temporal logics for real-time system specification.
ACM Comput. Surv. 41(2): (2009) |
| 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) |
| 2008 |
|---|
| 21 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
FM 2008: 132-147 |
| 20 | | Carlo A. Furia,
Matteo Rossi:
MTL with Bounded Variability: Decidability and Complexity.
FORMATS 2008: 109-123 |
| 19 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
ICFEM 2008: 298-317 |
| 18 | | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR abs/0804.4383: (2008) |
| 17 | | Carlo A. Furia,
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR abs/0807.4132: (2008) |
| 2007 |
|---|
| 16 | | Carlo A. Furia,
Matteo Rossi:
On the Expressiveness of MTL Variants over Dense Time.
FORMATS 2007: 163-178 |
| 15 | | 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 |
| 14 | | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated compositional proofs for real-time systems.
Theor. Comput. Sci. 376(3): 164-184 (2007) |
| 2006 |
|---|
| 13 | | Carlo A. Furia,
Matteo Rossi:
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
FORMATS 2006: 215-229 |
| 12 | | Pietro Colombo,
Matteo Pradella,
Matteo Rossi:
A UML 2-compatible language and tool for formal modeling real-time system architectures.
SAC 2006: 1785-1790 |
| 11 | | 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) |
| 2005 |
|---|
| 10 | | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems.
FASE 2005: 326-340 |
| 9 | | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE 2005: 381-395 |
| 8 | | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli:
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum 2005: 234-246 |
| 7 | | 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) |
| 6 | | Carlo A. Furia,
Matteo Rossi:
A Compositional Framework for Formally Verifying Modular Systems.
Electr. Notes Theor. Comput. Sci. 116: 185-198 (2005) |
| 2004 |
|---|
| 5 | | Andrea Matta,
Carlo A. Furia,
Matteo Rossi:
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.
ISCIS 2004: 718-728 |
| 4 | | Matteo Rossi,
Dino Mandrioli:
A formal approach for modeling and verification of RTCORBA-based applications.
ISSTA 2004: 263-273 |
| 2003 |
|---|
| 3 | | 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) |
| 2000 |
|---|
| 2 | | Matteo Pradella,
Matteo Rossi,
Dino Mandrioli,
Alberto Coen-Porisini:
A formal approach for designing CORBA based applications.
ICSE 2000: 188-197 |
| 1999 |
|---|
| 1 | | 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 |
