More Web Proxy on the site http://driver.im/

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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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)
  - references & 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.