Petri Net Based Interface Analysis for Fast IP-Core Integration
Oliveira Filho, Julio A. de, Lima, Manoel E. de, Maciel, Paulo Romero
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
Robust System Design with Uncertain Information
Micheli, Giovanni De
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
On the Use of a High-Level Fault Model to Check Properties Incompleteness
Fummi, Franco, Pravadelli, Graziano, Fedeli, Andrea, Rossi, Umberto, Toto, Franco
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
PANEL: Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?
Gupta, Rajesh, Shukla, Sandeep
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
Wodey, Pierre, Camarroque, Geoffrey, Hersemeule, Richard, Cousin, Jean-Philippe
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions
Srinivasan, Sudarshan K., Velev, Miroslav N.
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
Methods for exploiting SAT solvers in unbounded model checking
McMillan, K. L.
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN
Fernandes, Sérgio M. M., Maciel, Paulo R. M.
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
From Use Cases to System Implementation: Statechart Based Co-design
Gomes, Luís, Costa, Anikó
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
High Level Verification of Control Intensive Systems Using Predicate Abstraction
Clarke, Edmund, Grumberg, Orna, Talupur, Muralidhar, Wang, Dong
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations
Grandpierre, Thierry, Sorel, Yves
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding
Translating Fusion/UML to Object-Z
Bittner, Margot, Kammller, Florian
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Published in Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (24.06.2003)
Get full text
Conference Proceeding