ArtistDesign NoE
The site's languages
عربي
български
brezhoneg
català
Kréol réyoné
Kréyòl (Péyi Dayiti)
čeština
dansk
Deutsch
English
Esperanto
Español
euskara
فارسى
fongbè
français
galego
magyar
italiano
日本語
Lëtzebuergesch
Nederlands
nl_be
òc auvernhat
òc gascon
òc lemosin
òc lengadocian
òc niçard
òc niçard (larg)
òc provençau
òc vivaroaupenc
polski
Português
Português do Brasil
română
русский
Türkçe
Tiếng Việt
中文
Home page
> Site Map
Site Map
About the ArtistDesign NoE
Overview of the NoE
Joint Programme of Activities (JPA)
ArtistDesign Core Partners
Workshops
Education
Transversal topics in Embedded Systems Education
Schools and Seminars
Course Materials Available Online
International Collaboration
Related Projects
Becoming an Affiliated Partner
Leaflet
Site Map
Participants
ArtistDesign Participants
Strategic Management Board — ArtistDesign NoE
ArtistDesign Core partners - full consortium
ArtistDesign Core Partners - by Cluster topics
Cluster: Modeling and Validation
Cluster: SW Synthesis, Code Generation and Timing Analysis
Cluster: Operating Systems and Networks
Cluster: Hardware Platforms and MPSoC Design
Intercluster activity: Design for Adaptivity
Intercluster activity: Design for Predictability and Performance
Intercluster activity: Integration Driven by Industrial Applications
ArtistDesign Affiliated Partners - by cluster topics
delenda
Affiliated Industrial Partners
Affiliated SME Partners
Affiliated Academic Partners
Artist2 Participants
Strategic Management Board — Artist2 NoE
Artist2 Core Partners - full consortium
Artist2 Core Partners - by Cluster topics
Cluster: Real-Time Components
Cluster: Adaptive Real-Time
Cluster: Compilers and Timing Analysis
Cluster: Execution Platforms
Cluster: Control for Embedded Systems
Cluster: Testing and Verification
Artist2 Affiliated Partners
Affiliated Industrial Partners
Affiliated SME Partners
Affiliated Academic Partners
Affiliated International Collaboration Partners
Research and Integration
Cluster: Modeling and Validation
Cluster: SW Synthesis, Code Generation and Timing Analysis
Affiliated partners for the cluster: SW Synthesis, Code Generation and Timing Analysis
Cluster: Operating Systems and Networks
Affiliated Partners - Operating Systems and Networks
Cluster: Hardware Platforms and MPSoC Design
Affiliated Partners — Hardware Platforms and MPSoC Design
Intercluster activity: Design for Adaptivity
Affiliated Partners - Design for Adaptivity
Intercluster activity: Design for Predictability and Performance
Affiliated Partners - Predictability
Dissemination
Workshops
VVPS 2009
UML&FM’2009
SCOPES 2009
Optimizations for DSP and Embedded Systems 2009
DySCAS 2009
HSCC 2009
UML&AADL’2009
WCET 2009
Mapping Applications to MPSoCs 2009
ignore this please (and don’t touch)
IRTAW-14
Runtime Verification 2009
SAMOS IX
ACES
MB
2009
WFCD - Foundations and Applications of Component-based Design 2009
APRES’09
OSPERT 2009
PADVES: Platforms for Analysis, Design and Verification of Embedded Systems
FeBID 2009
WESE’09
Multiparadigm Modeling 2009
UML&AADL’2010
WSS’09
SCOPES 2010
SEEC’09
CRTS 2009
Mapping Applications to MPSoCs 2010
WESH 2009
NWPT ’09
WCET 2010
RePP 2009
MoBE-RTES 2010
OSPERT 2010
GREEMBED 2010
FESA 2010
WARM 2010
ICE’10
Amir Pnueli Memorial Symposium
COESD 2010
WFCD - 2010
Waters 2010
FIT 2010
CFP: Automotive Embedded Systems
UML&FM’2010
WESE’10
WSS’10
ACES
MB
2010
NFPinDSML 2010
RoSym 2010
ARTIST HW Platforms and MPSoC Technical Meeting
MoBE-RTES 2011
UML&AADL’2011
UML&FM’2011
IRTAW-15
Synchron 2010
JTRES - 2011
Rigorous Embedded Design 2011
WRiSE 2011
ICE 2011
CRTS 2010
PPES 2011
ArtistDesign Workshop on Real-Time System Models for Schedulability Analysis
WATERS 2011
SCOPES 2011
Map2MPSoC 2011
WESE 2011
WSS’11
WCET 2011
RTN’2011
APRES 2011
ACES
MB
2011
Advanced scheduling and resource management techniques for next-generation Multi-core platforms
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems
SOMRES 2011
NERES 2011
WCET 2012
ReCoSoC’2012
AHS 2012
SeNAml 2012
MAP2MPSoC / SCOPES 2012
ICE 2012
EIAC-RTESMA’12
WESE 2012
ArtistDesign Special Interest Group on Embedded Systems Design
Workshops and Seminars in 2008
ATESST Open Workshop
MARTES 2008
SLA++P’2008
SIES’2008
UML&AADL’2008
Scopes 2008
APRES’08
WCPS2008
WTR 2008
Workshop on Foundations and Applications of Component-based Design (WFCD’2008)
WCET’08
MPSoc 2008
ArtistDesign Workshop on Design for Adaptivity
DataFlow Modeling for Embedded Systems 2008
ARTIST2 Timing Analysis activity meeting 2008
MoCC 2008
ACES
MB
2008
UML&FM’08
WESE’08: WS on Embedded Systems Education
Movep’08
IMCSIT’08 - Real Time Systems Workshop
OSPERT 2008
Embedded Control Systems: From Design to Implementation
COMES 2008
WS on Multicores: Theory and Practice
Embedded Systems: Industrial Applications ’08
ArtistDesign Automotive Systems Day 2008
FCC’08
Mapping of Applications-to MPSoCs - ArtistDesign Working Meeting
Mapping Applications to MPSoCs 2008
Please ignore - do not touch
Workshops and Seminars in 2007
COCV 2007
SEUS 2007
UML&AADL’2007
SCOPES 2007
CASTNESS’07 Workshop and School
DCDS’07
SIES’2007
IRTAW-13
Towards a Systematic Approach to Embedded System Design
Distributed Object Computing for RT and Embedded Systems
NeRES 2007
Software Tools for Multi-Core Systems
ARTIST2 meeting on Integrated Modular Avionics
SLA++P 2007
WPDRTS 2007
FMGALS’2007
LCTES’07
Dagstuhl: Geometry in Sensor Networks
Dagstuhl: Mobile Interfaces Meet Cognitive Technologies
Dagstuhl: Tools for the Model-based Development of Certifiable, Dependable Systems
Dagstuhl: Model-Based Engineering of Embedded Real-Time Systems
Dagstuhl: Formal Protocol Verification Applied
FCC 2007
ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation
WCET’07
Between Control and Software (in honor of Paul Caspi)
Synchron 2007
Precise Behavioral Semantics for DSML
WESE’07: WS on Embedded Systems Education
Foundations of Component-based Design
2nd Int’l ARTIST Workshop on Control for Embedded Systems
Workshops and Seminars in 2006
CORDIE’06: Concurrency, Real-Time and Distribution in Eiffel–like Languages
Artist2 - Foundations and Applications of Component-based Design
MARTES 2006
JTRES 2006
WESE’06 - Embedded Systems Education
ARTIST2 Workshop on Timing Analysis in the Industrial Development Process (ISoLA 2006)
MoCC - Models of Computation and Communication
ARTIST2 Workshop on Requirements for Flexible Scheduling in Complex Embedded Systems
ARTIST2 Workshop on Specification and Verification of Secure Embedded Systems
ARTIST2 Workshop Beyond AutoSar
ARTIST Workshop at DATE’06
ARTIST2 Workshop on Execution Platforms / Cluster Meeting
ARTIST2 Workshop on Basic Concepts in Mobile Embedded Systems
Synchron 2006
ATVA China 2006
ATVA China 2006
Joint US-EU-TEKES workshop
Workshops and Seminars in 2005
ACM-IEEE MEMOCODE’2005
Workshop: Distributed Embedded Systems
WESE’05 - ARTIST2 Workshop on Embedded Systems Education
OSPERT 2005
ARTIST Seminar on Adaptive Real-Time Systems
ARTIST Workshop at DATE’05
HSCC ’05 - Hybrid Systems: Computation and Control
First S.Ha.R.K. Workshop
EU/US: Component-based Engineering for Embedded Systems
IST/NSF: Transatlantic Research Agenda on Future Challenges in Embedded Systems Design
31st EUROMICRO Conference - Special session: Model Driven Engineering (MDE)
Workshops and Seminars Before 2005
Artist International Collaboration Days 2003 - Trends
Past Workshops
Schools and Seminars
ADSD 2006: Advanced Digital Systems Design
First European Laboratory on Real-Time and Control for Embedded Systems
First European-SouthAmerican School for Embedded Systems
First European-SouthAmerican School for Embedded Systems - Programme
ARTIST2 Graduate Course on Embedded Control Systems
FOSAD 2006: 6th International School on Foundations of Security Analysis and Design
ARTIST2 - MOTIVES 2007
Social Event
ARTIST2 / UNU-IIST Spring School in China 2006
ARTIST2 Graduate Course on Embedded Control Systems
ARTIST2 Summer School 2005
Artist2 / UNU-IIST School in China - 2007
MDD4DRES
ARTIST2 South-American School for Embedded Systems 2008
CASTNESS’07 Workshop and School
Quantitative Aspects of Embedded Systems
FOSAD 2007
ARTIST2 Graduate Course on Embedded Control Systems
Real-Time Microcontroller Systems: OSEK Standard and experiments on µcontroller devices
EPSD 2007
ARTIST2 PhD Course on: Automated Formal Methods for Embedded Systems
LASER Summer School on Software Engineering
CASTNESS 2008
ARTIST2 Summer School 2008 in Europe
Artist2 Summer School in China 2008
ARTIST2 Graduate Course on: Automated Formal Methods for Embedded Systems 2008
Real-Time Kernels for Microcontrollers: Theory and Practice
MDD for Distributed Real-time Embedded Systems (MDD4DRES) 2009
FOSAD 2009
ARTIST Summer School in China 2009
Please ignore - do not touch
Joint ARTIST - GeorgiaTech Summer School on Cyber-Physical Systems
ARTIST Summer School in Europe 2009
Videos from the ARTIST Summer School in Europe 2009
ArtistDesign NoE - Embedded Systems Seminar
ARTIST Graduate Course on Embedded Control Systems 2009
ARTIST School in South America 2009: Embedded Systems Design
Georgia Tech Summer School on Cyber-Physical Systems
ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2009
COMES "Complexity Management in Tera-Scale Embedded Systems" AUTUMN SCHOOL 2009
ARTIST PhD School on Quantitative Model Checking - 2010
ARTIST Summer School in Morocco - 2010
ARTIST Graduate School on RT Kernels for Microcontrollers
Quantitative Model Checking 2010
ARTIST Summer School Europe 2010
ARTIST Summer School South-America 2010
ARTIST Summer School in China 2010
ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2010
ARTIST Summer School: RT Scheduling and Resource Mgt
Modeling Wizards 2010
ARTIST Graduate School on RT Kernels for Microcontrollers - 2011
ARTIST Summer School in China 2011
ARTIST Summer School Europe 2011
ARTIST Summer School on ICT for Future Energy Systems 2011
Time-Predictable and Composable Architectures for Dependable Embedded Systems
ARTIST Quantitative Model Checking Winter School 2012
1st AVACS Spring School
International Collaboration
Collaboration with South America
Publications
Contributions to Standards
Modelling
Programming Languages
ARTIST Survey of Programming Languages
Operating Systems and Middleware
Course Materials Available Online
Embedded System Links
Journals
delenda
Conferences
MEMOCODE 2007
EmSoft’07
DAC 2007
DATE 2007
RTAS 2008
CODES+ISSS 2006
IST Event 2006
RTSS 2006
FM 2006
CASES 2007
ASP-DAC 2008
HSCC’07
ARCS 2007
ECRTS 2007
IESS’07
ECMDA
ESEC/FSE
ECC
FDL’07
CAV 2007
SAMOS VII
RTSS 2007
ETFA 2007
RTS 2007
Networks-on-Chip Symposium
RTNS’2007
FORMATS’07
Embedded Systems Week 2007
Embedded Systems Conference 2007
RTCSA 2007
CODES-ISSS 2007
ECRTS 2008
LCTES’08
DATE’08
ERTS 2008
Ada-Europe’08
IFAC’08
RNTS’08
ESWEEK 2008
Cyber Physical Systems Week 2008
Models’08
CiberMouse@RTSS2008
CAV 2009
DATE 2009
Cyber Physical Systems Week 2009
LCTES’09
POPL 2009
ESWeek 2009
SIES 2009
Embedded World 2009
ECRTS 2009
RTSS 2009
CODES+ISSS 2009
ICT 2010
ECRTS’10
EuroSys 2010
CPS Week 2010
SIES 2010
Memocode 2010
DSD 2010 - 13th Euromicro
ERTS 2010
EuroSys 2011
ESWeek 2010
MODELS 2010
FORMATS 2010
MPM’10
ASPLOS 2012
CONCUR 2011
FM2012
MEMOCODE 2011
Ada-Europe 2012
RTSS 2011
ES WEEK 2011
EWSN 2012
LCTES 2012
RTAS 2012
ARTEMIS Joint JTI event
DATE 2012
PECCS 2012
ES Week 2012
DSD 2012
ARCS 2012
FORMATS 2011
SIES 2012
RTS 2012
CAV 2012
ERTS
2
2nd ARTEMIS Technology Conference
Hot Topics
Standards
Tools and Platforms
Real-Time Components
Adaptive Real-Time
Compilers and Timing Analysis
Control for Embedded Systems
Testing and Verification
Main Projects
ARTEMIS European Technology Platform
Position Papers
Roadmaps
Newsletters and Magazines
Mainstream Press
Announcements
Artist Mailing List
Open Positions in Embedded Systems
Previous Open Positions
PhD Theses
Other Calls
Other
Publications