Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar19. FASE 2016: Eindhoven, The Netherlands (Part of ETAPS 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
Concurrent and Distributed Systems
- Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. 31-48 - Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee:
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. 49-65 - Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine:
Integrated Environment for Verifying and Running Distributed Components. 66-83
Model-Driven Development
- Oszkár Semeráth, András Vörös, Dániel Varró:
Iterative and Incremental Model Generation by Logic Solvers. 87-103 - 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 - 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 - Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo:
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories. 141-157 - 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
- Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. 179-196 - Lei Wang, Han Li, Xinchen Wang:
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs. 197-213 - Pauline Bolignano, Thomas Jensen, Vincent Siles:
Modeling and Abstraction of Memory Management in a Hypervisor. 214-230 - Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia:
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment. 231-248
Probabilistic and Stochastic Systems
- 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 - Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat. 287-304 - 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
- Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas:
Many-Valued Institutions for Constraint Specification. 359-376 - Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi:
CafeInMaude: A CafeOBJ Interpreter in Maude. 377-380
Verification
- Sander de Putter, Anton Wijs:
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. 383-400 - Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR. 419-434
maintained by 
at 
at 
last updated on 2018-10-16 23:40 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint