1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)

10th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2014) June 08--09, 2014 -- Reno, Nevada, USA

COMPSAC 2014 Theme

12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014              &nb

The 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014) will take place in conjunction with the Euromicro Conference on Real- Time Systems (ECRTS 2014) at Madrid, Spain. WCET 2014 is kindly supported by TACLe (www.tacle.eu), a European COST-Action on Timing Analysis on Code-Level. GOALS AND TOPICS

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), two symposia (ESTIMedia and RSP) and several workshops and tutorials, ESWeek allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development.

OPENMODELICA is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage. Its long-term development is supported by a non-profit organization – the Open Source Modelica Consortium (OSMC).

Distributed sensor systems have become a highly active research area due to their potential for providing diverse new capabilities applications.

MODELS 2014 ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems

Welcome to EUC 2014! Embedded and ubiquitous computing is an exciting paradigm that promises to provide computing and communication services to the end users all the time and everywhere. Its systems are now invading in every aspect of our daily life and promise to revolutionize our life much more profoundly than elevators, electric motors or even personal computer evolution ever did.