Software tools for designing electronic systems.
forum
Submitted by Anonymous on Wed, 03/14/2018 - 1:59pm
CALL FOR PAPERS
Special Session on Design of Cyber-Physical Systems (DCPS)
in DSD 2018
Special Session Scope
forum
Submitted by Anonymous on Wed, 03/14/2018 - 12:44pm
event
Submitted by Anonymous on Wed, 03/14/2018 - 12:43pm
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, saad.mubeen@mdh.se
- Lucia Lo Bello, University of Catania, Italy, lobello@unict.it
- Matthias Becker, KTH Royal Institute of Technology, Sweden, mabecker@kth.se
Outline of the Session
forum
Submitted by Anonymous on Wed, 03/14/2018 - 12:08pm
event
Submitted by Anonymous on Wed, 03/14/2018 - 12:07pm
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.
forum
Submitted by Anonymous on Wed, 02/28/2018 - 11:34am
Postdoctoral Research Positions in Assured Autonomy at PRECISE Center
School of Engineering and Applied Science, University of Pennsylvania
http://precise.seas.upenn.edu/
forum
Submitted by Anonymous on Thu, 02/08/2018 - 1:11pm
CALL FOR PAPERS
Special Session on "Mixed-Criticality System Design, Implementation and Analysis" (MCSDIA)
at DSD 2018
Special Session Scope
forum
Submitted by Anonymous on Thu, 02/08/2018 - 12:16pm
forum
Submitted by Anonymous on Thu, 02/08/2018 - 12:05pm
event
Submitted by Anonymous on Thu, 02/08/2018 - 12:01pm
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.
