| 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
|