Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450302890

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Augmenting formal development of control systems with quantitative reliability assessment

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401743 ◽

2010 ◽

Author(s):

Anton Tarasyuk ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

Control Systems ◽

Reliability Assessment ◽

Formal Development

Download Full-text

Modelling and analysing resilience as a security issue within UML

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401741 ◽

2010 ◽

Cited By ~ 7

Author(s):

Ricardo J. Rodríguez ◽

José Merseguer ◽

Simona Bernardi

Keyword(s):

Security Issue

Download Full-text

Availability modelling of a virtual black box for automotive systems

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401742 ◽

2010 ◽

Cited By ~ 1

Author(s):

Ossama Hamouda ◽

Mohamed Kaâniche ◽

Karama Kanoun

Keyword(s):

Black Box ◽

Automotive Systems

Download Full-text

Towards a model-driven method for reliable applications

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401737 ◽

2010 ◽

Cited By ~ 1

Author(s):

Vidar Slåtten ◽

Frank Alexander Kraemer ◽

Peter Herrmann

Keyword(s):

Model Driven

Download Full-text

Design support and tooling for dependable embedded control software

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401745 ◽

2010 ◽

Cited By ~ 6

Author(s):

J. F. Broenink ◽

C. Kleijn ◽

P. G. Larsen ◽

D. Jovanovic ◽

M. Verhoef ◽

...

Keyword(s):

Control Software ◽

Embedded Control ◽

Design Support

Download Full-text

Dependability in dynamic, evolving and heterogeneous systems

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401746 ◽

2010 ◽

Cited By ~ 2

Author(s):

Antonia Bertolino ◽

Antinisca Di Marco ◽

Fabio Martinelli ◽

Valérie Issarny ◽

Rachid Saadi

Keyword(s):

Heterogeneous Systems

Download Full-text

On the impact of fault tolerance tactics on architecture patterns

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401738 ◽

2010 ◽

Cited By ~ 11

Author(s):

Neil B. Harrison ◽

Paris Avgeriou ◽

Uwe Zdun

Keyword(s):

Fault Tolerance ◽

The Impact

Download Full-text

A UML-based method for risk analysis of human-robot interactions

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401740 ◽

2010 ◽

Cited By ~ 13

Author(s):

Damien Martin-Guillerez ◽

Jérémie Guiochet ◽

David Powell ◽

Christophe Zanon

Keyword(s):

Risk Analysis

Download Full-text

An industrial application of formal model based development

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401744 ◽

2010 ◽

Cited By ~ 4

Author(s):

Alessio Ferrari ◽

Mario Papini ◽

Alessandro Fantechi ◽

Daniele Grasso

Keyword(s):

Industrial Application ◽

Formal Model ◽

Model Based

Download Full-text

Adding resilience to message oriented middleware

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 ◽

10.1145/2401736.2401747 ◽

2010 ◽

Cited By ~ 3

Author(s):

Jinfu Wang ◽

Peng Jiang ◽

John Bigham ◽

Bob Chew ◽

Milan Novkovic ◽

...

Keyword(s):

Message Oriented Middleware

Download Full-text

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Augmenting formal development of control systems with quantitative reliability assessment

Modelling and analysing resilience as a security issue within UML

Availability modelling of a virtual black box for automotive systems

Towards a model-driven method for reliable applications

Design support and tooling for dependable embedded control software

Dependability in dynamic, evolving and heterogeneous systems

On the impact of fault tolerance tactics on architecture patterns

A UML-based method for risk analysis of human-robot interactions

An industrial application of formal model based development

Adding resilience to message oriented middleware

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10
Latest Publications