The formalization of system engineering models and approaches.
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 Tue, 01/30/2018 - 4:15pm
Intermediate CyberSTEM Camp
Dates: July 23-27, 2018
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:06pm
event
Submitted by Anonymous on Mon, 01/29/2018 - 2:05pm
20th International Conference on Coordination Models and Languages (COORDINATION 2018)
Scope
event
Submitted by Anonymous on Mon, 01/29/2018 - 1:18pm
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2018)
The International Conference on Hardware/Software Codesign and System Synthesis is the premier event in system-level design, modeling, analysis, and implementation of modern embedded and cyber-physical systems, from system-level specification and optimization down to system synthesis of multi-processor hardware/software implementations.
event
Submitted by Anonymous on Mon, 01/29/2018 - 1:08pm
International Conference on Embedded Software (EMSOFT 2018)
The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development.
forum
Submitted by Anonymous on Fri, 01/26/2018 - 5:34pm
CALL FOR PAPERS
3-6th July 2018 | Barcelona, Spain | http://rtsops2018.loria.fr/
Satellite workshop of 30th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
-------------------------------------------------------------------------------------------------------------------------
IMPORTANT DATES
forum
Submitted by Anonymous on Fri, 01/26/2018 - 4:39pm
file
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.
event
Submitted by Anonymous on Thu, 01/25/2018 - 4:54pm
