| 2016 | 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016 Rolf Drechsler, Robert Wille |
| 2016 | A modular design space exploration framework for multiprocessor real-time systems. Nima Khalilzad, Kathrin Rosvall, Ingo Sander |
| 2016 | Automated synthesis of cyber-physical systems from joint controller/architecture specifications. Debayan Roy, Licong Zhang, Wanli Chang, Samarjit Chakraborty |
| 2016 | Automatic generation of self-adaptive transactors from PSL assertions. Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni |
| 2016 | Building product-lines of mixed-criticality systems. Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy, Franck Chauvel |
| 2016 | Cascading metamodels from different sources for performance analysis of a power module. Christine Forster, Stefan Buschhorn, Monica Rafaila, Linus Maurer, Georg Pelz |
| 2016 | Change impact analysis for hardware designs from natural language to system level. Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler |
| 2016 | Compositional specification of functionality and timing of manufacturing systems. Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers |
| 2016 | Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria |
| 2016 | Designing reliable cyber-physical systems overview associated to the special session at FDL'16. Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao |
| 2016 | Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria |
| 2016 | Equivalence checking on ESL utilizing a priori knowledge. Niels Thole, Heinz Riener, Görschwin Fey |
| 2016 | Error-free near-threshold adiabatic CMOS logic in presence of process variation. Yue Lu, Tom J. Kazmierski |
| 2016 | Fault-effect analysis on system-level hardware modeling using virtual prototypes. Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello |
| 2016 | Feature based state space coverage of analog circuits. Andreas Furtig, Sebastian Steinhorst, Lars Hedrich |
| 2016 | Flexible runtime verification based on logical clock constraints. Daian Yue, Vania Joloboff, Frédéric Mallet |
| 2016 | Heterogeneous computing with accelerators: an overview with examples. Ana Lucia Varbanescu, Jie Shen |
| 2016 | IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. Sara Vinco, Michele Lora, Enrico Macii, Massimo Poncino |
| 2016 | Maintenance of specification models in industry using Edapt. Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers |
| 2016 | Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi |
| 2016 | On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study. Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
| 2016 | Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev |
| 2016 | Toolchain integration of runtime variability and aging awareness in multicore platforms. Ramakrishna Venkata Nittala, Francesco Barchi, Gianvito Urgese, Andrea Acquaviva |
| 2016 | Using event-B and Modelica to evaluate thermal management strategies in many core systems. Colin F. Snook, Tom J. Kazmierski |