|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1178 occurrences of 651 keywords
|
|
|
Results
Found 3891 publication records. Showing 3886 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #301 - #400 of 3886 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|