default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18. FASE 2015: London, UK (Part of ETAPS 2015)
- Alexander Egyed, Ina Schaefer:
Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9033, Springer 2015, ISBN 978-3-662-46674-2
Models and Synthesis
- Alexander Knapp, Till Mossakowski
, Markus Roggenbach, Martin Glauer:
An Institution for Simple UML State Machines. 3-18 - Abel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot:
Map-Based Transparent Persistence for Very Large Models. 19-34 - Emil Andriescu, Thierry Martinez, Valérie Issarny:
Composing Message Translators and Inferring Their Data Types Using Tree Automata. 35-50 - Christian Brenner, Joel Greenyer, Wilhelm Schäfer:
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications. 51-65
Testing and Fault Localization
- Seema Jehan, Ingo Pill, Franz Wotawa:
BPEL Integration Testing. 69-83 - Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer:
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines. 84-99 - Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just Test What You Cannot Verify! 100-114 - David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis:
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. 115-129
Modeling
- Rick Salay, Marsha Chechik:
A Generalized Formal Framework for Partial Modeling. 133-148 - Davide Arcelli, Vittorio Cortellessa, Catia Trubiani:
Performance-Based Software Model Refactoring in Fuzzy Contexts. 149-164 - Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer:
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin. 165-168
Verification
- Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Translation Validation for Clock Transformations in a Synchronous Compiler. 171-185 - Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina:
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. 186-201 - Stefan Blom, Saeed Darabi, Marieke Huisman:
Verification of Loop Parallelisations. 202-217 - Carolina Dania, Manuel Clavel:
Model-Based Formal Reasoning about Data-Management Applications. 218-232
Modeling and Adaptation
- Radu Calinescu, Simos Gerasimou, Alec Banks:
Self-adaptive Software with Decentralised Control Loops. 235-251 - Carlos Canal, Gwen Salaün:
Model-Based Adaptation of Software Communicating via FIFO Buffers. 252-266 - Ahmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer:
Lazy TSO Reachability. 267-282 - Daniel Strüber, Julia Rubin, Marsha Chechik, Gabriele Taentzer:
A Variability-Based Approach to Reusable and Efficient Model Transformations. 283-298
Applications
- Nuno Macedo, Alcino Cunha, Tiago Guimarães:
Exploring Scenario Exploration. 301-315 - Kenan Liu, Gustavo Pinto, Yu David Liu:
Data-Oriented Characterization of Application-Level Energy Optimization. 316-331 - Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman:
Resource Specification for Prototyping Human-Intensive Systems. 332-346 - Martín Abadi:
The Prophecy of Undo. 347-361
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 2025-11-08 00:51 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:
