Abstract is missing.
- Adaptable and Evolving Software for Eternal Systems - (Track Summary)Reiner Hähnle, Ina Schaefer. 1-3 [doi]
- Challenges in Defining a Programming Language for Provably Correct Dynamic AnalysesEric Bodden, Andreas Follner, Siegfried Rasthofer. 4-18 [doi]
- Eternal Embedded Software: Towards Innovation Experiment SystemsJan Bosch, Ulrik Eklund. 19-31 [doi]
- A Liskov Principle for Delta-Oriented ProgrammingReiner Hähnle, Ina Schaefer. 32-46 [doi]
- Scientific Workflows: Eternal Components, Changing Interfaces, Varying CompositionsAnna-Lena Lamprecht, Tiziana Margaria. 47-63 [doi]
- An Object Group-Based Component ModelMichael Lienhardt, Mario Bravetti, Davide Sangiorgi. 64-78 [doi]
- Automated Inference of Models for Black Box Systems Based on Interface DescriptionsMaik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli. 79-96 [doi]
- Model-Based Compatibility Checking of System ModificationsArnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch. 97-111 [doi]
- A Generic Platform for Model-Based Regression TestingPhilipp Zech, Michael Felderer, Philipp Kalb, Ruth Breu. 112-126 [doi]
- Approaches for Mastering ChangeIna Schaefer, Malte Lochau, Martin Leucker. 127-130 [doi]
- A Formal Approach to Software Product FamiliesMartin Leucker, Daniel Thoma. 131-145 [doi]
- A Compositional Framework to Derive Product Line Behavioural DescriptionsPatrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi. 146-161 [doi]
- Delta-Oriented Monitor SpecificationEric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz. 162-177 [doi]
- Conflict Detection in Delta-Oriented ProgrammingMichael Lienhardt, Dave Clarke. 178-192 [doi]
- Family-Based Analysis of Type Safety for Delta-Oriented Software Product LinesFerruccio Damiani, Ina Schaefer. 193-207 [doi]
- A Vision for Behavioural Model-Driven Validation of Software Product LinesXavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry. 208-222 [doi]
- Parameterized Preorder Relations for Model-Based Testing of Software Product LinesMalte Lochau, Jochen Kamischke. 223-237 [doi]
- SmartTies - Management of Safety-Critical DevelopmentsSerge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder. 238-252 [doi]
- Tracking Behavioral Constraints during Object-Oriented Software EvolutionJohan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu. 253-268 [doi]
- Towards the Verification of Adaptable ProcessesMario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. 269-283 [doi]
- Runtime Verification: The Application PerspectiveYliès Falcone, Lenore D. Zuck. 284-291 [doi]
- What Does AI Have to Do with RV? - (Extended Abstract)Klaus Havelund. 292-294 [doi]
- A Case for "Piggyback" Runtime MonitoringSylvain Hallé, Raphaël Tremblay-Lessard. 295-311 [doi]
- A Unified Approach for Static and Runtime Verification: Framework and ApplicationsWolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. 312-326 [doi]
- Statistical Model Checking QoS Properties of Systems with SBIPSaddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri. 327-341 [doi]
- Monitoring Temporal Information FlowRayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe. 342-357 [doi]
- Dynamic Information-Flow Analysis for Multi-threaded ApplicationsLaurent Mounier, Emmanuel Sifakis. 358-371 [doi]
- Bounded-Interference Sequentialization for Testing Concurrent ProgramsNiloofar Razavi, Azadeh Farzan, Andreas Holzer. 372-387 [doi]
- Runtime Verification of Biological SystemsAlexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards. 388-404 [doi]
- Behavioral Specification Based Runtime Monitors for OSGi ServicesJan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz. 405-419 [doi]
- Modelling and Decentralised Runtime Control of Self-stabilising Power Micro GridsArnd Hartmanns, Holger Hermanns. 420-439 [doi]
- Model-Based Testing and Model InferenceKarl Meinke, Neil Walkinshaw. 440-443 [doi]
- Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security TestingRoland Groz, Muhammad-Naeem Irfan, Catherine Oriat. 444-457 [doi]
- Test-Case Design by Feature TreesTakashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe. 458-473 [doi]
- Model-Based Static Code Analysis for MATLAB ModelsZheng Lu, Supratik Mukhopadhyay. 474-487 [doi]
- An Incremental Learning Algorithm for Extended Mealy AutomataKarl Meinke, Fei Niu. 488-504 [doi]
- Learning Techniques for Software Verification and ValidationCorina S. Pasareanu, Mihaela Gheorghiu Bobaru. 505-507 [doi]
- Learning Stochastic Timed Automata from Sample ExecutionsAndré de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa. 508-523 [doi]
- Learning Minimal Deterministic Automata from Inexperienced TeachersMartin Leucker, Daniel Neider. 524-538 [doi]
- Model Learning and Test Generation for Event-B DecompositionIonut Dinca, Florentin Ipate, Alin Stefanescu. 539-553 [doi]
- Inferring Semantic Interfaces of Data StructuresFalk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson. 554-571 [doi]
- Learning-Based Test Programming for ProgrammersAlex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour. 572-586 [doi]
- LearnLib Tutorial: From Finite Automata to Register Interface ProgramsFalk Howar, Malte Isberner, Maik Merten, Bernhard Steffen. 587-590 [doi]
- Automated Learning Setups in Automata LearningMaik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria. 591-607 [doi]
- The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action SystemsFalk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer. 608-614 [doi]