Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Roopak Sinha, Partha S. Roop, Samik Basu 0001	A Module Checking Based Converter Synthesis Approach for SoCs.	VLSI Design	2008	DBLP DOI BibTeX RDF	protocol mismatches, mod- ule checking, protocol conversion
25	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont	Probabilistic abstraction for model checking: An approach based on property testing.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification
25	Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
25	Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens	Model-checking the preservation of temporal properties upon feature integration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Feature, State-explosion problem, Property preservation
25	Amnon Meisels, Roie Zivan	Asynchronous Forward-checking for DisCSPs.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Forward-checking
25	Sandip Ray, Rob Sumners	Combining Theorem Proving with Model Checking through Predicate Abstraction.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	model checking, formal verification, theorem proving, predicate abstraction, ACL2
25	Moshe Y. Vardi	Linear-Time Model Checking: Automata Theory in Practice.	CIAA	2007	DBLP DOI BibTeX RDF	Büchi automata, model checking, linear-temporal logic
25	Lionel van den Berg, Paul A. Strooper, Kirsten Winter	Introducing Time in an Industrial Application of Model-Checking.	FMICS	2007	DBLP DOI BibTeX RDF	real-time system, model checking, railway interlockings
25	Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen	Model Checking for BPEL4WS with Time.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Timed Mobile Ambient, model checking, modal logic, BPEL
25	Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar	Model Checking with Strong Fairness.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	fair discrete systems, temporal testers, model checking, temporal logic, fairness, CTL, LTL
25	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit array bounds checking on 64-bit architectures.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	virtual memory, Array-bounds checking, 64-bit architectures
25	Leo Freitas, Jim Woodcock 0001, Ana Cavalcanti 0001	State-rich model checking.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Formal method tools, Model checking, Theorem proving, Abstract interpretation
25	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
25	Alastair F. Donaldson, Alice Miller 0001	Exact and Approximate Strategies for Symmetry Reduction in Model Checking.	FM	2006	DBLP DOI BibTeX RDF	Promela/Spin, computational group theory, model checking, symmetry, Gap
25	Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001	Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.	FM	2006	DBLP DOI BibTeX RDF	partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
25	Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani	SYNERGY: a new algorithm for property checking.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	testing, software model checking, abstraction refinement, directed testing
25	Pavel Parízek, Frantisek Plásil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols
25	Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda	A state propagation method for consistency checking of web service function invocations in web applications.	ICWE Workshops	2006	DBLP DOI BibTeX RDF	Web services, semantic Web, Web applications, OWL-S, consistency checking
25	Sachoun Park, Gihwon Kwon	Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Model checking, Dependency analysis, Model reduction, State explosion problem
25	Chang Xu 0001, Shing-Chi Cheung, W. K. Chan 0001	Incremental consistency checking for pervasive context.	ICSE	2006	DBLP DOI BibTeX RDF	incremental consistency checking, pervasive computing, context management
25	Patrice Godefroid	Software Model Checking: The VeriSoft Approach.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program verification, software model checking, systematic testing
25	José Manuel Cazeaux, Daniele Rossi 0001, Cecilia Metra	Self-Checking Voter for High Speed TMR Systems.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	high reliabily, duplication and comparison, self-checking, voter, TMR systems
25	Lilian Harada, Yuuji Hotta	Order checking in a CPOE using event analyzer.	CIKM	2005	DBLP DOI BibTeX RDF	order checking, sequential pattern, pattern detection
25	Keijo Heljanko, Tommi A. Junttila, Timo Latvala	Incremental and Complete Bounded Model Checking for Full PLTL.	CAV	2005	DBLP DOI BibTeX RDF	PLTL, Complete, Bounded Model Checking, Incremental, NuSMV
25	Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli	Passive Testing - A Constrained Invariant Checking Approach.	TestCom	2005	DBLP DOI BibTeX RDF	invariant checking, SCP, invariants, constraint solving, passive testing
25	Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen	Flat Acceleration in Symbolic Model Checking.	ATVA	2005	DBLP DOI BibTeX RDF	verification of infinite-state systems, acceleration, symbolic model checking
25	Yoonsik Cheon, Gary T. Leavens	A contextual interpretation of undefinedness for runtime assertion checking.	AADEBUG	2005	DBLP DOI BibTeX RDF	undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions
25	Kairong Qian, Albert Nymeyer, Steven Susanto	Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.	FORTE	2005	DBLP DOI BibTeX RDF	model approximations, Formal verification, heuristic search, symbolic model checking, data abstractions
25	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	PPoPP	2005	DBLP DOI BibTeX RDF	datarace, lockset, model checking, multithreading, data race detection
25	Ofer Strichman	Accelerating Bounded Model Checking of Safety Properties.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	SAT, Bounded Model Checking
25	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
25	Alex Groce, Willem Visser	Heuristics for model checking Java programs.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Testing, Heuristic search, Coverage metrics
25	Henning Dierks	Comparing model checking and logical reasoning for real-time systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Real-time, Timed Automata, Duration Calculus
25	Wojciech Jamroga	Strategic Planning through Model Checking of ATL Formulae.	ICAISC	2004	DBLP DOI BibTeX RDF	Multi-agent systems, model checking, multi-agent planning
25	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
25	Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree	Implicit java array bounds checking on 64-bit architecture.	ICS	2004	DBLP DOI BibTeX RDF	java, virtual memory, array-bounds checking
25	Orna Kupferman, Moshe Y. Vardi	Vacuity detection in temporal model checking.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Vacuous satisfaction, Model checking
25	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Model-Checking Algorithms for Continuous-Time Markov Chains.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping
25	Angelo Gilio, Veronica Biazzo, Giuseppe Sanfilippo	Coherence checking and propagation of lower probability bounds.	Soft Comput.	2003	DBLP DOI BibTeX RDF	g-coherence checking, Lower conditional probability bounds, Non relevant gains, Basic sets, Propagation
25	Marko Mäkelä	Model Checking Safety Properties in Modular High-Level Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	state space enumeration, model checking, modular systems, high-level nets
25	Jing-Ling Yang, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun	Design for Self-Checking and Self-Timed Datapath.	VTS	2003	DBLP DOI BibTeX RDF	asynchronous datapath, differential cascode voltage switch logic, Self-checking, dynamic circuits
25	Rik Eshuis, David N. Jansen, Roel J. Wieringa	Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Execution semantics, Model checking, Statecharts
25	Klaus Havelund, Willem Visser	Program model checking as a new trend.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Concurrent programming languages, Java, Model checking, Program verification, SPIN
25	Xudong He, Junhua Ding, Yi Deng 0001	Model checking software architecture specifications in SAM.	SEKE	2002	DBLP DOI BibTeX RDF	model checking, software architecture, petri nets, temporal logic
25	Jing-Ling Yang, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun	A Totally Self-Checking Dynamic Asynchronous Datapath.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF	Totally self-checking asynchronous datapath, differential cascade voltage switch logic, divider
25	Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple	Combinational equivalence checking through function transformation.	ICCAD	2002	DBLP DOI BibTeX RDF	combinational verification, equivalence checking
25	Walter Hartong, Lars Hedrich, Erich Barke	Model checking algorithms for analog verification.	DAC	2002	DBLP DOI BibTeX RDF	nonlinear analog systems, model checking, formal methods
25	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
25	Rajeev Alur, Mihalis Yannakakis	Model checking of hierarchical state machines.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	model checking, temporal logic, statecharts, Hierarchical state machines
25	Timo Latvala	Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.	ICATPN	2001	DBLP DOI BibTeX RDF	Model checking, fairness, high-level Petri Nets, LTL
25	Roberto Giacobazzi, Elisa Quintarelli	Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.	SAS	2001	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
25	Sergio Antoy, Richard G. Hamlet	Automatically Checking an Implementation against Its Formal Specification.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Self-checking code, object-oriented software testing, formal specification, rewriting
25	Michael J. Liebelt, Cheng-Chew Lim	A method for determining whether asynchronous circuits are self-checking.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	low-power electronics, TSC, low noise properties, semi-modular asynchronous circuit, output stuck-at-faults, low power, fault diagnosis, logic testing, integrated circuit testing, design for testability, asynchronous circuits, testability, totally self-checking, integrated circuit noise
25	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Bandera: a source-level interface for model checking Java programs.	ICSE	2000	DBLP DOI BibTeX RDF	debugging and testing, Java, Java, model checking, program analysis
25	Takahiro Hanyu, Tsukasa Ike, Michitaka Kameyama	Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic.	PRDC	2000	DBLP DOI BibTeX RDF	dual-rail differential logic, multiple-valued current-mode circuits, asynchronous-control circuit, logic testing, asynchronous circuits, self-checking circuit, current-mode logic, current-mode circuits
25	Xiaoqun Du, Scott A. Smolka, Rance Cleaveland	Local Model Checking and Protocol Analysis.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion
25	Barbara Fox, Brian A. LaMacchia	Online Certificate Status Checking in Financial Transactions: The Case for Re-issuance.	Financial Cryptography	1999	DBLP DOI BibTeX RDF	online certificate status checking, certificate re-issuance, high-value financial transactions, risk management, public key infrastructure
25	Y. Tachi, Satoshi Yamane	Real-Time Symbolic Model Checking for Hard Real-Time Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic
25	Ricardo de Oliveira Duarte, Michael Nicolaidis, Hakim Bederr, Yervant Zorian	Efficient Totally Self-Checking Shifter Design.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	parity prediction, fault-secure circuits, on-line testing, self-checking circuits
25	Kathi Fisler, Claude Girault	Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.	ICATPN	1998	DBLP DOI BibTeX RDF	Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency
25	Matthew B. Dwyer, Corina S. Pasareanu	Filter-Based Model Checking of Partial Systems.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation
25	Bin Ni, Zehua Zhou	An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	dynamic model checking, formal specification, Component, semantic constraints
25	Hal Wasserman, Manuel Blum 0001	Software reliability via run-time result-checking.	J. ACM	1997	DBLP DOI BibTeX RDF	self-correcting, fault tolerance, debugging, Fourier transform, concurrent error detection, built-in testing, result-checking
25	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
24	Patrice Godefroid, Nir Piterman	LTL Generalized Model Checking Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
24	Peter Lamborn, Eric A. Hansen	Layered Duplicate Detection in External-Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
24	Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin	Runtime Checking for Separation Logic.	VMCAI	2008	DBLP DOI BibTeX RDF
24	Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening	Approximation Refinement for Interpolation-Based Model Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
24	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking Unified.	VMCAI	2007	DBLP DOI BibTeX RDF
24	Moshe Y. Vardi	Automata-Theoretic Model Checking Revisited.	VMCAI	2007	DBLP DOI BibTeX RDF
24	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
24	Sebastian Kupferschmid, Jörg Hoffmann 0001, Henning Dierks, Gerd Behrmann	Adapting an AI Planning Heuristic for Directed Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
24	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
24	Katia Hristova, Yanhong A. Liu	Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.	VMCAI	2006	DBLP DOI BibTeX RDF
24	Alastair F. Donaldson, Simon J. Gay	Etch: An Enhanced Type Checking Tool for Promela.	SPIN	2005	DBLP DOI BibTeX RDF
24	Laura Bozzelli	Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties.	VMCAI	2005	DBLP DOI BibTeX RDF
24	David Garlan, Serge Khersonsky, Jung Soo Kim	Model Checking Publish-Subscribe Systems.	SPIN	2003	DBLP DOI BibTeX RDF
24	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
24	Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue	Partial Order Reduction in Directed Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
24	Bernhard Steffen, Tiziana Margaria, Volker Braun	Coarse-Granular Model Checking in Practice.	SPIN	2001	DBLP DOI BibTeX RDF
24	Marsha Chechik, Benet Devereux, Arie Gurfinkel	Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
24	Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube	Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.	EUROMICRO	1999	DBLP DOI BibTeX RDF
24	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
24	Wenhui Zhang	Model Checking Operator Procedures.	SPIN	1999	DBLP DOI BibTeX RDF
24	Steffen Tarnick	Controllable self-checking checkers for conditional concurrent checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
24	Niraj K. Jha	Strong fault-secure and strongly self-checking domino-CMOS implementations of totally self-checking circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
24	Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto	Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking.	ISCA	1989	DBLP DOI BibTeX RDF	LISP
24	Conghua Zhou	A compositional symbolic verification framework for concurrent software.	Infoscale	2007	DBLP DOI BibTeX RDF	model checking, composition, abstract, SAT
24	Oksana Tkachuk, Sreeranga P. Rajan	Application of automated environment generation to commercial software.	ISSTA	2006	DBLP DOI BibTeX RDF	environment generation, modular model checking
24	Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
24	Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	software verifcation, locking discipline, software model checking, partial order reduction, escape analysis
24	Theo C. Ruys, Ed Brinksma	Managing the verification trajectory.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Model checking, Software configuration management, Computer-aided verification
24	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
24	Michael Huber, Steve King 0001	Towards an Integrated Model Checker for Railway Signalling Data.	FME	2002	DBLP DOI BibTeX RDF	Data verification, hidden formal methods, model checking
24	Diana El Rabih, Nihal Pekergin	Statistical Model Checking Using Perfect Simulation.	ATVA	2009	DBLP DOI BibTeX RDF
24	Sumit Kumar Jha 0001, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani	A Bayesian Approach to Model Checking Biological Systems.	CMSB	2009	DBLP DOI BibTeX RDF
24	Yakir Vizel, Orna Grumberg	Interpolation-sequence based model checking.	FMCAD	2009	DBLP DOI BibTeX RDF
24	Eugen-Nicolae Volanschi	A portable compiler-integrated approach to permanent checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	User-defined checks, Extensible compilers
24	Edmund M. Clarke	Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.	LPAR	2008	DBLP DOI BibTeX RDF
24	Adenilso da Silva Simão, Alexandre Petrenko	Generating Checking Sequences for Partial Reduced Finite State Machines.	TestCom/FATES	2008	DBLP DOI BibTeX RDF