| 2015 | 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015 |
| 2015 | A methodology for inserting clock-management strategies in transaction-level models of systemon- chips. Hend Affes, Michel Auguin, François Verdier, Alain Pegatoquet |
| 2015 | A special-purpose language for implementing pipelined FPGA-based accelerators. Cristiano Bacelar de Oliveira, Ricardo Menotti, João M. P. Cardoso, Eduardo Marques |
| 2015 | Architectural system modeling for correct-by-construction RTL design. Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz |
| 2015 | Building a dynamically reconfigurable system through a high development flow. David de la Fuente, Jesús Barba, Xerach Peña, Juan Carlos López, Pablo Peñil, Pablo Pedro Sanchez |
| 2015 | Conservative behavioural modelling in systemc-AMS. Sara Vinco, Michele Lora, Mark Zwolinski |
| 2015 | Enabler-based synchronizer model for clock domain crossing static verification. Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione |
| 2015 | Enhancing analysability and time predictability in UML/MARTE component-based application models. Fernando Herrera, Pablo Peñil, Eugenio Villar |
| 2015 | Extensions to the UML profile for MARTE for distributed embedded systems. Emad Samuel Malki Ebeid, Julio L. Medina, Davide Quaglia, Franco Fummi |
| 2015 | Mixed-criticality system modelling with dynamic execution mode switching. Philipp Ittershagen, Kim Grüttner, Wolfgang Nebel |
| 2015 | Modeling power consumption at system-level for design of power integrity-aware AMS-circuits. Xiao Pan, Javier Moreno Molina, Christoph Grimm |
| 2015 | Standard compliant co-simulation models for verification of automotive embedded systems. Martin Krammer, Helmut Martin, Zoran Radmilovic, Simon Erker, Michael Karner |
| 2015 | Temporal decoupling with error-bounded predictive quantum control. Georg Gläser, Gregor Nitsche, Eckhard Hennig |
| 2015 | Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning. Asier Larrucea, Irune Agirre, Carlos Fernando Nicolás, Jon Pérez, Mikel Azkarate-askasua, Ton Trapman |
| 2015 | Towards a toolchain for assertion-driven test sequence generation. Laurence Pierre |
| 2015 | Virtual hardware-in-the-loop co-simulation for multi-domain automotive systems via the functional mock-up interface. Robert Lajos Bücs, 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, Sébastien Tixeuil |