| 2014 | A comparison of parallel systemc simulation approaches at RTL. Bastian Haetzer, Martin Radetzki |
| 2014 | A concept for design of embedded systems at semantic level. Frank Wawrzik, Javier Moreno Molina, Christoph Grimm |
| 2014 | A novel modeling framework for time-triggered safety-critical embedded systems. Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner |
| 2014 | A property language for the specification of hardware-dependent embedded system software. Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz |
| 2014 | An extensible infrastructure for modeling and time analysis of predictable embedded systems. Fernando Herrera, Ingo Sander |
| 2014 | Automatic refinement checking for formal system models. Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler |
| 2014 | Automating the translation of assertions using natural language processing techniques. Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler |
| 2014 | Dependable task and communication migration in tiled manycore system-on-chip. Stefan Wallentowitz, Stefan Rosch, Thomas Wild, Andreas Herkersdorf, Volker Wenzel, Jörg Henkel |
| 2014 | Distributed, loosely-synchronized systemC/TLM simulations of many-processor platforms. Christian Sauer, Hans-Martin Blüthgen, Hans-Peter Loeb |
| 2014 | Execution of heterogeneous models for thermal analysis with a multi-view approach. Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert de Simone |
| 2014 | Hybrid dynamic data race detection in systemC. Alper Sen, Onder Kalaci |
| 2014 | MetaSMT: a unified interface to SMT-LIB2. Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler |
| 2014 | Multi-level modeling of wireless embedded systems. Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, François Pêcheux, Remi Butaud |
| 2014 | Powermonitor: a versatile API for automated power-aware ESL design. Yasaman Samei Syahkal, Rainer Dömer |
| 2014 | Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014 |
| 2014 | Semi-formal representation of requirements for automotive solutions using sysML. Liana Musat, Markus Hubl, Andi Buzo, Georg Pelz, Susanne Kandl, Peter P. Puschner |
| 2014 | Synthesizing code for GPGPUs from abstract formal models. Gabriel Hjort Blindell, Christian Menne, Ingo Sander |
| 2014 | SystemC AMS power electronic modeling with ideal instantaneous switches. Leandro Gil, Martin Radetzki |
| 2014 | Towards satisfaction checking of power contracts in Uppaal. Gregor Nitsche, Kim Grüttner, Wolfgang Nebel |
| 2014 | Towards simulation based evaluation of safety goal violations in automotive systems. Özlem Karaca, Jérôme Kirscher, Linus Maurer, Georg Pelz |
| 2014 | Verification of unit and dimensional consistencies in polychronous specifications. Mahesh Nanjundappa, Sandeep K. Shukla |
| 2014 | Verifying consistency between activity diagrams and their corresponding OCL contracts. Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler |