Concepedia

A. Fedeli

AF

Statistics

Publications

10

Citations

309

H-Index

10

Active since

1972

Affiliations

University of Verona(Current)

STMicroelectronics (Italy)

University of Florence

A. Fedeli is an author at University of Verona specializing in computer science, computing, and computer engineering.

Publications per year

1972–2007

10

Publications

10

Timed state space analysis of real-time preemptive systems

Giacomo Bucci, A. Fedeli, L. Sassoli et al. · IEEE Transactions on Software Engineering · 2004 · 102 citations

Computing, Computer Engineering, Computer Science +17

Properties Incompleteness Evaluation by Functional Verification

A. Fedeli, Franco Fummi, Graziano Pravadelli · IEEE Transactions on Computers · 2007 · 43 citations

Engineering, Computer Science, Systems Engineering +17

Modeling flexible real time systems with preemptive time Petri nets

Giacomo Bucci, A. Fedeli, L. Sassoli et al. · 2004 · 33 citations

Computing, Computer Engineering, Computer Systems +17

A relational data base management system

Giampio Bracchi, A. Fedeli, Paolo Paolini · 1972 · 31 citations · Full text

Computing, Computer Science, Information Systems +13

Hybrid, Incremental Assertion-Based Verification for TLM Design Flows

Nicola Bombieri, Franco Fummi, Graziano Pravadelli et al. · IEEE Design & Test of Computers · 2007 · 26 citations

Computing, Computer Science, Design +17

1–5 of 10