Search results for "Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Cécile Germain-Renaud, Nathalie Playez	Result checking in global computing systems.	ICS	2003	DBLP DOI BibTeX RDF	grid, program-checking, sequential test
18	Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Michael J. Wooldridge	Model checking agentspeak.	AAMAS	2003	DBLP DOI BibTeX RDF	AgentSpeak, BDI logic programming, model checking, spin
18	Wojciech Penczek, Alessio Lomuscio	Verifying epistemic properties of multi-agent systems via bounded model checking.	AAMAS	2003	DBLP DOI BibTeX RDF	logics for knowledge, model checking
18	Farn Wang	Efficient Verification of Timed Automata with BDD-Like Data-Structures.	VMCAI	2003	DBLP DOI BibTeX RDF	model-checking, verification, data-structures, timed automata, BDD
18	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Model checking specifications, Abstraction, Numeric constraints
18	Stanislaw J. Piestrak	Comments on 'Novel Totally Self-Checking Berger Checker Designs Based on Generalized Berger Code Partitioning'.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	TSC Berger code checker, Berger code, totally self-checking circuit, self-testing checker, two-rail code
18	Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein	xlinkit: a consistency checking and smart link generation service.	ACM Trans. Internet Techn.	2002	DBLP DOI BibTeX RDF	XML, Consistency management, constraint checking, automatic link generation
18	Antonella Santone, Gigliola Vaglini	Local model checking of Java bytecode.	SEKE	2002	DBLP DOI BibTeX RDF	model checking, temporal logic, software systems, tableau system
18	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Estefanía Rosales	Using XML to implement abstraction for Model Checking.	SAC	2002	DBLP DOI BibTeX RDF	XML, XML, model checking, abstraction, SPIN
18	P. David Stotts, Jaime Navon	Model checking cobweb protocols for verification of HTML frames behavior.	WWW	2002	DBLP DOI BibTeX RDF	literary hypertext, model checking, verification, temporal logic, HTML, formal semantics, frames, browsing semantics
18	Somesh Jha, Thomas W. Reps	Analysis of SPKI/SDSI Certificates Using Model Checking.	CSFW	2002	DBLP DOI BibTeX RDF	certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI
18	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
18	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Closing Open SDL-Systems for Model Checking with DTSpin.	FME	2002	DBLP DOI BibTeX RDF	DTSpin, open communication systems, model checking, abstractions, SDL
18	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Clemente Galdi	A Novel Approach to Proactive Password Checking.	InfraSec	2002	DBLP DOI BibTeX RDF	Neural Network, Access Control, Data Security, Perceptron, Proactive Password Checking
18	Dragan Bosnacki	A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction.	FORTE	2002	DBLP DOI BibTeX RDF	state space reduction techniques, nested depth first search algorithm, multiple representatives, Model checking, symmetry reduction
18	Giorgio Delzanno, Andreas Podelski	Constraint-based deductive model checking.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Model checking, Verification, Logic programming, Constraints
18	Huimin Lin	Model Checking Value-Passing Processes.	APSEC	2001	DBLP DOI BibTeX RDF	value- passing processes, verification algorithms, Model checking, mu-calculus
18	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Automatic abstraction for model checking software systems with interrelated numeric constraints.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	domain abstraction, model checking software systems, numeric constraints
18	Anzhela Yu. Matrosova, Sergey Ostanin, Ilya Levin	Survivable Self-Checking Sequential Circuits.	DFT	2001	DBLP DOI BibTeX RDF	self-checking sequential machines, survivable circuits, partially monotonous functions
18	Anzhela Yu. Matrosova, Sergey Ostanin	Self-Checking FSM Design with Observing only FSM Outputs.	IOLTW	2000	DBLP DOI BibTeX RDF	Self-checking design, unidirectional fault, PLA description, multilevel synthesis, FSM
18	Zhe Dang, Richard A. Kemmerer	Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.	ICSE	2000	DBLP DOI BibTeX RDF	real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
18	Stefania Gnesi, Diego Latella, Mieke Massink	Model Checking UML Statechart Diagrams Using JACK.	HASE	1999	DBLP DOI BibTeX RDF	Branching Time Temporal Logics, Model Checking, UML, Formal Verification
18	Jinsong Bei, Hongxing Li, Jinian Bian, Hongxi Xue, Xianlong Hong	FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking.	ASP-DAC	1999	DBLP DOI BibTeX RDF	Finite State Machine, VHDL, Symbolic Model Checking
18	Monica Alderighi, Sergio D'Angelo, Giacomo R. Sechi, Vincenzo Piuri	Implementing a Self-Checking Neural System for Photon Event Identification by SRAM-Based FPGAs.	DFT	1999	DBLP DOI BibTeX RDF	Self-checking systems, Field Programmable Gate Arrays, Artificial neural networks, Space applications
18	P. David Stotts, Richard Furuta, Cyrano Ruiz Cabarrus	Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.	ACM Trans. Inf. Syst.	1998	DBLP DOI BibTeX RDF	model checking, Petri nets, temporal logic, hypermedia, hypertext, browsing semantics
18	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Formal Verification of a Railway Interlocking System using Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Formal methods, Safety critical systems, spin, Industrial applications
18	Francesca Levi	A Symbolic Semantics for Abstract Model Checking.	SAS	1998	DBLP DOI BibTeX RDF	Model checking, abstract interpretation, ?-calculus
18	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
18	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
18	Joseph C. W. Pang, Mike W. T. Wong, Yim-Shu Lee	Design and Implementation of Strongly Code-Disjoint CMOS Built-in Intermediate Voltage Sensor for Totally Self-Checking Circuits.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	Built-in intermediate voltage sensor, bridging fault, totally self-checking circuit
18	Paul Tafertshofer, Andreas Ganz, Manfred Henftling	A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.	ICCAD	1997	DBLP DOI BibTeX RDF	SAT-based implication engine, circuit clause description, efficient ATPG, implication evaluation, indirect implications, netlist optimization, structure based methods, graph algorithms, automatic testing, logic circuits, graph model, equivalence checking, implication graph
18	Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine	On-the-fly symbolic model checking for real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	on-the-fly symbolic model checking, timed temporal logic, boolean combinations, FDDI protocol verification, real-time systems, temporal logic, timed automaton, linear inequalities
18	Richard Mayr	Model Checking PA-Processes.	CONCUR	1997	DBLP DOI BibTeX RDF	PA-processes, model checking, process algebras, tableau systems
18	Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose	CTL model checking based on forward state traversal.	ICCAD	1996	DBLP DOI BibTeX RDF	state traversal, partitioned transition relation, model checking, formal verification, CTL
18	Pascal Fradet, Daniel Le Métayer	Type Checking for a Multiset Rewriting Language.	LOMAPS	1996	DBLP DOI BibTeX RDF	multiset rewriting, verification, invariant, graph grammars, type checking
18	X. Wendling, Raphaël Rochet, Régis Leveugle	Standard and ROM-based synthesis of FSMs with control flow checking capabilities.	VTS	1996	DBLP DOI BibTeX RDF	read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking
18	Richard Mayr	Weak Bisimulation and Model Checking for Basic Parallel Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF	Basic Parallel Processes, model checking, bisimulation
18	Shujian Zhang, Jon C. Muzio	Evaluating the safety of self-checking circuits.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	fail-safe evaluation, TSC, Markov model, self-checking circuit
18	W. Homer Carlisle	Type Checking Concurrent I/O.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	process communication, parallel programming, concurrency, traces, type checking, event recognition
18	Daniel P. McReynolds, David G. Lowe	Rigidity Checking of 3D Point Correspondences under Perspective Projection.	ICCV	1995	DBLP DOI BibTeX RDF	rigidity checking, 3D point correspondences, three dimensional point correspondences, three dimensional views, correspondence matching, 3D recovery equations, real image data, object recognition, motion estimation, image sequences, stereo image processing, perspective projection, 3D object recognition, stereo image, image motion, synthetic data, linear algorithm
18	Fadi Y. Busaba, Parag K. Lala	A graph coloring based approach for self-checking logic circuit design.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	logic circuit design, bidirectional error, residue weights assignments, output lines, errors identification, graph theory, logic testing, integrated circuit testing, logic design, error detection, error detection, automatic testing, graph coloring, fault location, integrated logic circuits, graph colouring, self-checking, residue codes, single stuck-at fault
18	Fadi Y. Busaba, Parag K. Lala	Self-checking combinational circuit design for single and unidirectional multibit error.	J. Electron. Test.	1994	DBLP DOI BibTeX RDF	Input encoding, output encoding, unidirectional error, self-checking
18	Edmund M. Clarke, Orna Grumberg, David E. Long	Model Checking and Abstraction.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	model checking, temporal logic, abstract interpretation, binary decision diagrams (BDDs)
18	Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann	Model Checking Using Adaptive State and Data Abstraction.	CAV	1994	DBLP DOI BibTeX RDF	ACTL, state partitioning, model checking, abstract interpretation, binary decision diagrams (BDDs)
18	D. M. Marcynuk, D. Michael Miller	The OR-k method for on-line checking of programmable logic arrays.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	fault secure design, on-line checking, concurrency, programmable logic array
18	Thom W. Frühwirth	Polymorphic Type Checking with Subtypes in Prolog.	DISCO	1990	DBLP DOI BibTeX RDF	Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification
18	Yao-Chou Cheng, Shin-Yee Lu	The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing
18	Bernhard Josko	Verifying the Correctness of AADL Modules Using Model Checking.	REX Workshop	1989	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, computer architecture, expressiveness, modular specification
18	Mordechai Ben-Ari	Tool Presentation: Teaching Concurrency and Model Checking.	SPIN	2009	DBLP DOI BibTeX RDF
18	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
18	Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu	Model-Checking the Linux Virtual File System.	VMCAI	2009	DBLP DOI BibTeX RDF
18	Gal Katz, Doron A. Peled	Model Checking Driven Heuristic Search for Correct Programs.	MoChArt	2008	DBLP DOI BibTeX RDF
18	Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Strategic Equilibria.	MoChArt	2008	DBLP DOI BibTeX RDF
18	Harald Fecher, Michael Huth 0001	Model Checking for Action Abstraction.	VMCAI	2008	DBLP DOI BibTeX RDF
18	Matthew Chu, Sampath Kannan, Andrew McGregor 0001	Checking and Spot-Checking the Correctness of Priority Queues.	ICALP	2007	DBLP DOI BibTeX RDF
18	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001, David Sanán	C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.	SPIN	2007	DBLP DOI BibTeX RDF
18	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
18	Jiri Barnat, Lubos Brim, Petr Rockai	Scalable Multi-core LTL Model-Checking.	SPIN	2007	DBLP DOI BibTeX RDF
18	Stephen F. Siegel	Model Checking Nonblocking MPI Programs.	VMCAI	2007	DBLP DOI BibTeX RDF
18	Matthew Might, Benjamin Chambers, Olin Shivers	Model Checking Via GammaCFA.	VMCAI	2007	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
18	Qiang Qiang, Daniel G. Saab, Jacob A. Abraham	Checking Nested Properties Using Bounded Model Checking and Sequential ATPG.	VLSI Design	2006	DBLP DOI BibTeX RDF
18	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
18	Jaco Geldenhuys, Henri Hansen	Larger Automata and Less Work for LTL Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
18	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
18	Christophe Joubert, Radu Mateescu 0001	Distributed On-the-Fly Model Checking and Test Case Generation.	SPIN	2006	DBLP DOI BibTeX RDF
18	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski	Directed Model Checking with Distance-Preserving Abstractions.	SPIN	2006	DBLP DOI BibTeX RDF
18	Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny	Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.	MoChArt	2006	DBLP DOI BibTeX RDF
18	Francesco Viganò	A Framework for Model Checking Institutions.	MoChArt	2006	DBLP DOI BibTeX RDF
18	Laura Bozzelli	Complexity Results on Branching-Time Pushdown Model Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
18	Shahid Jabbar, Stefan Edelkamp	Parallel External Directed Model Checking with Linear I/O.	VMCAI	2006	DBLP DOI BibTeX RDF
18	Arie Gurfinkel, Ou Wei, Marsha Chechik	Systematic Construction of Abstractions for Model-Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
18	Sami Evangelista, Jean-François Pradat-Peyre	Memory Efficient State Space Storage in Explicit Software Model Checking.	SPIN	2005	DBLP DOI BibTeX RDF
18	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
18	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
18	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
18	Markus Müller-Olm, Oliver Rüthing, Helmut Seidl	Checking Herbrand Equalities and Beyond.	VMCAI	2005	DBLP DOI BibTeX RDF
18	Erika Ábrahám, Bernd Becker 0001, Felix Klaedtke, Martin Steffen	Optimizing Bounded Model Checking for Linear Hybrid Systems.	VMCAI	2005	DBLP DOI BibTeX RDF
18	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
18	Elsa L. Gunter, Doron A. Peled	Unit Checking: Symbolic Model Checking for a Unit of Code.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
18	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
18	Timo Latvala	Efficient Model Checking of Safety Properties.	SPIN	2003	DBLP DOI BibTeX RDF
18	Damien Massé	Property Checking Driven Abstract Interpretation-Based Static Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
18	Dennis Dams	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).	SPIN	2002	DBLP DOI BibTeX RDF
18	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Local Parallel Model Checking for the Alternation-Free µ-Calculus.	SPIN	2002	DBLP DOI BibTeX RDF
18	Li Tan	An Abstract Schema for Equivalence-Checking Games.	VMCAI	2002	DBLP DOI BibTeX RDF
18	Cinzia Bernardeschi, Nicoletta De Francesco	Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode.	VMCAI	2002	DBLP DOI BibTeX RDF
18	Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal	Applications of Model Checking at Honeywell Laboratories.	SPIN	2001	DBLP DOI BibTeX RDF
18	Fabrice Derepas, Paul Gastin	Model Checking Systems of Replicated Processes with Spin.	SPIN	2001	DBLP DOI BibTeX RDF
18	Michael Baldamus, Jochen Schröder-Babo	p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).	SPIN	2001	DBLP DOI BibTeX RDF
18	Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue	Directed Explicit Model Checking with HSF-SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
18	Jiri Barnat, Lubos Brim, Jitka Stríbrná	Distributed LTL Model-Checking in SPIN.	SPIN	2001	DBLP DOI BibTeX RDF
18	John M. Rushby	Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.	SPIN	1999	DBLP DOI BibTeX RDF
18	Gerald Lüttgen, Victor Carreño	Analyzing Mode Confusion via Model Checking.	SPIN	1999	DBLP DOI BibTeX RDF
17	Heon-Mo Koo, Prabhat Mishra 0001	Functional test generation using design and property decomposition techniques.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	design decomposition, property decomposition, Model checking, test generation, pipelined processor, functional validation
17	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang	Tool support for learning Büchi automata and linear temporal logic.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
17	Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama	A Minimized Assumption Generation Method for Component-Based Software Verification.	ICTAC	2009	DBLP DOI BibTeX RDF	minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning
17	Naoki Kobayashi 0001	Types and higher-order recursion schemes for verification of higher-order programs.	POPL	2009	DBLP DOI BibTeX RDF	model checking, type system, higher-order recursion scheme
17	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	Analyzing recursive programs using a fixed-point calculus.	PLDI	2009	DBLP DOI BibTeX RDF	recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
17	Ali Amer Alwan, Hamidah Ibrahim, Nur Izura Udzir	Ranking and selecting integrity tests in a distributed database.	iiWAS	2009	DBLP DOI BibTeX RDF	integrity constraints checking, distributed database, integrity constraints, integrity tests
17	Mayur Naik, Jens Palsberg	A type system equivalent to a model checker.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Model checking, type systems