|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12246 occurrences of 3747 keywords
|
|
|
Results
Found 21094 publication records. Showing 21094 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Hasan Ural, Fan Zhang 0001 |
Reducing the Lengths of Checking Sequences by Overlapping. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
Improve Model Checking Efficiency Using Specific Knowledge about the System. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
Transition-based coverage estimation for symbolic model checking. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Hamidah Ibrahim |
Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
20 | John Solis, Gene Tsudik |
Simple and Flexible Revocation Checking with Privacy. |
Privacy Enhancing Technologies |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Federico Rota, Shantanu Dutt, Sahithi Krishna |
Off-Chip Control Flow Checking of On-Chip Processor-Cache Instruction Stream. |
DFT |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Xiong Xie, Weishi Zhang |
A Checking Mechanism of Software Component Adaptation. |
GCC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Hoffmann 0001, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski |
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers |
Model checking for E-business control and assurance. |
IEEE Trans. Syst. Man Cybern. Part C |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Anubhav Gupta 0001, Ofer Strichman |
Abstraction Refinement for Bounded Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün |
Eliminating Redundant Tests in a Checking Sequence. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Armin Wolf, Gunnar Schrader |
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. |
INAP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | João Marques-Silva 0001 |
Improvements to the Implementation of Interpolant-Based Model Checking. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
20 | K. Tuncay Tekle, Hasan Ural, M. Cihan Yalcin, Hüsnü Yenigün |
Generalizing Redundancy Elimination in Checking Sequences. |
ISCIS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dazhou Kang, Jianjiang Lu, Baowen Xu, Peng Wang 0004, Yanhui Li |
A Framework of Checking Subsumption Relations Between Composite Concepts in Different Ontologies. |
KES (1) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang 0001, Zijiang Yang 0006 |
Model Checking C Programs Using F-SOFT. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Fran Jarnjak, Jinhyung Kim, Yixin Jing, Hoh Peter In, Dongwon Jeong, Doo-Kwon Baik |
TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment. |
EUC Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dezhuang Zhang, Rance Cleaveland |
Fast Generic Model-Checking for Data-Based Systems. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Witold Charatonik, Lilia Georgieva, Patrick Maier 0001 |
Bounded Model Checking of Pointer Programs. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Nir Piterman, Moshe Y. Vardi |
Global Model-Checking of Infinite-State Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Kairong Qian, Albert Nymeyer |
Abstraction-Based Model Checking Using Heuristical Refinement. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Te-Chang Lee, Pao-Ann Hsiung |
Mutation Coverage Estimation for Model Checking. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Amiram Hayardeny, Shachar Fienblit, Eitan Farchi |
Concurrent and Distributed Desk Checking. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier |
Supporting model checking education using BOGOR/Eclipse. |
eTX |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke |
CTL Model Checking for Processing Simple XPath Queries. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Dragan Bosnacki |
Black Box Checking for Biochemical Networks. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti 0001 |
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. |
IWDC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Victoria J. Hodge, Jim Austin |
A Comparison of Standard Spell Checking Algorithms and a Novel Binary Neural Approach. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
Binary neural spell checker, integrated modular spell checker, associative matching |
20 | Doron A. Peled |
Model Checking and Testing Combined. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Marc-Philippe Huget, Michael J. Wooldridge |
Model Checking for ACL Compliance Verification. |
Workshop on Agent Communication Languages |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sharon Barner, Orna Grumberg |
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Michael McDougall, Zijiang Yang |
Exploiting Behavioral Hierarchy for Efficient Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jeremy W. Nimmer, Michael D. Ernst |
Invariant inference for static checking. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Samik Basu 0001, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan 0001 |
Resource-Constrained Model Checking of Recursive Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Nikolay V. Shilov 0002, Kwang Yi |
On Expressive and Model Checking Power of Propositional Program Logics. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
Faster and Symbolic CTMC Model Checking. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi |
A Practical Approach to Coverage in Model Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Bow-Yaw Wang |
Verifying Network Protocol Implementations by Symbolic Refinement Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu 0004, Helmut Veith |
Progress on the State Explosion Problem in Model Checking. |
Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Wojciech Penczek |
Efficient Model Checking of Causal-Knowledge Protocols. |
CEEMAS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Ranzato |
On the Completeness of Model Checking. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ofer Strichman |
Pruning Techniques for the SAT-Based Bounded Model Checking Problem. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Paritosh K. Pandya |
Model Checking CTL*[DC]. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Egyed |
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno |
Automatic Verification of Fault Tolerance Using Model Checking. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman, Moshe Y. Vardi, Pierre Wolper |
An automata-theoretic approach to branching-time model checking. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Massimo Benerecetti, Fausto Giunchiglia |
Model Checking-Based Analysis of Multiagent Systems. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott |
Model Checking in HAL. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Stephan Merz |
Model Checking: A Tutorial Overview. |
MOVEP |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Cousot |
Partial Completeness of Abstract Fixpoint Checking. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Zhen Luo, Margaret Martonosi, Pranav Ashar |
An Edge-Endpoint-Based Configurable Hardware Architecture for VLSI CAD Layout Design Rule Checking. |
FCCM |
1999 |
DBLP DOI BibTeX RDF |
Scanline Algorithm, Configurable Hardware, FPGA, DRC |
20 | Takahiro Hanyu, Tsukasa Ike, Michitaka Kameyama |
Self-Checking Multiple-Valued Circuit Based on Dual-Rail Current-Mode Differential Logic. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Dinos Moundanos, Jacob A. Abraham |
Formal Checking of Properties in Complex Systems Using Abstractions. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Rajeev Alur, Mihalis Yannakakis |
Model Checking of Message Sequence Charts. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke |
ProbVerus: Probabilistic Symbolic Model Checking. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-historic to Post-modern Symbolic Model Checking. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan |
Partition Refinement in Real-Time Model Checking. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Kropf, Jürgen Ruf |
Using MTBDDs for discrete timed symbolic model checking. |
ED&TC |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Bouajjani, Javier Esparza, Oded Maler |
Reachability Analysis of Pushdown Automata: Application to Model-Checking. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Uwe Sparmann, Sudhakar M. Reddy |
On the effectiveness of residue code checking for parallel two's complement multipliers. |
IEEE Trans. Very Large Scale Integr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen |
Symbolic Model Checking. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman, Moshe Y. Vardi |
On the Complexity of Branching Modular Model Checking (Extended Abstract). |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper |
An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract). |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Doron A. Peled |
All from One, One for All: on Model Checking Using Representatives. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
20 | E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
On Model-Checking for Fragments of µ-Calculus. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
Symbolic Model Checking for Distributed Real-Time Systems. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Hiromi Hiraishi, Shintaro Meki, Kiyoharu Hamaguchi |
Vectorized Model Checking for Computation Tree Logic. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Niraj K. Jha |
A totally self-checking checker for Borden's code. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
20 | George E. Bier, Andrew R. Pleszkun |
An algorithm for design rule checking on a multiprocessor. |
DAC |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Danny C. C. Ko, Melvin A. Breuer |
The design of self-checking multi-output combinational circuits. |
AFIPS National Computer Conference |
1977 |
DBLP DOI BibTeX RDF |
|
20 | Jason Crampton, Hemanth Khambhammettu |
A Framework for Enforcing Constrained RBAC Policies. |
CSE (3) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ying Jin 0002 |
Formal Verification of Protocol Properties of Sequential Java Programs. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Christopher A. Stone, Robert Harper 0001 |
Extensional equivalence and singleton types. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
equivalence algorithms, logical relations, Singleton types |
20 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: A Flexible Framework for Creating Software Model Checkers. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
20 | François Fages, Sylvain Soliman |
Type Inference in Systems Biology. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Sharon Shoham, Orna Grumberg |
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Pushdown Specifications. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Farzan Fallah, Srinivas Devadas, Kurt Keutzer |
Functional vector generation for HDL models using linearprogramming and Boolean satisfiability. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Rudolf Freund, Gheorghe Paun |
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani |
Automatic Predicate Abstraction of C Programs. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
20 | Wei Dai, Robin Drogemuller |
Knowledge-Based Communication Processes in Building Design. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Yonit Kesten, Amir Pnueli, Li-on Raviv |
Algorithmic Verification of Linear Temporal Logic Specifications. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Moshe Y. Vardi |
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Farzan Fallah, Srinivas Devadas, Kurt Keutzer |
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability. |
DAC |
1998 |
DBLP DOI BibTeX RDF |
low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian |
20 | Moshe Y. Vardi |
Verification of Open Systems. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Orna Kupferman |
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie |
A buffer overflow benchmark for software model checkers. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model checking, benchmark, buffer overflow, array bounds checking |
18 | Gary T. Leavens |
Tutorial on JML, the java modeling language. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking |
18 | Gregorio Díaz 0001, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo |
Automatic verification of the TLS handshake protocol. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
authentication protocols and model checking, system verification and model checking, security, e-Commerce, authentication protocols |
18 | Shaz Qadeer, Dinghao Wu |
KISS: keep it simple and sequential. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
assertion checking, concurrent software, model checking, program analysis, race detection |
18 | Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening |
A SAT-based algorithm for reparameterization in symbolic simulation. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
SAT checkers, safety property checking, bounded model checking, symbolic simulation, parametric representation |
18 | Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi |
Property-Specific Testbench Generation for Guided Simulation. |
ASP-DAC/VLSI Design |
2002 |
DBLP DOI BibTeX RDF |
guided simulation, intelligent testbench generation, witness graph, property-specific testbench, approximate model checking, symbolic model checking, iterative refinement |
18 | Madalene Spezialetti, Rajiv Gupta 0001 |
Loop Monotonic Statements. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Access anomalies (data races), run-time dependence checking, static analysis, array bound checking, induction variables |
18 | Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
Enhancing object modelling technique with timing analysis capabilities. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems |
18 | Nirmal R. Saxena, Edward J. McCluskey |
Linear Complexity Assertions for Sorting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data |
18 | Weixun Wang, Xiaoke Qin, Prabhat Mishra 0001 |
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach. |
ISLPED |
2010 |
DBLP DOI BibTeX RDF |
dvs, temperature-aware, model checking, low power design |
18 | Zvonimir Rakamaric |
STORM: static unit checking of concurrent programs. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
unit checking, static analysis, concurrent programs |
18 | Moni Naor, Guy N. Rothblum |
The complexity of online memory checking. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
Memory checking, authentication |
18 | Bastian Schlich, Stefan Kowalewski |
Model checking C source code for embedded systems. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Embedded systems, Microcontroller, Assembly code, C code |
18 | Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen |
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs |
|
|