default search action

combined dblp search
author search
venue search
publication search

ask others

11th FESCA@ETAPS 2014: Grenoble, France

> Home > Conferences and Workshops > FESCA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/BuhnovaHK14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/HanBHS14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/StattelmannOG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/StattelmannOG14
Stefan Stattelmann, Manuel Oriol, Thomas Gamer:
Execution Time Analysis for Industrial Control Applications. 16-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LanoixK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LanoixK14
Arnaud Lanoix, Olga Kouchnarenko:
Component Substitution through Dynamic Reconfigurations. 32-46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ColomboP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ColomboP14
Christian Colombo, Gordon J. Pace:
Comprehensive Monitor-Oriented Compensation Programming. 47-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CoutoRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CoutoRC14
Rui Couto, António Nestor Ribeiro, José Creissac Campos:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. 62-76
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MarcoT14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/MuramTZ14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/HamiazPCT14
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - journals/corr/BaiTG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaiTG14
Wei Bai, Emmanuel M. Tadjouddine, Yu Guo:
Enabling Automatic Certification of Online Auctions. 123-132
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SantosJV14
- ask others
- share record
  persistent 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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.