2020 Forum for Specification and Design Languages (FDL)
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 18)

H-INDEX

1

(FIVE YEARS 1)

Published By IEEE

9781728189284

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Exploiting Dataflow Models for Parallel Simulation of Discrete Timed Systems

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232931 ◽

2020 ◽

Author(s):

George Ungureanu ◽

Rodolfo Jordao ◽

Ingo Sander

Keyword(s):

Parallel Simulation ◽

Timed Systems ◽

Dataflow Models

Download Full-text

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232942 ◽

2020 ◽

Author(s):

F. Gretz ◽

F-J. Grosch ◽

M. Mendler ◽

S. Scheele

Keyword(s):

Shared Memory ◽

Formal Semantics ◽

Procedural Abstraction

Download Full-text

Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232947 ◽

2020 ◽

Author(s):

Francois Pecheux ◽

Liliana Andrade ◽

Marie-Minerve Louerat ◽

Ilias Bournias ◽

Roselyne Chotin ◽

...

Keyword(s):

Open Source ◽

Virtual Prototyping ◽

Heterogeneous Systems ◽

Open Source Framework

Download Full-text

ComPy-Learn: A toolbox for exploring machine learning representations for compilers

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232946 ◽

2020 ◽

Author(s):

Alexander Brauckmann ◽

Andres Goens ◽

Jeronimo Castrillon

Keyword(s):

Machine Learning

Download Full-text

Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232935 ◽

2020 ◽

Author(s):

Saranya Natarajan ◽

David Broman

Keyword(s):

Temporal Property ◽

Time Flow ◽

Download Full-text

A Language for Deterministic Coordination Across Multiple Timelines

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232939 ◽

2020 ◽

Author(s):

Marten Lohstroh ◽

Christian Menard ◽

Alexander Schulz-Rosengarten ◽

Matthew Weber ◽

Jeronimo Castrillon ◽

...

Download Full-text

QRML: A Component Language and Toolset for Quality and Resource Management

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232936 ◽

2020 ◽

Author(s):

Freek van den Berg ◽

Vaclav Camra ◽

Martijn Hendriks ◽

Marc Geilen ◽

Petr Hnetynka ◽

...

Keyword(s):

Resource Management

Download Full-text

The Sparse Synchronous Model

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232938 ◽

2020 ◽

Author(s):

Stephen A. Edwards ◽

John Hui

Download Full-text

An Algebra of Deterministic Propositional Acceptance Automata (DPAA)

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232945 ◽

2020 ◽

Author(s):

Aurelien Lamercerie ◽

Benoit Caillaud

Download Full-text

Beyond real number modeling: Comparison of analog modeling approaches.

2020 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl50818.2020.9232932 ◽

2020 ◽

Author(s):

Wolfgang Scherr ◽

Karsten Einwich

Keyword(s):

Real Number ◽

Modeling Approaches ◽

Analog Modeling

Download Full-text