| 2005 | 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings |
| 2005 | A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | A formal approach to system level design: metamodels and unified design environments. Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
| 2005 | A synchronous language at work: the story of Lustre. Nicolas Halbwachs |
| 2005 | Automatic synthesis of cache-coherence protocol processors using Bluespec. Nirav Dave, Man Cheuk Ng, Arvind |
| 2005 | Automotive software and systems engineering (Panel). Manfred Broy |
| 2005 | Deterministic receptive processes are Kahn processes. Stephen A. Edwards, Olivier Tardieu |
| 2005 | Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL. Masahiro Fujita |
| 2005 | Extended abstract: a race-free hardware modeling language. Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
| 2005 | Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC. Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger |
| 2005 | Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications. Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With |
| 2005 | Extended abstract: evaluation of delay queues for a Ravenscar HW kernel. Gustaf Naeser, Johan Furunäs |
| 2005 | Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. Ralph D. Jeffords, Ramesh Bharadwaj |
| 2005 | Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. Nicola Bombieri, Andrea Fedeli, Franco Fummi |
| 2005 | Extended abstract: organizing automaton specifications to achieve faithful representation. Elizabeth I. Leonard, Myla Archer |
| 2005 | Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. Íñigo Ugarte, Pablo Sanchez |
| 2005 | Extended abstract: requirements modeling within iterative, incremental processes. Lars Pareto |
| 2005 | Extended abstract: transition traversal coverage estimation for symbolic model checking. Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
| 2005 | Formal verification of SystemC by automatic hardware/software partitioning. Daniel Kroening, Natasha Sharygina |
| 2005 | From bold idea to product - a case study. Wolfgang Pree |
| 2005 | Improving SystemC simulation through Petri net reductions. Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta |
| 2005 | Making PVS do what you want. Myla Archer |
| 2005 | On the decidability of shared memory consistency verification. Ali Sezgin, Ganesh Gopalakrishnan |
| 2005 | On the use of a high-level fault model to analyze logical consequence of properties. Stefano Brait, Franco Fummi, Graziano Pravadelli |
| 2005 | Panel on design for verification. Tevfik Bultan, Constance L. Heitmeyer, John O'Leary |
| 2005 | PyPBS design and methodologies. Greg Hoover, Forrest Brewer |
| 2005 | Refinemant verification of fair transition systems can contribute to PLTL model checking. Françoise Bellegarde, Samir Chouali, Jacques Julliand |
| 2005 | Service-oriented software and systems engineering - a vision for the automotive domain. Ingolf Krüger |
| 2005 | Structural operational semantics for supporting multi-cycle operations in RTL HDLs. Shuqing Zhao, Daniel D. Gajski |
| 2005 | Synchronization verification in system-level design with ILP solvers. Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
| 2005 | Synthesis of synchronous assertions with guarded atomic actions. Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil |
| 2005 | System design extreme makeover. Daniel Gajski |
| 2005 | Three-valued logic in bounded model checking. Tobias Schüle, Klaus Schneider |
| 2005 | Thunderstriking constraints with JUPITER. Christos Kloukinas |
| 2005 | Translation-based co-verification. Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi |
| 2005 | Verification of low-level crypto-protocol implementations using automated theorem proving. Jan Jürjens |
| 2005 | Verification of parameterized hierarchical state machines using action language verifier. Tuba Yavuz-Kahveci, Tevfik Bultan |