The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlo A. Furia: [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. 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]


Search in 0.004secs, Finished in 0.005secs
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