Carlo A. Furia

	2012
46		Carlo A. Furia, Sebastian Nanz: Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings Springer 2012
	2011
45		Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Code-based automated program fixing. ASE 2011: 392-395
44		Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443
43		Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer: Inferring better contracts. ICSE 2011: 191-200
42		Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398
41		Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic. TIME 2011: 72-79
40		Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio: Automated Translation of Java Source Code to Eiffel. TOOLS (49) 2011: 20-35
39		Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Evidence-Based Automated Program Fixing CoRR abs/1102.1059: (2011)
38		Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer: Verifying Eiffel Programs with Boogie CoRR abs/1106.4700: (2011)
37		Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer: Stateful Testing: Finding More Errors in Code and Contracts CoRR abs/1108.1068: (2011)
36		Carlo A. Furia: Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. SIGACT News 42(1): 32-35 (2011)
	2010
35		Carlo A. Furia: What's Decidable about Sequences? ATVA 2010: 128-142
34		Carlo A. Furia, Bertrand Meyer: Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation 2010: 277-300
33		Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella: A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS 2010: 43-52
32		Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi: Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. ICECCS 2010: 85-94
31		Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller: Automated fixing of programs with contracts. ISSTA 2010: 61-72
30		Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer: Specifying Reusable Components. VSTTE 2010: 127-141
29		Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2): (2010)
28		Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young: SCORE: the first student contest on software engineering. ACM SIGSOFT Software Engineering Notes 35(4): 24-30 (2010)
27		Carlo A. Furia, Matteo Rossi: A theory of sampling for continuous-time metric temporal logic. ACM Trans. Comput. Log. 12(1): 8 (2010)
26		Carlo A. Furia: What's Decidable About Sequences? CoRR abs/1001.2100: (2010)
25		Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli: Refinement and Verification of Real-Time Systems CoRR abs/1002.1796: (2010)
24		Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer: Specifying Reusable Components CoRR abs/1003.5777: (2010)
23		Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini: A control-theoretical methodology for the scheduling problem CoRR abs/1009.3455: (2010)
	2009
22		Carlo A. Furia, Paola Spoletini: Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS 2009: 121-124
21		Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi: Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22
20		Carlo A. Furia, Matteo Pradella, Matteo Rossi: Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2): (2009)
19		Carlo A. Furia, Paola Spoletini: On Relaxing Metric Information in Linear Temporal Logic CoRR abs/0906.4711: (2009)
18		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)
17		Carlo A. Furia, Bertrand Meyer: Inferring Loop Invariants using Postconditions CoRR abs/0909.0884: (2009)
16		Carlo A. Furia, Matteo Rossi: A Theory of Sampling for Continuous-time Metric Temporal Logic CoRR abs/0911.5642: (2009)
	2008
15		Carlo A. Furia, Paola Spoletini: Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417
14		Carlo A. Furia, Matteo Pradella, Matteo Rossi: Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147
13		Carlo A. Furia, Matteo Rossi: MTL with Bounded Variability: Decidability and Complexity. FORMATS 2008: 109-123
12		Carlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317
11		Carlo A. Furia, Paola Spoletini: Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140
10		Carlo A. Furia, Matteo Pradella, Matteo Rossi: Practical Automated Partial Verification of Multi-Paradigm Real-Time Models CoRR abs/0804.4383: (2008)
9		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
8		Carlo A. Furia, Matteo Rossi: On the Expressiveness of MTL Variants over Dense Time. FORMATS 2007: 163-178
7		Carlo A. Furia, Matteo Rossi: No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. Bulletin of the EATCS 92: 150-160 (2007)
6		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		Carlo A. Furia, Matteo Rossi: Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. FORMATS 2006: 215-229
4		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		Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340
2		Carlo A. Furia, Matteo Rossi: A Compositional Framework for Formally Verifying Modular Systems. Electr. Notes Theor. Comput. Sci. 116: 185-198 (2005)
	2004
1		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	[18] [21]
2	Silvia Bindelli	[32]
3	Stefan Buchholz	[31]
4	Luca Cavallaro	[33]
5	Stephen Fickas	[28]
6	Alexander Horton	[37] [44]
7	Mehdi Jazayeri	[28]
8	Nikolay Kazmin	[43]
9	Richard A. Kemmerer	[25]
10	Paul Z. Kolano	[25]
11	Alberto Leva	[23]
12	Martina Maggio	[23]
13	Dino Mandrioli	[3] [6] [9] [25] [28] [29]
14	Andrea Matta	[1]
15	Bertrand Meyer	[17] [24] [30] [31] [34] [37] [38] [39] [42] [43] [44] [45]
16	Angelo Morzenti	[3] [4] [6] [9] [29]
17	Sebastian Nanz	[46]
18	Elisabetta Di Nitto	[32] [33]
19	Martin Nordio (Martín Nordio)	[37] [38] [39] [40] [42] [44] [45]
20	Manuel Oriol	[40]
21	Yu Pei	[31] [37] [39] [44] [45]
22	Nadia Polikarpova	[24] [30]
23	Matteo Pradella	[4] [10] [12] [14] [18] [20] [21] [33]
24	Matteo Rossi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [16] [18] [20] [21] [27] [28] [29] [32]
25	Hannes Roth	[37] [44]
26	Lucas Serpa Silva	[31]
27	Paola Spoletini	[11] [15] [19] [22] [23] [41]
28	Michael Steindorfer	[37] [44]
29	Marco Trudel	[40]
30	Julian Tschannen	[38] [42]
31	Yi Wei	[31] [37] [39] [43] [44] [45]
32	Michal Young	[28]
33	Andreas Zeller	[31]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page