Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642019234, 9783642019241

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Experience on Ada Programming Using On-Line Judging

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_6 ◽

2009 ◽

pp. 75-89 ◽

Cited By ~ 2

Author(s):

Francisco J. Montoya-Dato ◽

José Luis Fernández-Alemán ◽

Ginés García-Mateos

Keyword(s):

On Line

Download Full-text

Model Checking Techniques for Test Generation from Business Process Models

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_5 ◽

2009 ◽

pp. 59-74 ◽

Cited By ~ 4

Author(s):

Didier Buchs ◽

Levi Lucio ◽

Ang Chen

Keyword(s):

Model Checking ◽

Business Process ◽

Test Generation ◽

Process Models ◽

Business Process Models

Download Full-text

Modeling AADL Data Communication with BIP

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_14 ◽

2009 ◽

pp. 192-206 ◽

Cited By ~ 3

Author(s):

Lei Pi ◽

Jean-Paul Bodeveix ◽

Mamoun Filali

Keyword(s):

Data Communication

Download Full-text

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_8 ◽

2009 ◽

pp. 105-118 ◽

Cited By ~ 3

Author(s):

Mario Aldea Rivas ◽

Michael González Harbour ◽

José F. Ruiz

Download Full-text

Process-Algebraic Interpretation of AADL Models

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_16 ◽

2009 ◽

pp. 222-236 ◽

Cited By ~ 8

Author(s):

Oleg Sokolsky ◽

Insup Lee ◽

Duncan Clarke

Keyword(s):

Algebraic Interpretation ◽

Process Algebraic

Download Full-text

Validating Safety and Security Requirements for Partitioned Architectures

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_3 ◽

2009 ◽

pp. 30-43 ◽

Cited By ~ 8

Author(s):

Julien Delange ◽

Laurent Pautet ◽

Peter Feiler

Keyword(s):

Security Requirements

Download Full-text

Implementing Reactive Systems with UML State Machines and Ada 2005

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_11 ◽

2009 ◽

pp. 149-163 ◽

Cited By ~ 2

Author(s):

Sergio Sáez ◽

Silvia Terrasa ◽

Vicente Lorente ◽

Alfons Crespo

Keyword(s):

Reactive Systems ◽

State Machines ◽

Uml State Machines

Download Full-text

A Formal Foundation for Metamodeling

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_13 ◽

2009 ◽

pp. 177-191 ◽

Cited By ~ 16

Author(s):

Liliana Favre

Download Full-text

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_17 ◽

2009 ◽

pp. 237-250 ◽

Cited By ~ 21

Author(s):

Gilles Lasnier ◽

Bechir Zalila ◽

Laurent Pautet ◽

Jérome Hugues

Keyword(s):

Code Generation ◽

Automatic Code Generation ◽

High Integrity ◽

Automatic Code

Download Full-text

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_2 ◽

2009 ◽

pp. 16-29 ◽

Cited By ~ 3

Author(s):

Santiago Urueña ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Experience on Ada Programming Using On-Line Judging

Model Checking Techniques for Test Generation from Business Process Models

Modeling AADL Data Communication with BIP

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT

Process-Algebraic Interpretation of AADL Models

Validating Safety and Security Requirements for Partitioned Architectures

Implementing Reactive Systems with UML State Machines and Ada 2005

A Formal Foundation for Metamodeling

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science
Latest Publications