Abstract is missing.
- Statistical Model Checking: Past, Present, and FutureKim G. Larsen, Axel Legay. 3-15 [doi]
- Hypothesis Testing for Rare-Event Simulation: Limitations and PossibilitiesDaniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt. 16-26 [doi]
- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and DistancesJan Kretínský. 27-45 [doi]
- Feedback Control for Statistical Model Checking of Cyber-Physical SystemsKenan Kalajdzic, Cyrille Jégourel, A. Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu. 46-61 [doi]
- Probabilistic Model Checking of Incomplete ModelsShiraj Arora, M. V. Panduranga Rao. 62-76 [doi]
- Plasma Lab: A Modular Statistical Model Checking PlatformAxel Legay, Sean Sedwards, Louis-Marie Traonouez. 77-93 [doi]
- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal StrategoWaheed Ahmad, Jaco van de Pol. 94-113 [doi]
- Statistical Model Checking for Product LinesMaurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin. 114-133 [doi]
- Towards Adaptive Scheduling of Maintenance for Cyber-Physical SystemsAlexis Linard, Marcos L. P. Bueno. 134-150 [doi]
- Better Railway Engineering Through Statistical Model CheckingEnno Ruijters, Mariëlle Stoelinga. 151-165 [doi]
- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: PrincipleJosef Strnadel. 166-181 [doi]
- Automatic Synthesis of Code Using Genetic ProgrammingDoron Peled. 182-187 [doi]
- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction)Markus Schordan, Dirk Beyer 0001, Jonas Lundberg. 191-194 [doi]
- Symbolic Execution with CEGARDirk Beyer, Thomas Lemberger. 195-211 [doi]
- Multi-core Model Checking of Large-Scale Reactive Systems Using Different State RepresentationsMarc Jasper, Markus Schordan. 212-226 [doi]
- Sparse Analysis of Variable Path Predicates Based upon SSA-FormThomas S. Heinze, Wolfram Amme. 227-242 [doi]
- A Model Interpreter for Timed AutomataM. Usman Iftikhar, Jonas Lundberg, Danny Weyns. 243-258 [doi]
- ModSyn-PP: Modular Synthesis of Programs and Processes Track IntroductionBoris Düdder, George T. Heineman, Jakob Rehof. 261-265 [doi]
- Combinatory Process SynthesisJan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof. 266-281 [doi]
- Synthesis from a Practical PerspectiveSven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen. 282-302 [doi]
- A Long and Winding Road Towards Modular SynthesisGeorge T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof. 303-317 [doi]
- Semantic Heterogeneity in the Formal Development of Complex Systems: An IntroductionJ. Paul Gibson, Idir Aït-Sadoune, Marc Pantel. 321-324 [doi]
- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B SpecificationsAmel Mammar, Régine Laleau. 325-339 [doi]
- Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based ApproachKahina Hacid, Yamine Aït Ameur. 340-357 [doi]
- Towards Functional Requirements AnalyticsZouhir Djilani, Nabila Berkani, Ladjel Bellatreche. 358-373 [doi]
- Heterogeneous Semantics and Unifying TheoriesJim Woodcock, Simon Foster, Andrew Butterfield. 374-394 [doi]
- Static and Runtime Verification, Competitors or Friends? (Track Summary)Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan. 397-401 [doi]
- StaRVOOrS - Episode II - Strengthen and Distribute the ForceWolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider. 402-415 [doi]
- A Model-Based Approach to Combining Static and Dynamic Verification TechniquesShaun Azzopardi, Christian Colombo, Gordon J. Pace. 416-430 [doi]
- Information Flow Analysis for GoEric Bodden, Ka-I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert. 431-445 [doi]
- Challenges in High-Assurance Runtime VerificationAlwyn Goodloe. 446-460 [doi]
- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014Nikolai Kosmatov, Claude Marché, Yannick Moy, Julien Signoles. 461-478 [doi]
- Considering Typestate Verification for Quantified Event AutomataGiles Reger. 479-495 [doi]
- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid RobotsFrancesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen 0001. 496-514 [doi]
- On Combinations of Static and Dynamic Analysis - Panel IntroductionMartin Leucker. 515-516 [doi]
- Safer RefactoringsAnna Maria Eilertsen, Anya Helene Bagge, Volker Stolz. 517-531 [doi]
- Rigorous Engineering of Collective Adaptive Systems Track IntroductionStefan Jähnichen, Martin Wirsing. 535-538 [doi]
- Programming of CAS Systems by Relying on Attribute-Based CommunicationYehia Abd Alrahman, Rocco De Nicola, Michele Loreti. 539-553 [doi]
- Towards Static Analysis of Policy-Based Self-adaptive Computing SystemsAndrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese. 554-569 [doi]
- A Calculus for Open Ensembles and Their CompositionRolf Hennicker. 570-588 [doi]
- Logic Fragments: Coordinating Entities with Logic ProgramsFrancesco Luca De Angelis, Giovanna Di Marzo Serugendo. 589-604 [doi]
- Mixed-Critical Systems Design with Coarse-Grained Multi-core InterferencePeter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga. 605-621 [doi]
- A Library and Scripting Language for Tool Independent Simulation DescriptionsAlexandra Mehlhase, Stefan Jähnichen, Amir Czwink, Robert Heinrichs. 622-638 [doi]
- Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel IntroductionStefan Jähnichen, Martin Wirsing. 639-641 [doi]
- Smart Coordination of Autonomic Component Ensembles in the Context of Ad-Hoc CommunicationTomás Bures, Petr Hnetynka, Filip Krijt, Vladimír Matena, Frantisek Plasil. 642-656 [doi]
- A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing SystemsVincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin. 657-673 [doi]
- Rigorous Graphical Modelling of Movement in Collective Adaptive SystemsNatalia Zon, Stephen Gilmore, Jane Hillston. 674-688 [doi]
- Integration and Promotion of Autonomy with the ARE FrameworkEmil Vassev, Mike Hinchey. 689-703 [doi]
- Safe Artificial Intelligence and Formal Methods - (Position Paper)Emil Vassev. 704-713 [doi]
- Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues - ISOLA'2016 - Panel Discussion Position PaperGiovanna Di Marzo Serugendo. 714-719 [doi]
- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer. 723-729 [doi]
- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas. 730-748 [doi]
- Deductive Verification of Legacy CodeBernhard Beckert, Thorsten Bormer, Daniel Grahl. 749-765 [doi]
- Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm FamiliesLoek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson. 766-783 [doi]
- Conditions for Compatibility of Components - The Case of Masters and SlavesMaurice H. ter Beek, Josep Carmona, Jetty Kleijn. 784-805 [doi]
- A Logic for the Statistical Model Checking of Dynamic Software ArchitecturesJean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay. 806-820 [doi]
- On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in RodinZheng Cheng, Dominique Méry, Rosemary Monahan. 821-838 [doi]
- Proof-Carrying Apps: Contract-Based Deployment-Time VerificationSönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer. 839-855 [doi]
- Supervisory Controller Synthesis for Product Lines Using CIF 3Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink. 856-873 [doi]
- Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification TechniquesDirk Beyer. 874-880 [doi]
- Security and Privacy of Protocols and Software with Formal MethodsFabrizio Biondi, Axel Legay. 883-892 [doi]
- A Model-Based Approach to Secure Multiparty Distributed SystemsNajah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga. 893-908 [doi]
- Information Leakage Analysis of Complex C Code and Its application to OpenSSLPasquale Malacaria, Michael Tautchning, Dino Distefano. 909-925 [doi]
- Integrated Modeling Workflow for Security AssuranceMin-Young Nam, Julien Delange, Peter H. Feiler. 926-941 [doi]
- A Privacy-Aware Conceptual Model for Handling Personal DataThibaud Antignac, Riccardo Scandariato, Gerardo Schneider. 942-957 [doi]
- Guaranteeing Privacy-Observing Data ExchangeChristian W. Probst. 958-969 [doi]