Table of Contents

• Introduction to Track on Engineering Virtualized ServicesReiner Hähnle, Einar Broch Johnsen. 1-4 [doi]
• Erlang-Style Error Recovery for Concurrent Objects with Cooperative SchedulingGeorg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz. 5-21 [doi]
• Fault Model Design Space for Cooperative ConcurrencyIvan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro. 22-36 [doi]
• Programming with Actors in Java 8Behrooz Nobakht, Frank S. de Boer. 37-53 [doi]
• Contracts in CMLJim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen. 54-73 [doi]
• Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility FunctionsAida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson. 74-87 [doi]
• Towards the Typing of Resource DeploymentElena Giachino, Cosimo Laneve. 88-103 [doi]
• Static Inference of Transmission Data Sizes in Distributed SystemsElvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez. 104-119 [doi]
• Fully Abstract Operation ContractsRichard Bubel, Reiner Hähnle, Maria Pelevina. 120-134 [doi]
• Statistical Model Checking Past, Present, and Future - (Track Introduction)Kim Guldstrand Larsen, Axel Legay. 135-142 [doi]
• An Effective Heuristic for Adaptive Importance Splitting in Statistical Model CheckingCyrille Jégourel, Axel Legay, Sean Sedwards. 143-159 [doi]
• A Formalism for Stochastic Adaptive SystemsBenoît Boyer, Axel Legay, Louis-Marie Traonouez. 160-176 [doi]
• A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic ModelsDimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll. 177-192 [doi]
• Formal Analysis of the Wnt/β-catenin through Statistical Model CheckingPaolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. 193-207 [doi]
• Battery-Aware Scheduling of Mixed Criticality SystemsErik Ramsgaard Wognsen, René Rydhof Hansen, Kim Guldstrand Larsen. 208-222 [doi]
• Using Statistical Model Checking for Measuring SystemsRadu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang. 223-238 [doi]
• Blocking Advertisements on Android Devices Using Monitoring TechniquesKhalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk. 239-253 [doi]
• Monitoring with Data AutomataKlaus Havelund. 254-273 [doi]
• Risk-Based Testing - (Track Introduction)Michael Felderer, Marc-Florian Wendland, Ina Schieferdecker. 274-276 [doi]
• A Technique for Risk-Based Test Procedure Identification, Prioritization and SelectionFredrik Seehusen. 277-291 [doi]
• A Risk Assessment Framework for Software TestingMichael Felderer, Christian Haisjackl, Viktor Pekar, Ruth Breu. 292-308 [doi]
• Data Driven Testing of Open Source SoftwareInbal Yahav, Ron S. Kenett, Xiaoying Bai. 309-321 [doi]
• Combining Risk Analysis and Security TestingJürgen Großmann, Martin Schneider, Johannes Viehmann, Marc-Florian Wendland. 322-336 [doi]
• Risk-Based Vulnerability Testing Using Security Test PatternsJulien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte. 337-352 [doi]
• Medical Cyber-Physical Systems - (Track Introduction)Ezio Bartocci, Sicun Gao, Scott A. Smolka. 353-355 [doi]
• Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and DevicesRadu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka. 356-364 [doi]
• On Quantitative Software Quality Assurance Methodologies for Cardiac PacemakersMarta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti. 365-384 [doi]
• Model Checking Hybrid Systems - (Invited Talk)Edmund M. Clarke, Sicun Gao. 385-386 [doi]
• Challenges for the Dynamic Interconnection of Medical DevicesMartin Leucker. 387-390 [doi]
• Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care PatientsSara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi. 391-403 [doi]
• Track Introduction: Scientific WorkflowsJoost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft. 404-406 [doi]
• Meta-analysis of Disjoint Sets of Attributes in Large Cohort StudiesJonathan K. Vis, Joost N. Kok. 407-419 [doi]
• Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci: grasp PlatformSamih Al-Areqi, Steffen Kriewald, Anna-Lena Lamprecht, Dominik Reusser, Markus Wrobel, Tiziana Margaria. 420-435 [doi]
• A Visual Programming Approach to Beat-Driven Humanoid Robot DancingVid Podpecan. 436-448 [doi]
• jABCstats: An Extensible Process Library for the Empirical Analysis of jABC WorkflowsAlexander Wickert, Anna-Lena Lamprecht. 449-463 [doi]
• Automatic Annotation of Bioinformatics Workflows with Biomedical OntologiesBeatriz García Jiménez, Mark D. Wilkinson. 464-478 [doi]
• Evaluation and Reproducibility of Program Analysis (Track Introduction)Markus Schordan, Welf Löwe, Dirk Beyer. 479-481 [doi]
• SWEET - A Tool for WCET Flow Analysis (Extended Abstract)Björn Lisper. 482-485 [doi]
• Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract)George Chatzieleftheriou, Apostolos Chatzopoulos, Panagiotis Katsaros. 486-488 [doi]
• Construction of Abstract Domains for Heterogeneous Properties (Position Paper)Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang. 489-492 [doi]
• Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space ComputationsMarkus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Noël Pouchet. 493-508 [doi]
• The Guided System Development Framework: Modeling and Verifying Communication SystemsJose Quaresma, Christian W. Probst, Flemming Nielson. 509-523 [doi]
• Processes and Data Integration in the Networked Healthcare - (Track Introduction)Tiziana Margaria, Christoph Rasche. 524-525 [doi]
• Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A ProposalTiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender. 526-544 [doi]
• Domain-Specific Business Modeling with the Business Model DeveloperSteve Boßelmann, Tiziana Margaria. 545-560 [doi]
• Dr. Watson? Balancing Automation and Human Expertise in Healthcare DeliveryMark Gaynor, George M. Wyner, Amar Gupta. 561-569 [doi]
• Semantic Heterogeneity in the Formal Development of Complex Systems: An IntroductionJ. Paul Gibson, Idir Aït-Sadoune. 570-572 [doi]
• Modelling and Verifying an Evolving Distributed Control System Using an Event-Based ApproachChristian Attiogbé. 573-587 [doi]
• Requirements Driven Data Warehouse Design: We Can Go FurtherSelma Khouri, Ladjel Bellatreche, Stéphane Jean, Yamine Aït Ameur. 588-603 [doi]
• On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to ReadYamine Aït Ameur, J. Paul Gibson, Dominique Méry. 604-618 [doi]