default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd FDL 2019: Southampton, UK
- Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak:
2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. IEEE 2019, ISBN 978-1-7281-4113-8 - Gianluca Martino
, Görschwin Fey:
Syntax-Guided Enumeration of Temporal Properties. 1-8 - Manuel Strobel, Martin Radetzki:
A Backend Tool for the Integration of Memory Optimizations into Embedded Software. 1-7 - Friederike Bruns, Philipp Ittershagen, Kim Grüttner:
Time Measurement and Control Blocks for Bare-Metal C++ Applications. 1-8 - Stefano Spellini, Roberta Chirico, Michele Lora, Franco Fummi:
Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0. 1-4 - Heinz Riener:
Exact Synthesis of LTL Properties from Traces. 1-6 - Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler:
Towards Object-Oriented Modeling in SCCharts. 1-8 - Ginés Doménech-Asensi, Tom J. Kazmierski:
Simulation Acceleration of Image Filtering on CMOS Vision Chips Using Many-Core Processors. 1-4 - Jie Hou, Martin Radetzki:
A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms. 1-7 - George Ungureanu, Timmy Sundström, Anders Åhlander, Ingo Sander, Ingemar Söderquist:
Formal Design, Co-Simulation and Validation of a Radar Signal Processing System. 1-8 - Giovanni Liboni, Julien Deantoni:
WIP on a Coordination Language to Automate the Generation of Co-Simulations. 1-4 - Marten Lohstroh, Edward A. Lee:
Deterministic Actors. 1-8 - Oliver Keszöcze, Ian G. Harris:
Chatbot-based assertion generation from natural language specifications. 1-6 - Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Nicola Bombieri, Rosalba Giugno:
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology. 1-7 - Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik:
RTL Assertion Mining with Automated RTL-to-TLM Abstraction. 1-8 - Lukas Gressl, Christian Steger, Ulrich Neffe:
Security Driven Design Space Exploration for Embedded Systems. 1-8 - Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz:
Systematic RISC-V based Firmware Design⋆. 1-8 - Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip:
A Multi-Rate Precision Timed Programming Language for Multi-Cores. 1-8 - Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler:
Functional Coverage-Driven Characterization of RF Amplifiers. 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 2025-02-15 00:27 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:
