default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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
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-11-14 20:49 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:
