| 2014 | Towards simulation based evaluation of safety goal violations in automotive systems. | zlem Karaca, Jrme Kirscher, Linus Maurer, Georg Pelz |
| 2014 | Verifying consistency between activity diagrams and their corresponding OCL contracts. | Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | An extensible infrastructure for modeling and time analysis of predictable embedded systems. | Fernando Herrera, Ingo Sander |
| 2014 | A comparison of parallel systemc simulation approaches at RTL. | Bastian Haetzer, Martin Radetzki |
| 2014 | SystemC AMS power electronic modeling with ideal instantaneous switches. | Leandro Gil, Martin Radetzki |
| 2014 | Synthesizing code for GPGPUs from abstract formal models. | Gabriel Hjort Blindell, Christian Menne, Ingo Sander |
| 2014 | A property language for the specification of hardware-dependent embedded system software. | Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz |
| 2014 | A novel modeling framework for time-triggered safety-critical embedded systems. | Iban Ayestaran, Carlos Fernando Nicols, Jon Prez, Asier Larrucea, Peter P. Puschner |
| 2013 | Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation. | Liyuan Zhang, Michael Gla, Nils Ballmann, Jrgen Teich |
| 2013 | Representing mapping and scheduling decisions within dataflow graphs. | Christian Zebelein, Christian Haubelt, Joachim Falk, Tobias Schwarzer, Jrgen Teich |
| 2013 | Modeling of signal integrity in bus communications with timed data flow SystemC-AMS. | Ruomin Wang, Julien Denoulet, Sylvain Feruglio, Farouk Vallette, Patrick Garda |
| 2013 | Integrating circuit analyses for assertion-based verification of programmable AMS circuits. | Dogan Ulus, Alper Sen, I. Faik Baskaya |
| 2013 | Performance analysis method for RT systems: Promartes for autonomous robot. | Konstantinos Triantafyllidis, Egor Bondarev, Peter H. N. de With |
| 2013 | Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. | Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Gahda Bahig, Sherif Hammad |
| 2013 | Optimal component selection for energy-efficient systems. | Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm, Klaus-Holger Otto |
| 2013 | Fine-grain adaptation for real time embedded systems using UML/MARTE profile. | Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickal Kerboeuf, Mohamed Abid |
| 2013 | Event-driven (RN) modeling for AMS circuits. | Serge Garcia Sabiro |
| 2013 | The unique challenges of debugging design and verification code jointly in SystemVerilog. | Dave Rich |
| 2013 | A function approach for simple wireless sensor node energy consumption modeling. | Andriamampianina Aina Randrianarisaina, Olivier Pasquier, Pascal Charg |
| 2013 | Split of composite components for distributed applications. | Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, Brahim Hamid |
| 2013 | A formal verification framework for Bluespec System Verilog. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2013 | Simulation analysis and validation. | Frank Oppenheimer, Martin Radetzki |
| 2013 | Rapid virtual prototyping of real-time systems using predictable platform characterizations. | Seyed-Hosein Attarzadeh-Niaki, Marcus Mikulcak, Ingo Sander |
| 2013 | Assisting refinement in System-on-Chip design. | Hocine Mokrani, Raba Ameur-Boulifa, Emmanuelle Encrenaz-Tiphne |
| 2013 | Modeling languages extensions and best practices. | Julio L. Medina, Gjalt de Jong |