| 2010 | A Dynamic Load Balancing Method for Parallel Simulation of Accuracy Adaptive TLMs. Rauf Salimi Khaligh, Martin Radetzki |
| 2010 | A Solution to the Lack of Multiple Inheritance in SystemVerilog. David Rich |
| 2010 | A Theoretical and Experimental Review of SystemC Front-ends. Kevin Marquet, Bageshri Karkare, Matthieu Moy |
| 2010 | A Tripartite System Level Design Approach for Design Space Exploration. Peter Brunmayr, Jan Haase, Christoph Grimm |
| 2010 | An Accelerated Mixed-Signal Simulation Kernel for SystemC. Daniel Zaum, Stefan Hoelldampf, Markus Olbrich, Erich Barke, Ingmar Neumann |
| 2010 | An Architecture for Deploying Model Based Testing in Embedded Systems. Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, Elke Pulvermüller |
| 2010 | Bottom-up Verification Methodology for CMOS Photonic Linear Heterogeneous System. Bo Wang, Ian O'Connor, Emmanuel Drouard, Lioua Labrak |
| 2010 | Bounded Fault Tolerance Checking. André Sülflow |
| 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 | Design of Experiments for Reliable Operation of Electronics in Automotive Applications. Monica Rafaila, Jérôme Kirscher, Christian Decker, Georg Pelz, Christoph Grimm |
| 2010 | Early Robustness Evaluation of Digital Integrated Systems. Régis Leveugle |
| 2010 | Evaluating Debugging Algorithms from a Qualitative Perspective. Alexander Finder, Görschwin Fey |
| 2010 | Exercises in Architecture Specification Using CLaSH. Jan Kuper, Christiaan Baaij, Matthijs Kooijman |
| 2010 | Feature-Oriented Refactoring Proposal for Transaction Level Models in SoCLib. Jun Ye, Qingping Tan, Tun Li, Bin Wu, Yuanru Meng |
| 2010 | Formal Foundations for MARTE-SystemC Interoperability. Pablo Peñil, Fernando Herrera, Eugenio Villar |
| 2010 | Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis. Eugenio Villar, Fernando Herrera, Víctor Fernández |
| 2010 | Formal Verification of Timed VHDL Programs. Abdelrezzak Bara, Pirouz Bazargan-Sabet, Remy Chevallier, Dominique Le Dû, Emmanuelle Encrenaz, Patricia Renault |
| 2010 | Functional Abstractions for UML Activity Diagrams. Matthias Brettschneider, Tobias Häberlein |
| 2010 | Genetic-Based High-Level Synthesis of Sigma-Delta Modulator in SystemC-A. Chenxu Zhao, Tom J. Kazmierski |
| 2010 | HetMoC: Heterogeneous Modelling in SystemC. Jun Zhu, Ingo Sander, Axel Jantsch |
| 2010 | Logical Time at Work: Capturing Data Dependencies and Platform Constraints. Calin Glitia, Julien Deantoni, Frédéric Mallet |
| 2010 | Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. Matthias Büker, Kim Grüttner, Philipp A. Hartmann, Ingo Stierand |
| 2010 | Mixed Signal Simulation with SystemC and Saber. Tobias Kirchner, Nico Bannow, Christian Kerstan, Christoph Grimm |
| 2010 | Mixed-Level Simulation of Wireless Sensor Networks. Jan Haase, Mario Lang, Christoph Grimm |
| 2010 | Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS. Sumit Adhikari, Christoph Grimm |
| 2010 | Modeling Technique for Simulation Time Speed-up of Performance Computation in Transaction Level Models. Sébastien Le Nours, Anthony Barreteau, Olivier Pasquier |
| 2010 | Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. Jon Pérez, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum |
| 2010 | Modeling of Communication Infrastructure for Design-Space Exploration. Franco Fummi, Davide Quaglia, Francesco Stefanni, Giovanni Lovato |
| 2010 | Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK Adam Morawiec, Jinnie Hinderscheit |
| 2010 | Reconstructing Line References from Optimized Binary Code for Source-Level Annotation. Stefan Stattelmann, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel |
| 2010 | Robustness with Respect to Error Specifications. Barbara Jobstmann |
| 2010 | SyReC: A Programming Language for Synthesis of Reversible Circuits. Robert Wille, Sebastian Offermann, Rolf Drechsler |
| 2010 | Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. David J. Greaves, Myoung Jin Nam |
| 2010 | SystemC Architectural Transaction Level Modelling for Large NoCs. Mohammad Hosseinabady, José L. Núñez-Yáñez |
| 2010 | SystemC-A Modelling of Mixed-Technology Systems with Distributed Behaviour. Chenxu Zhao, Tom J. Kazmierski |
| 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 Kärgel, Erich Barke |
| 2010 | Towards High-Level Executable Specifications of Heterogeneous Systems with SystemC-AMS: Application to a Manycore PCR-CE Lab on Chip for DNA Sequencing. François Pêcheux, Amer Habib |
| 2010 | Towards an ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems. Kim Grüttner, Kai Hylla, Sven Rosinger, Wolfgang Nebel |
| 2010 | Using SystemCAMS for Heterogeneous Systems Modelling at TIER-1 Level. Thomas Arndt, Thomas Uhle, Karsten Einwich, Ingmar Neumann |
| 2010 | VHDL-AMS model of RF-Interconnect System for Global On-Chip Communication. Marie Rouvière, Emmanuelle Bourdel, Sébastien Quintanel, Bertrand Granado |