Abstract is missing.
- An Institution for Simple UML State MachinesAlexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. 3-18 [doi]
- Map-Based Transparent Persistence for Very Large ModelsAbel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot. 19-34 [doi]
- Composing Message Translators and Inferring Their Data Types Using Tree AutomataEmil Andriescu, Thierry Martinez, Valérie Issarny. 35-50 [doi]
- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based SpecificationsChristian Brenner, Joel Greenyer, Wilhelm Schäfer. 51-65 [doi]
- BPEL Integration TestingSeema Jehan, Ingo Pill, Franz Wotawa. 69-83 [doi]
- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product LinesJohannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer 0001. 84-99 [doi]
- Just Test What You Cannot Verify!Mike Czech, Marie-Christine Jakobs, Heike Wehrheim. 100-114 [doi]
- Evaluation of Measures for Statistical Fault Localisation and an Optimising SchemeDavid Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis. 115-129 [doi]
- A Generalized Formal Framework for Partial ModelingRick Salay, Marsha Chechik. 133-148 [doi]
- Performance-Based Software Model Refactoring in Fuzzy ContextsDavide Arcelli, Vittorio Cortellessa, Catia Trubiani. 149-164 [doi]
- Analyzing Conflicts and Dependencies of Rule-Based Transformations in HenshinKristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer. 165-168 [doi]
- Translation Validation for Clock Transformations in a Synchronous CompilerVan Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. 171-185 [doi]
- Symbolic Detection of Assertion Dependencies for Bounded Model CheckingGrigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina. 186-201 [doi]
- Verification of Loop ParallelisationsStefan Blom, Saeed Darabi, Marieke Huisman. 202-217 [doi]
- Model-Based Formal Reasoning about Data-Management ApplicationsCarolina Dania, Manuel Clavel. 218-232 [doi]
- Self-adaptive Software with Decentralised Control LoopsRadu Calinescu, Simos Gerasimou, Alec Banks. 235-251 [doi]
- Model-Based Adaptation of Software Communicating via FIFO BuffersCarlos Canal, Gwen Salaün. 252-266 [doi]
- Lazy TSO ReachabilityAhmed Bouajjani, Georgel Calin, Egor Derevenetc, Roland Meyer. 267-282 [doi]
- A Variability-Based Approach to Reusable and Efficient Model TransformationsDaniel Strüber, Julia Rubin, Marsha Chechik, Gabriele Taentzer. 283-298 [doi]
- Exploring Scenario ExplorationNuno Macedo, Alcino Cunha, Tiago Guimarães. 301-315 [doi]
- Data-Oriented Characterization of Application-Level Energy OptimizationKenan Liu, Gustavo Pinto, Yu David Liu. 316-331 [doi]
- Resource Specification for Prototyping Human-Intensive SystemsSeung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman. 332-346 [doi]
- The Prophecy of UndoMartín Abadi. 347-361 [doi]