![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
22nd 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.