Synchron 2007 |
organised and funded by Artist |
ARTIST2 meeting on Integrated Modular Avionics |
organised and funded by Artist |
Dagstuhl: Model-Based Engineering of Embedded Real-Time Systems |
Dagstuhl: Formal Protocol Verification Applied |
WESE’07: WS on Embedded Systems Education |
organised and funded by Artist |
Foundations of Component-based Design |
organised and funded by Artist |
Between Control and Software (in honor of Paul Caspi) |
organised and funded by Artist |
Precise Behavioral Semantics for DSML |
Dagstuhl: Mobile Interfaces Meet Cognitive Technologies |
UML&AADL’2007 |
sponsored by Artistorganised with Artist partners |
Distributed Object Computing for RT and Embedded Systems |
SIES’2007 |
FCC 2007 |
organised and funded by Artist |
WCET’07 |
organised with Artist partners |
ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation |
organised and funded by Artist |
DCDS’07 |
organised with Artist partners |
LCTES’07 |
Dagstuhl: Tools for the Model-based Development of Certifiable, Dependable Systems |
organised with Artist partners |
2nd Int’l ARTIST Workshop on Control for Embedded Systems |
organised and funded by Artist |
FMGALS’2007 |
sponsored by Artist |
SEUS 2007 |
SCOPES 2007 |
sponsored by Artist |
Towards a Systematic Approach to Embedded System Design |
organised and funded by Artist |
IRTAW-13 |
sponsored by Artist |
Dagstuhl: Geometry in Sensor Networks |
NeRES 2007 |
organised and funded by Artist |
SLA++P 2007 |
sponsored by Artist |
WPDRTS 2007 |
organised with Artist partners |
COCV 2007 |
organised with Artist partners |
Software Tools for Multi-Core Systems |
CASTNESS’07 Workshop and School |
sponsored by Artist |
