For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

17. FASE 2014: Grenoble, France (Part of ETAPS 2014)

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fase/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2014
Stefania Gnesi, Arend Rensink:
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1

Invited Paper

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BaierDKDKMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BaierDKDKMW14
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich:
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. 1-16

Modelling and Model Transformation

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CunhaMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CunhaMG14
Alcino Cunha, Nuno Macedo, Tiago Guimarães:
Target Oriented Relational Model Finding. 17-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Stevens14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Stevens14
Perdita Stevens:
Bidirectionally Tolerating Inconsistency: Partial Transformations. 32-46
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/StruberRTC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/StruberRTC14
Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik:
Splitting Models Using Information Retrieval and Model Crawling Techniques. 47-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FahrenbergALW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FahrenbergALW14
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski:
Sound Merging and Differencing for Class Diagrams. 63-78

Time and Performance

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FiadeiroL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FiadeiroL14
José Luiz Fiadeiro, Antónia Lopes:
Heterogeneous and Asynchronous Networks of Timed Systems. 79-93
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/KowalST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KowalST14
Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. 94-108

Static Analysis

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FerraraSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FerraraSB14
Pietro Ferrara, Daniel Schweizer, Lucas Brutschy:
TouchCost: Cost Analysis of TouchDevelop Scripts. 109-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MudduluruR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MudduluruR14
Rashmi Mudduluru, Murali Krishna Ramanathan:
Efficient Incremental Static Analysis Using Path Abstraction. 125-139
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/HuangDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuangDM14
Wei Huang, Yao Dong, Ana L. Milanova:
Type-Based Taint Analysis for Java Web Applications. 140-154
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SadeghiEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SadeghiEM14
Alireza Sadeghi, Naeem Esfahani, Sam Malek:
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities. 155-169

Scenario-Based Specification

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LanduytJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LanduytJ14
Dimitri Van Landuyt, Wouter Joosen:
Modularizing Early Architectural Assumptions in Scenario-Based Requirements. 170-184
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CohenM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CohenM14
Barak Cohen, Shahar Maoz:
Semantically Configurable Analysis of Scenario-Based Specifications. 185-199

Software Verification

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MasciZJCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MasciZJCT14
Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. 200-214
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/GomesPG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GomesPG14
Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov:
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. 215-229
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Zaharieva-StojanovskiH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Zaharieva-StojanovskiH14
Marina Zaharieva-Stojanovski, Marieke Huisman:
Verifying Class Invariants in Concurrent Programs. 230-245

Analysis and Repair

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/0001FNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/0001FNM14
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Automatic Program Repair by Fixing Contracts. 246-260
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/EsmaeilsabzaliMWZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/EsmaeilsabzaliMWZ14
Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey:
Dynamic Package Interfaces. 261-275

Verification and Validation

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/BersaniBGKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BersaniBGKP14
Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro:
SMT-Based Checking of SOLOIST over Sparse Traces. 276-290
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MoreauHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MoreauHM14
Luc Moreau, Trung Dong Huynh, Danius T. Michaelides:
An Online Validator for Provenance: Algorithmic Design, Testing, and API. 291-305
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/OuederniSCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/OuederniSCP14
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel:
Comparator: A Tool for Quantifying Behavioural Compatibility. 306-309

Graph Transformation

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/DuvalEPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DuvalEPR14
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro:
Transformation of Attributed Structures with Cloning. 310-324
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/KrauseTG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KrauseTG14
Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. 325-339
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/AnjorinSLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AnjorinSLS14
Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr:
Modularizing Triple Graph Grammars Using Rule Refinement. 340-354
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LoweKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LoweKS14
Michael Löwe, Harald König, Christoph Schulz:
Polymorphic Single-Pushout Graph Transformation. 355-369

Debugging and Testing

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/GiachinoLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GiachinoLM14
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina:
Causal-Consistent Reversible Debugging. 370-384
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SvenningssonSSANH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SvenningssonSSANH14
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes:
An Expressive Semantics of Mocking. 385-399
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CristiaMF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CristiaMF14
Maximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman:
Integration Testing in the Test Template Framework. 400-414
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CavalcantiG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CavalcantiG14
Ana Cavalcanti, Marie-Claude Gaudel:
Data Flow Coverage for Circus-Based Testing. 415-429

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.