Carlo A. Furia Vis

*	2009
18	EE	Carlo A. Furia, Matteo Pradella, Matteo Rossi: Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2): (2009)
17	EE	Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic CoRR abs/0906.4711: (2009)
16	EE	Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms CoRR abs/0907.5074: (2009)
15	EE	Carlo A. Furia, Bertrand Meyer: Inferring Loop Invariants using Postconditions CoRR abs/0909.0884: (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

Coauthor Index

1	Marcello M. Bersani	[16]
2	Dino Mandrioli	[3] [6] [8]
3	Andrea Matta	[1]
4	Bertrand Meyer	[15]
5	Angelo Morzenti	[3] [4] [6] [8]
6	Matteo Pradella	[4] [9] [11] [13] [16] [18]
7	Matteo Rossi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [16] [18]
8	Paola Spoletini	[10] [14] [17]

Colors in the list of coauthors