SFM 2011: Bertinoro, Italy

Marco Bernardo, Valérie Issarny (Eds.): Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Lecture Notes in Computer Science 6659 Springer 2011, ISBN 978-3-642-21454-7

Architecture and Interoperability

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas:
Interoperability in Complex Distributed Systems. 1-26
Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci, Rachid Saadi, Bertrand Souville, Daniel Sykes:
The CONNECT Architecture. 27-52

Formal Foundations for Connectors

Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Automated Verification Techniques for Probabilistic Systems. 53-113
Christel Baier, Joachim Klein, Sascha Klüppelholz:
Modeling and Verification of Components and Connectors. 114-147

Connector Synthesis

Paola Inverardi, Romina Spalazzese, Massimo Tivoli:
Application-Layer Connector Synthesis. 148-190
Dimitra Giannakopoulou, Corina S. Pasareanu:
Context Synthesis. 191-216
Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg:
Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability. 217-255

Learning and Monitoring

Bernhard Steffen, Falk Howar, Maik Merten:
Introduction to Active Automata Learning from a Practical Perspective. 256-296
Jan Tretmans:
Model-Based Testing and Some Steps towards Test-Based Modelling. 297-326
Bengt Jonsson:
Learning of Automata Models Extended with Data. 327-349

Dependability Assurance

Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro:
Dependability and Performance Assessment of Dynamic CONNECTed Systems. 350-392
Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi:
Security and Trust. 393-416

Trustworthy Eternal Systems via Evolving Software

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong:
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. 417-457
Alessandro Moschitti:
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. 458-503
Jan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam:
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications. 504-526

Last update Fri May 25 08:36:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page