![](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
21st FDL 2018: Garching, Germany
- Hiren D. Patel, Tom J. Kazmierski, Sebastian Steinhorst:
2018 Forum on Specification & Design Languages, FDL 2018, Garching, Germany, September 10-12, 2018. IEEE 2018, ISBN 978-1-5386-6418-6 - Yue Lu, Shengyu Duan
, Tom J. Kazmierski:
A New Ageing-Aware Approach Via Path Isolation. 5-16 - Friedrich Gretz, Franz-Josef Grosch:
Blech, Imperative Synchronous Programming! 5-16 - Rafael Stahl, Daniel Mueller-Gritschneder
, Ulf Schlichtmann
:
Automated Redirection of Hardware Accesses for Host-Compiled Software Simulation. 5-16 - Guillaume Davy, Christophe Garion
, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux:
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. 5-16 - Vladimir Herdt, Daniel Große
, Hoang M. Le, Rolf Drechsler
:
Extensible and Configurable RISC-V Based Virtual Prototype. 5-16 - Tobias Strauch:
Dynamic Inside-Out Verification Using Inverse Transactions in TLM. 5-16 - Enrico Fraccaroli
, Davide Quaglia
, Franco Fummi:
Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical Systems. 5-16 - Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann:
Using SysML for Modelling and Code Generation for Smart Sensor ASICs. 5-16 - Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet:
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. 5-16 - Zhongqi Cheng, Tim Schmidt, Rainer Dömer:
SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation. 5-16 - Carna Zivkovic, Christoph Grimm:
Symbolic Simulation of SystemC AMS Without Yet Another Compiler. 5-16 - Ege Korkan
, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst
:
Sequential Behavioral Modeling for Scalable IoT Devices and Systems. 5-16 - Emanuel Regnath
, Sebastian Steinhorst
:
SmaCoNat: Smart Contracts in Natural Language. 5-16 - Luis Alberto Cruz Salazar
, Jaime H. Carvajal, Oscar A. Rojas, Edgar Chacón Ramírez
:
Cyber-Physical System for Industrial Control Automation Based on the Holonic Approach and the IEC 61499 Standard. 5-16 - Stefano Centomo, Michele Lora, Franco Fummi:
Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms. 5-8 - Robert Wille, Bing Li, Rolf Drechsler
, Ulf Schlichtmann
:
Automatic Design of Microfluidic Devices. 5-16 - Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet
, Robert de Simone, Julien Deantoni
:
Time in SCCharts. 5-16 - Georg Gläser, Benjamin Saft, Dominik Wrana, Athanasios Gatzastras, Eckhard Hennig:
From Low-Power to No-Power: Adaptive Clocking for Event-Driven Systems. 5-16 - Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno:
Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. 5-16
![](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.