Design Automation Tools

Software tools for designing electronic systems.

Visible to the public  MEMOCODE '18
Oct 15, 2018 7:00 am - Oct 18, 2018 6:00 pm HKT

16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18)

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.


Visible to the public CfP: 25th Static Analysis Symposium (SAS 2018)


25th Static Analysis Symposium (SAS 2018)

Freiburg im Breisgau, Germany | August 29th-August 31st, 2018 |

= = = New: Invited Talks, Invited Tutorials, Affiliated Events = = =
= = = Submission deadline approaching: April 6th, 2018 = = =


Visible to the public  SAS 2018
Aug 29, 2018 7:00 am - Aug 31, 2018 6:00 pm CEST

25th Static Analysis Symposium (SAS 2018)

Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany.


Visible to the public DSD 2018: CfP for Special Session on Design of Cyber-Physical Systems (DCPS)


Special Session on Design of Cyber-Physical Systems (DCPS)

in DSD 2018

Special Session Scope


Visible to the public  IECON 2018
Oct 21, 2018 7:00 am - Oct 23, 2018 6:00 pm EDT

Special Session on: "Emerging Solutions for Vehicular Embedded Software Systems" (IECON 2018)

At the 44th Annual Conference of the IEEE Industrial Electronics Society

The Special Session is organized and co-chaired by:

  • Saad Mubeen, Malardalen University, Sweden,
  • Lucia Lo Bello, University of Catania, Italy,
  • Matthias Becker, KTH Royal Institute of Technology, Sweden,

Outline of the Session


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