The formalization of system engineering models and approaches.
Event
ARCS 2015
28th GI/ITG International Conference on Architecture of Computing Systems
The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2015 conference will be on reconciling parallelism and predictability in mixed-critical systems. Like the previous conferences in this series, it continues to be an important forum for computer architecture research, including also workshops and tutorials within its technical scope.
Event
IPSN 2015
The 15th ACM/IEEE International Conference on Information Networks
The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networked sensing and control, broadly defined. IPSN brings together researchers from academia, industry, and government to present and discuss recent advances in both theoretical and experimental research.
Submitted by Amy Karns on August 1st, 2014
Submitted by Amy Karns on August 1st, 2014
Event
MPM'14
8th International Workshop on Multi-Paradigm Modeling (MPM'14)
Multi-Paradigm Modeling (MPM) is a research field focused on solving the challenge of combining, coupling and integrating rigorous models of some reality, at different levels of abstraction and views, using modeling formalisms and semantic domains, with the goal of simulating or realizing systems that may be physical, software or a combination of both. The key challenges are finding adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM techniques and tools to Complex Systems.
Event
MoDeVVa 2014
MoDeVVa 2014 - 11th edition
Model-Driven Engineering, Verification, and Validation
Integrating Verification and Validation in MDE
A satellite event of MODELS 2014
September 30th, Valencia, Spain
http://wwwdi.supelec.fr/modevva/
Event
TMS'15
Symposium on Theory of Modeling and Simulation (TMS 2015)
Sponsored by
The Society for Modeling and Simulation International (SCS)
In cooperation with ACM/SIGSIM
Technically Co-Sponsored by IEEE Computer Society (pending)
The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges.
Event
JRWRTC 2014
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)
in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2014)
Call for papers
Event
AMT '14
INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14)
Valencia, Spain
28, 29, or 30 Sept 2014
http://msdl.cs.mcgill.ca/conferences/AMT
Co-located with MODELS'14
MOTIVATION
Event
De-CPS 2014
Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2014)
Domain and Topics