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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450307147

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Real-time resource-sharing under clustered scheduling

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

10.1145/2038642.2038655 ◽

2011 ◽

Cited By ~ 22

Author(s):

Björn B. Brandenburg ◽

James H. Anderson

Keyword(s):

Real Time ◽

Resource Sharing ◽

Time Resource

Download Full-text

Safety-assured development of the GPCA infusion pump software

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

10.1145/2038642.2038667 ◽

2011 ◽

Cited By ~ 36

Author(s):

BaekGyu Kim ◽

Anaheed Ayoub ◽

Oleg Sokolsky ◽

Insup Lee ◽

Paul Jones ◽

...

Keyword(s):

Infusion Pump

Download Full-text

A synergetic approach to accurate analysis of cache-related preemption delay

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

10.1145/2038642.2038693 ◽

2011 ◽

Cited By ~ 9

Author(s):

Jan C. Kleinsorge ◽

Heiko Falk ◽

Peter Marwedel

Keyword(s):

Accurate Analysis

Download Full-text

Task synchronization and allocation for many-core real-time systems

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

10.1145/2038642.2038656 ◽

2011 ◽

Cited By ~ 16

Author(s):

Pi-Cheng Hsiu ◽

Der-Nien Lee ◽

Tei-Wei Kuo

Keyword(s):

Real Time ◽

Real Time Systems ◽

Many Core ◽

Time Systems

Download Full-text

Synthesis of optimal switching logic for hybrid systems

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

10.1145/2038642.2038660 ◽

2011 ◽

Cited By ~ 17

Author(s):

Susmit Jha ◽

Sanjit A. Seshia ◽

Ashish Tiwari

Keyword(s):

Hybrid Systems ◽

Optimal Switching

Download Full-text

A practical ontology framework for static model analysis

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

10.1145/2038642.2038648 ◽

2011 ◽

Cited By ~ 4

Author(s):

Ben Lickly ◽

Charles Shelton ◽

Elizabeth Latronico ◽

Edward A. Lee

Keyword(s):

Model Analysis ◽

Static Model

Download Full-text

Heterogeneous actor modeling

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

10.1145/2038642.2038646 ◽

2011 ◽

Cited By ~ 6

Author(s):

Edward A. Lee

Download Full-text

Time-predictable and composable architectures for dependable embedded systems

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

10.1145/2038642.2038697 ◽

2011 ◽

Cited By ~ 1

Author(s):

Saddek Bensalem ◽

Kees Goossens ◽

Christoph M. Kirsch ◽

Roman Obermaisser ◽

Edward A. Lee ◽

...

Keyword(s):

Embedded Systems ◽

Dependable Embedded Systems

Download Full-text

Synchronous control of reconfiguration in fractal component-based systems

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

10.1145/2038642.2038690 ◽

2011 ◽

Cited By ~ 11

Author(s):

Tayeb Bouhadiba ◽

Quentin Sabah ◽

Gwenaël Delaval ◽

Eric Rutten

Keyword(s):

Synchronous Control

Download Full-text

Timing and schedulability analysis for distributed automotive control applications

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

10.1145/2038642.2038696 ◽

2011 ◽

Cited By ~ 2

Author(s):

Samarjit Chakraborty ◽

Marco Di Natale ◽

Heiko Falk ◽

Martin Lukasiewycz ◽

Frank Slomka

Keyword(s):

Schedulability Analysis ◽

Automotive Control ◽

Control Applications

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Real-time resource-sharing under clustered scheduling

Safety-assured development of the GPCA infusion pump software

A synergetic approach to accurate analysis of cache-related preemption delay

Task synchronization and allocation for many-core real-time systems

Synthesis of optimal switching logic for hybrid systems

A practical ontology framework for static model analysis

Heterogeneous actor modeling

Time-predictable and composable architectures for dependable embedded systems

Synchronous control of reconfiguration in fractal component-based systems

Timing and schedulability analysis for distributed automotive control applications

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