Andrea Fedeli
According to our database1,
Andrea Fedeli
authored at least 15 papers
between 2001 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
2001
2002
2003
2004
2005
2006
2007
0
1
2
3
4
5
2
1
1
2
1
4
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
IEEE Trans. Computers, 2007
IEEE Des. Test Comput., 2007
Proceedings of the Embedded Computer Systems: Architectures, 2007
2005
Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
2004
IEEE Trans. Software Eng., 2004
Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004
2003
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.
Proceedings of the SDL 2003: System Design, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003
2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002
Proceedings of the 2002 Design, 2002
2001
Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001