SPIN '17: "SunDew: Systematic Automated ..."
SunDew: Systematic Automated Security Testing (Keynote)
Domagoj Babic
(Google, USA)
@InProceedings{SPIN17p31,
author = {Domagoj Babic},
title = {SunDew: Systematic Automated Security Testing (Keynote)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2017},
}
SPIN '17: "Verification-Driven Development ..."
Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study
Marco A. Feliú, Camilo Rocha, and Swee Balachandran
(National Institute of Aerospace, USA; Pontificia Universidad Javeriana, Colombia)
@InProceedings{SPIN17p219,
author = {Marco A. Feliú and Camilo Rocha and Swee Balachandran},
title = {Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {219-218},
doi = {},
year = {2017},
}
SPIN '17: "Formal Verification of Data-Intensive ..."
Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi
(Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy)
@InProceedings{SPIN17p223,
author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi},
title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {223-222},
doi = {},
year = {2017},
}
SPIN '17: "A Hot Method for Synthesising ..."
A Hot Method for Synthesising Cool Controllers
Idress Husien, Nicolas Berthier, and Sven Schewe
(University of Liverpool, UK)
@InProceedings{SPIN17p247,
author = {Idress Husien and Nicolas Berthier and Sven Schewe},
title = {A Hot Method for Synthesising Cool Controllers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {247-246},
doi = {},
year = {2017},
}
SPIN '17: "Explicit State Model Checking ..."
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Vincent Bloemen, Alexandre Duret-Lutz, and Jaco van de Pol
(University of Twente, Netherlands; LRDE, France)
@InProceedings{SPIN17p175,
author = {Vincent Bloemen and Alexandre Duret-Lutz and Jaco van de Pol},
title = {Explicit State Model Checking with Generalized Büchi and Rabin Automata},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
SPIN '17: "Addressing Challenges in Obtaining ..."
Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications
Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser
(Stellenbosch University, South Africa; NASA Ames Research Center, USA)
@InProceedings{SPIN17p155,
author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser},
title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2017},
}
SPIN '17: "Automated Formal Reasoning ..."
Automated Formal Reasoning about Amazon Web Services (Keynote)
Byron Cook
(Amazon Web Services, USA; University College London, UK)
@InProceedings{SPIN17p16,
author = {Byron Cook},
title = {Automated Formal Reasoning about Amazon Web Services (Keynote)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {16-15},
doi = {},
year = {2017},
}
SPIN '17: "Model Learning and Model Checking ..."
Model Learning and Model Checking of SSH Implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg
(Radboud University Nijmegen, Netherlands)
@InProceedings{SPIN17p267,
author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
title = {Model Learning and Model Checking of SSH Implementations},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2017},
}
SPIN '17: "Distributed Binary Decision ..."
Distributed Binary Decision Diagrams for Symbolic Reachability
Wytse Oortwijn, Tom van Dijk, and Jaco van de Pol
(University of Twente, Netherlands; JKU Linz, Austria)
@InProceedings{SPIN17p145,
author = {Wytse Oortwijn and Tom van Dijk and Jaco van de Pol},
title = {Distributed Binary Decision Diagrams for Symbolic Reachability},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {145-144},
doi = {},
year = {2017},
}
SPIN '17: "Optimizing Parallel Korat ..."
Optimizing Parallel Korat Using Invalid Ranges
Nima Dini, Cagdas Yelen, and Sarfraz Khurshid
(University of Texas at Austin, USA)
@InProceedings{SPIN17p307,
author = {Nima Dini and Cagdas Yelen and Sarfraz Khurshid},
title = {Optimizing Parallel Korat Using Invalid Ranges},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {307-306},
doi = {},
year = {2017},
}
SPIN '17: "Explicit State Model Checking ..."
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Vincent Bloemen, Alexandre Duret-Lutz, and Jaco van de Pol
(University of Twente, Netherlands; LRDE, France)
@InProceedings{SPIN17p175,
author = {Vincent Bloemen and Alexandre Duret-Lutz and Jaco van de Pol},
title = {Explicit State Model Checking with Generalized Büchi and Rabin Automata},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
SPIN '17: "Formal Verification of Data-Intensive ..."
Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi
(Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy)
@InProceedings{SPIN17p223,
author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi},
title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {223-222},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement using ..."
Runtime Enforcement using Büchi Games
Matthieu Renard, Antoine Rollet, and Yliès Falcone
(LaBRI, France; Bordeaux INP, France; University of Bordeaux, France; Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France)
@InProceedings{SPIN17p195,
author = {Matthieu Renard and Antoine Rollet and Yliès Falcone},
title = {Runtime Enforcement using Büchi Games},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {195-194},
doi = {},
year = {2017},
}
SPIN '17: "An Ordered Approach to Solving ..."
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak
(University of Liverpool, UK; National University of Singapore, Singapore)
@InProceedings{SPIN17p237,
author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {237-236},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "Verification-Driven Development ..."
Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study
Marco A. Feliú, Camilo Rocha, and Swee Balachandran
(National Institute of Aerospace, USA; Pontificia Universidad Javeriana, Colombia)
@InProceedings{SPIN17p219,
author = {Marco A. Feliú and Camilo Rocha and Swee Balachandran},
title = {Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {219-218},
doi = {},
year = {2017},
}
SPIN '17: "Model Learning and Model Checking ..."
Model Learning and Model Checking of SSH Implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg
(Radboud University Nijmegen, Netherlands)
@InProceedings{SPIN17p267,
author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
title = {Model Learning and Model Checking of SSH Implementations},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2017},
}
SPIN '17: "SIMPAL: A Compositional Reasoning ..."
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Lucas Wagner, David Greve, and Andrew Gacek
(Iowa State University, USA; Rockwell Collins, USA)
@InProceedings{SPIN17p215,
author = {Lucas Wagner and David Greve and Andrew Gacek},
title = {SIMPAL: A Compositional Reasoning Framework for Imperative Programs},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {215-214},
doi = {},
year = {2017},
}
SPIN '17: "Guided Test Case Generation ..."
Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino
(University of Málaga, Spain)
@InProceedings{SPIN17p317,
author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino},
title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2017},
}
SPIN '17: "Backward Coverability with ..."
Backward Coverability with Pruning for Lossy Channel Systems
Thomas Geffroy, Jérôme Leroux, and Grégoire Sutre
(University of Bordeaux, France; CNRS, France; LaBRI, France)
@InProceedings{SPIN17p257,
author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre},
title = {Backward Coverability with Pruning for Lossy Channel Systems},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2017},
}
SPIN '17: "Formal Verification of Data-Intensive ..."
Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi
(Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy)
@InProceedings{SPIN17p223,
author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi},
title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {223-222},
doi = {},
year = {2017},
}
SPIN '17: "SIMPAL: A Compositional Reasoning ..."
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Lucas Wagner, David Greve, and Andrew Gacek
(Iowa State University, USA; Rockwell Collins, USA)
@InProceedings{SPIN17p215,
author = {Lucas Wagner and David Greve and Andrew Gacek},
title = {SIMPAL: A Compositional Reasoning Framework for Imperative Programs},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {215-214},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement of Reactive ..."
Runtime Enforcement of Reactive Systems using Synchronous Enforcers
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden
(Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA)
@InProceedings{SPIN17p205,
author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {205-204},
doi = {},
year = {2017},
}
SPIN '17: "Cobra: Fast Structural Code ..."
Cobra: Fast Structural Code Checking (Keynote)
Gerard J. Holzmann
(Nimble Research, USA)
@InProceedings{SPIN17p1,
author = {Gerard J. Holzmann},
title = {Cobra: Fast Structural Code Checking (Keynote)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "EdSketch: Execution-Driven ..."
EdSketch: Execution-Driven Sketching for Java
Jinru Hua and Sarfraz Khurshid
(University of Texas at Austin, USA)
@InProceedings{SPIN17p287,
author = {Jinru Hua and Sarfraz Khurshid},
title = {EdSketch: Execution-Driven Sketching for Java},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {287-286},
doi = {},
year = {2017},
}
SPIN '17: "A Hot Method for Synthesising ..."
A Hot Method for Synthesising Cool Controllers
Idress Husien, Nicolas Berthier, and Sven Schewe
(University of Liverpool, UK)
@InProceedings{SPIN17p247,
author = {Idress Husien and Nicolas Berthier and Sven Schewe},
title = {A Hot Method for Synthesising Cool Controllers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {247-246},
doi = {},
year = {2017},
}
SPIN '17: "An Ordered Approach to Solving ..."
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak
(University of Liverpool, UK; National University of Singapore, Singapore)
@InProceedings{SPIN17p237,
author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {237-236},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "Practical Controller Synthesis ..."
Practical Controller Synthesis for MTL0,∞
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany)
@InProceedings{SPIN17p227,
author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen},
title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {227-226},
doi = {},
year = {2017},
}
SPIN '17: "LeeTL: LTL with Quantifications ..."
LeeTL: LTL with Quantifications over Model Objects
Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi
(University of Tehran, Iran; Reykjavik University, Iceland)
@InProceedings{SPIN17p165,
author = {Pouria Mellati and Ehsan Khamespanah and Ramtin Khosravi},
title = {LeeTL: LTL with Quantifications over Model Objects},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {165-164},
doi = {},
year = {2017},
}
SPIN '17: "LeeTL: LTL with Quantifications ..."
LeeTL: LTL with Quantifications over Model Objects
Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi
(University of Tehran, Iran; Reykjavik University, Iceland)
@InProceedings{SPIN17p165,
author = {Pouria Mellati and Ehsan Khamespanah and Ramtin Khosravi},
title = {LeeTL: LTL with Quantifications over Model Objects},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {165-164},
doi = {},
year = {2017},
}
SPIN '17: "EdSketch: Execution-Driven ..."
EdSketch: Execution-Driven Sketching for Java
Jinru Hua and Sarfraz Khurshid
(University of Texas at Austin, USA)
@InProceedings{SPIN17p287,
author = {Jinru Hua and Sarfraz Khurshid},
title = {EdSketch: Execution-Driven Sketching for Java},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {287-286},
doi = {},
year = {2017},
}
SPIN '17: "Optimizing Parallel Korat ..."
Optimizing Parallel Korat Using Invalid Ranges
Nima Dini, Cagdas Yelen, and Sarfraz Khurshid
(University of Texas at Austin, USA)
@InProceedings{SPIN17p307,
author = {Nima Dini and Cagdas Yelen and Sarfraz Khurshid},
title = {Optimizing Parallel Korat Using Invalid Ranges},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {307-306},
doi = {},
year = {2017},
}
SPIN '17: "ExpoSE: Practical Symbolic ..."
ExpoSE: Practical Symbolic Execution of Standalone JavaScript
Blake Loring, Duncan Mitchell, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{SPIN17p321,
author = {Blake Loring and Duncan Mitchell and Johannes Kinder},
title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {321-320},
doi = {},
year = {2017},
}
SPIN '17: "Stateless Model Checking of ..."
Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU)
Michalis Kokologiannakis and Konstantinos Sagonas
(National Technical University of Athens, Greece; Uppsala University, Sweden)
@InProceedings{SPIN17p297,
author = {Michalis Kokologiannakis and Konstantinos Sagonas},
title = {Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {297-296},
doi = {},
year = {2017},
}
SPIN '17: "Practical Controller Synthesis ..."
Practical Controller Synthesis for MTL0,∞
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany)
@InProceedings{SPIN17p227,
author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen},
title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {227-226},
doi = {},
year = {2017},
}
SPIN '17: "Practical Controller Synthesis ..."
Practical Controller Synthesis for MTL0,∞
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany)
@InProceedings{SPIN17p227,
author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen},
title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {227-226},
doi = {},
year = {2017},
}
SPIN '17: "Model Learning and Model Checking ..."
Model Learning and Model Checking of SSH Implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg
(Radboud University Nijmegen, Netherlands)
@InProceedings{SPIN17p267,
author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
title = {Model Learning and Model Checking of SSH Implementations},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2017},
}
SPIN '17: "Backward Coverability with ..."
Backward Coverability with Pruning for Lossy Channel Systems
Thomas Geffroy, Jérôme Leroux, and Grégoire Sutre
(University of Bordeaux, France; CNRS, France; LaBRI, France)
@InProceedings{SPIN17p257,
author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre},
title = {Backward Coverability with Pruning for Lossy Channel Systems},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2017},
}
SPIN '17: "Practical Controller Synthesis ..."
Practical Controller Synthesis for MTL0,∞
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany)
@InProceedings{SPIN17p227,
author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen},
title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {227-226},
doi = {},
year = {2017},
}
SPIN '17: "ExpoSE: Practical Symbolic ..."
ExpoSE: Practical Symbolic Execution of Standalone JavaScript
Blake Loring, Duncan Mitchell, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{SPIN17p321,
author = {Blake Loring and Duncan Mitchell and Johannes Kinder},
title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {321-320},
doi = {},
year = {2017},
}
SPIN '17: "Formal Verification of Data-Intensive ..."
Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi
(Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy)
@InProceedings{SPIN17p223,
author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi},
title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {223-222},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "LeeTL: LTL with Quantifications ..."
LeeTL: LTL with Quantifications over Model Objects
Pouria Mellati, Ehsan Khamespanah, and Ramtin Khosravi
(University of Tehran, Iran; Reykjavik University, Iceland)
@InProceedings{SPIN17p165,
author = {Pouria Mellati and Ehsan Khamespanah and Ramtin Khosravi},
title = {LeeTL: LTL with Quantifications over Model Objects},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {165-164},
doi = {},
year = {2017},
}
SPIN '17: "Guided Test Case Generation ..."
Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino
(University of Málaga, Spain)
@InProceedings{SPIN17p317,
author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino},
title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2017},
}
SPIN '17: "Addressing Challenges in Obtaining ..."
Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications
Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser
(Stellenbosch University, South Africa; NASA Ames Research Center, USA)
@InProceedings{SPIN17p155,
author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser},
title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2017},
}
SPIN '17: "ExpoSE: Practical Symbolic ..."
ExpoSE: Practical Symbolic Execution of Standalone JavaScript
Blake Loring, Duncan Mitchell, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{SPIN17p321,
author = {Blake Loring and Duncan Mitchell and Johannes Kinder},
title = {ExpoSE: Practical Symbolic Execution of Standalone JavaScript},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {321-320},
doi = {},
year = {2017},
}
SPIN '17: "CARET Model Checking for Malware ..."
CARET Model Checking for Malware Detection
Huu-Vu Nguyen and Tayssir Touili
(University of Paris Diderot, France; LIPN, France; CNRS, France; University of Paris North, France)
@InProceedings{SPIN17p277,
author = {Huu-Vu Nguyen and Tayssir Touili},
title = {CARET Model Checking for Malware Detection},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {277-276},
doi = {},
year = {2017},
}
SPIN '17: "Distributed Binary Decision ..."
Distributed Binary Decision Diagrams for Symbolic Reachability
Wytse Oortwijn, Tom van Dijk, and Jaco van de Pol
(University of Twente, Netherlands; JKU Linz, Austria)
@InProceedings{SPIN17p145,
author = {Wytse Oortwijn and Tom van Dijk and Jaco van de Pol},
title = {Distributed Binary Decision Diagrams for Symbolic Reachability},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {145-144},
doi = {},
year = {2017},
}
SPIN '17: "Guided Test Case Generation ..."
Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino
(University of Málaga, Spain)
@InProceedings{SPIN17p317,
author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino},
title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement of Reactive ..."
Runtime Enforcement of Reactive Systems using Synchronous Enforcers
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden
(Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA)
@InProceedings{SPIN17p205,
author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {205-204},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "Distributed Binary Decision ..."
Distributed Binary Decision Diagrams for Symbolic Reachability
Wytse Oortwijn, Tom van Dijk, and Jaco van de Pol
(University of Twente, Netherlands; JKU Linz, Austria)
@InProceedings{SPIN17p145,
author = {Wytse Oortwijn and Tom van Dijk and Jaco van de Pol},
title = {Distributed Binary Decision Diagrams for Symbolic Reachability},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {145-144},
doi = {},
year = {2017},
}
SPIN '17: "Explicit State Model Checking ..."
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Vincent Bloemen, Alexandre Duret-Lutz, and Jaco van de Pol
(University of Twente, Netherlands; LRDE, France)
@InProceedings{SPIN17p175,
author = {Vincent Bloemen and Alexandre Duret-Lutz and Jaco van de Pol},
title = {Explicit State Model Checking with Generalized Büchi and Rabin Automata},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {175-174},
doi = {},
year = {2017},
}
SPIN '17: "Model Learning and Model Checking ..."
Model Learning and Model Checking of SSH Implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg
(Radboud University Nijmegen, Netherlands)
@InProceedings{SPIN17p267,
author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
title = {Model Learning and Model Checking of SSH Implementations},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2017},
}
SPIN '17: "Practical Controller Synthesis ..."
Practical Controller Synthesis for MTL0,∞
Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, and Danny Bøgsted Poulsen
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Aalborg University, Denmark; Inria, France; University of Kiel, Germany)
@InProceedings{SPIN17p227,
author = {Guangyuan Li and Peter Gjøl Jensen and Kim Guldstrand Larsen and Axel Legay and Danny Bøgsted Poulsen},
title = {Practical Controller Synthesis for MTL<sub>0,∞</sub>},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {227-226},
doi = {},
year = {2017},
}
SPIN '17: "Increasing Usability of Spin-Based ..."
Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners
Daniel Ratiu and Andreas Ulrich
(Siemens, Germany)
@InProceedings{SPIN17p185,
author = {Daniel Ratiu and Andreas Ulrich},
title = {Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {185-184},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement using ..."
Runtime Enforcement using Büchi Games
Matthieu Renard, Antoine Rollet, and Yliès Falcone
(LaBRI, France; Bordeaux INP, France; University of Bordeaux, France; Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France)
@InProceedings{SPIN17p195,
author = {Matthieu Renard and Antoine Rollet and Yliès Falcone},
title = {Runtime Enforcement using Büchi Games},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {195-194},
doi = {},
year = {2017},
}
SPIN '17: "Verification-Driven Development ..."
Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study
Marco A. Feliú, Camilo Rocha, and Swee Balachandran
(National Institute of Aerospace, USA; Pontificia Universidad Javeriana, Colombia)
@InProceedings{SPIN17p219,
author = {Marco A. Feliú and Camilo Rocha and Swee Balachandran},
title = {Verification-Driven Development of ICAROUS Based on Automatic Reachability Analysis: A Preliminary Case Study},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {219-218},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement using ..."
Runtime Enforcement using Büchi Games
Matthieu Renard, Antoine Rollet, and Yliès Falcone
(LaBRI, France; Bordeaux INP, France; University of Bordeaux, France; Grenoble Alpes University, France; Inria, France; CNRS, France; Laboratoire d'Informatique de Grenoble, France)
@InProceedings{SPIN17p195,
author = {Matthieu Renard and Antoine Rollet and Yliès Falcone},
title = {Runtime Enforcement using Büchi Games},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {195-194},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement of Reactive ..."
Runtime Enforcement of Reactive Systems using Synchronous Enforcers
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden
(Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA)
@InProceedings{SPIN17p205,
author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {205-204},
doi = {},
year = {2017},
}
SPIN '17: "Formal Verification of Data-Intensive ..."
Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, and Silvio Ghilardi
(Politecnico di Milano, Italy; Institute e-Austria Timisoara, Romania; West University of Timisoara, Romania; University of Milan, Italy)
@InProceedings{SPIN17p223,
author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi},
title = {Formal Verification of Data-Intensive Applications through Model Checking Modulo Theories},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {223-222},
doi = {},
year = {2017},
}
SPIN '17: "Stateless Model Checking of ..."
Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU)
Michalis Kokologiannakis and Konstantinos Sagonas
(National Technical University of Athens, Greece; Uppsala University, Sweden)
@InProceedings{SPIN17p297,
author = {Michalis Kokologiannakis and Konstantinos Sagonas},
title = {Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy-Update (Tree RCU)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {297-296},
doi = {},
year = {2017},
}
SPIN '17: "Guided Test Case Generation ..."
Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, and Pedro Merino
(University of Málaga, Spain)
@InProceedings{SPIN17p317,
author = {Laura Panizo and Alberto Salmerón and María-del-Mar Gallardo and Pedro Merino},
title = {Guided Test Case Generation for Mobile Apps in the TRIANGLE Project: Work in Progress},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {317-316},
doi = {},
year = {2017},
}
SPIN '17: "An Ordered Approach to Solving ..."
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak
(University of Liverpool, UK; National University of Singapore, Singapore)
@InProceedings{SPIN17p237,
author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {237-236},
doi = {},
year = {2017},
}
SPIN '17: "A Hot Method for Synthesising ..."
A Hot Method for Synthesising Cool Controllers
Idress Husien, Nicolas Berthier, and Sven Schewe
(University of Liverpool, UK)
@InProceedings{SPIN17p247,
author = {Idress Husien and Nicolas Berthier and Sven Schewe},
title = {A Hot Method for Synthesising Cool Controllers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {247-246},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement of Reactive ..."
Runtime Enforcement of Reactive Systems using Synchronous Enforcers
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden
(Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA)
@InProceedings{SPIN17p205,
author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {205-204},
doi = {},
year = {2017},
}
SPIN '17: "The RERS 2017 Challenge and ..."
The RERS 2017 Challenge and Workshop (Invited Paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, and Stephen F. Siegel
(Lawrence Livermore National Laboratory, USA; TU Dortmund, Germany; University of Twente, Netherlands; TU Clausthal, Germany; University of Delaware, USA)
@InProceedings{SPIN17p46,
author = {Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Jaco van de Pol and Falk Howar and Stephen F. Siegel},
title = {The RERS 2017 Challenge and Workshop (Invited Paper)},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {46-45},
doi = {},
year = {2017},
}
SPIN '17: "An Ordered Approach to Solving ..."
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak
(University of Liverpool, UK; National University of Singapore, Singapore)
@InProceedings{SPIN17p237,
author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {237-236},
doi = {},
year = {2017},
}
SPIN '17: "Backward Coverability with ..."
Backward Coverability with Pruning for Lossy Channel Systems
Thomas Geffroy, Jérôme Leroux, and Grégoire Sutre
(University of Bordeaux, France; CNRS, France; LaBRI, France)
@InProceedings{SPIN17p257,
author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre},
title = {Backward Coverability with Pruning for Lossy Channel Systems},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {257-256},
doi = {},
year = {2017},
}
SPIN '17: "Addressing Challenges in Obtaining ..."
Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications
Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser
(Stellenbosch University, South Africa; NASA Ames Research Center, USA)
@InProceedings{SPIN17p155,
author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser},
title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2017},
}
SPIN '17: "CARET Model Checking for Malware ..."
CARET Model Checking for Malware Detection
Huu-Vu Nguyen and Tayssir Touili
(University of Paris Diderot, France; LIPN, France; CNRS, France; University of Paris North, France)
@InProceedings{SPIN17p277,
author = {Huu-Vu Nguyen and Tayssir Touili},
title = {CARET Model Checking for Malware Detection},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {277-276},
doi = {},
year = {2017},
}
SPIN '17: "Runtime Enforcement of Reactive ..."
Runtime Enforcement of Reactive Systems using Synchronous Enforcers
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, and Reinhard von Hanxleden
(Aalto University, Finland; University of Gothenburg, Sweden; University of Auckland, New Zealand; University of Kiel, Germany; University of California at Berkeley, USA)
@InProceedings{SPIN17p205,
author = {Srinivas Pinisetty and Partha S. Roop and Steven Smyth and Stavros Tripakis and Reinhard von Hanxleden},
title = {Runtime Enforcement of Reactive Systems using Synchronous Enforcers},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {205-204},
doi = {},
year = {2017},
}
SPIN '17: "Increasing Usability of Spin-Based ..."
Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners
Daniel Ratiu and Andreas Ulrich
(Siemens, Germany)
@InProceedings{SPIN17p185,
author = {Daniel Ratiu and Andreas Ulrich},
title = {Increasing Usability of Spin-Based C Code Verification using a Harness Definition Language: Leveraging Model-Driven Code Checking to Practitioners},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {185-184},
doi = {},
year = {2017},
}
SPIN '17: "Model Learning and Model Checking ..."
Model Learning and Model Checking of SSH Implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg
(Radboud University Nijmegen, Netherlands)
@InProceedings{SPIN17p267,
author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
title = {Model Learning and Model Checking of SSH Implementations},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2017},
}
SPIN '17: "Model Learning and Model Checking ..."
Model Learning and Model Checking of SSH Implementations
Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits Vaandrager, and Patrick Verleg
(Radboud University Nijmegen, Netherlands)
@InProceedings{SPIN17p267,
author = {Paul Fiterău-Broştean and Toon Lenaerts and Erik Poll and Joeri de Ruiter and Frits Vaandrager and Patrick Verleg},
title = {Model Learning and Model Checking of SSH Implementations},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2017},
}
SPIN '17: "Addressing Challenges in Obtaining ..."
Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications
Heila Botha, Oksana Tkachuk, Brink van der Merwe, and Willem Visser
(Stellenbosch University, South Africa; NASA Ames Research Center, USA)
@InProceedings{SPIN17p155,
author = {Heila Botha and Oksana Tkachuk and Brink van der Merwe and Willem Visser},
title = {Addressing Challenges in Obtaining High Coverage When Model Checking Android Applications},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2017},
}
SPIN '17: "SIMPAL: A Compositional Reasoning ..."
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Lucas Wagner, David Greve, and Andrew Gacek
(Iowa State University, USA; Rockwell Collins, USA)
@InProceedings{SPIN17p215,
author = {Lucas Wagner and David Greve and Andrew Gacek},
title = {SIMPAL: A Compositional Reasoning Framework for Imperative Programs},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {215-214},
doi = {},
year = {2017},
}
SPIN '17: "An Ordered Approach to Solving ..."
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, and Dominik Wojtczak
(University of Liverpool, UK; National University of Singapore, Singapore)
@InProceedings{SPIN17p237,
author = {John Fearnley and Sanjay Jain and Sven Schewe and Frank Stephan and Dominik Wojtczak},
title = {An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {237-236},
doi = {},
year = {2017},
}
SPIN '17: "Optimizing Parallel Korat ..."
Optimizing Parallel Korat Using Invalid Ranges
Nima Dini, Cagdas Yelen, and Sarfraz Khurshid
(University of Texas at Austin, USA)
@InProceedings{SPIN17p307,
author = {Nima Dini and Cagdas Yelen and Sarfraz Khurshid},
title = {Optimizing Parallel Korat Using Invalid Ranges},
booktitle = {Proc.\ SPIN},
publisher = {ACM},
pages = {307-306},
doi = {},
year = {2017},
}