Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540774181, 9783540774198

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deep Random Search for Efficient Model Checking of Timed Automata

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_7 ◽

2008 ◽

pp. 111-124 ◽

Cited By ~ 1

Author(s):

Radu Grosu ◽

Xiaowan Huang ◽

Scott A. Smolka ◽

Wenkai Tan ◽

Stavros Tripakis

Keyword(s):

Model Checking ◽

Timed Automata ◽

Random Search

Download Full-text

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_5 ◽

2008 ◽

pp. 75-96 ◽

Cited By ~ 4

Author(s):

Marc Poulhiès ◽

Jacques Pulou ◽

Christophe Rippert ◽

Joseph Sifakis

Keyword(s):

Embedded Systems

Download Full-text

Recent Additions on the Application Programming Interface of the TMO Support Middleware

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_10 ◽

2008 ◽

pp. 168-186

Author(s):

K. H. Kim ◽

Juan A. Colmenares ◽

Liangchen Zheng ◽

Sheng Liu ◽

Qian Zhou ◽

...

Keyword(s):

Application Programming Interface ◽

Application Programming ◽

Programming Interface

Download Full-text

On the Correctness of Model Transformations in the Development of Embedded Systems

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_1 ◽

2008 ◽

pp. 1-18 ◽

Cited By ~ 4

Author(s):

Gabor Karsai ◽

Anantha Narayanan

Keyword(s):

Embedded Systems ◽

Model Transformations

Download Full-text

Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_11 ◽

2008 ◽

pp. 187-206

Author(s):

Roman Obermaisser

Keyword(s):

Overlay Networks ◽

Automotive Applications

Download Full-text

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_8 ◽

2008 ◽

pp. 125-149 ◽

Cited By ~ 3

Author(s):

Xenofon Koutsoukos ◽

Manish Kushwaha ◽

Isaac Amundson ◽

Sandeep Neema ◽

Janos Sztipanovits

Keyword(s):

Sensor Networks ◽

Service Oriented Architecture ◽

Service Oriented

Download Full-text

Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_9 ◽

2008 ◽

pp. 150-167

Author(s):

Richard Schantz ◽

Joseph Loyall

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Problems ◽

Time Systems

Download Full-text

Industrial Challenges in the Composition of Embedded Systems

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_6 ◽

2008 ◽

pp. 97-110

Author(s):

David Corman ◽

James Paunicka

Keyword(s):

Embedded Systems

Download Full-text

Model-Based Failure Management for Distributed Reactive Systems

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_4 ◽

2008 ◽

pp. 53-74 ◽

Cited By ~ 1

Author(s):

Vina Ermagan ◽

Ingolf Krüger ◽

Massimiliano Menarini

Keyword(s):

Reactive Systems ◽

Model Based

Download Full-text

Supporting System Level Design of Distributed Real Time Systems for Automotive Applications

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77419-8_2 ◽

2008 ◽

pp. 19-34

Author(s):

Klaus D. Müller-Glaser ◽

Clemens Reichmann ◽

Markus Kuehl

Keyword(s):

Real Time ◽

System Level ◽

Real Time Systems ◽

Automotive Applications ◽

System Level Design ◽

Supporting System ◽

Level Design ◽

Time Systems

Download Full-text

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Deep Random Search for Efficient Model Checking of Timed Automata

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems

Recent Additions on the Application Programming Interface of the TMO Support Middleware

On the Correctness of Model Transformations in the Development of Embedded Systems

Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks

Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward

Industrial Challenges in the Composition of Embedded Systems

Model-Based Failure Management for Distributed Reactive Systems

Supporting System Level Design of Distributed Real Time Systems for Automotive Applications

Composition of Embedded Systems. Scientific and Industrial Issues - Lecture Notes in Computer Science
Latest Publications