ISoLA 2010:
Heraklion, Crete, GreeceTiziana Margaria , Bernhard Steffen (Eds.):
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II.
Lecture Notes in Computer Science 6416 Springer 2010, ISBN 978-3-642-16560-3 EternalS:
Mission and Roadmap
export record as
dblp key:
Alessandro Moschitti :
Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge.
1-2
export record as
dblp key:
Reiner Hähnle :
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.
3-8
export record as
dblp key:
conf/isola/ScandariatoM10 export record as
dblp key:
export record as
dblp key:
Alessandro Moschitti :
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling.
15-19
export record as
dblp key:
Reiner Hähnle :
Task Forces in the EternalS Coordination Action.
20-22
export record as
dblp key:
Ina Schaefer :
Modeling and Analyzing Diversity - Description of EternalS Task Force 1.
23-25
export record as
dblp key:
Michael Hafner :
Modeling and Managing System Evolution - Description of EternalS Task Force 2.
26-29
export record as
dblp key:
Richard Johansson :
Self-adaptation and Evolution by Learning - Description of EternalS Task Force 3.
30-31
export record as
dblp key:
Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing
export record as
dblp key:
export record as
dblp key:
conf/isola/TribastoneMW10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Quantitative Verification in Practice
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/MikucionisLRNSPPH10 export record as
dblp key:
CONNECT:
Status and Plans
export record as
dblp key:
conf/isola/BennaceurBCHGGHIIP10 Amel Bennaceur ,
Gordon S. Blair ,
Franck Chauvel ,
Gang Huang ,
Nikolaos Georgantas ,
Paul Grace ,
Falk Howar ,
Paola Inverardi ,
Valérie Issarny ,
Massimo Paolucci ,
Animesh Pathak ,
Romina Spalazzese ,
Bernhard Steffen ,
Bertrand Souville :
Towards an Architecture for Runtime Interoperability.
206-220
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/BertolinoIISS10 export record as
dblp key:
conf/isola/GiandomenicoKMMQ10 export record as
dblp key:
Certification of Software-Driven Medical Devices
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/isola/FischmeisterA10 export record as
dblp key:
Modeling and Formalizing Industrial Software for Verification, Validation and Certification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Resource and Timing Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
