The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for vacuity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2005 (16) 2006-2008 (16) 2009-2018 (15) 2020-2022 (9)
Publication types (Num. hits)
article(14) inproceedings(41) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 15 keywords

Results
Found 56 publication records. Showing 56 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
178Marko Samer, Helmut Veith Parameterized Vacuity. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
168Shoham Ben-David, Dana Fisman, Sitvanit Ruah Temporal Antecedent Failure: Refining Vacuity. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
159Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi A Framework for Inherent Vacuity. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
159Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
159Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi Regular Vacuity. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
150Hana Chockler, Ofer Strichman Before and after vacuity. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Vacuity, Model-checking, Complexity
140Hana Chockler, Ofer Strichman Easier and More Informative Vacuity Checks. Search on Bibsonomy MEMOCODE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
140Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi Enhanced Vacuity Detection in Linear Temporal Logic. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
121Kedar S. Namjoshi An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
121Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan 0001, Scott A. Smolka Vacuity Checking in the Modal Mu-Calculus. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
114Orna Kupferman Sanity Checks in Formal Verification. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
114Arie Gurfinkel, Marsha Chechik How Vacuous Is Vacuous? Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
102Hana Chockler, Arie Gurfinkel, Ofer Strichman Beyond Vacuity: Towards the Strongest Passing Formula. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
102Arie Gurfinkel, Marsha Chechik Extending Extended Vacuity. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
102Orna Kupferman, Moshe Y. Vardi Vacuity detection in temporal model checking. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Vacuous satisfaction, Model checking
102Orna Kupferman, Moshe Y. Vardi Vacuity Detection in Temporal Model Checking. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
64Thomas Ball, Orna Kupferman Vacuity in Testing. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
64Rachel Tzoref, Orna Grumberg Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Marko Samer, Helmut Veith On the Notion of Vacuous Truth. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Mitra Purandare, Fabio Somenzi Vacuum Cleaning CTL Formulae. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh Efficient Detection of Vacuity in ACTL Formulaas. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta Test generation games from formal specifications. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF vacuity, test generation, realizability
28Jonathan Edwards, Daniel Jackson 0001, Emina Torlak A type system for object models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy
28Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi Dos and don'ts of CTL state coverage estimation. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF vacuity detection, model checking, state coverage
27John Rushby A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Leonardo Rebouças de Carvalho, Felipe L. S. Mendes, Jefferson Chaves, Marcos C. Lima, Flavio Elias Gomes de Deus, Aletéia P. F. Araújo, Flavio de Barros Vidal Deep-vacuity: A Proposal of a Machine Learning Platform based on High-performance Computing Architecture for Insights on Government of Brazil Official Gazettes. Search on Bibsonomy WEBIST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Shan Zhou, Xu Zhi Li, Jin Bo Wang, Jun Yuan, Jiao Jia Efficient Automaton Theoretical Vacuity Detection for Formal Properties. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman Vacuity in synthesis. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Jakob Piribauer, Christel Baier, Nathalie Bertrand 0001, Ocan Sankur Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Martin R. Albrecht, Rikke Bjerg Jensen The Vacuity of the Open Source Security Testing Methodology Manual. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
27Shahar Maoz, Rafi Shalom Inherent vacuity for GR(1) specifications. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Martin R. Albrecht, Rikke Bjerg Jensen The Vacuity of the Open Source Security Testing Methodology Manual. Search on Bibsonomy SSR The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Gili Bielous, Orna Kupferman Coverage and Vacuity in Network Formation Games. Search on Bibsonomy CSL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Hana Chockler, Shibashis Guha, Orna Kupferman Timed Vacuity. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos Vacuity aware falsification for MTL request-response specifications. Search on Bibsonomy CASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Van Cuong Kieu, Dominique Stutzmann, Nicole Vincent Vacuity Measure for Handwritten Character Analysis. Search on Bibsonomy ICDAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Fabrizio Maria Maggi, Marco Montali, Claudio Di Ciccio, Jan Mendling Semantical Vacuity Detection in Declarative Process Mining. Search on Bibsonomy BPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah Vacuity in practice: temporal antecedent failure. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Hila Gonen, Orna Kupferman Inherent Vacuity in Lattice Automata. Search on Bibsonomy Fields of Logic and Computation II The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin Semantic Vacuity. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Hana Chockler, Arie Gurfinkel, Ofer Strichman Beyond vacuity: towards the strongest passing formula. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Shoham Ben-David, Orna Kupferman A Framework for Ranking Vacuity Results. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Arie Gurfinkel, Marsha Chechik Robust Vacuity for Branching Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Jocelyn Simmonds, Jessica Davies 0001, Arie Gurfinkel, Marsha Chechik Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
27Arie Gurfinkel, Marsha Chechik Robust Vacuity for Branching Temporal Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
27Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli Vacuity analysis for property qualification by mutation of checkers. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
27Mitra Purandare Coverage, Vacuity, and Interpolation in Model Checking. Search on Bibsonomy 2010   RDF
27Joel Kenton Press The scientific use of 'representation' and 'function': avoiding explanatory vacuity. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli Vacuity Analysis by Fault Simulation. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Orna Kupferman, Wenchao Li 0001, Sanjit A. Seshia A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Marko Samer, Helmut Veith From Temporal Logic Queries to Vacuity Detection. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
27Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh Efficient Detection of Vacuity in Temporal Model Checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel Finding Environment Guarantees. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook Data structures for symbolic multi-valued model-checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Symbolic model-checking, Decision diagrams, Multi-valued logic
19Gordon Fraser 0001, Franz Wotawa Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Syed Naqvi, Michel Riguidel Grid Security Services Simulator (G3S) - A Simulation Tool for the Design and Analysis of Grid Security Solutions. Search on Bibsonomy e-Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license