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