2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781612848532

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two Formal Semantics of a Subset of the AADL

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.41 ◽

2011 ◽

Cited By ~ 4

Author(s):

Zhibin Yang ◽

Kai Hu ◽

Jean-Paul Bodeveix ◽

Lei Pi ◽

Dianfu Ma ◽

...

Keyword(s):

Formal Semantics

Download Full-text

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.21 ◽

2011 ◽

Cited By ~ 17

Author(s):

Abderrahman Matoussi ◽

Frédéríc Gervais ◽

Régine Laleau

Keyword(s):

Abstract Event

Download Full-text

A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.18 ◽

2011 ◽

Cited By ~ 23

Author(s):

Tewfik Ziadi ◽

Marcos Aurélio Almeida da Silva ◽

Lom Messan Hillah ◽

Mikal Ziane

Keyword(s):

Reverse Engineering ◽

Sequence Diagrams ◽

Dynamic Approach

Download Full-text

[Publishers information]

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.47 ◽

2011 ◽

Download Full-text

An Implementation of the Behavior Annex in the AADL-Toolset Osate2

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.39 ◽

2011 ◽

Cited By ~ 4

Author(s):

Gilles Lasnier ◽

Laurent Pautet ◽

Jérôme Hugues ◽

Lutz Wrage

Download Full-text

ABV - A Verifier for the Architecture Analysis and Design Language (AADL)

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.43 ◽

2011 ◽

Cited By ~ 6

Author(s):

Stefan Björnander ◽

Cristina Seceleanu ◽

Kristina Lundqvist ◽

Paul Pettersson

Keyword(s):

Analysis And Design ◽

Design Language ◽

Architecture Analysis

Download Full-text

Modeling Variability from Requirements to Runtime

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.15 ◽

2011 ◽

Cited By ~ 15

Author(s):

Mathieu Acher ◽

Philippe Collet ◽

Philippe Lahire ◽

Sabine Moisan ◽

Jean-Paul Rigault

Download Full-text

Towards a MDE Transformation Workflow for Dependability Analysis

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.23 ◽

2011 ◽

Cited By ~ 9

Author(s):

Leonardo Montecchi ◽

Paolo Lollini ◽

Andrea Bondavalli

Keyword(s):

Dependability Analysis

Download Full-text

Author Index

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.46 ◽

2011 ◽

Download Full-text

Timed Circus: Timed CSP with the Miracle

2011 16th IEEE International Conference on Engineering of Complex Computer Systems ◽

10.1109/iceccs.2011.13 ◽

2011 ◽

Cited By ~ 5

Author(s):

Kun Wei ◽

Jim Woodcock ◽

Alan Burns

Keyword(s):

Timed Csp

Download Full-text

2011 16th IEEE International Conference on Engineering of Complex Computer SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Two Formal Semantics of a Subset of the AADL

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams

[Publishers information]

An Implementation of the Behavior Annex in the AADL-Toolset Osate2

ABV - A Verifier for the Architecture Analysis and Design Language (AADL)

Modeling Variability from Requirements to Runtime

Towards a MDE Transformation Workflow for Dependability Analysis

Author Index

Timed Circus: Timed CSP with the Miracle

2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Latest Publications