default search action

combined dblp search
author search
venue search
publication search

ask others

19. FASE 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2016
Perdita Stevens, Andrzej Wasowski:
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9633, Springer 2016, ISBN 978-3-662-49664-0

Keynote Paper

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Nierstrasz16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Nierstrasz16
Oscar Nierstrasz:
The Death of Object-Oriented Programming. 3-10

Concurrent and Distributed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/fase/BasuB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BasuB16
Samik Basu, Tevfik Bultan:
Automated Choreography Repair. 13-30
- view
  authority control:
- export record
  dblp key:
  - conf/fase/CorrodiHP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CorrodiHP16
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. 31-48
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LinYJL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LinYJL16
Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee:
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. 49-65
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HenrioKLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HenrioKLM16
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine:
Integrated Environment for Verifying and Running Distributed Components. 66-83

Model-Driven Development

- view
  authority control:
- export record
  dblp key:
  - conf/fase/SemerathVV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SemerathVV16
Oszkár Semeráth, András Vörös, Dániel Varró:
Iterative and Incremental Model Generation by Logic Solvers. 87-103
- view
  authority control:
- export record
  dblp key:
  - conf/fase/DebreceniRVCMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DebreceniRVCMT16
Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo:
Automated Model Merge by Design Space Exploration. 104-121
- view
  authority control:
- export record
  dblp key:
  - conf/fase/0001RACTP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/0001RACTP16
Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger:
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules. 122-140
- view
  authority control:
- export record
  dblp key:
  - conf/fase/CarlosST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CarlosST16
Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo:
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories. 141-157
- view
  authority control:
- export record
  dblp key:
  - conf/fase/WeckesserLSRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/WeckesserLSRS16
Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr:
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. 158-175

Analysis and Bug Triaging

- view
  authority control:
- export record
  dblp key:
  - conf/fase/LechenetKG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LechenetKG16
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. 179-196
- view
  authority control:
- export record
  dblp key:
  - conf/fase/WangLW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/WangLW16
Lei Wang, Han Li, Xinchen Wang:
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs. 197-213
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BolignanoJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BolignanoJS16
Pauline Bolignano, Thomas Jensen, Vincent Siles:
Modeling and Abstraction of Memory Management in a Hypervisor. 214-230
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BadashianHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BadashianHS16
Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia:
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment. 231-248

Probabilistic and Stochastic Systems

- view
  authority control:
- export record
  dblp key:
  - conf/fase/GerholdS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GerholdS16
Marcus Gerhold, Mariëlle Stoelinga:
Model-Based Testing of Probabilistic Systems. 251-268
- view
  authority control:
- export record
  dblp key:
  - conf/fase/SuCFRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SuCFRT16
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan:
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. 269-286
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChrszonDKB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChrszonDKB16
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. 287-304
- view
  authority control:
- export record
  dblp key:
  - conf/fase/DuranMA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DuranMA16
Francisco Durán, Antonio Moreno-Delgado, José M. Álvarez-Palomo:
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages. 305-322

Proof and Theorem Proving

- view
  authority control:
- export record
  dblp key:
  - conf/fase/0001K16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/0001K16
David Aspinall, Cezary Kaliszyk:
Towards Formal Proof Metrics. 325-341
- view
  authority control:
- export record
  dblp key:
  - conf/fase/EsparzaH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/EsparzaH16
Javier Esparza, Philipp Hoffmann:
Reduction Rules for Colored Workflow Nets. 342-358
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChiritaFO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChiritaFO16
Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas:
Many-Valued Institutions for Constraint Specification. 359-376
- view
  authority control:
- export record
  dblp key:
  - conf/fase/RiescoOF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/RiescoOF16
Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi:
CafeInMaude: A CafeOBJ Interpreter in Maude. 377-380

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/fase/PutterW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PutterW16
Sander de Putter, Anton Wijs:
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. 383-400
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HuY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuY16
Raymond Hu, Nobuko Yoshida:
Hybrid Session Verification Through Endpoint API Generation. 401-418
- view
  authority control:
- export record
  dblp key:
  - conf/fase/JancikAFHKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JancikAFHKS16
Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR. 419-434

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.