Satellite Workshop

event

Visible to the public  CREST@ETAPS 2019
Apr 07, 2019 7:00 am - 6:00 pm CEST

4th Int'l Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST@ETAPS 2019)

You are invited to participate in the 4th Int'l Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST@ETAPS 2019).

event

Visible to the public  FORECAST 2016
Jul 08, 2016 7:00 am - 6:00 pm CEST

FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)

affiliated with SEFM as part of STAF 2016

event

Visible to the public  ICE 2016
Jun 08, 2016 4:30 pm - Jun 09, 2016 5:30 pm EDT

9th Interaction and Concurrency Experience (ICE 2016)

June 8-9, 2016 | Heraklion, Greece | http://2016.discotec.org/ice2016

Satellite workshop of DisCoTec 2016 (http://2016.discotec.org)

Highlights

event

Visible to the public  CREST 2016
Apr 08, 2016 8:00 am - 5:00 pm CEST

CREST: 1st Workshop on Causal-based Reasoning for Embedded and Safety-Critical Systems Technologies

Satellite event of ETAPS 2016

Topic

event

Visible to the public  CPSArch at Embedded Systems Week
Oct 17, 2014 9:00 am - 5:00 pm +05

CPSArch 2014
First Workshop on Cyber-Physical System Architectures and Design Methodologies
October 17, 2014, New Delhi, India. Held as part of ESWEEK 2014.
http://cpsarch.ecn.purdue.edu/

event

Visible to the public  Model-Based Architecting and Construction of Embedded Systems
Oct 18, 2011 9:00 am - 9:00 am CDT

The development of embedded systems with real-time and other critical constraints raises distinctive problems. In particular, development teams have to make very specific architectural choices and handle key non-functional constraints related to, for example, real-time deadlines and to platform parameters like energy consumption or memory footprint.

event

Visible to the public  CPSNA'11
Aug 28, 2011 4:15 am - 4:15 am CDT

The 1st International Workshop on
Cyber-Physical Systems, Networks, and Applications (CPSNA'11)

in conjunction with the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'11)
 

event

Visible to the public  The First International Workshop on Safety and Security in Cyber-Physical Systems
Jun 27, 2011 6:00 pm - 6:00 pm KST

SSCPS 2011
The First International Workshop on
Safety and Security in Cyber-Physical Systems

http://www.sscps.net

Jeju Island, Korea, June 27, 2011