default search action
ISoLA 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
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
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
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
A Formal Approach to Software Product Families. 131-145 - Patrizia Asirelli, Maurice H. ter Beek
A Compositional Framework to Derive Product Line Behavioural Descriptions. 146-161 - Eric Bodden
Delta-Oriented Monitor Specification. 162-177 - Michael Lienhardt, Dave Clarke:
Conflict Detection in Delta-Oriented Programming. 178-192 - Ferruccio Damiani
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. 193-207 - Xavier Devroey
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
SmartTies - Management of Safety-Critical Developments. 238-252 - Johan Dovland, Einar Broch Johnsen
Tracking Behavioral Constraints during Object-Oriented Software Evolution. 253-268 - Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez
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é
A Case for "Piggyback" Runtime Monitoring. 295-311 - Wolfgang Ahrendt
A Unified Approach for Static and Runtime Verification: Framework and Applications. 312-326 - Saddek Bensalem, Marius Bozga, Benoît Delahaye
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
Runtime Verification of Biological Systems. 388-404 - Jan Olaf Blech
Behavioral Specification Based Runtime Monitors for OSGi Services. 405-419 - Arnd Hartmanns
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
Learning Stochastic Timed Automata from Sample Executions. 508-523 - Martin Leucker
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
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
LearnLib Tutorial: From Finite Automata to Register Interface Programs. 587-590 - Maik Merten, Malte Isberner
Automated Learning Setups in Automata Learning. 591-607
RERS Grey-Box Challenge 2012
- Falk Howar
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 2024-11-20 21:07 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by: