The formalization of system engineering models and approaches.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:46pm
11th Conference on Decision and Game Theory for Security (GameSec 2020)
Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.
event
Submitted by Anonymous on Thu, 07/20/2023 - 1:55pm
ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS 2023)
October 1 - 6, 2023 | Vasteras, Sweden | https://conf.researchr.org/home/models-2023
MODELS, the ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998,
event
Submitted by Anonymous on Fri, 05/12/2023 - 3:04pm
Society for Modeling and Simulation International Conference (SCS)
Hosted by The Society for Modeling and Simulation International (SCS), the Annual Modeling and Simulation Conference (ANNSIM) is the SCS Conference to cover state-of-the-art developments in Modeling & Simulation (M&S). We invite original contributions to the theory and practice of modeling and simulation in any scientific or engineering discipline.
event
Submitted by akarns on Tue, 04/18/2023 - 10:36am
Software Engineering and Formal Methods (SEFM 2021)
Jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and University of York (UK)
The 19th edition of the International Conference on Software Engineering and Formal Methods will
be held between 6 and 10 December 2021.
event
Submitted by mitras on Tue, 01/24/2023 - 10:50am
Generalized RAcing Intelligence Competition (GRAIC) is a simulated vehicle race co-located with CPS-IOT Week 2023. GRAIC brings together researchers in AI, planning, synthesis, and control to create a platform for comparing different algorithms for controlling vehicles in dynamic and uncertain environments.
tearline
Submitted by himanshu on Fri, 01/13/2023 - 5:24pm
event
Submitted by Anonymous on Thu, 12/08/2022 - 11:12am
11th International Conference on Cyber-Physical Systems
Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
event
Submitted by Anonymous on Wed, 12/07/2022 - 4:11pm
Fifteenth international ACM SIGCHI Symposium on Interactive Computing Systems
EICS 2023 is the fifteenth international ACM SIGCHI conference devoted to engineering interactive computing systems and their user interfaces, addressing one or more software quality factors, such as usability, user experience, reliability, security, etc.
event
Submitted by Anonymous on Wed, 12/07/2022 - 2:03pm
NASA Formal Methods Symposium 2023
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
tearline
Submitted by himanshu on Fri, 11/11/2022 - 3:56pm
