| 2009 |
|---|
| 15 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Comments on temporal logics for real-time system specification.
ACM Comput. Surv. 41(2): (2009) |
| 2008 |
|---|
| 14 | EE | Carlo A. Furia,
Paola Spoletini:
Practical Efficient Modular Linear-Time Model-Checking.
ATVA 2008: 408-417 |
| 13 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
FM 2008: 132-147 |
| 12 | EE | Carlo A. Furia,
Matteo Rossi:
MTL with Bounded Variability: Decidability and Complexity.
FORMATS 2008: 109-123 |
| 11 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
ICFEM 2008: 298-317 |
| 10 | EE | Carlo A. Furia,
Paola Spoletini:
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.
ICTAC 2008: 126-140 |
| 9 | EE | Carlo A. Furia,
Matteo Pradella,
Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR abs/0804.4383: (2008) |
| 8 | EE | 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 |
|---|
| 7 | EE | Carlo A. Furia,
Matteo Rossi:
On the Expressiveness of MTL Variants over Dense Time.
FORMATS 2007: 163-178 |
| 6 | EE | 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 |
|---|
| 5 | EE | Carlo A. Furia,
Matteo Rossi:
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
FORMATS 2006: 215-229 |
| 4 | EE | 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 |
|---|
| 3 | EE | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems.
FASE 2005: 326-340 |
| 2 | EE | Carlo A. Furia,
Matteo Rossi:
A Compositional Framework for Formally Verifying Modular Systems.
Electr. Notes Theor. Comput. Sci. 116: 185-198 (2005) |
| 2004 |
|---|
| 1 | EE | Andrea Matta,
Carlo A. Furia,
Matteo Rossi:
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.
ISCIS 2004: 718-728 |
