default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th FDL 2016: Bremen, Germany
- Rolf Drechsler, Robert Wille:
2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. IEEE 2016, ISBN 979-10-92279-17-7 - Daian Yue, Vania Joloboff, Frédéric Mallet
:
Flexible runtime verification based on logical clock constraints. 1-8 - Niels Thole, Heinz Riener, Görschwin Fey:
Equivalence checking on ESL utilizing a priori knowledge. 1-8 - Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello:
Fault-effect analysis on system-level hardware modeling using virtual prototypes. 1-7 - Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler:
Change impact analysis for hardware designs from natural language to system level. 1-7 - Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni:
Automatic generation of self-adaptive transactors from PSL assertions. 1-7 - Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria:
Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. 1-7 - Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria:
Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. 1-8 - Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers:
Maintenance of specification models in industry using Edapt. 1-6 - Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
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. 1-8 - Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev:
Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. 1-7 - Nima Khalilzad, Kathrin Rosvall, Ingo Sander:
A modular design space exploration framework for multiprocessor real-time systems. 1-7 - Simon Barner, Alexander Diewald, Fernando Eizaguirre, Anatoly Vasilevskiy, Franck Chauvel:
Building product-lines of mixed-criticality systems. 1-8 - Sara Vinco, Michele Lora, Enrico Macii, Massimo Poncino:
IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models. 1-8 - Colin F. Snook, Tom J. Kazmierski:
Using event-B and Modelica to evaluate thermal management strategies in many core systems. 1-5 - Yue Lu, Tom J. Kazmierski:
Error-free near-threshold adiabatic CMOS logic in presence of process variation. 1-5 - Ramakrishna Venkata Nittala, Francesco Barchi, Gianvito Urgese, Andrea Acquaviva:
Toolchain integration of runtime variability and aging awareness in multicore platforms. 1-8 - Christine Forster, Stefan Buschhorn, Monica Rafaila, Linus Maurer, Georg Pelz:
Cascading metamodels from different sources for performance analysis of a power module. 1-8 - Ana Lucia Varbanescu, Jie Shen:
Heterogeneous computing with accelerators: an overview with examples. 1-8 - Andreas Furtig, Sebastian Steinhorst, Lars Hedrich:
Feature based state space coverage of analog circuits. 1-7 - Debayan Roy, Licong Zhang, Wanli Chang, Samarjit Chakraborty:
Automated synthesis of cyber-physical systems from joint controller/architecture specifications. 1-8 - Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi:
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. 1-8 - Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers:
Compositional specification of functionality and timing of manufacturing systems. 1-8 - 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:
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. 1-8
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
