Marco Bernardo, Valérie Issarny
Advanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems
SFM, 2011.

@proceedings{SFM-2011,
	address       = "Bertinoro, Italy",
	doi           = "10.1007/978-3-642-21455-4",
	editor        = "Marco Bernardo and Valérie Issarny",
	isbn          = "978-3-642-21454-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems}",
	volume        = 6659,
	year          = 2011,
}

Event page: http://www.sti.uniurb.it/events/sfm11connect/

Contents (15 items)

6 ×#modelling
3 ×#learning
3 ×#synthesis
2 ×#automation
2 ×#automaton
2 ×#verification

SFM-2011-BlairPGG #distributed

Interoperability in Complex Distributed Systems (GSB, MP, PG, NG), pp. 1–26.

SFM-2011-GraceGBBCIPSSS #architecture

The CONNECT Architecture (PG, NG, AB, GSB, FC, VI, MP, RS, BS, DS), pp. 27–52.

SFM-2011-ForejtKNP #automation #probability #verification

Automated Verification Techniques for Probabilistic Systems (VF, MZK, GN, DP), pp. 53–113.

SFM-2011-BaierKK #component #modelling #verification

Modeling and Verification of Components and Connectors (CB, JK, SK), pp. 114–147.

SFM-2011-InverardiST #synthesis

Application-Layer Connector Synthesis (PI, RS, MT), pp. 148–190.

SFM-2011-GiannakopoulouP #synthesis

Context Synthesis (DG, CSP), pp. 191–216.

SFM-2011-IssarnyBB #middleware #state of the art #synthesis

Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability (VI, AB, YDB), pp. 217–255.

SFM-2011-SteffenHM #automaton #learning #perspective

Introduction to Active Automata Learning from a Practical Perspective (BS, FH, MM), pp. 256–296.

SFM-2011-Tretmans #modelling #testing #towards

Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.

SFM-2011-Jonsson #automaton #learning #modelling

Learning of Automata Models Extended with Data (BJ), pp. 327–349.

SFM-2011-BertolinoCGN #assessment #dependence #performance

Dependability and Performance Assessment of Dynamic CONNECTed Systems (AB, AC, FDG, NN), pp. 350–392.

SFM-2011-CostaIMMS #security #trust

Security and Trust (GC, VI, FM, IM, RS), pp. 393–416.

SFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.

SFM-2011-Moschitti #automation #kernel #learning #modelling

Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning (AM), pp. 458–503.

SFM-2011-JurjensOSMHI #evolution #modelling #specification

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (JJ, MO, HS, LM, SHH, SI), pp. 504–526.