Search results for "Checking"

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