default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19. 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
- Oscar Nierstrasz
:
The Death of Object-Oriented Programming. 3-10
Concurrent and Distributed Systems
- Samik Basu, Tevfik Bultan:
Automated Choreography Repair. 13-30 - 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
- Marcus Gerhold, Mariëlle Stoelinga:
Model-Based Testing of Probabilistic Systems. 251-268 - 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
- David Aspinall, Cezary Kaliszyk:
Towards Formal Proof Metrics. 325-341 - Javier Esparza, Philipp Hoffmann:
Reduction Rules for Colored Workflow Nets. 342-358 - 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 - Raymond Hu, Nobuko Yoshida:
Hybrid Session Verification Through Endpoint API Generation. 401-418 - 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.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
