Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642389108, 9783642389115

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_15 ◽

2013 ◽

pp. 258-274 ◽

Cited By ~ 3

Author(s):

Pau Fonseca i Casas ◽

Xavier Pi ◽

Josep Casanovas ◽

Jordi Jové

Keyword(s):

Virtual Reality ◽

Simulation Models ◽

Virtual Reality Simulation ◽

Description Language ◽

Definition Of

Download Full-text

Efficient Development of Domain-Specific Simulation Modelling Languages and Tools

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_10 ◽

2013 ◽

pp. 163-181 ◽

Cited By ~ 1

Author(s):

Andreas Blunk ◽

Joachim Fischer

Keyword(s):

Simulation Modelling ◽

Modelling Languages ◽

Domain Specific

Download Full-text

FTG+PM: An Integrated Framework for Investigating Model Transformation Chains

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_11 ◽

2013 ◽

pp. 182-202 ◽

Cited By ~ 18

Author(s):

Levi Lúcio ◽

Sadaf Mustafiz ◽

Joachim Denil ◽

Hans Vangheluwe ◽

Maris Jukss

Keyword(s):

Model Transformation ◽

Integrated Framework

Download Full-text

Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_8 ◽

2013 ◽

pp. 124-143 ◽

Cited By ~ 2

Author(s):

Naif A. Mokhayesh Alzahrani ◽

Dorina C. Petriu

Keyword(s):

Error Propagation ◽

Dependability Analysis

Download Full-text

Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_3 ◽

2013 ◽

pp. 36-53 ◽

Cited By ~ 2

Author(s):

Jameleddine Hassine ◽

Abdelwahab Hamou-Lhadj

Keyword(s):

Use Case ◽

Use Case Maps

Download Full-text

Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_6 ◽

2013 ◽

pp. 91-106 ◽

Cited By ~ 3

Author(s):

Ludovic Apvrille ◽

Pierre de Saqui-Sannes

Keyword(s):

Static Analysis ◽

Mutual Exclusion ◽

Analysis Techniques

Download Full-text

Property Verification with MSC

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_2 ◽

2013 ◽

pp. 19-35 ◽

Cited By ~ 5

Author(s):

Emmanuel Gaudin ◽

Eric Brunel

Keyword(s):

Property Verification

Download Full-text

Integration of SDL Models into a SystemC Project for Network Simulation

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_16 ◽

2013 ◽

pp. 275-290 ◽

Cited By ~ 3

Author(s):

Pavel Morozkin ◽

Irina Lavrovskaya ◽

Valentin Olenev ◽

Konstantin Nedovodeev

Keyword(s):

Network Simulation

Download Full-text

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_5 ◽

2013 ◽

pp. 72-90 ◽

Cited By ~ 5

Author(s):

Brahim Hamid ◽

Jacob Geisel ◽

Adel Ziani ◽

Jean-Michel Bruel ◽

Jon Perez

Keyword(s):

Embedded Systems ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

SDL Real-Time Tasks – Concept, Implementation, and Evaluation

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering ◽

10.1007/978-3-642-38911-5_14 ◽

2013 ◽

pp. 239-257 ◽

Cited By ~ 1

Author(s):

Dennis Christmann ◽

Tobias Braun ◽

Reinhard Gotzhein

Keyword(s):

Real Time

Download Full-text

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams

Efficient Development of Domain-Specific Simulation Modelling Languages and Tools

FTG+PM: An Integrated Framework for Investigating Model Transformation Chains

Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis

Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements

Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models

Property Verification with MSC

Integration of SDL Models into a SystemC Project for Network Simulation

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns

SDL Real-Time Tasks – Concept, Implementation, and Evaluation

Lecture Notes in Computer Science - SDL 2013: Model-Driven Dependability Engineering
Latest Publications