Intl. Symposium on Model Checking Software, SPIN 2018


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach

Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K

Details
Discussion Comments: 0
Verification: Authors have not verified information

Efficient Runtime Verification of First-Order Temporal Properties

Klaus Havelund, Doron Peled

Efficient Runtime Verification of First-Order Temporal Properties

Details
Discussion Comments: 0
Verification: Authors have not verified information

Lazy Reachability Checking for Timed Automata with Discrete Variables

Tamás Tóth, István Majzik

Lazy Reachability Checking for Timed Automata with Discrete Variables

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

From SysML to Model Checkers via Model Transformation

Martin Kölbl, Stefan Leue, Hargurbir Singh

From SysML to Model Checkers via Model Transformation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking

Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Comparative Study of Decision Diagrams for Real-Time Model Checking

Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum

A Comparative Study of Decision Diagrams for Real-Time Model Checking

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Branching Time Variant of CaRet

Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff

A Branching Time Variant of CaRet

Details
Discussion Comments: 0
Verification: Authors have not verified information

Modelling Without a Modelling Language

Antti Valmari, Vesa Lappalainen

Modelling Without a Modelling Language

Details
Discussion Comments: 0
Verification: Authors have not verified information

Local Data Race Freedom with Non-multi-copy Atomicity

Tatsuya Abe

Local Data Race Freedom with Non-multi-copy Atomicity

Details
Discussion Comments: 0
Verification: Author has not verified information

An Extension of TRIANGLE Testbed with Model-Based Testing

Laura Panizo, Almudena Díaz, Bruno García

An Extension of TRIANGLE Testbed with Model-Based Testing

Details
Discussion Comments: 0
Verification: Authors have not verified information

Joint Forces for Memory Safety Checking

Marek Chalupa, Jan Strejcek, Martina Vitovská

Joint Forces for Memory Safety Checking

Details
Discussion Comments: 0
Verification: Authors have not verified information

Context-Updates Analysis and Refinement in Chisel

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Context-Updates Analysis and Refinement in Chisel

Details
Discussion Comments: 0
Verification: Authors have not verified information

Petri Net Reductions for Counting Markings

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Petri Net Reductions for Counting Markings

Details
Discussion Comments: 0
Verification: Authors have not verified information

Control Strategies for Off-Line Testing of Timed Systems

Léo Henry, Thierry Jéron, Nicolas Markey

Control Strategies for Off-Line Testing of Timed Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Quantitative Model Checking for a Controller Design

YoungMin Kwon, Eunhee Kim

Quantitative Model Checking for a Controller Design

Details
Discussion Comments: 0
Verification: Authors have not verified information

Star-Topology Decoupling in SPIN

Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann

Star-Topology Decoupling in SPIN

Details
Discussion Comments: 0
Verification: Authors have not verified information

Program Verification with Separation Logic

Radu Iosif

Program Verification with Separation Logic

Details
Discussion Comments: 0
Verification: Author has not verified information

Improving Generalization in Software IC3

Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen

Improving Generalization in Software IC3

Details
Discussion Comments: 0
Verification: Authors have not verified information

Model-Checking HyperLTL for Pushdown Systems

Adrien Pommellet, Tayssir Touili

Model-Checking HyperLTL for Pushdown Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information