The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matteo Rossi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]

  17. Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. [Citation Graph (, )][DBLP]


  18. MTL with Bounded Variability: Decidability and Complexity. [Citation Graph (, )][DBLP]


  19. Practical Automated Partial Verification of Multi-paradigm Real-Time Models. [Citation Graph (, )][DBLP]


  20. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. [Citation Graph (, )][DBLP]


  21. Practical Automated Partial Verification of Multi-Paradigm Real-Time Models [Citation Graph (, )][DBLP]


  22. Modeling Time in Computing: A Taxonomy and a Comparative Survey [Citation Graph (, )][DBLP]


  23. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms [Citation Graph (, )][DBLP]


  24. A Theory of Sampling for Continuous-time Metric Temporal Logic [Citation Graph (, )][DBLP]


  25. Bounded Reachability for Temporal Logic over Constraint Systems [Citation Graph (, )][DBLP]


  26. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability [Citation Graph (, )][DBLP]


  27. Comments on temporal logics for real-time system specification. [Citation Graph (, )][DBLP]


  28. Modeling time in computing: A taxonomy and a comparative survey. [Citation Graph (, )][DBLP]


Search in 0.026secs, Finished in 0.027secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002