Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642357428, 9783642357435

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Evaluating the Performance of Model Transformation Styles in Maude

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2012 ◽

pp. 79-96 ◽

Cited By ~ 1

Author(s):

Roberto Bruni ◽

Alberto Lluch Lafuente

Keyword(s):

Model Transformation

Download Full-text

Interactive Transformations from Object-Oriented Models to Component-Based Models

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35743-5_7 ◽

2012 ◽

pp. 97-114 ◽

Cited By ~ 5

Author(s):

Dan Li ◽

Xiaoshan Li ◽

Zhiming Liu ◽

Volker Stolz

Keyword(s):

Object Oriented

Download Full-text

Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2012 ◽

pp. 259-277 ◽

Cited By ~ 1

Author(s):

José Antonio Martín ◽

Antonio Brogi ◽

Ernesto Pimentel

Keyword(s):

Behavioural Adaptation ◽

Run Time

Download Full-text

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35743-5_12 ◽

2012 ◽

pp. 187-204 ◽

Cited By ~ 5

Author(s):

Einar Broch Johnsen ◽

Rudolf Schlatte ◽

Silvia Lizeth Tapia Tarifa

Keyword(s):

Formal Model ◽

Object Mobility

Download Full-text

Networks of Real-Time Actors

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2012 ◽

pp. 168-186 ◽

Cited By ~ 2

Author(s):

Mohammad Mahdi Jaghoori ◽

Ólafur Hlynsson ◽

Marjan Sirjani

Keyword(s):

Real Time

Download Full-text

A Modal Specification Theory for Components with Data

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2012 ◽

pp. 61-78 ◽

Cited By ~ 4

Author(s):

Sebastian S. Bauer ◽

Kim Guldstrand Larsen ◽

Axel Legay ◽

Ulrik Nyman ◽

Andrzej Wąsowski

Keyword(s):

Specification Theory

Download Full-text

The Logic of XACML

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35743-5_13 ◽

2012 ◽

pp. 205-222 ◽

Cited By ~ 12

Author(s):

Carroline Dewi Puspa Kencana Ramli ◽

Hanne Riis Nielson ◽

Flemming Nielson

Download Full-text

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35743-5_18 ◽

2012 ◽

pp. 296-312

Author(s):

Hamideh Sabouri ◽

Ramtin Khosravi

Keyword(s):

Model Checking ◽

Static Analysis ◽

Product Lines ◽

Analysis Techniques

Download Full-text

Realizability of Choreographies for Services Interacting Asynchronously

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2012 ◽

pp. 151-167 ◽

Cited By ~ 7

Author(s):

Gregor Gössler ◽

Gwen Salaün

Download Full-text

A Denotational Model for Component-Based Risk Analysis

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2012 ◽

pp. 12-41 ◽

Cited By ~ 2

Author(s):

Gyrd Brændeland ◽

Atle Refsdal ◽

Ketil Stølen

Keyword(s):

Risk Analysis

Download Full-text

Formal Aspects of Component Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Evaluating the Performance of Model Transformation Styles in Maude

Interactive Transformations from Object-Oriented Models to Component-Based Models

Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios

Networks of Real-Time Actors

A Modal Specification Theory for Components with Data

The Logic of XACML

Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques

Realizability of Choreographies for Services Interacting Asynchronously

A Denotational Model for Component-Based Risk Analysis

Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications