Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarDagstuhl Artifacts Series, Volume 3
Volume 3, Number 1, 2017
Javier Cámara, Bashar Nuseibeh, David Garlan:
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:-1-00:-12- Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier:
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact). 01:1-01:3 - Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, Henry Hoffmann:
Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). 02:1-02:3 - Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). 03:1-03:2 - M. Usman Iftikhar, Gowri Sankar Ramachandran, Pablo Bollansée, Danny Weyns, Danny Hughes:
DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact). 04:1-04:2 - Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer, Tomás Bures:
Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact). 05:1-05:3 - Filip Krijt, Zbynek Jirácek, Tomás Bures, Petr Hnetynka, Ilias Gerostathopoulos:
Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact). 06:1-06:3 - Davi Monteiro Barbosa, Rómulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia, Evilásio Costa Junior:
Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact). 07:1-07:5
Volume 3, Number 2, 2017
- Philipp Haller, Michael Pradel, Tijs van der Storm:
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:-1-00:-12 - Daco Harkes, Eelco Visser:
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact). 01:1-01:2 - Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich:
A Capability-Based Module System for Authority Control (Artifact). 02:1-02:2 - Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). 03:1-03:2 - Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time (Artifact). 04:1-04:4 - Fei Wang, Tiark Rompf:
Towards Strong Normalization for Dependent Object Types (DOT) (Artifact). 05:1-05:3 - Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). 06:1-06:4 - Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman:
Parallelizing Julia with a Non-Invasive DSL (Artifact). 07:1-07:2 - Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski:
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). 08:1-08:2 - Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference (Artifact). 09:1-09:2 - Weixin Zhang, Bruno C. d. S. Oliveira:
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact). 10:1-10:2 - Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact). 11:1-11:2 - Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin:
Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). 13:1-13:3 - Baptiste Saleil, Marc Feeley:
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact). 14:1-14:2 - Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis:
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact). 15:1-15:2 - Mikaël Mayer, Jad Hamza, Viktor Kuncak:
Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact). 16:1-16:2
maintained by 
, founded at 
, founded at 
last updated on 2019-02-17 19:32 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
