Andrea Fedeli

	2007
14		Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens: SC2SCFL: Automated SystemC to SystemCFL Translation. SAMOS 2007: 34-45
13		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli: Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Design & Test of Computers 24(2): 140-152 (2007)
12		Andrea Fedeli, Franco Fummi, Graziano Pravadelli: Properties Incompleteness Evaluation by Functional Verification. IEEE Trans. Computers 56(4): 528-544 (2007)
	2005
11		Nicola Bombieri, Andrea Fedeli, Franco Fummi: Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE 2005: 239-240
10		Nicola Bombieri, Andrea Fedeli, Franco Fummi: On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV 2005: 127-132
	2004
9		Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli: A Verification Methodology for Reconfigurable Systems. MTV 2004: 85-90
8		Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng. 30(2): 97-111 (2004)
	2003
7		Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286
6		Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130
5		Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto: On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE 2003: 145-152
4		Giacomo Bucci, Andrea Fedeli, Enrico Vicario: Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217
	2002
3		Paolo Azzoni, Andrea Fedeli, Franco Fummi, Graziano Pravadelli, Umberto Rossi, Franco Toto: An error simulation based approach to measure error coverage of formal properties. ACM Great Lakes Symposium on VLSI 2002: 53-58
2		Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud: Formal Verification Techniques: Industrial Status and Perspectives. DATE 2002: 1050-1051
	2001
1		Umberto Rossi, Andrea Fedeli, Marco Boschini, Franco Toto: Concrete Impact of Formal Verification on Quality in IP Design and Implementation. ISQED 2001: 38-43

Coauthor Index

1	Paolo Azzoni	[3]
2	Joel Blasquez	[2]
3	Nicola Bombieri	[10] [11] [13]
4	Michele Borgatti	[9]
5	Dominique Borrione	[2]
6	Marco Boschini	[1]
7	Menouer Boubekeur	[14]
8	Pierre Bricaud	[2]
9	Giacomo Bucci	[4] [6] [7] [8]
10	Franco Fummi	[3] [5] [9] [10] [11] [12] [13]
11	Coby Hanoch	[2]
12	Marten van Hulst	[2]
13	Jean-Luc Lambert	[2] [9]
14	Ka Lok Man (Ka L. Man)	[14]
15	Cristina Marconcini	[9]
16	Michele Mercaldi	[14]
17	Imed Moussa	[9]
18	Graziano Pravadelli	[3] [5] [9] [12] [13]
19	Umberto Rossi	[1] [3] [5] [9]
20	Luigi Sassoli	[7] [8]
21	Michel P. Schellekens	[14]
22	Franco Toto	[1] [3] [5]
23	Enrico Vicario	[4] [6] [7] [8]

Colors in the list of coauthors