Design Automation Tools

Software tools for designing electronic systems.

Visible to the public  SAMOS 2018
Jul 15, 2018 7:00 am - Jul 19, 2018 6:00 pm EEST

International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XVII)

SAMOS is a unique conference. It deals with embedded systems (sort of) but that is not what makes it different. It brings together every year researchers from both academia and industry on the quiet and inspiring northern mountainside of the Mediterranean island of Samos, which in itself is different. But more importantly, it really fosters collaboration rather than competition. Formal and intensive technical sessions are only held in the mornings.


Visible to the public Postoctoral positions in learning-enabled CPS at University of Pennsylvania

Postdoctoral Research Positions in Assured Autonomy at PRECISE Center
School of Engineering and Applied Science, University of Pennsylvania


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.