Search the dblp DataBase

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. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 
   Practical Efficient Modular Linear-Time Model-Checking. [Citation Graph (, )][DBLP]
   
   
9. 
   What's Decidable about Sequences? [Citation Graph (, )][DBLP]
   
   
10. 
    Inferring Loop Invariants Using Postconditions. [Citation Graph (, )][DBLP]
    
    
11. 
    Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. [Citation Graph (, )][DBLP]
    
    
12. 
    MTL with Bounded Variability: Decidability and Complexity. [Citation Graph (, )][DBLP]
    
    
13. 
    Practical Automated Partial Verification of Multi-paradigm Real-Time Models. [Citation Graph (, )][DBLP]
    
    
14. 
    Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. [Citation Graph (, )][DBLP]
    
    
15. 
    Automated fixing of programs with contracts. [Citation Graph (, )][DBLP]
    
    
16. 
    Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. [Citation Graph (, )][DBLP]
    
    
17. 
    Specifying Reusable Components. [Citation Graph (, )][DBLP]
    
    
18. 
    Practical Automated Partial Verification of Multi-Paradigm Real-Time Models [Citation Graph (, )][DBLP]
    
    
19. 
    Modeling Time in Computing: A Taxonomy and a Comparative Survey [Citation Graph (, )][DBLP]
    
    
20. 
    On Relaxing Metric Information in Linear Temporal Logic [Citation Graph (, )][DBLP]
    
    
21. 
    Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms [Citation Graph (, )][DBLP]
    
    
22. 
    Inferring Loop Invariants using Postconditions [Citation Graph (, )][DBLP]
    
    
23. 
    A Theory of Sampling for Continuous-time Metric Temporal Logic [Citation Graph (, )][DBLP]
    
    
24. 
    What's Decidable About Sequences? [Citation Graph (, )][DBLP]
    
    
25. 
    Refinement and Verification of Real-Time Systems [Citation Graph (, )][DBLP]
    
    
26. 
    Specifying Reusable Components [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]