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

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By IEEE

9781728141138
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2019 ◽  
Author(s):  
Simone Caligola ◽  
Tommaso Carlucci ◽  
Franco Fummi ◽  
Carlo Laudanna ◽  
Gabriela Constantin ◽  
...  
Keyword(s):  
Systems Biology ◽  
Petri Nets ◽  
Stochastic Petri Nets ◽  
Efficient Simulation

Security Driven Design Space Exploration for Embedded Systems

2019 ◽  
Author(s):  
Lukas Gressl ◽  
Christian Steger ◽  
Ulrich Neffe
Keyword(s):  
Embedded Systems ◽  
Design Space Exploration ◽  
Design Space ◽  
Space Exploration

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

2019 ◽  
Author(s):  
Stefano Spellini ◽  
Roberta Chirico ◽  
Michele Lora ◽  
Franco Fummi
Keyword(s):  
Industry 4.0

Towards Object-Oriented Modeling in SCCharts

2019 ◽  
Author(s):  
Alexander Schulz-Rosengarten ◽  
Steven Smyth ◽  
Michael Mendler
Keyword(s):  
Object Oriented

Deterministic Actors

2019 ◽  
Author(s):  
Marten Lohstroh ◽  
Edward A. Lee

Chatbot-based assertion generation from natural language specifications

2019 ◽  
Author(s):  
Oliver Keszocze ◽  
Ian G. Harris
Keyword(s):  
Natural Language

RTL Assertion Mining with Automated RTL-to-TLM Abstraction

2019 ◽  
Author(s):  
Tara Ghasempouri ◽  
Alessandro Danese ◽  
Graziano Pravadelli ◽  
Nicola Bombieri ◽  
Jaan Raik

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

2019 ◽  
Author(s):  
Alain Girault ◽  
Nicolas Hili ◽  
Eric Jenn ◽  
Eugene Yip
Keyword(s):  
Programming Language
Load More ...
Sign in / Sign up

Export Citation Format

Share Document