Past Events | Cyber-Physical Systems Virtual Organization

CREST 2016

Apr 8, 2016 1:00 AM - Apr 8, 2016 10:00 AM

CREST: 1st Workshop on Causal-based Reasoning for Embedded and Safety-Critical Systems Technologies Satellite event of ETAPS 2016 Topic

TERMGRAPH 2016

Apr 8, 2016 12:00 AM - Apr 8, 2016 11:00 AM

CALL FOR PAPERS 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016) a Satellite Event of ETAPS 2016 Background

Telcon Abstraction & Refinement

Apr 7, 2016 4:00 AM - Apr 7, 2016 5:00 AM

Participants: UJF, Bosch Discussion on abstraction and refinement of EMB-Model, Trace-Conformance in SpaceEx

Telco UJF - Bosch (Conformance)

Apr 7, 2016 4:00 AM - Apr 7, 2016 4:45 AM

SPIN 2016

Apr 7, 2016 12:00 AM - Apr 8, 2016 11:00 AM

23rd International SPIN Symposium on Model Checking of Software (SPIN 2016) (colocated with ETAPS 2016) 7--8 April 2016 | Eindhoven, The Netherlands | http://www.spin2016.info …

ACVI16

Apr 4, 2016 7:30 AM - Apr 8, 2016 8:30 PM

Workshop on Architecture Centric Virtual Integration at WICSA and CompArch 2016 | http://www.aadl.info/aadl/acvi/acvi2016/ Important dates

ARCS 2016

Apr 4, 2016 1:00 AM - Apr 7, 2016 11:00 AM

29th GI/ITG International Conference on *Architecture of Computing Systems* (ARCS 2016) The ARCS series of conferences has a long tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2016…

MMB & DFT 2016

Apr 4, 2016 1:00 AM - Apr 6, 2016 10:00 AM

18th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” (MMB & DFT 2016) Organized by GI/ITG Technical Committees on "Measurement, Modelling and Evaluation of…

TMS/DEVS ’16

Apr 3, 2016 10:00 AM - Apr 6, 2016 7:00 PM

Symposium on Theory of Modeling and Simulation ’16 part of the 2016 Spring Simulation Multi-Conference

ETAPS 2016

Apr 2, 2016 7:45 AM - Apr 8, 2016 8:45 AM

ETAPS is a confederation of several conferences, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 …

RAC 2016

Apr 2, 2016 12:00 AM - Apr 2, 2016 11:00 AM

First International workshop on Resource Aware Computing (RAC2016) An ETAPS2016 Event. | ENTCS publication. RAC2016 is supported by ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe). WORKSHOP OBJECTIVES AND SCOPE

GaM 2016

Apr 2, 2016 12:00 AM - Apr 3, 2016 11:00 AM

The 2nd International Workshop GRAPHS AS MODELS (GaM 2016) a Satellite Event of ETAPS 2016, Description

Meeting between UnCoVerCPS and TÜV Süd

Mar 31, 2016 6:30 AM - Mar 31, 2016 8:30 AM

A meeting with TÜV Süd has taken place to discuss certification requirements for automated driving

DMA 2016

Mar 26, 2016 4:00 AM - Mar 27, 2016 2:00 AM

Second International Conference on Data Mining and Applications (DMA 2016) March 26~27,2016 | Geneva,Switzerland | http://cosit2016.org/dma/index.html Scope & Topics

Telco TUM/RURobots

Mar 23, 2016 10:30 AM - Mar 23, 2016 11:30 AM

INTRICATE-SEC 2016

Mar 23, 2016 2:00 AM - Mar 25, 2016 11:00 AM

4th International Workshop on Security Intricacies in Cyber-Physical Systems and Services (INTRICATE-SEC 2016) held in conjunction with the 30th International Conference on Advanced Information Networking and Applications (AINA-2016) Topics of…