The SCEAS System
| |||||||

## Search the dblp DataBase
Matteo Rossi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
**Automated Compositional Proofs for Real-Time Systems.**[Citation Graph (0, 0)][DBLP] FASE, 2005, pp:326-340 [Conf] - Carlo A. Furia, Matteo Rossi
**Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.**[Citation Graph (0, 0)][DBLP] FORMATS, 2006, pp:215-229 [Conf] - Matteo Pradella, Matteo Rossi, Dino Mandrioli
**ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.**[Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:381-395 [Conf] - Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
**A formal approach for designing CORBA based applications.**[Citation Graph (0, 0)][DBLP] ICSE, 2000, pp:188-197 [Conf] - Andrea Matta, Carlo A. Furia, Matteo Rossi
**Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.**[Citation Graph (0, 0)][DBLP] ISCIS, 2004, pp:718-728 [Conf] - Matteo Rossi, Dino Mandrioli
**A formal approach for modeling and verification of RTCORBA-based applications.**[Citation Graph (0, 0)][DBLP] ISSTA, 2004, pp:263-273 [Conf] - Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio
**A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.**[Citation Graph (0, 0)][DBLP] PDSE, 1999, pp:217-223 [Conf] - Pietro Colombo, Matteo Pradella, Matteo Rossi
**A UML 2-compatible language and tool for formal modeling real-time system architectures.**[Citation Graph (0, 0)][DBLP] SAC, 2006, pp:1785-1790 [Conf] - Matteo Pradella, Matteo Rossi, Dino Mandrioli
**A UML-Compatible Formal Language for System Architecture Description.**[Citation Graph (0, 0)][DBLP] SDL Forum, 2005, pp:234-246 [Conf] - Carlo A. Furia, Matteo Rossi
**A Compositional Framework for Formally Verifying Modular Systems.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:185-198 [Journal] - Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai
**QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:113-131 [Journal] - Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
**Automated compositional proofs for real-time systems.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:376, n:3, pp:164-184 [Journal] - Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
**A formal approach for designing CORBA-based applications.**[Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:2, pp:107-151 [Journal] - Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
**Comments on "An Interval Logic for Real-Time System Specification'.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2006, v:32, n:6, pp:424-427 [Journal] - Carlo A. Furia, Matteo Rossi
**On the Expressiveness of MTL Variants over Dense Time.**[Citation Graph (0, 0)][DBLP] FORMATS, 2007, pp:163-178 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] ICTAC, 2007, pp:366-380 [Conf] **Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.**[Citation Graph (, )][DBLP]**MTL with Bounded Variability: Decidability and Complexity.**[Citation Graph (, )][DBLP]**Practical Automated Partial Verification of Multi-paradigm Real-Time Models.**[Citation Graph (, )][DBLP]**Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.**[Citation Graph (, )][DBLP]**Practical Automated Partial Verification of Multi-Paradigm Real-Time Models**[Citation Graph (, )][DBLP]**Modeling Time in Computing: A Taxonomy and a Comparative Survey**[Citation Graph (, )][DBLP]**Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms**[Citation Graph (, )][DBLP]**A Theory of Sampling for Continuous-time Metric Temporal Logic**[Citation Graph (, )][DBLP]**Bounded Reachability for Temporal Logic over Constraint Systems**[Citation Graph (, )][DBLP]**SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability**[Citation Graph (, )][DBLP]**Comments on temporal logics for real-time system specification.**[Citation Graph (, )][DBLP]**Modeling time in computing: A taxonomy and a comparative survey.**[Citation Graph (, )][DBLP]
Search in 0.026secs, Finished in 0.027secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |