Designing and managing complex engineering projects over their life cycles.
event
Submitted by Anonymous on Thu, 02/08/2018 - 1: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.
event
Submitted by Anonymous on Thu, 02/08/2018 - 12:52pm
26th International Conference on Real-Time Networks and Systems (RTNS 2018)
RTNS (Real-Time Networks and Systems) is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems, including, but not limited to:
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:31pm
event
Submitted by Anonymous on Mon, 01/29/2018 - 2:29pm
Free Public Webinar on Wyoming Department of Transportation (WYDOT) Connected Vehicle Pilot: Update at the Application Design Stage
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:24pm
Co-located with DSN 2018
IMPORTANT DATES
- Paper submission: 1 april 2018
- Author notification: [to be defined]
- Final version: [to be defined]
WORKSHOP DESCRIPTION
event
Submitted by Anonymous on Mon, 01/29/2018 - 2:22pm
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018)
DSN is the flagship conference for research fostering robustness and resilience of a whole spectrum of today's computing systems where dependability and security concerns can no longer be tackled in isolation, from general IT to internet-of-things and cyber-physical systems and application areas.
Authors are invited to submit original papers on the research and practice of creating, validating, deploying, and maintaining dependable and secure systems and networks.
event
Submitted by Anonymous on Mon, 01/29/2018 - 2:17pm
4th International Workshop on Safety and Security of Intelligent Vehicles
Co-located with DSN 2018
WORKSHOP DESCRIPTION
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:06pm
event
Submitted by Anonymous on Mon, 01/29/2018 - 1:51pm
18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)
co-located with the Euromicro Conference on Real-Time Systems (ECRTS 2018)
forum
Submitted by Anonymous on Mon, 01/29/2018 - 1:33pm
