ask others

EPTCS 147 - FESCA@ETAPS 2014

> Home > Series > EPTCS
> Home > Conferences and Workshops > FESCA
> Home > Conferences and Workshops > ETAPS

- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BuhnovaHK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BuhnovaHK14
Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HanBHS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HanBHS14
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 1-15
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/StattelmannOG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/StattelmannOG14
Stefan Stattelmann, Manuel Oriol, Thomas Gamer:
Execution Time Analysis for Industrial Control Applications. 16-31
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LanoixK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LanoixK14
Arnaud Lanoix, Olga Kouchnarenko:
Component Substitution through Dynamic Reconfigurations. 32-46
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ColomboP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ColomboP14
Christian Colombo, Gordon J. Pace:
Comprehensive Monitor-Oriented Compensation Programming. 47-61
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CoutoRC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CoutoRC14
Rui Couto, Antonio Nestor Ribeiro, José Creissac Campos:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. 62-76
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MarcoT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MarcoT14
Antinisca Di Marco, Catia Trubiani:
A model-driven approach to broaden the detection of software performance antipatterns at runtime. 77-92
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/MuramTZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/MuramTZ14
Faiz Ul Muram, Huy Tran, Uwe Zdun:
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. 93-107
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/HamiazPCT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/HamiazPCT14
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux:
Correct-by-construction model composition: Application to the Invasive Software Composition method. 108-122
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BaiTG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BaiTG14
Wei Bai, Emmanuel M. Tadjouddine, Yu Guo:
Enabling Automatic Certification of Online Auctions. 123-132
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/SantosJV14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/SantosJV14
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Transformation of UML Behavioral Diagrams to Support Software Model Checking. 133-142

maintained by

at