Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Patricia A. Carlson	Artificial neural networks as cognitive tools for professional writing.	SIGDOC	1990	DBLP DOI BibTeX RDF
8	Sagi Ben-Moshe, Yaron Kanza, Eldar Fischer, Arie Matsliah, Mani Fischer, Carl Staelin	Detecting and exploiting near-sortedness for efficient relational query evaluation.	ICDT	2011	DBLP DOI BibTeX RDF
8	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
8	Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl	Exhaustive testing of safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	SCJ, model checking, real-time Java, Java PathFinder
8	Lucas C. Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
8	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
8	Hana Chockler, Ofer Strichman	Before and after vacuity.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Vacuity, Model-checking, Complexity
8	Moni Naor, Guy N. Rothblum	The complexity of online memory checking.	J. ACM	2009	DBLP DOI BibTeX RDF	Memory checking, authentication
8	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
8	Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002	Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
8	Eleanor T. Loiacono, Nicholas C. Romano Jr., Scott McCoy	The state of corporate website accessibility.	Commun. ACM	2009	DBLP DOI BibTeX RDF
8	Sujit Kumar Chakrabarti, Srihari Sukumaran	Using spreadsheets for finite state modelling.	ISEC	2009	DBLP DOI BibTeX RDF	finite state machines, spreadsheets, sal
8	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001	INFAMY: An Infinite-State Markov Model Checker.	CAV	2009	DBLP DOI BibTeX RDF
8	Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening	Symbolic Counter Abstraction for Concurrent Software.	CAV	2009	DBLP DOI BibTeX RDF
8	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pang 0001	PAT: Towards Flexible Verification under Fairness.	CAV	2009	DBLP DOI BibTeX RDF
8	Paulo J. Matos, Bernd Fischer 0002, João Marques-Silva 0001	A Lazy Unbounded Model Checker for Event-B.	ICFEM	2009	DBLP DOI BibTeX RDF
8	Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li	Model Checking Coalition Nash Equilibria in MAD Distributed Systems.	SSS	2009	DBLP DOI BibTeX RDF
8	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
8	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
8	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
8	Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee 0001	DMaC: Distributed Monitoring and Checking.	RV	2009	DBLP DOI BibTeX RDF
8	Xavier Blanc 0001, Alix Mougenot, Isabelle Mounier, Tom Mens	Incremental Detection of Model Inconsistencies Based on Model Operations.	CAiSE	2009	DBLP DOI BibTeX RDF
8	Volker Gruhn, Ralf Laue 0001	A Heuristic Method for Business Process Model Evaluation.	CIAO! / EOMAS	2009	DBLP DOI BibTeX RDF
8	Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim	Efficient large-scale model checking.	IPDPS	2009	DBLP DOI BibTeX RDF
8	Pavel Parízek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
8	Viet Yen Nguyen, Theo C. Ruys	Memoised Garbage Collection for Software Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
8	Ji Zhang, Heather Goldsby, Betty H. C. Cheng	Modular verification of dynamically adaptive systems.	AOSD	2009	DBLP DOI BibTeX RDF	global invariants, modular model checking, reliability, verification, formal specification, autonomic computing, dynamic adaptation
8	Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham	Assume-guarantee validation for STE properties within an SVA environment.	FMCAD	2009	DBLP DOI BibTeX RDF
8	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
8	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
8	Matthias Woehrle, Kai Lampka, Lothar Thiele	Exploiting Timed Automata for Conformance Testing of Power Measurements.	FORMATS	2009	DBLP DOI BibTeX RDF
8	Hong Pan, Yi Lv, Huimin Lin	Environment Abstraction with State Clustering and Parameter Truncating.	TASE	2009	DBLP DOI BibTeX RDF
8	Marie-Noëlle Terrasse, Marinette Savonnet, Éric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison	Constraint Management in Engineering of Complex Information Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
8	Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg	Beyond verification: leveraging formal for debugging.	DAC	2009	DBLP DOI BibTeX RDF	behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification
8	Michael H. Bowling, Nicholas Abou Risk, Nolan Bard, Darse Billings, Neil Burch, Joshua Davidson, John Alexander Hawkin, Robert Holte, Michael Johanson, Morgan Kan, Bryce Paradis, Jonathan Schaeffer, David Schnizlein, Duane Szafron, Kevin Waugh, Martin Zinkevich	A demonstration of the Polaris poker system.	AAMAS (2)	2009	DBLP BibTeX RDF
8	Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja	MMV: A Metamodeling Based Microprocessor Validation Environment.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
8	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
8	Sotirios Matakias, Yiorgos Tsiatouhas, Themistoklis Haniotakis, Angela Arapoyanni	A Current Mode, Parallel, Two-Rail Code Checker.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
8	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
8	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
8	Guillaume Duc, Ronan Keryell	Improving virus protection with an efficient secure architecture with memory encryption, integrity and information leakage protection.	J. Comput. Virol.	2008	DBLP DOI BibTeX RDF
8	Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer	Using communication coverage criteria and partial model generation to assist software integration testing.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria
8	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
8	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
8	Arnab De, Abhik Roychoudhury, Deepak D'Souza	Java memory model aware software validation.	PASTE	2008	DBLP DOI BibTeX RDF
8	Subash Shankar, Masahiro Fujita	Rule-Based Approaches for Equivalence Checking of SpecC Programs.	MEMOCODE	2008	DBLP DOI BibTeX RDF
8	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
8	Johannes Kinder, Helmut Veith	Jakstab: A Static Analysis Platform for Binaries.	CAV	2008	DBLP DOI BibTeX RDF
8	Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh 0002, Swarup Mohalik, K. C. Shashidhar	AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.	CAV	2008	DBLP DOI BibTeX RDF
8	Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith	FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.	CAV	2008	DBLP DOI BibTeX RDF
8	Gul Muhammad Khan, Julian Francis Miller, David M. Halliday	Breaking the Synaptic Dogma: Evolving a Neuro-inspired Developmental Network.	SEAL	2008	DBLP DOI BibTeX RDF
8	Rastislav Bodík	Software synthesis with sketching.	PEPM	2008	DBLP DOI BibTeX RDF	synthesis
8	Shaun K. Kane, Jacob O. Wobbrock, Mark Harniss, Kurt L. Johnson	TrueKeys: identifying and correcting typing errors for people with motor impairments.	IUI	2008	DBLP DOI BibTeX RDF	minimum string distance, error correction, motor impairments, typing errors, computer access, spell checking
8	Hidenori Matsubayashi, Shinsuke Nino, Toru Aramaki, Yuichiro Shibata, Kiyoshi Oguri	Retrieving 3-d information with FPGA-based stream processing.	FPGA	2008	DBLP DOI BibTeX RDF	template matching, stream processing, stereo matching
8	Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier	Towards verification and testing of Java programs.	SAC	2008	DBLP DOI BibTeX RDF	program verification, java programs, object-oriented testing
8	M. V. Arkhipova, Sergey V. Zelenov	Directed Generation of Test Data for Static Semantics Checker.	ISoLA	2008	DBLP DOI BibTeX RDF	context condition, grammar, specification based testing, static semantics, Automated test data generation
8	Stephen A. Fenner, Yong Zhang 0053	On the Complexity of the Hidden Subgroup Problem.	TAMC	2008	DBLP DOI BibTeX RDF
8	Sami Evangelista	Dynamic Delayed Duplicate Detection for External Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
8	Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001	Generating Compact MTBDD-Representations from ProbmelaSpecifications.	SPIN	2008	DBLP DOI BibTeX RDF
8	Viet Yen Nguyen, Theo C. Ruys	Incremental Hashing for Spin.	SPIN	2008	DBLP DOI BibTeX RDF
8	José Meseguer 0001	The Temporal Logic of Rewriting: A Gentle Introduction.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
8	Cerstin Mahlow, Michael Piotrowski	Linguistic Support for Revising and Editing.	CICLing	2008	DBLP DOI BibTeX RDF
8	Lajos Jeno Fülöp, Péter Hegedüs, Rudolf Ferenc, Tibor Gyimóthy	Towards a Benchmark for Evaluating Reverse Engineering Tools.	WCRE	2008	DBLP DOI BibTeX RDF
8	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
8	Ales Plsek, Jirí Adámek	Carmen: Software Component Model Checker.	QoSA	2008	DBLP DOI BibTeX RDF
8	Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam	Verification Framework for Detecting Safety Violations in UML Statecharts.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Model Checking, Verification, UML Statecharts
8	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
8	Kazuki Yoshizoe	A New Proof-Number Calculation Technique for Proof-Number Search.	Computers and Games	2008	DBLP DOI BibTeX RDF
8	Joanna Golinska-Pilarek, Ángel Mora 0001, Emilio Muñoz-Velasco	An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.	PRICAI	2008	DBLP DOI BibTeX RDF
8	María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
8	Ahmed Awad 0001, Gero Decker, Mathias Weske	Efficient Compliance Checking Using BPMN-Q and Temporal Logic.	BPM	2008	DBLP DOI BibTeX RDF
8	Mary Ellen Fuess, Miriam Leeser, Tim Leonard	An FPGA Implementation of Explicit-State Model Checking.	FCCM	2008	DBLP DOI BibTeX RDF
8	Min Jiang 0005, Changle Zhou, Guoqing Wu, Fan Zhang	A CSP-Based Approach for Solving Parity Game.	FAW	2008	DBLP DOI BibTeX RDF
8	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
8	Steven P. Miller	Formal Methods for Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF
8	John Derrick, Siobhán North, Anthony J. H. Simons	Z2SAL - Building a Model Checker for Z.	ABZ	2008	DBLP DOI BibTeX RDF	model-checking, Z, SAL
8	Enrique Alba 0001, Francisco Chicano	Searching for liveness property violations in concurrent systems with ACO.	GECCO	2008	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties
8	Richard Atterer	Model-based automatic usability validation: a tool concept for improving web-based UIs.	NordiCHI	2008	DBLP DOI BibTeX RDF	automated validation, usability model, accessibility, web engineering, web usability
8	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
8	Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar	Testing for buffer overflows with length abstraction.	ISSTA	2008	DBLP DOI BibTeX RDF	length abstractions, underapproximation, buffer overflows, testing c programs, directed testing
8	Cheng-Hung Lin, Chun-Yu Chen, An-Yeu Wu	Low-power traceback MAP decoding for double-binary convolutional turbo decoder.	ISCAS	2008	DBLP DOI BibTeX RDF
8	Michael Leuschel	Declarative programming for verification: lessons and outlook.	PPDP	2008	DBLP DOI BibTeX RDF	model checking, verification, formal methods, animation, logic programming
8	Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip	Model Restarts for Structural Symmetry Breaking.	CP	2008	DBLP DOI BibTeX RDF
8	Wenbin Luo, Gregory L. Heileman	Exponential Hashing in Finite Fields.	EUC (2)	2008	DBLP DOI BibTeX RDF
8	Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig	Automatic generation of systemc models from component-based designs for early design validation and performance analysis.	WOSP	2008	DBLP DOI BibTeX RDF	cola, simulation, code generation, systemc
8	Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry	Verification of a Hierarchical Generic Mutual Exclusion Algorithm.	FORTE	2008	DBLP DOI BibTeX RDF	model checking, grid computing, distributed algorithm, composition, mutual exclusion, colored Petri nets
8	Qiang Guo 0001, John Derrick, Csaba Hoch	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.	FORTE	2008	DBLP DOI BibTeX RDF	Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
8	Jacek Mandziuk	Some thoughts on using Computational Intelligence methods in classical mind board games.	IJCNN	2008	DBLP DOI BibTeX RDF
8	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.	IFIP TCS	2008	DBLP DOI BibTeX RDF
8	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan 0001	Incremental state-space exploration for programs with dynamically allocated data.	ICSE	2008	DBLP DOI BibTeX RDF	jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
8	Jorge Lobo 0001, Vasileios Pappas	C2: The Case for a Network Configuration Checking Language.	POLICY	2008	DBLP DOI BibTeX RDF	configuration errors, validation, network management
8	Holger Krahn, Bernhard Rumpe, Steven Völkel	MontiCore: Modular Development of Textual Domain Specific Languages.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
8	Peter Lacko, Vladimir Kvasnicka	Mixture of Expert Used to Learn Game Play.	ICANN (1)	2008	DBLP DOI BibTeX RDF
8	David Lo 0001	Mining specifications in diversified formats from execution traces.	ICSM	2008	DBLP DOI BibTeX RDF
8	Erik D. Demaine, Robert A. Hearn	Constraint Logic: A Uniform Framework for Modeling Computation as Games.	CCC	2008	DBLP DOI BibTeX RDF	games, undecidability, hardness
8	Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla	Leveraging sequential equivalence checking to enable system-level to RTL flows.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, high-level synthesis, equivalence checking, system-level models, RTL models
8	Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat 0001	Ladder Metamodeling and PLC Program Validation through Time Petri Nets.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
8	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
8	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
8	Yunja Choi	From NuSMV to SPIN: Experiences with model checking flight guidance systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Flight guidance systems, Model checking, SPIN, NuSMV