| 2006 | Latency-insensitive design and central repetitive scheduling. | Julien Boucaron, Robert de Simone, Jean-Vivien Millo |
| 2006 | A methodology for abstracting RTL designs into TL descriptions. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2006 | Formal methods for checking realizability of coalitions in 3-party systems. | Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2006 | Specifying and proving properties of timed I/O automata in the TIOA toolkit. | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno |
| 2006 | Games for formal design and verification of reactive systems. | Rajeev Alur |
| 2006 | Scalable program analysis using Boolean satisfiability. | Alex Aiken |
| 2005 | Structural operational semantics for supporting multi-cycle operations in RTL HDLs. | Shuqing Zhao, Daniel D. Gajski |
| 2005 | Verification of parameterized hierarchical state machines using action language verifier. | Tuba Yavuz-Kahveci, Tevfik Bultan |
| 2005 | Extended abstract: transition traversal coverage estimation for symbolic model checking. | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
| 2005 | Translation-based co-verification. | Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi |
| 2005 | Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. | igo Ugarte, Pablo Sanchez |
| 2005 | On the decidability of shared memory consistency verification. | Ali Sezgin, Ganesh Gopalakrishnan |
| 2005 | Three-valued logic in bounded model checking. | Tobias Schle, Klaus Schneider |
| 2005 | Extended abstract: a race-free hardware modeling language. | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
| 2005 | Improving SystemC simulation through Petri net reductions. | Nicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta |
| 2005 | Synchronization verification in system-level design with ILP solvers. | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
| 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 Mhlberger |
| 2005 | From bold idea to product - a case study. | Wolfgang Pree |
| 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 | Synthesis of synchronous assertions with guarded atomic actions. | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil |
| 2005 | Extended abstract: requirements modeling within iterative, incremental processes. | Lars Pareto |
| 2005 | Extended abstract: evaluation of delay queues for a Ravenscar HW kernel. | Gustaf Naeser, Johan Furuns |
| 2005 | A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | Extended abstract: organizing automaton specifications to achieve faithful representation. | Elizabeth I. Leonard, Myla Archer |
| 2005 | Service-oriented software and systems engineering - a vision for the automotive domain. | Ingolf Krger |