Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Michele Favalli, Cecilia Metra	Low-level error recovery mechanism for self-checking sequential circuits.	DFT	1997	DBLP DOI BibTeX RDF	low-level error recovery mechanism, self-checking sequential circuits, reliability requirements, small embedded systems, sequential circuits, design methodology, transient faults, delay faults, fault tolerant capabilities, crosstalk faults
21	Daniel P. McReynolds, David G. Lowe	Rigidity Checking of 3D Point Correspondences Under Perspective Projection.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Rigidity checking, nonlinear parameter estimation, image matching, structure-from-motion, perspective projection, point correspondences
21	Orna Grumberg, David E. Long	Model Checking and Modular Verification.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification
21	Joanne M. Atlee, John D. Gannon	State-Based Model Checking of Event-Driven System Requirements.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements
21	Robert E. Strom, Daniel M. Yellin	Extending Typestate Checking Using Conditional Liveness Analysis.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors
21	David K. Probst, Hon Fung Li	Partial-Order Model Checking: A Guide for the Perplexed.	CAV	1991	DBLP DOI BibTeX RDF	delay-insensitive system, partial-order representation, recurrence structure, model checking, state explosion, state encoding
21	Kok-Phuang Tan, T. C. Tan	An Improved Join Dependency for Efficient Constraint Checking.	ICCI	1991	DBLP DOI BibTeX RDF	Database design, join dependency, constraint checking
21	Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski	Efficient Probabilistic Model Checking on General Purpose Graphics Processors.	SPIN	2009	DBLP DOI BibTeX RDF
21	Radek Pelánek, Václav Rosecký	EMMA: Explicit Model Checking Manager (Tool Presentation).	SPIN	2009	DBLP DOI BibTeX RDF
21	Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
21	E. Allen Emerson	Model Checking: Progress and Problems.	VMCAI	2009	DBLP DOI BibTeX RDF
21	Aarti Gupta	Model Checking Concurrent Programs.	VMCAI	2009	DBLP DOI BibTeX RDF
21	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar	Survey on Directed Model Checking.	MoChArt	2008	DBLP DOI BibTeX RDF
21	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang 0013, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and Distributed Model Checking in Eddy.	SPIN	2006	DBLP DOI BibTeX RDF
21	Harmen Kastenberg, Arend Rensink	Model Checking Dynamic States in GROOVE.	SPIN	2006	DBLP DOI BibTeX RDF
21	Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti	A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis.	MoChArt	2006	DBLP DOI BibTeX RDF
21	Håkan L. S. Younes	Error Control for Probabilistic Model Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
21	Venkatesh Mysore, Carla Piazza, Bud Mishra	Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.	ATVA	2005	DBLP DOI BibTeX RDF
21	Anil Madhavapeddy, David J. Scott, Richard Sharp	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.	SPIN	2005	DBLP DOI BibTeX RDF
21	Eric Mercer, Michael D. Jones	Model Checking Machine Code with the GNU Debugger.	SPIN	2005	DBLP DOI BibTeX RDF
21	A. Prasad Sistla, Min Zhou, Xiaodong Wang	Model Checking of Systems Employing Commutative Functions.	VMCAI	2005	DBLP DOI BibTeX RDF
21	Dawson R. Engler, Madanlal Musuvathi	Static Analysis versus Software Model Checking for Bug Finding.	VMCAI	2004	DBLP DOI BibTeX RDF
21	John Hatcliff, Robby, Matthew B. Dwyer	Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
21	Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet	Approximate Probabilistic Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
21	Dragan Bosnacki	A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness.	SPIN	2003	DBLP DOI BibTeX RDF
21	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF
21	Andreas Podelski	Software Model Checking with Abstraction Refinement.	VMCAI	2003	DBLP DOI BibTeX RDF
21	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
21	Amir Pnueli, Lenore D. Zuck	Model-Checking and Abstraction to the Aid of Parameterized Systems.	VMCAI	2003	DBLP DOI BibTeX RDF
21	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.	VMCAI	2003	DBLP DOI BibTeX RDF
21	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga	Bytecode Model Checking: An Experimental Analysis.	SPIN	2002	DBLP DOI BibTeX RDF
21	Radu Iosif	Symmetry Reduction Criteria for Software Model Checking.	SPIN	2002	DBLP DOI BibTeX RDF
21	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
21	Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani	Improving the Encoding of LTL Model Checking into SAT.	VMCAI	2002	DBLP DOI BibTeX RDF
21	Doron A. Peled, Lenore D. Zuck	From Model Checking to a Temporal Proof.	SPIN	2001	DBLP DOI BibTeX RDF
21	Javier Esparza, Keijo Heljanko	Implementing LTL Model Checking with Net Unfoldings.	SPIN	2001	DBLP DOI BibTeX RDF
21	Rob Gerth	Model Checking if Your Life Depends on It a View from Intel's Trenches.	SPIN	2001	DBLP DOI BibTeX RDF
21	Alexandre V. Bystrov, I. B. Verbistskaite	Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool.	PaCT	1999	DBLP DOI BibTeX RDF
21	Wil Janssen, Radu Mateescu 0001, Sjouke Mauw, Peter Fennema, Petra van der Stappen	Model Checking for Managers.	SPIN	1999	DBLP DOI BibTeX RDF
21	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.	TACAS	2009	DBLP DOI BibTeX RDF	model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
21	Farn Wang	Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.	ATVA	2008	DBLP DOI BibTeX RDF	time progress, model-checking, convex, Timed automaton, concave, TCTL
21	Michael Leuschel	The High Road to Formal Validation: .	ABZ	2008	DBLP DOI BibTeX RDF	Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction
21	Barry Long, Jürgen Dingel, T. C. Nicholas Graham	Experience applying the SPIN model checker to an industrial telecommunications system.	ICSE	2008	DBLP DOI BibTeX RDF	model checking, formal methods, experience report
21	Vineet Kahlon, Aarti Gupta	On the analysis of interacting pushdown systems.	POPL	2007	DBLP DOI BibTeX RDF	model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
21	John Derrick, Siobhán North, Tony Simons 0001	Issues in Implementing a Model Checker for Z.	ICFEM	2006	DBLP DOI BibTeX RDF	model-checking, Z, SAL
21	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
21	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer	Component Verification with Automatically Generated Assumptions.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	component verification, model checking, assume-guarantee reasoning
21	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verifying Time Partitioning in the DEOS Scheduling Kernel.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
21	Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter	An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.	IFM	2005	DBLP DOI BibTeX RDF	Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
21	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid	Test input generation with java PathFinder.	ISSTA	2004	DBLP DOI BibTeX RDF	testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees
21	James R. Ezick	An optimizing compiler for batches of temporal logic formulas.	ISSTA	2004	DBLP DOI BibTeX RDF	model checking, temporal logic, optimizing compiler
21	Jürgen Ruf, Thomas Kropf	Symbolic Verification and Analysis of Discrete Timed Systems.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking
21	Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato	Hierarchical and Recursive State Machines with Context-Dependent Properties.	ICALP	2003	DBLP DOI BibTeX RDF	Model Checking, Temporal Logic, Automata
21	Gerard J. Holzmann, Margaret H. Smith	An Automated Verification Method for Distributed Systems Software Based on Model Extraction.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction
21	Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Reformulation: A Way to Combine Dynamic Properties and B Refinement.	FME	2001	DBLP DOI BibTeX RDF	Verification of PLTL properties, Combination of proof and model-checking, Refinement development
21	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
21	Lina Khatib, Nicola Muscettola, Klaus Havelund	Mapping Temporal Planning Constraints into Timed Automata.	TIME	2001	DBLP DOI BibTeX RDF	Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
21	Yang Xia, Pranav Ashar	Verification of a Combinational Loop Based Arbitration Scheme in a System-On-Chip Integration Architecture.	VLSI Design	2000	DBLP DOI BibTeX RDF	Combinational Loop, Model Checking, Formal Verification, Temporal Logic, Time Division Multiplexing, Token Ring, Computational Tree Logic, Bus Protocol
21	Prasanta K. Bose	Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN.	ASE	1999	DBLP DOI BibTeX RDF	Model Checking, UML, Architecture, Security Protocol, Model Translation
21	Anna Antola, Vincenzo Piuri, Mariagiovanna Sami	High-level Synthesis of Data Paths with Concurrent Error Detection.	DFT	1998	DBLP DOI BibTeX RDF	self-checking systems, high-level synthesis, concurrent error detection, data path
21	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
20	Alexander Schimpf, Stephan Merz, Jan-Georg Smaus	Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
20	Cynthia Dwork, Moni Naor, Guy N. Rothblum, Vinod Vaikuntanathan	How Efficient Can Memory Checking Be?.	TCC	2009	DBLP DOI BibTeX RDF
20	Naoki Kobayashi 0001, C.-H. Luke Ong	A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.	LICS	2009	DBLP DOI BibTeX RDF
20	Orna Grumberg	3-Valued Abstraction for (Bounded) Model Checking.	ATVA	2009	DBLP DOI BibTeX RDF
20	Michal Kebrt, Ondrej Sery	UnitCheck: Unit Testing and Model Checking Combined.	ATVA	2009	DBLP DOI BibTeX RDF
20	Kenneth L. Knowles, Cormac Flanagan	Compositional reasoning and decidable checking for dependent contract types.	PLPV	2009	DBLP DOI BibTeX RDF	refinement types, abstraction, dependent types, compositional reasoning
20	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu	Using a SAT solver to generate checking sequences.	ISCIS	2009	DBLP DOI BibTeX RDF
20	Moshe Y. Vardi	Model Checking as A Reachability Problem.	RP	2009	DBLP DOI BibTeX RDF
20	Michel Banâtre, Fabien Allard, Paul Couderc	Ubi-Check: A Pervasive Integrity Checking System.	NEW2AN	2009	DBLP DOI BibTeX RDF
20	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
20	Peter Niebert, Doron A. Peled, Amir Pnueli	Discriminative Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
20	Stefan Edelkamp, Peter Sanders 0001, Pavel Simecek	Semi-external LTL Model Checking.	CAV	2008	DBLP DOI BibTeX RDF
20	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF
20	Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden	Model Checking Process with Goal Oriented Requirements Analysis.	APSEC	2008	DBLP DOI BibTeX RDF
20	Stéphane Demri, Ranko Lazic 0001, Arnaud Sangnier	Model Checking Freeze LTL over One-Counter Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
20	Jing Yu 0015, María Jesús Garzarán, Marc Snir	Efficient software checking for fault tolerance.	IPDPS	2008	DBLP DOI BibTeX RDF
20	Zhengwei Qi, Liang Liu 0010, Alei Liang, Hao Wang, Ying Chen 0004	An Online Model Checking Tool for Safety and Liveness Bugs.	ICPADS	2008	DBLP DOI BibTeX RDF
20	Gal Katz, Doron A. Peled	Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.	TACAS	2008	DBLP DOI BibTeX RDF
20	Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun	Accelerating Interpolation-Based Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
20	Jianguo Chen, Hangxia Zhou, Stefan D. Bruda	Combining Model Checking and Testing for Software Analysis.	CSSE (2)	2008	DBLP DOI BibTeX RDF
20	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre	µ-calculus Pushdown Module Checking with Imperfect State Information.	IFIP TCS	2008	DBLP DOI BibTeX RDF
20	Farag Azzedin, Ahmad Ridha	The Effect of Behavior Change on Honesty Checking in Peer-to-Peer Systems.	PST	2008	DBLP DOI BibTeX RDF
20	Jens Knodel, Dirk Muthig, Dominik Rost	Constructive architecture compliance checking - an experiment on support by live feedback.	ICSM	2008	DBLP DOI BibTeX RDF
20	Michael T. Goodrich, Jonathan Z. Sun	Checking Value-Sensitive Data Structures in Sublinear Space.	ISAAC	2007	DBLP DOI BibTeX RDF
20	Alessandro Ferrante, Aniello Murano, Mimmo Parente	Enriched µ-Calculus Pushdown Module Checking.	LPAR	2007	DBLP DOI BibTeX RDF
20	Bengt Jonsson 0001, Mayank Saksena	Systematic Acceleration in Regular Model Checking.	CAV	2007	DBLP DOI BibTeX RDF
20	Wenhui Zhang	Model Checking with SAT-Based Characterization of ACTL Formulas.	ICFEM	2007	DBLP DOI BibTeX RDF
20	Kevin Bierhoff, Jonathan Aldrich	Modular typestate checking of aliased objects.	OOPSLA	2007	DBLP DOI BibTeX RDF	linear logic, aliasing, permissions, typestates, behavioral subtyping
20	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
20	Frédéric Béal, Tomohiro Yoneda, Chris J. Myers	Hazard Checking of Timed Asynchronous Circuits Revisited.	ACSD	2007	DBLP DOI BibTeX RDF
20	Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel	Model checking service compositions under resource constraints.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	web services, validation, BPEL4WS, resource modelling
20	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
20	Nina Amla, Kenneth L. McMillan	Combining Abstraction Refinement and SAT-Based Model Checking.	TACAS	2007	DBLP DOI BibTeX RDF
20	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks.	TACAS	2007	DBLP DOI BibTeX RDF
20	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
20	Venkatesh Mysore, Bud Mishra	Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.	AB	2007	DBLP DOI BibTeX RDF
20	Enrique Alba 0001, Francisco Chicano	Ant Colony Optimization for Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
20	Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni	Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature.	IMSCCS	2007	DBLP DOI BibTeX RDF
20	Fei Pu, Wenhui Zhang	Partition Refinement in Abstract Model Checking.	TASE	2007	DBLP DOI BibTeX RDF