FASE 2012 accepted papers

  • Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio. Model-driven techniques to enhance Architectural Languages Interoperability
  • Sebastian Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski. Moving from Specifications to Contracts in Component-based Design
  • DEMO: Kyungmin Bae, Peter Olveczky, Abdullah Al-Nayeem and Jose Meseguer. The SynchAADL2Maude Tool
  • José Luiz Fiadeiro and Antonia Lopes. Consistency of Service Composition
  • Jonas Eckhardt, Tobias Muehlbauer, Musab Al Turki, Jose Meseguer and Martin Wirsing. Stable Availability under Denial of Service Attacks through Formal Patterns
  • DEMO: Stefan Naujokat, Anna-Lena Lamprecht and Bernhard Steffen. Tool Demonstration: Loose Programming with PROPHETS.
  • Vineet Kahlon. Exploiting Schedule Insensitivity for Enhancing Concurrent Program Verification
  • Leo Hatvani, Paul Pettersson and Cristina Seceleanu. Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems
  • Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle and Guillermo Román Díez. Verified Resource Guarantees for Heap Manipulating Programs
  • Fabrizio Maria Maggi, Marco Montali and Wil Van Der Aalst. An Operational Decision Support Framework for Monitoring Business Constraints
  • Zinovy Diskin, Tom Maibaum and Krzysztof Czarnecki . Intermodeling, queries, and Kleisli categories
  • Hartmut Ehrig, Claudia Ermel, Frank Hermann and Fernando Orejas. Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
  • Julian Bradfield and Perdita Stevens. Recursive checkonly QVT-R transformations with general 'when' and 'where' clauses via the modal mu calculus
  • Maarten De Mol, Arend Rensink and James J. Hunt. Graph Transforming Java Data
  • Rick Salay, Marsha Chechik and Michalis Famelis. Language Independent Refinement using Partial Modeling
  • Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin. A Conceptual Framework for Adaptation
  • Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel and Gunter Saake. Applying Design by Contract to Feature-Oriented Programming
  • Jiangfan Shi, Myra Cohen and Matthew Dwyer. Integration Testing of Software Product Lines Using Compositional Symbolic Execution
  • Julia Rubin and Marsha Chechik. Combining Related Products into Product Lines
  • Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart and Thomas Grechenig. Tracing your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages
  • Earl Barr, Christian Bird, Peter Rigby, Abram Hindle, Daniel German and Premkumar Devanbu. Cohesive and Isolated Development with Branches
  • Mario Luis Guimares and Antonio Rito Silva. Making Software Integration Really Continuous
  • Giovanni Becce, Leonardo Mariani, Oliviero Riganelli and Mauro Santoro. Extracting Widget Descriptions from GUIs
  • Zhenyue Long, Georgel Calin, Rupak Majumdar and Roland Meyer. Language-Theoretic Abstraction Refinement
  • Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel. Learning from Vacuously Satisfiable Scenario-based Specifications
  • Martin Erwig and Rahul Gopinath. Explanations for Regular Expressions
  • Matt Staats, Gregory Gay, Michael Whalen and Mats Heimdahl. On the Danger of Coverage Directed Test Case Generation
  • Macario Polo Usaola, Pedro Reales Mateo and Beatriz Pérez Lamancha. Reduction of Test Suites Using Mutation
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau and Julien Botella. Model-based filtering of large combinatorial
    test suites
  • Rim Mahouachi, Marouane Kessentini and Khaled Gh?dira. A New Design Defects Classification: Marrying Detection and Correction
  • Aharon Abadi, Ran Ettinger and Yishai A. Feldman. Fine Slicing: Theory and Applications for Computation Extraction
  • Josep Silva, Salvador Tamarit and César Tomás. System Dependence Graphs in Sequential Erlang
  • Huiqing Li and Simon Thompson. A Domain-Specific Language for Scripting Refactorings in Erlang

Who's online

We have 122 guests and no members online

Site Hosted by

ETAPS 2012