Andrea Fedeli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2002–2005
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | MEMOCODE | Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. | Nicola Bombieri, Andrea Fedeli, Franco Fummi |
| 2003 | ECRTS | Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario |
| 2003 | ISADS | Predicting Timeliness of Reactive Systems under Flexible Scheduling. | Giacomo Bucci, Andrea Fedeli, Enrico Vicario |
| 2003 | MEMOCODE | On the Use of a High-Level Fault Model to Check Properties Incompleteness. | Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto |
| 2002 | DATE | Formal Verification Techniques: Industrial Status and Perspectives. | Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud |