Abstract is missing.
- Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and KnowledgeAlessandro Moschitti. 1-2 [doi]
- HATS: Highly Adaptable and Trustworthy Software Using Formal MethodsReiner Hähnle. 3-8 [doi]
- SecureChange: Security Engineering for Lifelong Evolvable SystemsRiccardo Scandariato, Fabio Massacci. 9-12 [doi]
- 3DLife: Bringing the Media Internet to LifeEbroul Izquierdo, Tomas Piatrik, Qianni Zhang. 13-14 [doi]
- LivingKnowledge: Kernel Methods for Relational Learning and Semantic ModelingAlessandro Moschitti. 15-19 [doi]
- Task Forces in the EternalS Coordination ActionReiner Hähnle. 20-22 [doi]
- Modeling and Analyzing Diversity - Description of EternalS Task Force 1Ina Schaefer. 23-25 [doi]
- Modeling and Managing System Evolution - Description of EternalS Task Force 2Michael Hafner. 26-29 [doi]
- Self-adaptation and Evolution by Learning - Description of EternalS Task Force 3Richard Johansson. 30-31 [doi]
- Overview of Roadmapping by EternalSJim Clarke, Keith Howker. 32-34 [doi]
- Adaptive Composition of Conversational Services through Graph Planning EncodingPascal Poizat, Yuhong Yan. 35-50 [doi]
- Performance Prediction of Service-Oriented Systems with Layered Queueing NetworksMirco Tribastone, Philip Mayer, Martin Wirsing. 51-65 [doi]
- Error Handling: From Theory to PracticeIvan Lanese, Fabrizio Montesi. 66-81 [doi]
- Modeling and Reasoning about Service Behaviors and Their CompositionsAida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson. 82-96 [doi]
- Design and Verification of Systems with Exogenous Coordination Using VereofyChristel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister. 97-111 [doi]
- A Case Study in Model-Based Adaptation of Web ServicesJavier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. 112-126 [doi]
- Quantitative Verification in PracticeBoudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen. 127 [doi]
- Ten Years of Performance Evaluation for Concurrent Systems Using CADPNicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe. 128-142 [doi]
- Towards Dynamic Adaptation of Probabilistic SystemsSuzana Andova, Luuk Groenewegen, Erik P. de Vink. 143-159 [doi]
- UPPAAL in Practice: Quantitative Verification of a RapidIO NetworkJiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. 160-174 [doi]
- Schedulability Analysis Using Uppaal: Herschel-Planck Case StudyMarius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard. 175-190 [doi]
- Model-Checking Temporal Properties of Real-Time HTL ProgramsAndré Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa. 191-205 [doi]
- Towards an Architecture for Runtime InteroperabilityAmel 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. 206-220 [doi]
- On Handling Data in Automata Learning - Considerations from the CONNECT PerspectiveFalk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel. 221-235 [doi]
- A Theory of Mediators for Eternal ConnectorsPaola Inverardi, Valérie Issarny, Romina Spalazzese. 236-250 [doi]
- On-the-Fly Interoperability through Automated Mediator Synthesis and MonitoringAntonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese. 251-262 [doi]
- Dependability Analysis and Verification for Connected SystemsFelicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu. 263-277 [doi]
- Towards a Connector AlgebraMarco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli. 278-292 [doi]
- Certification of Software-Driven Medical DevicesMark Lawford, T. S. E. Maibaum, Alan Wassyng. 293-295 [doi]
- Arguing for Software Quality in an IEC 62304 Compliant Development ProcessMichaela Huhn, Axel Zechner. 296-311 [doi]
- Trustable Formal Specification for Software CertificationDominique Méry, Neeraj Kumar Singh. 312-326 [doi]
- Design Choices for High-Confidence Distributed Real-Time SoftwareSebastian Fischmeister, Akramul Azim. 327-342 [doi]
- Assurance Cases in Model-Driven Development of the Pacemaker SoftwareEunkyoung Jee, Insup Lee, Oleg Sokolsky. 343-356 [doi]
- Improving Portability of Linux Applications by Early Detection of Interoperability IssuesDenis V. Silakov, Andrey Smachev. 357-370 [doi]
- Specification Based Conformance Testing for Email ProtocolsNikolay Pakulin, Anastasia Tugaenko. 371-381 [doi]
- Covering Arrays Generation Methods SurveyVictor V. Kuliamin, Alexander Petukhov. 382-396 [doi]
- A Scalable Approach for the Description of Dependencies in Hard Real-Time SystemsSteffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka. 397-411 [doi]
- Verification of Printer Datapaths Using Timed AutomataGeorgeta Igna, Frits W. Vaandrager. 412-423 [doi]
- Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World ExampleKlaus Birken, Daniel Hünig, Thomas Rustemeyer, Ralph Wittmann. 424-433 [doi]
- Source-Level Support for Timing AnalysisGergö Barany, Adrian Prantl. 434-448 [doi]
- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial CodeBjörn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa. 449-463 [doi]
- Worst-Case Analysis of Heap AllocationsWolfgang Puffitsch, Benedikt Huber, Martin Schoeberl. 464-478 [doi]
- Partial Flow Analysis with oRangeMarianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé. 479-482 [doi]
- Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating SystemsJörn Schneider, Christian Eltges. 483-486 [doi]
- Context-Sensitivity in IPET for Measurement-Based Timing AnalysisMichael Zolda, Sven Bünte, Raimund Kirner. 487-490 [doi]
- On the Role of Non-functional Properties in Compiler VerificationJens Knoop, Wolf Zimmermann. 491-495 [doi]