Abstract is missing.
- SmaCoNat: Smart Contracts in Natural LanguageEmanuel Regnath, Sebastian Steinhorst. 5-16 [doi]
- Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to CodeGuillaume Davv, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux. 5-16 [doi]
- From Low-Power to No-Power: Adaptive Clocking for Event-Driven SystemsGeorg Gläser, Benjamin Saft, Dominik Wrana, Athanasios Gatzastras, Eckhard Hennig. 5-16 [doi]
- A New Ageing-Aware Approach Via Path IsolationYue Lu, Shengyu Duan, Tom J. Kazmierski. 5-16 [doi]
- Simulation-based Holistic Functional Safety Assessment for Networked Cyber-Physical SystemsEnrico Fraccaroli, Davide Quaglia, Franco Fummi. 5-16 [doi]
- Automatic Design of Microfluidic DevicesRobert Wille, Bing Li 0005, Rolf Drechsler, Ulf Schlichtmann. 5-16 [doi]
- Blech, Imperative Synchronous Programming!Friedrich Gretz, Franz-Josef Grosch. 5-16 [doi]
- Time in SCChartsAlexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien DeAntoni. 5-16 [doi]
- Dynamic Inside-Out Verification Using Inverse Transactions in TLMTobias Strauch. 5-16 [doi]
- Symbolic Simulation of SystemC AMS Without Yet Another CompilerCarna Zivkovic, Christoph Grimm 0001. 5-16 [doi]
- Sequential Behavioral Modeling for Scalable IoT Devices and SystemsEge Korkan, Sebastian Käbisch, Matthias Kovatsch, Sebastian Steinhorst. 5-16 [doi]
- Extensible and Configurable RISC-V Based Virtual PrototypeVladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler. 5-16 [doi]
- Automated Redirection of Hardware Accesses for Host-Compiled Software SimulationRafael Stahl, Daniel Mueller-Gritschneder, Ulf Schlichtmann. 5-16 [doi]
- Cyber-Physical System for Industrial Control Automation Based on the Holonic Approach and the IEC 61499 StandardLuis A. Cruz S, Jaime H. Carvajal, Oscar A. Rojas, Edgar Chacón. 5-16 [doi]
- Scade 6: From a Kahn Semantics to a Kahn Implementation for MulticoreJean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet. 5-16 [doi]
- SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event SimulationZhongqi Cheng, Tim Schmidt, Rainer Dömer. 5-16 [doi]
- Automated Testing for Cyber-physical Systems: From Scenarios to Executable TestsMartial Chabot, Laurence Pierre, Alexandre Nabais-Moreno. 5-16 [doi]
- Using SysML for Modelling and Code Generation for Smart Sensor ASICsAljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann. 5-16 [doi]
- Transaction-level Functional Mockup Units for Cyber-Physical Virtual PlatformsStefano Centomo, Michele Lora, Franco Fummi. 5-8 [doi]