Search the dblp DataBase
Umberto Rossi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Umberto Rossi Can we really do without the support of formal methods in the verification of large designs? [Citation Graph (0, 0)][DBLP ] DAC, 2005, pp:672-673 [Conf ] Michele Borgatti , Andrea Capello , Umberto Rossi , Jean-Luc Lambert , Imed Moussa , Franco Fummi , Graziano Pravadelli An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. [Citation Graph (0, 0)][DBLP ] DATE, 2004, pp:266-271 [Conf ] Michele Borgatti , Andrea Capello , Umberto Rossi , Jean-Luc Lambert , Imed Moussa , Franco Fummi , Graziano Pravadelli An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems. [Citation Graph (0, 0)][DBLP ] DATE, 2004, pp:266-271 [Conf ] Paolo Azzoni , Andrea Fedeli , Franco Fummi , Graziano Pravadelli , Umberto Rossi , Franco Toto An error simulation based approach to measure error coverage of formal properties. [Citation Graph (0, 0)][DBLP ] ACM Great Lakes Symposium on VLSI, 2002, pp:53-58 [Conf ] G. Coppa , B. Costa , P. Di Vita , Umberto Rossi Characterization Techniques For Monomode Fibres and Cables. [Citation Graph (0, 0)][DBLP ] ICC (3), 1984, pp:1060-1063 [Conf ] Umberto Rossi New Items in Optical Cables and Systems Standardization Within CCITT. [Citation Graph (0, 0)][DBLP ] ICC, 1986, pp:1697-1700 [Conf ] Umberto Rossi , Andrea Fedeli , Marco Boschini , Franco Toto Concrete Impact of Formal Verification on Quality in IP Design and Implementation. [Citation Graph (0, 0)][DBLP ] ISQED, 2001, pp:38-43 [Conf ] Franco Fummi , Graziano Pravadelli , Andrea Fedeli , Umberto Rossi , Franco Toto On the Use of a High-Level Fault Model to Check Properties Incompleteness. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2003, pp:145-152 [Conf ] Michele Borgatti , Andrea Fedeli , Umberto Rossi , Jean-Luc Lambert , Imed Moussa , Franco Fummi , Cristina Marconcini , Graziano Pravadelli A Verification Methodology for Reconfigurable Systems. [Citation Graph (0, 0)][DBLP ] MTV, 2004, pp:85-90 [Conf ] Michele Borgatti , Andrea Capello , Umberto Rossi , Jean-Luc Lambert , Imed Moussa , Franco Fummi , Graziano Pravadelli An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Search in 0.001secs, Finished in 0.002secs