Abstract is missing.
- Distributed Process Discovery and Conformance CheckingWil M. P. van der Aalst. 1-25 [doi]
- Model-Driven Techniques to Enhance Architectural Languages InteroperabilityDavide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio. 26-42 [doi]
- Moving from Specifications to Contracts in Component-Based DesignSebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. 43-58 [doi]
- The SynchAADL2Maude ToolKyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem. 59-62 [doi]
- Consistency of Service CompositionJosé Luiz Fiadeiro, Antónia Lopes. 63-77 [doi]
- Stable Availability under Denial of Service Attacks through Formal PatternsJonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing. 78-93 [doi]
- Loose Programming with PROPHETSStefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen. 94-98 [doi]
- Schedule Insensitivity ReductionVineet Kahlon. 99-114 [doi]
- Adaptive Task Automata: A Framework for Verifying Adaptive Embedded SystemsLeo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu. 115-129 [doi]
- Verified Resource Guarantees for Heap Manipulating ProgramsElvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez. 130-145 [doi]
- An Operational Decision Support Framework for Monitoring Business ConstraintsFabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst. 146-162 [doi]
- Intermodeling, Queries, and Kleisli CategoriesZinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki. 163-177 [doi]
- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Claudia Ermel, Fernando Orejas. 178-193 [doi]
- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu CalculusJulian C. Bradfield, Perdita Stevens. 194-208 [doi]
- Graph Transforming Java DataMaarten de Mol, Arend Rensink, James J. Hunt. 209-223 [doi]
- Language Independent Refinement Using Partial ModelingRick Salay, Michalis Famelis, Marsha Chechik. 224-239 [doi]
- A Conceptual Framework for AdaptationRoberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. 240-254 [doi]
- Applying Design by Contract to Feature-Oriented ProgrammingThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake. 255-269 [doi]
- Integration Testing of Software Product Lines Using Compositional Symbolic ExecutionJiangfan Shi, Myra B. Cohen, Matthew B. Dwyer. 270-284 [doi]
- Combining Related Products into Product LinesJulia Rubin, Marsha Chechik. 285-300 [doi]
- Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit MessagesAndreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig. 301-315 [doi]
- Cohesive and Isolated Development with BranchesEarl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germán, Premkumar T. Devanbu. 316-331 [doi]
- Making Software Integration Really ContinuousMário Luís Guimarães, António Rito Silva. 332-346 [doi]
- Extracting Widget Descriptions from GUIsGiovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro. 347-361 [doi]
- Language-Theoretic Abstraction RefinementZhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer. 362-376 [doi]
- Learning from Vacuously Satisfiable Scenario-Based SpecificationsDalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel. 377-393 [doi]
- Explanations for Regular ExpressionsMartin Erwig, Rahul Gopinath. 394-408 [doi]
- On the Danger of Coverage Directed Test Case GenerationMatt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl. 409-424 [doi]
- Reduction of Test Suites Using MutationMacario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha. 425-438 [doi]
- Model-Based Filtering of Combinatorial Test SuitesTaha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. 439-454 [doi]
- A New Design Defects Classification: Marrying Detection and CorrectionRim Mahouachi, Marouane Kessentini, Khaled Ghédira. 455-470 [doi]
- Fine Slicing - Theory and Applications for Computation ExtractionAharon Abadi, Ran Ettinger, Yishai A. Feldman. 471-485 [doi]
- System Dependence Graphs in Sequential ErlangJosep Silva, Salvador Tamarit, César Tomás. 486-500 [doi]
- A Domain-Specific Language for Scripting Refactorings in ErlangHuiqing Li, Simon J. Thompson. 501-515 [doi]