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

TOTAL DOCUMENTS

19

(FIVE YEARS 19)

H-INDEX

1

(FIVE YEARS 1)

Published By IEEE

9781728141138

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Exact Synthesis of LTL Properties from Traces

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876900 ◽

2019 ◽

Author(s):

Heinz Riener

Download Full-text

Chatbot-based assertion generation from natural language specifications

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876925 ◽

2019 ◽

Author(s):

Oliver Keszocze ◽

Ian G. Harris

Keyword(s):

Natural Language

Download Full-text

RTL Assertion Mining with Automated RTL-to-TLM Abstraction

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876941 ◽

2019 ◽

Author(s):

Tara Ghasempouri ◽

Alessandro Danese ◽

Graziano Pravadelli ◽

Nicola Bombieri ◽

Jaan Raik

Download Full-text

Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876940 ◽

2019 ◽

Author(s):

Simone Caligola ◽

Tommaso Carlucci ◽

Franco Fummi ◽

Carlo Laudanna ◽

Gabriela Constantin ◽

...

Keyword(s):

Systems Biology ◽

Stochastic Petri Nets ◽

Efficient Simulation

Download Full-text

Security Driven Design Space Exploration for Embedded Systems

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876944 ◽

2019 ◽

Author(s):

Lukas Gressl ◽

Christian Steger ◽

Ulrich Neffe

Keyword(s):

Embedded Systems ◽

Design Space Exploration ◽

Design Space ◽

Space Exploration

Download Full-text

Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876899 ◽

2019 ◽

Author(s):

Stefano Spellini ◽

Roberta Chirico ◽

Michele Lora ◽

Franco Fummi

Keyword(s):

Download Full-text

Towards Object-Oriented Modeling in SCCharts

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876901 ◽

2019 ◽

Author(s):

Alexander Schulz-Rosengarten ◽

Steven Smyth ◽

Michael Mendler

Keyword(s):

Object Oriented

Download Full-text

Deterministic Actors

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876922 ◽

2019 ◽

Author(s):

Marten Lohstroh ◽

Edward A. Lee

Download Full-text

A Multi-Rate Precision Timed Programming Language for Multi-Cores

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876950 ◽

2019 ◽

Author(s):

Alain Girault ◽

Nicolas Hili ◽

Eric Jenn ◽

Eugene Yip

Keyword(s):

Programming Language

Download Full-text

A methodology to compute long-term fault resilience of NoCs under fault-tolerant routing algorithms

2019 Forum for Specification and Design Languages (FDL) ◽

10.1109/fdl.2019.8876904 ◽

2019 ◽

Author(s):

Jie Hou ◽

Martin Radetzki

Keyword(s):

Fault Tolerant ◽

Routing Algorithms ◽

Fault Resilience

Download Full-text