Search results for "spin"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Fabrizio Biondi, Thomas Given-Wilson, Axel Legay (eds.)	Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings	SPIN	2019	DBLP DOI BibTeX RDF
28	Shiraj Arora, M. V. Panduranga Rao	Model Checking Branching Time Properties for Incomplete Markov Chains.	SPIN	2019	DBLP DOI BibTeX RDF
28	Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid	Learning Guided Enumerative Synthesis for Superoptimization.	SPIN	2019	DBLP DOI BibTeX RDF
28	Sergey M. Staroletov, Nikolay V. Shilov 0002	Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.	SPIN	2019	DBLP DOI BibTeX RDF
28	Mohammed Foughali, Félix Ingrand, Cristina Seceleanu	Statistical Model Checking of Complex Robotic Systems.	SPIN	2019	DBLP DOI BibTeX RDF
28	Massimo Benerecetti, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini	From Dynamic State Machines to Promela.	SPIN	2019	DBLP DOI BibTeX RDF
28	Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka	Swarm Model Checking on the GPU.	SPIN	2019	DBLP DOI BibTeX RDF
28	Nhat-Hoa Tran, Toshiaki Aoki	Conformance Testing of Schedulers for DSL-based Model Checking.	SPIN	2019	DBLP DOI BibTeX RDF
28	Patrick Metzler, Neeraj Suri, Georg Weissenbacher	Extracting Safe Thread Schedules from Incomplete Model Checking Results.	SPIN	2019	DBLP DOI BibTeX RDF
28	Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai	String Abstraction for Model Checking of C Programs.	SPIN	2019	DBLP DOI BibTeX RDF
28	Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba	Model Verification Through Dependency Graphs.	SPIN	2019	DBLP DOI BibTeX RDF
28	Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar 0001	VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.	SPIN	2019	DBLP DOI BibTeX RDF
28	Yuan Liu, Xi Wang 0003, Lintao Xian, Zhongwen Guo	STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph.	SPIN	2019	DBLP DOI BibTeX RDF
28	Muhammad Usman 0024, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid	A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.	SPIN	2019	DBLP DOI BibTeX RDF
28	Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds 0001	A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.	SPIN	2019	DBLP DOI BibTeX RDF
28	María-del-Mar Gallardo, Pedro Merino 0001 (eds.)	Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings	SPIN	2018	DBLP DOI BibTeX RDF
28	Marek Chalupa, Jan Strejcek, Martina Vitovská	Joint Forces for Memory Safety Checking.	SPIN	2018	DBLP DOI BibTeX RDF
28	Omar I. Al-Bataineh, Mark Reynolds 0001, David S. Rosenblum	A Comparative Study of Decision Diagrams for Real-Time Model Checking.	SPIN	2018	DBLP DOI BibTeX RDF
28	Tim Lange 0001, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll 0001, Joost-Pieter Katoen	Improving Generalization in Software IC3.	SPIN	2018	DBLP DOI BibTeX RDF
28	Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio	Petri Net Reductions for Counting Markings.	SPIN	2018	DBLP DOI BibTeX RDF
28	Léo Henry, Thierry Jéron, Nicolas Markey	Control Strategies for Off-Line Testing of Timed Systems.	SPIN	2018	DBLP DOI BibTeX RDF
28	Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang	Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.	SPIN	2018	DBLP DOI BibTeX RDF
28	Antti Valmari, Vesa Lappalainen	Modelling Without a Modelling Language.	SPIN	2018	DBLP DOI BibTeX RDF
28	Klaus Havelund, Doron Peled	Efficient Runtime Verification of First-Order Temporal Properties.	SPIN	2018	DBLP DOI BibTeX RDF
28	Laura Panizo, Almudena Díaz, Bruno García	An Extension of TRIANGLE Testbed with Model-Based Testing.	SPIN	2018	DBLP DOI BibTeX RDF
28	Tamás Tóth, István Majzik	Lazy Reachability Checking for Timed Automata with Discrete Variables.	SPIN	2018	DBLP DOI BibTeX RDF
28	Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001	Context-Updates Analysis and Refinement in Chisel.	SPIN	2018	DBLP DOI BibTeX RDF
28	Adrien Pommellet, Tayssir Touili	Model-Checking HyperLTL for Pushdown Systems.	SPIN	2018	DBLP DOI BibTeX RDF
28	Radu Iosif	Program Verification with Separation Logic.	SPIN	2018	DBLP DOI BibTeX RDF
28	Martin Kölbl, Stefan Leue, Hargurbir Singh	From SysML to Model Checkers via Model Transformation.	SPIN	2018	DBLP DOI BibTeX RDF
28	YoungMin Kwon, Eunhee Kim	Quantitative Model Checking for a Controller Design.	SPIN	2018	DBLP DOI BibTeX RDF
28	Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff	A Branching Time Variant of CaRet.	SPIN	2018	DBLP DOI BibTeX RDF
28	Tatsuya Abe 0001	Local Data Race Freedom with Non-multi-copy Atomicity.	SPIN	2018	DBLP DOI BibTeX RDF
28	Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach	Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K.	SPIN	2018	DBLP DOI BibTeX RDF
28	Hakan Erdogmus, Klaus Havelund (eds.)	Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017	SPIN	2017	DBLP BibTeX RDF
28	Byron Cook	Automated formal reasoning about amazon web services (keynote).	SPIN	2017	DBLP DOI BibTeX RDF
28	Thomas Geffroy, Jérôme Leroux, Grégoire Sutre	Backward coverability with pruning for lossy channel systems.	SPIN	2017	DBLP DOI BibTeX RDF
28	Matthieu Renard, Antoine Rollet, Yliès Falcone	Runtime enforcement using Büchi games.	SPIN	2017	DBLP DOI BibTeX RDF
28	Domagoj Babic	SunDew: systematic automated security testing (keynote).	SPIN	2017	DBLP DOI BibTeX RDF
28	Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser	Addressing challenges in obtaining high coverage when model checking Android applications.	SPIN	2017	DBLP DOI BibTeX RDF
28	Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden	Runtime enforcement of reactive systems using synchronous enforcers.	SPIN	2017	DBLP DOI BibTeX RDF
28	Idress Husien, Nicolas Berthier, Sven Schewe	A hot method for synthesising cool controllers.	SPIN	2017	DBLP DOI BibTeX RDF
28	Huu-Vu Nguyen, Tayssir Touili	CARET model checking for malware detection.	SPIN	2017	DBLP DOI BibTeX RDF
28	Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi	LeeTL: LTL with quantifications over model objects.	SPIN	2017	DBLP DOI BibTeX RDF
28	Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel	The RERS 2017 challenge and workshop (invited paper).	SPIN	2017	DBLP DOI BibTeX RDF
28	Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol	Explicit state model checking with generalized Büchi and Rabin automata.	SPIN	2017	DBLP DOI BibTeX RDF
28	Lucas G. Wagner, David A. Greve, Andrew Gacek	SIMPAL: a compositional reasoning framework for imperative programs.	SPIN	2017	DBLP DOI BibTeX RDF
28	Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen	Practical controller synthesis for MTL0, ∞.	SPIN	2017	DBLP DOI BibTeX RDF
28	Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino 0001	Guided test case generation for mobile apps in the TRIANGLE project: work in progress.	SPIN	2017	DBLP DOI BibTeX RDF
28	Marcello M. Bersani, Francesco Marconi, Matteo Rossi 0001, Madalina Erascu, Silvio Ghilardi	Formal verification of data-intensive applications through model checking modulo theories.	SPIN	2017	DBLP DOI BibTeX RDF
28	Nima Dini, Cagdas Yelen, Sarfraz Khurshid	Optimizing parallel Korat using invalid ranges.	SPIN	2017	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann	Cobra: fast structural code checking (keynote).	SPIN	2017	DBLP DOI BibTeX RDF
28	Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg	Model learning and model checking of SSH implementations.	SPIN	2017	DBLP DOI BibTeX RDF
28	Jinru Hua, Sarfraz Khurshid	EdSketch: execution-driven sketching for Java.	SPIN	2017	DBLP DOI BibTeX RDF
28	John Fearnley, Sanjay Jain 0001, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak	An ordered approach to solving parity games in quasi polynomial time and quasi linear space.	SPIN	2017	DBLP DOI BibTeX RDF
28	Blake Loring, Duncan Mitchell, Johannes Kinder	ExpoSE: practical symbolic execution of standalone JavaScript.	SPIN	2017	DBLP DOI BibTeX RDF
28	Michalis Kokologiannakis, Konstantinos Sagonas	Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU).	SPIN	2017	DBLP DOI BibTeX RDF
28	Wytse Oortwijn, Tom van Dijk, Jaco van de Pol	Distributed binary decision diagrams for symbolic reachability.	SPIN	2017	DBLP DOI BibTeX RDF
28	Marco A. Feliú, Camilo Rocha, Swee Balachandran	Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study.	SPIN	2017	DBLP DOI BibTeX RDF
28	Dragan Bosnacki, Anton Wijs (eds.)	Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings	SPIN	2016	DBLP DOI BibTeX RDF
28	Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis	Compositional Semantics and Analysis of Hierarchical Block Diagrams.	SPIN	2016	DBLP DOI BibTeX RDF
28	Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat	SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.	SPIN	2016	DBLP DOI BibTeX RDF
28	Aleksandar S. Dimovski	Symbolic Game Semantics for Model Checking Program Families.	SPIN	2016	DBLP DOI BibTeX RDF
28	Subash Shankar, Gilbert Pajela	A Tool Integrating Model Checking into a C Verification Toolset.	SPIN	2016	DBLP DOI BibTeX RDF
28	Lakhdar Akroun, Gwen Salaün, Lina Ye	Automated Analysis of Asynchronously Communicating Systems.	SPIN	2016	DBLP DOI BibTeX RDF
28	Kareem Khazem, Michael Tautschnig	smid: A Black-Box Program Driver.	SPIN	2016	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001, José Ignacio Requeno	On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators.	SPIN	2016	DBLP DOI BibTeX RDF
28	Nishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe	Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.	SPIN	2016	DBLP DOI BibTeX RDF
28	Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha	Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.	SPIN	2016	DBLP DOI BibTeX RDF
28	Ruth Hoffmann, Murray L. Ireland, Alice Miller 0001, Gethin Norman, Sandor M. Veres	Autonomous Agent Behaviour Modelled in PRISM - A Case Study.	SPIN	2016	DBLP DOI BibTeX RDF
28	Martin Hofmann 0001, Christian Neukirchen, Harald Rueß	Certification for μ-Calculus with Winning Strategies.	SPIN	2016	DBLP DOI BibTeX RDF
28	Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba	Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.	SPIN	2016	DBLP DOI BibTeX RDF
28	Antti Valmari, Walter Vogler	Fair Testing and Stubborn Sets.	SPIN	2016	DBLP DOI BibTeX RDF
28	Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho	ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications.	SPIN	2016	DBLP DOI BibTeX RDF
28	Bernd Fischer 0002, Jaco Geldenhuys (eds.)	Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings	SPIN	2015	DBLP DOI BibTeX RDF
28	Sudipta Chattopadhyay 0001	MESS: Memory Performance Debugging on Embedded Multi-core Systems.	SPIN	2015	DBLP DOI BibTeX RDF
28	Francesco Sorrentino	PickLock: A Deadlock Prediction Approach under Nested Locking.	SPIN	2015	DBLP DOI BibTeX RDF
28	Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser	Model Counting for Complex Data Structures.	SPIN	2015	DBLP DOI BibTeX RDF
28	Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho	DSVerifier: A Bounded Model Checking Tool for Digital Systems.	SPIN	2015	DBLP DOI BibTeX RDF
28	Dirk Beyer 0001, Stefan Löwe, Philipp Wendler	Refinement Selection.	SPIN	2015	DBLP DOI BibTeX RDF
28	Dirk Beyer 0001, Stefan Löwe, Philipp Wendler	Benchmarking and Resource Measurement.	SPIN	2015	DBLP DOI BibTeX RDF
28	Annabelle Klarl	From Helena Ensemble Specifications to Promela Verification Models.	SPIN	2015	DBLP DOI BibTeX RDF
28	Nils Timm, Stefan Gruner, Prince Sibanda	Parallel SAT-Based Parameterised Three-Valued Model Checking.	SPIN	2015	DBLP DOI BibTeX RDF
28	Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal	Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.	SPIN	2015	DBLP DOI BibTeX RDF
28	Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino 0001	Runtime Verification of Expected Energy Consumption in Smartphones.	SPIN	2015	DBLP DOI BibTeX RDF
28	Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski	Family-Based Model Checking Without a Family-Based Model Checker.	SPIN	2015	DBLP DOI BibTeX RDF
28	Fabrizio Biondi, Axel Legay, Jean Quilbeuf	Comparative Analysis of Leakage Tools on Scalable Case Studies.	SPIN	2015	DBLP DOI BibTeX RDF
28	Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue	Symbolic Causality Checking Using Bounded Model Checking.	SPIN	2015	DBLP DOI BibTeX RDF
28	Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser	Fast, Dynamically-Sized Concurrent Hash Table.	SPIN	2015	DBLP DOI BibTeX RDF
28	Thibaud Michaud, Alexandre Duret-Lutz	Practical Stutter-Invariance Checks for ω-Regular Languages.	SPIN	2015	DBLP DOI BibTeX RDF
28	Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek	On Refinement of Büchi Automata for Explicit Model Checking.	SPIN	2015	DBLP DOI BibTeX RDF
28	Peter Backes, Jan Reineke 0001	ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems.	SPIN	2015	DBLP DOI BibTeX RDF
28	Maria Christakis, Patrice Godefroid	IC-Cut: A Compositional Search Strategy for Dynamic Test Generation.	SPIN	2015	DBLP DOI BibTeX RDF
28	Tevfik Bultan	String Analysis for Vulnerability Detection and Repair.	SPIN	2015	DBLP DOI BibTeX RDF
28	Neha Rungta, Oksana Tkachuk (eds.)	2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014	SPIN	2014	DBLP BibTeX RDF
28	Robin P. Neatherway, C.-H. Luke Ong	TravMC2: higher-order model checking for alternating parity tree automata.	SPIN	2014	DBLP DOI BibTeX RDF
28	Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim	Quantifying information leaks using reliability analysis.	SPIN	2014	DBLP DOI BibTeX RDF
28	Ioannis Filippidis, Gerard J. Holzmann	An improvement of the piggyback algorithm for parallel model checking.	SPIN	2014	DBLP DOI BibTeX RDF
28	Sagar Chaki, James R. Edmondson	Toward parameterized verification of synchronous distributed applications.	SPIN	2014	DBLP DOI BibTeX RDF
28	Florian Leitner-Fischer, Stefan Leue	SpinCause: a tool for causality checking.	SPIN	2014	DBLP DOI BibTeX RDF