default search action

combined dblp search
author search
venue search
publication search

ask others

SFM 2011: Bertinoro, Italy

> Home > Conferences and Workshops > SFM

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:
  - conf/sfm/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2011
Marco Bernardo, Valérie Issarny:
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

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BlairPGG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BlairPGG11
Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas:
Interoperability in Complex Distributed Systems. 1-26
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/GraceGBBCIPSSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/GraceGBBCIPSSS11
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

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/ForejtKNP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/ForejtKNP11
Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Automated Verification Techniques for Probabilistic Systems. 53-113
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BaierKK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BaierKK11
Christel Baier, Joachim Klein, Sascha Klüppelholz:
Modeling and Verification of Components and Connectors. 114-147

Connector Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/InverardiST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/InverardiST11
Paola Inverardi, Romina Spalazzese, Massimo Tivoli:
Application-Layer Connector Synthesis. 148-190
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/GiannakopoulouP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/GiannakopoulouP11
Dimitra Giannakopoulou, Corina S. Pasareanu:
Context Synthesis. 191-216
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/IssarnyBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/IssarnyBB11
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

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/SteffenHM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/SteffenHM11
Bernhard Steffen, Falk Howar, Maik Merten:
Introduction to Active Automata Learning from a Practical Perspective. 256-296
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Tretmans11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Tretmans11
Jan Tretmans:
Model-Based Testing and Some Steps towards Test-Based Modelling. 297-326
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Jonsson11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Jonsson11
Bengt Jonsson:
Learning of Automata Models Extended with Data. 327-349

Dependability Assurance

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BertolinoCGN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BertolinoCGN11
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro:
Dependability and Performance Assessment of Dynamic CONNECTed Systems. 350-392
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CostaIMMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CostaIMMS11
Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi:
Security and Trust. 393-416

Trustworthy Eternal Systems via Evolving Software

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/ClarkeDHJSSSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/ClarkeDHJSSSW11
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
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/Moschitti11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/Moschitti11
Alessandro Moschitti:
Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning. 458-503
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/JurjensOSMHI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/JurjensOSMHI11
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

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.