Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Edward J. McCluskey	Design Techniques for Testable Embedded Error Checkers.	Computer	1990	DBLP DOI BibTeX RDF
17	James K. Mullin, Daniel J. Margoliash	A Tale of Three Spelling Checkers.	Softw. Pract. Exp.	1990	DBLP DOI BibTeX RDF
17	Stanislaw J. Piestrak	The minimal test set for sorting networks and the use of sorting networks in self-testing checkers for unordered codes.	FTCS	1990	DBLP DOI BibTeX RDF
17	Vladimir Cherkassky, Nikolaos Vassilas, Gregory L. Brodt	Conventional and associative memory-based spelling checkers.	TAI	1990	DBLP DOI BibTeX RDF
17	Andrew Chi-Chih Yao	Coherent Functions and Program Checkers (Extended Abstract)	STOC	1990	DBLP DOI BibTeX RDF
17	Sampath Kannan	Program checkers for algebraic problems.		1989	RDF
17	Niraj K. Jha	Fault detection in CVS parity trees: application in SSC CVS parity and two-rail checkers.	FTCS	1989	DBLP DOI BibTeX RDF
17	Niraj K. Jha	Design of sufficiently strongly self-checking embedded checkers for systematic and separable codes.	ICCD	1989	DBLP DOI BibTeX RDF
17	Sandip Kundu, Sudhakar M. Reddy	Design of TSC checkers for implementation in CMOS technology.	ICCD	1989	DBLP DOI BibTeX RDF
17	Yinghua Min, Jintao Li	Strongly fault secure PLAs and totally self-checking checkers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
17	Takashi Nanya, Samiha Mourad, Edward J. McCluskey	Multiple stuck-at fault testability of self-testing checkers.	FTCS	1988	DBLP DOI BibTeX RDF
17	Jien-Chung Lo, Suchai Thanawastien	The design of fast totally self-checking Berger code checkers based on Berger code partitioning.	FTCS	1988	DBLP DOI BibTeX RDF
17	Thomas Cheatham	Message Decryption and Spelling Checkers.	Cryptologia	1987	DBLP DOI BibTeX RDF
17	Stanislaw J. Piestrak	Design of Fast Self-Testing Checkers for a Class of Berger Codes.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF
17	Roger Mitton	Spelling checkers, spelling correctors and the misspellings of poor spellers.	Inf. Process. Manag.	1987	DBLP DOI BibTeX RDF
17	Antonis M. Paschalis, Dimitris Nikolos, Constantine Halatsis	Efficient Modular Design of TSC Checkers for M-out-of-2M Codes.	Aegean Workshop on Computing	1986	DBLP DOI BibTeX RDF
17	Nobuyoshi Izawa	Reduced-gate design of totally self-checking checkers for unordered codes.	Syst. Comput. Jpn.	1985	DBLP DOI BibTeX RDF
17	Javad Khakbaz, Edward J. McCluskey	Self-Testing Embedded Parity Checkers.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF
17	J. M. Robson	N by N Checkers is Exptime Complete.	SIAM J. Comput.	1984	DBLP DOI BibTeX RDF
17	Costas Efstathiou, Constantine Halatsis	Modular design of totally self-checking checkers for 1-out-of-n codes.	Fehlertolerierende Rechensysteme	1984	DBLP DOI BibTeX RDF
17	W. Kenneth Jenkins	The Design of Error Checkers for Self-Checking Residue Number Arithmetic.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Digital processors, self-checking arithmetic, fault tolerance, modular arithmetic, special purpose hardware, residue arithmetic
17	Kyushik Son, Dhiraj K. Pradhan	Completely Self-Checking Checkers in PLAs.	ITC	1981	DBLP BibTeX RDF
17	Cláudio Walter	Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets. (A formal system for specifying real-time checkers of discrete process).		1981	RDF
17	Aviezri S. Fraenkel, M. R. Garey, David S. Johnson, T. Schaefer, Yaacov Yesha	The Complexity of Checkers on an N * N Board - Preliminary Report	FOCS	1978	DBLP DOI BibTeX RDF
17	Mohammad Javad Ashjaee, Sudhakar M. Reddy	On Totally Self-Checking Checkers for Separable Codes.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF
17	Arnold K. Griffith	A Comparison and Evaluation of Three Machine Learning Procedures as Applied to the Game of Checkers.	Artif. Intell.	1974	DBLP DOI BibTeX RDF
17	Sudhakar M. Reddy	Note on Self-Checking Checkers.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
17	Richard Bellman	Stratification and control of large systems with applications to chess and checkers.	Inf. Sci.	1968	DBLP DOI BibTeX RDF
17	Arthur L. Samuel	Some Studies in Machine Learning Using the Game of Checkers.	IBM J. Res. Dev.	1959	DBLP DOI BibTeX RDF
17	Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar 0001, Frank Piessens, Wouter Joosen	PAriCheck: an efficient pointer arithmetic checker for C programs.	AsiaCCS	2010	DBLP DOI BibTeX RDF	bounds checking, buffer overflows
17	Twan van Enckevort	Refactoring UML models: using openarchitectureware to measure uml model quality and perform pattern matching on UML models with OCL queries.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	syntactic rules, UML, metrics, OCL, semantic rules, model quality
17	Cynthia Dwork, Moni Naor, Guy N. Rothblum, Vinod Vaikuntanathan	How Efficient Can Memory Checking Be?.	TCC	2009	DBLP DOI BibTeX RDF
17	Jan Tobias Mühlberg, Gerald Lüttgen	Verifying Compiled File System Code.	SBMF	2009	DBLP DOI BibTeX RDF
17	Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen	Industrial strength refinement checking.	FMCAD	2009	DBLP DOI BibTeX RDF
17	Adam J. Lee, Marianne Winslett	Towards an efficient and language-agnostic compliance checker for trust negotiation systems.	AsiaCCS	2008	DBLP DOI BibTeX RDF	compliance checker, satisfying sets, policy, trust negotiation
17	Madanlal Musuvathi, Shaz Qadeer	Fair stateless model checking.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs
17	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
17	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Tools and Techniques for Model Checking Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	networking, software verification, Software model checking, inter-process communication
17	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
17	Rattikorn Hewett, Phongphun Kijsanayothin	Host-Centric Model Checking for Network Vulnerability Analysis.	ACSAC	2008	DBLP DOI BibTeX RDF
17	Robert Bruce Findler, Shu-yu Guo, Anne Rogers	Lazy Contract Checking for Immutable Data Structures.	IFL	2007	DBLP DOI BibTeX RDF
17	Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser 0001	Relating counterexamples to test cases in CTL model checking specifications.	A-MOST	2007	DBLP DOI BibTeX RDF	test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
17	Mark Hills 0001, Grigore Rosu	A rewriting approach to the design and evolution of object-oriented languages.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	object-oriented languages, language design, formal analysis, rewriting logic, language semantics
17	Constance L. Heitmeyer	On the Utility of Formal Methods in the Development and Certification of Software.	TPHOLs	2007	DBLP DOI BibTeX RDF
17	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
17	Domagoj Babic, Alan J. Hu	Exploiting Shared Structure in Software Verification Conditions.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
17	David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev	How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
17	Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng	Specifying and Verifying Cases Retrieval System Combining Event B and Spin.	ICSC	2007	DBLP DOI BibTeX RDF
17	Frederic Worm, Patrick Thiran, Paolo Ienne	Optimizing Checking-Logic for Reliability-Agnostic Control of Self-Calibrating Designs.	ISQED	2007	DBLP DOI BibTeX RDF
17	Stéphanie Jacquemont, François Jacquenet, Marc Sebban	Correct your text with Google.	Web Intelligence	2007	DBLP DOI BibTeX RDF
17	Xi Chen 0024, Harry Hsieh, Felice Balarin	Verification Approach of Metropolis Design Framework for Embedded Systems.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	metropolis, simulation, formal verification, meta-model, spin, LTL, property, LOC
17	Constantinos Bartzis, Tevfik Bultan	Efficient BDDs for bounded arithmetic constraints.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, BDD, Integer arithmetic, SMV
17	Annabelle McIver	Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems.	FM	2006	DBLP DOI BibTeX RDF
17	Rajeev Alur, Pavol Cerný, Steve Zdancewic	Preserving Secrecy Under Refinement.	ICALP (2)	2006	DBLP DOI BibTeX RDF
17	Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum	A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
17	Randal E. Bryant	Formal Verification of Infinite State Systems Using Boolean Methods.	RTA	2006	DBLP DOI BibTeX RDF
17	Michael D. Jones, Jacob Sorber	Parallel search for LTL violations.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Semiformal verification, Explicit model checking, Biologically inspired algorithms
17	Brigitte Pientka	Verifying Termination and Reduction Properties about Higher-Order Logic Programs.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	termination, Logical frameworks
17	John M. Rushby	An Evidential Tool Bus.	ICFEM	2005	DBLP DOI BibTeX RDF
17	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
17	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
17	Egon Valentini, Gerhard Fliess, Edmund Haselwanter	A Framework for Efficient Contract-Based Testing of Software Components.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
17	Maty Sylla, Frank A. Stomp, Willem P. de Roever	Verifying Parameterized Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
17	Greg Nelson	Extended Static Checking for Java.	MPC	2004	DBLP DOI BibTeX RDF
17	Xi Chen 0024, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin	Utilizing Formal Assertions for System Design of Network Processors.	DATE	2004	DBLP DOI BibTeX RDF
17	Ambar A. Gadkari, S. Ramesh 0001, Rubin A. Parekhji	CESC: a visual formalism for specification and verification of SoCs.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	verification, specification, visual languages, system-level design
17	Tomás Barros, Rabéa Boulifa, Eric Madelaine	Parameterized Models for Distributed Java Objects.	FORTE	2004	DBLP DOI BibTeX RDF
17	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
17	Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa	From Watson-Crick L systems to Darwinian P systems.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	Watson-Crick complementarity, L system, membrane computing, P system, recursively enumerable language
17	Daniel J. Sorin, Mark D. Hill, David A. Wood 0001	Dynamic Verification of End-to-End Multiprocessor Invariants.	DSN	2003	DBLP DOI BibTeX RDF
17	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Automatic Generation of Simulation Monitors from Quantitative Constraint Formula.	DATE	2003	DBLP DOI BibTeX RDF
17	Sabine Glesner	Program Checking with Certificates: Separating Correctness-Critical Code.	FME	2003	DBLP DOI BibTeX RDF	safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking
17	Constantinos Bartzis, Tevfik Bultan	Construction of Efficient BDDs for Bounded Arithmetic Constraints.	TACAS	2003	DBLP DOI BibTeX RDF
17	Jennifer Wells Akis, Stephanie Brucker, Virginia Chapman, Layne Ethington, Robert J. Kuhns, P. J. Schemenaur	Authoring translation-ready documents: is software the answer?	SIGDOC	2003	DBLP DOI BibTeX RDF	sun proof, translatability, style
17	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
17	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Automatic trace analysis for logic of constraints.	DAC	2003	DBLP DOI BibTeX RDF	logic of constraints, performance constraint, simulation checker, trace analysis
17	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
17	Ed Brinksma, Angelika Mader, Ansgar Fehnker	Verification and optimization of a PLC control schedule.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Scheduling, Model checking, Verification, Formal methods, Hybrid systems
17	Heikki Tauriainen, Keijo Heljanko	Testing LTL formula translation into Büchi automata.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Verification, Software testing, Temporal logic
17	David Owen 0002, Bojan Cukic, Tim Menzies	An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models.	HASE	2002	DBLP DOI BibTeX RDF
17	Richard Fox, Mari Bowden	Automated Diagnosis of Non-Native English Speaker's Natural Language.	ICTAI	2002	DBLP DOI BibTeX RDF
17	Dimitra Giannakopoulou, Flavio Lerda	From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.	FORTE	2002	DBLP DOI BibTeX RDF
17	Rik Eshuis, Roel J. Wieringa	Verification support for workflow design with UML activity graphs.	ICSE	2002	DBLP DOI BibTeX RDF	UML
17	Fei Xie, Vladimir Levin, James C. Browne	ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.	FASE	2002	DBLP DOI BibTeX RDF
17	Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez	A Certified Polynomial-Based Decision Procedure for Propositional Logic.	TPHOLs	2001	DBLP DOI BibTeX RDF
17	Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
17	Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang	Is There a Best Symbolic Cycle-Detection Algorithm?	TACAS	2001	DBLP DOI BibTeX RDF
17	Jeannette M. Wing	Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum.	AMAST	2000	DBLP DOI BibTeX RDF
17	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
17	Gerard J. Holzmann	The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.	SPIN	1999	DBLP DOI BibTeX RDF
17	E. K. Ogoubi, Eduard Cerny	Synthesis of checker EFSMs from timing diagram specifications.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
17	Antonis M. Paschalis, Dimitris Gizopoulos, Nikolaos Gaitanis	Concurrent Delay Testing in Totally Self-Checking Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	concurrent on-line detection, duplication systems, path delay faults, totally self-checking circuits, error indicators
17	Mihir Bellare, Juan A. Garay, Tal Rabin	Batch Verification with Applications to Cryptography and Checking.	LATIN	1998	DBLP DOI BibTeX RDF
17	Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren	Efficient Model Checking Using Tabled Resolution.	CAV	1997	DBLP DOI BibTeX RDF
17	Vikraman Arvind, Jacobo Torán	A Nonadaptive NC Checker for Permutation Group Intersection.	CCC	1997	DBLP DOI BibTeX RDF	nonadaptive queries, permutation groups, Program checking
17	Lenore Cowen, Joan Feigenbaum, Sampath Kannan	A Formal Framework for Evaluating Heuristic Programs.	ICALP	1996	DBLP DOI BibTeX RDF
17	Nikolaos Gaitanis, Dimitris Gizopoulos, Antonis M. Paschalis, Panagiotis Kostarakis	An asynchronous totally self-checking two-rail code error indicator.	VTS	1996	DBLP DOI BibTeX RDF	asynchronous TSC error indicator, totally self-checking error indicator, concurrent detection, two-rail code error indicator, CMOS implementation, VLSI, logic testing, delays, integrated circuit testing, error detection, automatic testing, asynchronous circuits, CMOS logic circuits, delay faults
17	Nikolaos Gaitanis, Panagiotis Kostarakis, Antonis M. Paschalis	Totally Self Checking reconfigurable duplication system with separate internal fault indication.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	decision circuits, totally self checking system, reconfigurable duplication system, separate internal fault indication, single cell fault model, functional self checking units, decision circuit, indication outputs, nonstop repair, fault diagnosis, logic testing, built-in self test, redundancy, redundancy, reconfigurable architectures, switching circuits, error indication
17	Joe Kilian, Ronitt Rubinfeld	Interactive Proofs with Space Bounded Provers.	CRYPTO	1991	DBLP DOI BibTeX RDF
17	Wendy Rickard Bollentin	Campus computing newsletter editors & the network: a new role for the 1990s.	SIGUCCS	1990	DBLP DOI BibTeX RDF