Design Automation Tools

Software tools for designing electronic systems.

Visible to the public CfP: Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA) at DSD 2018


Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA)

at DSD 2018

Special Session Scope


Visible to the public  SPIN 2018
Jun 20, 2018 7:00 am - Jun 22, 2018 6:00 pm CEST

25th International Symposium on Model Checking of Software (SPIN 2018)

The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.


Visible to the public  COORDINATION 2018
Jun 18, 2018 7:00 am - Jun 21, 2018 6:00 pm CEST

20th International Conference on Coordination Models and Languages (COORDINATION 2018)



Visible to the public CPS-VO: Active Resources

Explanation of Demonstration: The central objective of the proposed research is to transform the CPS-VO from a collaboration platform and passive repository of information into an active resource that provides access to tools and methods emerging from the CPS research community. The project will make a significant contribution to education via support to student competitions that will help prepare a new generation of students who will be inspired and trained to realize the promise of CPS.