- Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler:
RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. FDL 2021: 1-7 - Emad Malekzadeh Arasteh, Rainer Dömer:
Improving Parallelism in System Level Models by Assessing PDES Performance. FDL 2021: 1-7 - Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi:
A Common Manipulation Framework for Transistor-Level Languages. FDL 2021: 1-7 - Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh:
Debugging and Verification Tools for Lingua Franca in Gemoc Studio. FDL 2021: 1-8 - Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi:
Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. FDL 2021: 1-8 - Mehran Goli, Rolf Drechsler:
VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. FDL 2021: 1-8 - Victor Grimblatt:
The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. FDL 2021: 1-6 - Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch:
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. FDL 2021: 1-8 - Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch:
Extracting Mode Diagrams from Blech Code. FDL 2021: 1-8 - Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri:
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. FDL 2021: 1-8 - Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar:
Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. FDL 2021: 1-8 - Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau:
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. FDL 2021: 1-8 - Eric Senn, Lucie Bourdon:
Introducing CPU load Analysis from AADL Models for ROS applications : a use case. FDL 2021: 1-8 - Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani:
DOHMO: Embedded Computer Vision in Co-Housing Scenarios. FDL 2021: 1-8 - Sören Tempel, Vladimir Herdt, Rolf Drechsler:
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. FDL 2021: 1-7 - 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021. IEEE 2021, ISBN 978-1-6654-1825-6 [contents]
- 2020
- Freek van den Berg, Václav Camra, Martijn Hendriks, Marc Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sánchez, Tomás Bures, Twan Basten:
QRML: A Component Language and Toolset for Quality and Resource Management. FDL 2020: 1-8 - Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. FDL 2020: 1-8 - Alexander Brauckmann, Andrés Goens, Jerónimo Castrillón:
ComPy-Learn: A toolbox for exploring machine learning representations for compilers. FDL 2020: 1-4 - Stephen A. Edwards, John Hui:
The Sparse Synchronous Model. FDL 2020: 1-8 - Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele:
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. FDL 2020: 1-8 - Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet:
From Lustre to Graphical Models and SCCharts. FDL 2020: 1-8 - Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler:
Efficient Cross-Level Testing for Processor Verification: A RISC- V Case-Study. FDL 2020: 1-7 - Matthew Johns, Tom J. Kazmierski:
A Minimal RISC-V Vector Processor for Embedded Systems. FDL 2020: 1-4 - Aurélien Lamercerie, Benoît Caillaud:
An Algebra of Deterministic Propositional Acceptance Automata (DPAA). FDL 2020: 1-8 - Hugh Leather, Chris Cummins:
Machine Learning in Compilers: Past, Present and Future. FDL 2020: 1-8 - Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee:
A Language for Deterministic Coordination Across Multiple Timelines. FDL 2020: 1-8 - Saranya Natarajan, David Broman:
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. FDL 2020: 1-8 - François Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius:
Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. FDL 2020: 1-8 - Michel A. Reniers, Sander Thuijsman:
Supervisory Control for Dynamic Feature Configuration in Product Lines. FDL 2020: 1-8