| 2012 | SCandal: SystemC Analysis for Nondeterminism Anomalies. | Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid |
| 2012 | GREEN HOME: The Concept and Study of Grid Responsiveness. | Slobodanka Tomic, Jan Haase, Goran Lazendic |
| 2012 | A functional language for describing reversible logic. | Michael Kirkedal Thomsen |
| 2012 | Invasive computing - Concepts and overheads. | Jrgen Teich, Andreas Weichslgartner, Benjamin Oechslein, Wolfgang Schrder-Preikschat |
| 2012 | Modeling and simulation of secure wireless sensor network. | lvaro Daz Surez, Pablo Peil, Pablo Snchez Espeso, Juan Sancho, Juan Rico |
| 2012 | Analog assertion-based verification on partial state space representations using ASL. | Sebastian Steinhorst, Lars Hedrich |
| 2012 | Scandal: Systemc analysis for nondeterminism anomalies. | Christoph Schumacher, Jan Weinstock, Rainer Leupers, Gerd Ascheid |
| 2012 | QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. | Reinhard Schneider, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty |
| 2012 | A SystemC AMS extension for controlled modules and dynamic step sizes. | Christiane Reuther, Karsten Einwich |
| 2012 | Extended framework for system simulation with affine arithmetic. | Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm |
| 2012 | Assertion-based verification of signal processing systems with affine arithmetic. | Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm |
| 2012 | Minimum energy point of sub-threshold operated pass-transistor circuits. | Aleksandar Pajkanovic, Tom J. Kazmierski, Branko Dokic |
| 2012 | Formal heterogeneous system modeling with SystemC. | Seyed-Hosein Attarzadeh-Niaki, Mikkel Koefoed Jakobsen, Tero Sulonen, Ingo Sander |
| 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 |
| 2012 | Model Based Design of Distributed Embedded Cyber Physical Systems. | Javier Moreno Molina, Markus Damm, Jan Haase, Edgar Holleis, Christoph Grimm |
| 2012 | Polynomial-metamodel assisted fast power optimization of Nano-CMOS PLL components. | Saraju P. Mohanty, Elias Kougianos, Oleg Garitselov, Javier Moreno Molina |
| 2012 | Polynomial Metamodel-Based Fast Optimization of Nanoscale PLL Components. | Saraju P. Mohanty, Elias Kougianos |
| 2012 | Localizing features of ESL models for design understanding. | Marc Michael, Daniel Groe, Rolf Drechsler |
| 2012 | A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS. | Yao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Lourat |
| 2012 | A unified platform for design and verification of mixed-signal systems based on SystemC AMS. | Yao Li, Ramy Iskander, Farakh Javid, Marie-Minerve Lourat |
| 2012 | Minimal MPI as programming interface for multicore System-on-Chips. | Adn Kohler, Juan Manuel Castillo-Sanchez, Joachim Gross, Martin Radetzki |
| 2012 | Model-Driven Methodology for the Development of Multi-level Executable Environments. | Fernando Herrera, Pablo Peil, Hector Posadas, Eugenio Villar |
| 2012 | A model-driven methodology for the development of SystemC executable environments. | Fernando Herrera, Pablo Peil, Hector Posadas, Eugenio Villar |
| 2012 | Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta |
| 2012 | MODEST - A unified language for quantitative models. | Arnd Hartmanns |