| 2015 | A special-purpose language for implementing pipelined FPGA-based accelerators. | Cristiano Bacelar de Oliveira, Ricardo Menotti, Joo M. P. Cardoso, Eduardo Marques |
| 2015 | Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning. | Asier Larrucea, Irune Agirre, Carlos Fernando Nicols, Jon Prez, Mikel Azkarate-askasua, Ton Trapman |
| 2015 | Standard compliant co-simulation models for verification of automotive embedded systems. | Martin Krammer, Helmut Martin, Zoran Radmilovic, Simon Erker, Michael Karner |
| 2015 | Enabler-based synchronizer model for clock domain crossing static verification. | Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione |
| 2015 | Mixed-criticality system modelling with dynamic execution mode switching. | Philipp Ittershagen, Kim Grttner, Wolfgang Nebel |
| 2015 | Enhancing analysability and time predictability in UML/MARTE component-based application models. | Fernando Herrera, Pablo Peil, Eugenio Villar |
| 2015 | Temporal decoupling with error-bounded predictive quantum control. | Georg Glser, Gregor Nitsche, Eckhard Hennig |
| 2015 | Building a dynamically reconfigurable system through a high development flow. | David de la Fuente, Jess Barba, Xerach Pea, Juan Carlos Lpez, Pablo Peil, Pablo Pedro Sanchez |
| 2015 | Extensions to the UML profile for MARTE for distributed embedded systems. | Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi |
| 2015 | Virtual hardware-in-the-loop co-simulation for multi-domain automotive systems via the functional mock-up interface. | Robert Lajos Bcs, Luis Gabriel Murillo, Ekaterina Korotcenko, Gaurav Dugge, Rainer Leupers, Gerd Ascheid, Andreas Ropers, Markus Wedler, Andreas Hoffmann |
| 2015 | WiSeBat: accurate energy benchmarking of wireless sensor networks. | Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, Sbastien Tixeuil |
| 2015 | A methodology for inserting clock-management strategies in transaction-level models of systemon- chips. | Hend Affes, Michel Auguin, Franois Verdier, Alain Pegatoquet |
| 2014 | A concept for design of embedded systems at semantic level. | Frank Wawrzik, Javier Moreno Molina, Christoph Grimm |
| 2014 | Dependable task and communication migration in tiled manycore system-on-chip. | Stefan Wallentowitz, Stefan Rosch, Thomas Wild, Andreas Herkersdorf, Volker Wenzel, Jrg Henkel |
| 2014 | Powermonitor: a versatile API for automated power-aware ESL design. | Yasaman Samei Syahkal, Rainer Dmer |
| 2014 | Automating the translation of assertions using natural language processing techniques. | Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler |
| 2014 | Hybrid dynamic data race detection in systemC. | Alper Sen, Onder Kalaci |
| 2014 | Automatic refinement checking for formal system models. | Julia Seiter, Robert Wille, Ulrich Khne, Rolf Drechsler |
| 2014 | Distributed, loosely-synchronized systemC/TLM simulations of many-processor platforms. | Christian Sauer, Hans-Martin Blthgen, Hans-Peter Loeb |
| 2014 | MetaSMT: a unified interface to SMT-LIB2. | Heinz Riener, Mathias Soeken, Clemens Werther, Grschwin Fey, Rolf Drechsler |
| 2014 | Towards satisfaction checking of power contracts in Uppaal. | Gregor Nitsche, Kim Grttner, Wolfgang Nebel |
| 2014 | Verification of unit and dimensional consistencies in polychronous specifications. | Mahesh Nanjundappa, Sandeep K. Shukla |
| 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 | Multi-level modeling of wireless embedded systems. | Fangyan Li, Eric Dekneuvel, Gilles Jacquemod, Davide Quaglia, Michele Lora, Franois Pcheux, Remi Butaud |
| 2014 | Execution of heterogeneous models for thermal analysis with a multi-view approach. | Amani Khecharem, Carlos Gomez, Julien Deantoni, Frdric Mallet, Robert de Simone |