Abstract is missing.
- Interoperability in Complex Distributed SystemsGordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas. 1-26 [doi]
- The CONNECT ArchitecturePaul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Valérie Issarny, Massimo Paolucci, Rachid Saadi, Bertrand Souville, Daniel Sykes. 27-52 [doi]
- Automated Verification Techniques for Probabilistic SystemsVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. 53-113 [doi]
- Modeling and Verification of Components and ConnectorsChristel Baier, Joachim Klein, Sascha Klüppelholz. 114-147 [doi]
- Application-Layer Connector SynthesisPaola Inverardi, Romina Spalazzese, Massimo Tivoli. 148-190 [doi]
- Context SynthesisDimitra Giannakopoulou, Corina S. Pasareanu. 191-216 [doi]
- Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware InteroperabilityValérie Issarny, Amel Bennaceur, Yérom-David Bromberg. 217-255 [doi]
- Introduction to Active Automata Learning from a Practical PerspectiveBernhard Steffen, Falk Howar, Maik Merten. 256-296 [doi]
- Model-Based Testing and Some Steps towards Test-Based ModellingJan Tretmans. 297-326 [doi]
- Learning of Automata Models Extended with DataBengt Jonsson. 327-349 [doi]
- Dependability and Performance Assessment of Dynamic CONNECTed SystemsAntonia Bertolino, Antonello Calabró, Felicita Di Giandomenico, Nicola Nostro. 350-392 [doi]
- Security and TrustGabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi. 393-416 [doi]
- Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling LanguageDave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong. 417-457 [doi]
- Kernel-Based Machines for Abstract and Easy Modeling of Automatic LearningAlessandro Moschitti. 458-503 [doi]
- Modelling Secure Systems Evolution: Abstract and Concrete Change SpecificationsJan Jürjens, Martín Ochoa, Holger Schmidt, Loïc Marchal, Siv Hilde Houmb, Shareeful Islam. 504-526 [doi]