Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

16
(FIVE YEARS 0)

Published By ACM Press

9781450307147
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of optimal switching logic for hybrid systems

2011 ◽  
Author(s):  
Susmit Jha ◽  
Sanjit A. Seshia ◽  
Ashish Tiwari
Keyword(s):  
Hybrid Systems ◽  
Optimal Switching

scholarly journals Safety-assured development of the GPCA infusion pump software

2011 ◽  
Author(s):  
BaekGyu Kim ◽  
Anaheed Ayoub ◽  
Oleg Sokolsky ◽  
Insup Lee ◽  
Paul Jones ◽  
...  
Keyword(s):  
Infusion Pump

A practical ontology framework for static model analysis

2011 ◽  
Author(s):  
Ben Lickly ◽  
Charles Shelton ◽  
Elizabeth Latronico ◽  
Edward A. Lee
Keyword(s):  
Model Analysis ◽  
Static Model

Time-predictable and composable architectures for dependable embedded systems

2011 ◽  
Author(s):  
Saddek Bensalem ◽  
Kees Goossens ◽  
Christoph M. Kirsch ◽  
Roman Obermaisser ◽  
Edward A. Lee ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Dependable Embedded Systems

Aciom

2011 ◽  
Author(s):  
Hyosu Kim ◽  
Minsub Lee ◽  
Wookhyun Han ◽  
Kilho Lee ◽  
Insik Shin

Synchronous control of reconfiguration in fractal component-based systems

2011 ◽  
Author(s):  
Tayeb Bouhadiba ◽  
Quentin Sabah ◽  
Gwenaël Delaval ◽  
Eric Rutten
Keyword(s):  
Synchronous Control
Load More ...
Sign in / Sign up

Export Citation Format

Share Document