Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450350778

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model learning and model checking of SSH implementations

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092289 ◽

2017 ◽

Cited By ~ 18

Author(s):

Paul Fiterău-Broştean ◽

Toon Lenaerts ◽

Erik Poll ◽

Joeri de Ruiter ◽

Frits Vaandrager ◽

...

Keyword(s):

Model Checking ◽

Model Learning

Download Full-text

Runtime enforcement of reactive systems using synchronous enforcers

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092291 ◽

2017 ◽

Cited By ~ 4

Author(s):

Srinivas Pinisetty ◽

Partha S. Roop ◽

Steven Smyth ◽

Stavros Tripakis ◽

Reinhard von Hanxleden

Keyword(s):

Reactive Systems ◽

Runtime Enforcement

Download Full-text

Guided test case generation for mobile apps in the TRIANGLE project: work in progress

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092298 ◽

2017 ◽

Cited By ~ 4

Author(s):

Laura Panizo ◽

Alberto Salmerón ◽

María-del-Mar Gallardo ◽

Pedro Merino

Keyword(s):

Mobile Apps ◽

Project Work ◽

Test Case Generation ◽

Test Case ◽

Work In Progress

Download Full-text

An ordered approach to solving parity games in quasi polynomial time and quasi linear space

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092286 ◽

2017 ◽

Cited By ~ 11

Author(s):

John Fearnley ◽

Sanjay Jain ◽

Sven Schewe ◽

Frank Stephan ◽

Dominik Wojtczak

Keyword(s):

Linear Space ◽

Polynomial Time ◽

Parity Games

Download Full-text

Explicit state model checking with generalized Büchi and Rabin automata

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092288 ◽

2017 ◽

Cited By ~ 1

Author(s):

Vincent Bloemen ◽

Alexandre Duret-Lutz ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

State Model

Download Full-text

Optimizing parallel Korat using invalid ranges

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092293 ◽

2017 ◽

Cited By ~ 6

Author(s):

Nima Dini ◽

Cagdas Yelen ◽

Sarfraz Khurshid

Download Full-text

Addressing challenges in obtaining high coverage when model checking Android applications

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092302 ◽

2017 ◽

Cited By ~ 1

Author(s):

Heila Botha ◽

Oksana Tkachuk ◽

Brink van der Merwe ◽

Willem Visser

Keyword(s):

Model Checking ◽

High Coverage ◽

Android Applications

Download Full-text

LeeTL: LTL with quantifications over model objects

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092294 ◽

2017 ◽

Author(s):

Pouria Mellati ◽

Ehsan Khamespanah ◽

Ramtin Khosravi

Download Full-text

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3092287 ◽

2017 ◽

Cited By ~ 11

Author(s):

Michalis Kokologiannakis ◽

Konstantinos Sagonas

Keyword(s):

Model Checking

Download Full-text

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 ◽

10.1145/3092282.3120995 ◽

2017 ◽

Cited By ~ 1

Author(s):

Marco A. Feliú ◽

Camilo Rocha ◽

Swee Balachandran

Keyword(s):

Reachability Analysis

Download Full-text

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Model learning and model checking of SSH implementations

Runtime enforcement of reactive systems using synchronous enforcers

Guided test case generation for mobile apps in the TRIANGLE project: work in progress

An ordered approach to solving parity games in quasi polynomial time and quasi linear space

Explicit state model checking with generalized Büchi and Rabin automata

Optimizing parallel Korat using invalid ranges

Addressing challenges in obtaining high coverage when model checking Android applications

LeeTL: LTL with quantifications over model objects

Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU)

Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017
Latest Publications