default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2012: Heraklion, Crete, Greece
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Lecture Notes in Computer Science 7609, Springer 2012, ISBN 978-3-642-34025-3
Adaptable and Evolving Software for Eternal Systems
- Reiner Hähnle
, Ina Schaefer:
Adaptable and Evolving Software for Eternal Systems - (Track Summary). 1-3 - Eric Bodden, Andreas Follner, Siegfried Rasthofer:
Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses. 4-18 - Jan Bosch, Ulrik Eklund:
Eternal Embedded Software: Towards Innovation Experiment Systems. 19-31 - Reiner Hähnle, Ina Schaefer:
A Liskov Principle for Delta-Oriented Programming. 32-46 - Anna-Lena Lamprecht, Tiziana Margaria:
Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. 47-63 - Michael Lienhardt, Mario Bravetti, Davide Sangiorgi:
An Object Group-Based Component Model. 64-78 - Maik Merten, Falk Howar, Bernhard Steffen, Patrizio Pelliccione, Massimo Tivoli:
Automated Inference of Models for Black Box Systems Based on Interface Descriptions. 79-96 - Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch:
Model-Based Compatibility Checking of System Modifications. 97-111 - Philipp Zech, Michael Felderer, Philipp Kalb, Ruth Breu:
A Generic Platform for Model-Based Regression Testing. 112-126
Approaches for Mastering Change
- Ina Schaefer, Malte Lochau, Martin Leucker:
Approaches for Mastering Change. 127-130 - Martin Leucker, Daniel Thoma:
A Formal Approach to Software Product Families. 131-145 - Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Compositional Framework to Derive Product Line Behavioural Descriptions. 146-161 - Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz:
Delta-Oriented Monitor Specification. 162-177 - Michael Lienhardt, Dave Clarke:
Conflict Detection in Delta-Oriented Programming. 178-192 - Ferruccio Damiani, Ina Schaefer:
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. 193-207 - Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. 208-222 - Malte Lochau, Jochen Kamischke:
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines. 223-237 - Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder:
SmartTies - Management of Safety-Critical Developments. 238-252 - Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu:
Tracking Behavioral Constraints during Object-Oriented Software Evolution. 253-268 - Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Towards the Verification of Adaptable Processes. 269-283
Runtime Verification: The Application Perspective
- Yliès Falcone, Lenore D. Zuck:
Runtime Verification: The Application Perspective. 284-291 - Klaus Havelund:
What Does AI Have to Do with RV? - (Extended Abstract). 292-294 - Sylvain Hallé, Raphaël Tremblay-Lessard:
A Case for "Piggyback" Runtime Monitoring. 295-311 - Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider:
A Unified Approach for Static and Runtime Verification: Framework and Applications. 312-326 - Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri:
Statistical Model Checking QoS Properties of Systems with SBIP. 327-341 - Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe:
Monitoring Temporal Information Flow. 342-357 - Laurent Mounier, Emmanuel Sifakis:
Dynamic Information-Flow Analysis for Multi-threaded Applications. 358-371 - Niloofar Razavi, Azadeh Farzan, Andreas Holzer:
Bounded-Interference Sequentialization for Testing Concurrent Programs. 372-387 - Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Runtime Verification of Biological Systems. 388-404 - Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz:
Behavioral Specification Based Runtime Monitors for OSGi Services. 405-419 - Arnd Hartmanns, Holger Hermanns:
Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids. 420-439
Model-Based Testing and Model Inference
- Karl Meinke, Neil Walkinshaw:
Model-Based Testing and Model Inference. 440-443 - Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat:
Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. 444-457 - Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe:
Test-Case Design by Feature Trees. 458-473 - Zheng Lu, Supratik Mukhopadhyay:
Model-Based Static Code Analysis for MATLAB Models. 474-487 - Karl Meinke, Fei Niu:
An Incremental Learning Algorithm for Extended Mealy Automata. 488-504
Learning Techniques for Software Verification and Validation
- Corina S. Pasareanu, Mihaela Gheorghiu Bobaru:
Learning Techniques for Software Verification and Validation. 505-507 - André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa:
Learning Stochastic Timed Automata from Sample Executions. 508-523 - Martin Leucker, Daniel Neider:
Learning Minimal Deterministic Automata from Inexperienced Teachers. 524-538 - Ionut Dinca, Florentin Ipate, Alin Stefanescu:
Model Learning and Test Generation for Event-B Decomposition. 539-553 - Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson:
Inferring Semantic Interfaces of Data Structures. 554-571 - Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour:
Learning-Based Test Programming for Programmers. 572-586
LearnLib Tutorial: From Finite Automata to Register Interface Programs
- Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen:
LearnLib Tutorial: From Finite Automata to Register Interface Programs. 587-590 - Maik Merten, Malte Isberner, Falk Howar, Bernhard Steffen, Tiziana Margaria:
Automated Learning Setups in Automata Learning. 591-607
RERS Grey-Box Challenge 2012
- Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer:
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. 608-614
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.
last updated on 2026-09-02 00:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
