|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-030-30922-0 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Shiraj Arora, M. V. Panduranga Rao |
Model Checking Branching Time Properties for Incomplete Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 20-37, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid |
Learning Guided Enumerative Synthesis for Superoptimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 172-192, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 193-207, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Mohammed Foughali, Félix Ingrand, Cristina Seceleanu |
Statistical Model Checking of Complex Robotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 114-134, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 56-73, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka |
Swarm Model Checking on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 94-113, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Nhat-Hoa Tran, Toshiaki Aoki |
Conformance Testing of Schedulers for DSL-based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 208-225, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Patrick Metzler, Neeraj Suri, Georg Weissenbacher |
Extracting Safe Thread Schedules from Incomplete Model Checking Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 153-171, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai |
String Abstraction for Model Checking of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 74-93, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba |
Model Verification Through Dependency Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 1-19, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 244-259, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 135-152, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 226-243, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, pp. 38-55, 2019, Springer, 978-3-030-30922-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-319-94110-3 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Marek Chalupa, Jan Strejcek, Martina Vitovská |
Joint Forces for Memory Safety Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 115-132, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 216-234, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 85-102, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio |
Petri Net Reductions for Counting Markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 65-84, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Léo Henry, Thierry Jéron, Nicolas Markey |
Control Strategies for Off-Line Testing of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 171-189, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 275-291, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Antti Valmari, Vesa Lappalainen |
Modelling Without a Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 308-327, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Klaus Havelund, Doron Peled |
Efficient Runtime Verification of First-Order Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 26-47, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Laura Panizo, Almudena Díaz, Bruno García |
An Extension of TRIANGLE Testbed with Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 190-195, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Tamás Tóth, István Majzik |
Lazy Reachability Checking for Timed Automata with Discrete Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 235-254, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco 0001 |
Context-Updates Analysis and Refinement in Chisel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 328-346, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Adrien Pommellet, Tayssir Touili |
Model-Checking HyperLTL for Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 133-152, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Radu Iosif |
Program Verification with Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 48-62, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Martin Kölbl, Stefan Leue, Hargurbir Singh |
From SysML to Model Checkers via Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 255-274, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | YoungMin Kwon, Eunhee Kim |
Quantitative Model Checking for a Controller Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 292-307, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff |
A Branching Time Variant of CaRet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 153-170, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Tatsuya Abe 0001 |
Local Data Race Freedom with Non-multi-copy Atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 196-215, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings, pp. 3-25, 2018, Springer, 978-3-319-94110-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![ACM, 978-1-4503-5077-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Byron Cook |
Automated formal reasoning about amazon web services (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 9, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Geffroy, Jérôme Leroux, Grégoire Sutre |
Backward coverability with pruning for lossy channel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 132-141, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Matthieu Renard, Antoine Rollet, Yliès Falcone |
Runtime enforcement using Büchi games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 70-79, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Domagoj Babic |
SunDew: systematic automated security testing (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 10, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 31-40, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 80-89, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Idress Husien, Nicolas Berthier, Sven Schewe |
A hot method for synthesising cool controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 122-131, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Huu-Vu Nguyen, Tayssir Touili |
CARET model checking for malware detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 152-161, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi |
LeeTL: LTL with quantifications over model objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 41-49, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 11-20, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 50-59, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Lucas G. Wagner, David A. Greve, Andrew Gacek |
SIMPAL: a compositional reasoning framework for imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 90-93, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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, ∞. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 102-111, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 192-195, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 98-101, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Nima Dini, Cagdas Yelen, Sarfraz Khurshid |
Optimizing parallel Korat using invalid ranges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 182-191, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Gerard J. Holzmann |
Cobra: fast structural code checking (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 1-8, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 142-151, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jinru Hua, Sarfraz Khurshid |
EdSketch: execution-driven sketching for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 162-171, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 112-121, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Blake Loring, Duncan Mitchell, Johannes Kinder |
ExpoSE: practical symbolic execution of standalone JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 196-199, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Michalis Kokologiannakis, Konstantinos Sagonas |
Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 172-181, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Wytse Oortwijn, Tom van Dijk, Jaco van de Pol |
Distributed binary decision diagrams for symbolic reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 21-30, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, pp. 94-97, 2017, ACM, 978-1-4503-5077-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-319-32581-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
Compositional Semantics and Analysis of Hierarchical Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 38-56, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 208-213, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Aleksandar S. Dimovski |
Symbolic Game Semantics for Model Checking Program Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 19-37, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Subash Shankar, Gilbert Pajela |
A Tool Integrating Model Checking into a C Verification Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 214-224, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Lakhdar Akroun, Gwen Salaün, Lina Ye |
Automated Analysis of Asynchronously Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 1-18, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Kareem Khazem, Michael Tautschnig |
smid: A Black-Box Program Driver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 182-188, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Radu Mateescu 0001, José Ignacio Requeno |
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 189-207, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Nishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe |
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 147-164, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 165-181, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 104-110, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Martin Hofmann 0001, Christian Neukirchen, Harald Rueß |
Certification for μ-Calculus with Winning Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 111-128, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 129-146, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Antti Valmari, Walter Vogler |
Fair Testing and Stubborn Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 225-243, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 97-103, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![Springer, 978-3-319-23403-8 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Sudipta Chattopadhyay 0001 |
MESS: Memory Performance Debugging on Embedded Multi-core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 105-125, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Francesco Sorrentino |
PickLock: A Deadlock Prediction Approach under Nested Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 179-199, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser |
Model Counting for Complex Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 222-241, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 126-131, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Dirk Beyer 0001, Stefan Löwe, Philipp Wendler |
Refinement Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 20-38, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Dirk Beyer 0001, Stefan Löwe, Philipp Wendler |
Benchmarking and Resource Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 160-178, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Annabelle Klarl |
From Helena Ensemble Specifications to Promela Verification Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 39-45, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Nils Timm, Stefan Gruner, Prince Sibanda |
Parallel SAT-Based Parameterised Three-Valued Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 242-259, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal |
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 153-159, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 132-149, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 282-299, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Fabrizio Biondi, Axel Legay, Jean Quilbeuf |
Comparative Analysis of Leakage Tools on Scalable Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 263-281, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 203-221, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser |
Fast, Dynamically-Sized Concurrent Hash Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 49-65, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Thibaud Michaud, Alexandre Duret-Lutz |
Practical Stutter-Invariance Checks for ω-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 84-101, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 66-83, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Peter Backes, Jan Reineke 0001 |
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 13-19, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Maria Christakis, Patrice Godefroid |
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 300-318, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Tevfik Bultan |
String Analysis for Vulnerability Detection and Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pp. 3-9, 2015, Springer, 978-3-319-23403-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![ACM, 978-1-4503-2452-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Robin P. Neatherway, C.-H. Luke Ong |
TravMC2: higher-order model checking for alternating parity tree automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 129-132, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim |
Quantifying information leaks using reliability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 105-108, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Ioannis Filippidis, Gerard J. Holzmann |
An improvement of the piggyback algorithm for parallel model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 48-57, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Sagar Chaki, James R. Edmondson |
Toward parameterized verification of synchronous distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 109-112, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Florian Leitner-Fischer, Stefan Leue |
SpinCause: a tool for causality checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 117-120, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|