| 2012 | A SystemC AMS extension for controlled modules and dynamic step sizes. Christiane Reuther, Karsten Einwich |
| 2012 | A functional language for describing reversible logic. Michael Kirkedal Thomsen |
| 2012 | A model-driven methodology for the development of SystemC executable environments. Fernando Herrera, Pablo Peñil, Hector Posadas, Eugenio Villar |
| 2012 | A unified platform for design and verification of mixed-signal systems based on SystemC AMS. Yao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Louërat |
| 2012 | An efficient refinement strategy exploiting component properties in a cegar process. Syed Hussein Syed Alwi, Cécile Braunstein, Emmanuelle Encrenaz |
| 2012 | An integrated simulation framework for invasive computing. Michael Gerndt, Frank Hannig, Andreas Herkersdorf, Andreas Hollmann, Marcel Meyer, Sascha Roloff, Josef Weidendorfer, Thomas Wild, Aurang Zaib |
| 2012 | Analog assertion-based verification on partial state space representations using ASL. Sebastian Steinhorst, Lars Hedrich |
| 2012 | Assertion-based verification of signal processing systems with affine arithmetic. Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm |
| 2012 | Configurable load emulation using FPGA and power amplifiers for automotive power ICs. Manuel Harrant, Thomas Nirmaier, Georg Pelz, Fabrizio Dona, Christoph Grimm |
| 2012 | Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic. Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm |
| 2012 | Extended framework for system simulation with affine arithmetic. Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm |
| 2012 | FAst optimization of analog amplifier architecture using simulated annealing. Sumit Adhikari, Florian Schupfer, Christoph Grimm |
| 2012 | Formal Specification Level: Towards verification-driven design based on natural language processing. Rolf Drechsler, Mathias Soeken, Robert Wille |
| 2012 | Formal heterogeneous system modeling with SystemC. Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander |
| 2012 | Formal plausibility checks for environment constraints. Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2012 | Integrating virtual platforms into a heterogeneous MoC-based modeling framework. Gilmar S. Beserra, Seyed-Hosein Attarzadeh-Niaki, Ingo Sander |
| 2012 | Invasive computing - Concepts and overheads. Jürgen Teich, Andreas Weichslgartner, Benjamin Oechslein, Wolfgang Schröder-Preikschat |
| 2012 | Invasive computing with iOMP. Michael Gerndt, Andreas Hollmann, Marcel Meyer, Martin Schreiber, Josef Weidendorfer |
| 2012 | Localizing features of ESL models for design understanding. Marc Michael, Daniel Große, Rolf Drechsler |
| 2012 | MODEST - A unified language for quantitative models. Arnd Hartmanns |
| 2012 | Minimal MPI as programming interface for multicore System-on-Chips. Adán Kohler, Juan Manuel Castillo-Sanchez, Joachim Gross, Martin Radetzki |
| 2012 | Minimum energy point of sub-threshold operated pass-transistor circuits. Aleksandar Pajkanovic, Tom J. Kazmierski, Branko Dokic |
| 2012 | Model-based progressive design and verification of an integrated CMOS magnetic sensor for automotive applications. Gael F. Close, Gjalt de Jong |
| 2012 | Modeling and simulation of secure wireless sensor network. Álvaro Díaz Suárez, Pablo Peñil, Pablo Sánchez Espeso, Juan Sancho, Juan Rico |
| 2012 | Polynomial-metamodel assisted fast power optimization of Nano-CMOS PLL components. Saraju P. Mohanty, Elias Kougianos, Oleg Garitselov, Javier Moreno Molina |
| 2012 | Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012 |
| 2012 | QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. Reinhard Schneider, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty |
| 2012 | Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta |
| 2012 | Scandal: Systemc analysis for nondeterminism anomalies. Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid |
| 2012 | TLM POWER3: Power estimation methodology for SystemC TLM 2.0. David J. Greaves, Muhammad Mehboob Yasin |
| 2012 | Transformation of event-driven HDL blocks for native integration into time-driven system models. Ralph Görgen, Jan-Hendrik Oetjens, Wolfgang Nebel |
| 2012 | Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems. Javier Moreno, Markus Damm, Jan Haase, Christoph Grimm, Edgar Holleis |