wikidata.org
Forum on specification and Design Languages
container_blxxpaotjfgulpzlgmx3ofvyua
Homepage URLs
http://www.ecsi.org/fdl |
Example Publications
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics
Saranya Natarajan, David Broman
2020
|
Forum on specification and Design Languages
doi:10.1109/fdl50818.2020.9232935 dblp:conf/fdl/NatarajanB20
Supervisory Control for Dynamic Feature Configuration in Product Lines
Michel Reniers, Sander Thuijsman
2020
|
Forum on specification and Design Languages
doi:10.1109/fdl50818.2020.9232937 dblp:conf/fdl/ReniersT20
Compositional timing-aware semantics for synchronous programming
Joaquin Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha Roop
2017
|
Forum on specification and Design Languages
doi:10.1109/fdl.2017.8303895 dblp:conf/fdl/AguadoMWBR17
Conservative behavioural modelling in systemc-AMS
Sara Vinco, Michele Lora, Mark Zwolinski
2015
|
Forum on specification and Design Languages
doi:10.1109/fdl.2015.7306361 dblp:conf/fdl/VincoLZ15
Real-time ticks for synchronous programming
Reinhard von Hanxleden, Timothy Bourke, Alain Girault
2017
|
Forum on specification and Design Languages
doi:10.1109/fdl.2017.8303893 dblp:conf/fdl/HanxledenBG17