More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

6th FESCA@ETAPS 2009: York, UK

> 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
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/fesca/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fesca/2009
Jens Happe, Barbora Zimmerová:
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009. Electronic Notes in Theoretical Computer Science 253(1), Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HappeZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HappeZ09
Jens Happe, Barbora Zimmerová:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BocchiFLPT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BocchiFLPT09
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
From Architectural to Behavioural Specification of Services. 3-21
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KoziolekB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KoziolekB09
Heiko Koziolek, Franz Brosch:
Parameter Dependencies for Component Reliability Specifications. 23-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FenechPORS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FenechPORS09
Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider:
On the Specification of Full Contracts. 39-55
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KuperbergO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KuperbergO09
Michael Kuperberg, Fouad Omri:
Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods. 57-75
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartensK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartensK09
Anne Martens, Heiko Koziolek:
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs. 77-93
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MotognaLPC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MotognaLPC09
Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula:
An Agile MDA Approach for Service-Oriented Components. 95-110
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MouelhiCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MouelhiCM09
Sebti Mouelhi, Samir Chouali, Hassan Mountassir:
Refinement of Interface Automata Strengthened by Action Semantics. 111-126
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OweS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OweS09
Olaf Owe, Gerardo Schneider:
Wrap Your Objects Safely. 127-143
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ParizekAK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ParizekAK09
Pavel Parízek, Jirí Adámek, Tomas Kalibera:
Automated Construction of Reasonable Environment for Java Components. 145-160
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SlutejHSSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SlutejHSSP09
Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System. 161-178
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZhaoR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZhaoR09
Yuhong Zhao, Franz-Josef Rammig:
Model-based Runtime Verification Framework. 179-193

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.