| 2010 | Bottom-up Verification Methodology for CMOS Photonic Linear Heterogeneous System. | Bo Wang, Ian O'Connor, Emmanuel Drouard, Lioua Labrak |
| 2010 | Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis. | Eugenio Villar, Fernando Herrera, Vctor Fernndez |
| 2010 | Bounded Fault Tolerance Checking. | Andr Slflow |
| 2010 | Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. | Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel |
| 2010 | Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes. | Andr Seffrin, Alexander Biedermann, Sorin A. Huss |
| 2010 | Towards Abstract Analysis Techniques for Range Based System Simulations. | Florian Schupfer, Christoph Grimm, Markus Olbrich, Michael Krgel, Erich Barke |
| 2010 | VHDL-AMS model of RF-Interconnect System for Global On-Chip Communication. | Marie Rouvire, Emmanuelle Bourdel, Sbastien Quintanel, Bertrand Granado |
| 2010 | A Solution to the Lack of Multiple Inheritance in SystemVerilog. | David Rich |
| 2010 | Design of Experiments for Reliable Operation of Electronics in Automotive Applications. | Monica Rafaila, Jrme Kirscher, Christian Decker, Georg Pelz, Christoph Grimm |
| 2010 | Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. | Jon Prez, Carlos Fernando Nicols, Roman Obermaisser, Christian El Salloum |
| 2010 | Formal Foundations for MARTE-SystemC Interoperability. | Pablo Peil, Fernando Herrera, Eugenio Villar |
| 2010 | Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. | Franois Pcheux, Amer Habib |
| 2010 | A Theoretical and Experimental Review of SystemC Front-ends. | Kevin Marquet, Bageshri Karkare, Matthieu Moy |
| 2010 | Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. | Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz |
| 2010 | Early Robustness Evaluation of Digital Integrated Systems. | Rgis Leveugle |
| 2010 | Modeling Technique for Simulation Time Speed-up of Performance Computation in Transaction Level Models. | Sbastien Le Nours, Anthony Barreteau, Olivier Pasquier |
| 2010 | Exercises in Architecture Specification Using CLaSH. | Jan Kuper, Christiaan Baaij, Matthijs Kooijman |
| 2010 | Mixed Signal Simulation with SystemC and Saber. | Tobias Kirchner, Nico Bannow, Christian Kerstan, Christoph Grimm |
| 2010 | A Dynamic Load Balancing Method for Parallel Simulation of Accuracy Adaptive TLMs. | Rauf Salimi Khaligh, Martin Radetzki |
| 2010 | Robustness with Respect to Error Specifications. | Barbara Jobstmann |
| 2010 | An Architecture for Deploying Model Based Testing in Embedded Systems. | Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermller |
| 2010 | SystemC Architectural Transaction Level Modelling for Large NoCs. | Mohammad Hosseinabady, Jos L. Nez-Yez |
| 2010 | Mixed-Level Simulation of Wireless Sensor Networks. | Jan Haase, Mario Lang, Christoph Grimm |
| 2010 | Towards an ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems. | Kim Grttner, Kai Hylla, Sven Rosinger, Wolfgang Nebel |
| 2010 | Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. | David J. Greaves, Myoung Jin Nam |