Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Thuan Quang Huynh, Abhik Roychoudhury	Memory model sensitive bytecode verification.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Programming language memory models, Software model checking, Bytecode verification
8	Fred A. Bower, Daniel J. Sorin, Sule Ozev	Online diagnosis of hard faults in microprocessors.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	Hard fault tolerance, fine-grained diagnosis, processor microarchitecture
8	Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham	Improved verification of hardware designs through antecedent conditioned slicing.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	LTL property, Antecedent conditioned slicing, Verilog RTL, Model checking, Program slicing, Hardware description languages, Hardware verification
8	Marsha Chechik, Arie Gurfinkel	A framework for counterexample generation and exploration.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
8	Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach	Static validation of XSL transformations.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, XML Schema, XSLT, DTD
8	Kyung-Joong Kim 0001, Sung-Bae Cho	Evolutionary Algorithms for Board Game Players with Domain Knowledge.	Advanced Intelligent Paradigms in Computer Games	2007	DBLP DOI BibTeX RDF
8	Philipp Bouillon, Jens Krinke, Nils Meyer, Friedrich Steimann	EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors.	XP	2007	DBLP DOI BibTeX RDF
8	Eduardo Rafael López Ruiz	Methodology for Evaluating Aeronautical Regulations using Formal Specifications.	HASE	2007	DBLP DOI BibTeX RDF
8	Dirk Kleeblatt	Checking Dependent Types Using Compiled Code.	IFL	2007	DBLP DOI BibTeX RDF
8	Michael T. Goodrich, Jonathan Z. Sun	Checking Value-Sensitive Data Structures in Sublinear Space.	ISAAC	2007	DBLP DOI BibTeX RDF
8	Fabrice Kordon	Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems.	ISORC	2007	DBLP DOI BibTeX RDF
8	Hana Chockler, Ofer Strichman	Easier and More Informative Vacuity Checks.	MEMOCODE	2007	DBLP DOI BibTeX RDF
8	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.	CAV	2007	DBLP DOI BibTeX RDF
8	Ranjit Jhala, Kenneth L. McMillan	Array Abstractions from Proofs.	CAV	2007	DBLP DOI BibTeX RDF
8	Jin Song Dong, Yuzhang Feng, Ho-fung Leung	A Verification Framework for Agent Knowledge.	ICFEM	2007	DBLP DOI BibTeX RDF
8	Jean-Raymond Abrial	A System Development Process with Event-B and the Rodin Platform.	ICFEM	2007	DBLP DOI BibTeX RDF
8	Natasha Sharygina, Daniel Kröning	Model Checking with Abstraction for Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
8	Akshat Kumar, Shivashankar B. Nair	An Artificial Immune System Based Approach for English Grammar Checking.	ICARIS	2007	DBLP DOI BibTeX RDF
8	Constantin Enea, Catalin Dima	Abstractions of Multi-agent Systems.	CEEMAS	2007	DBLP DOI BibTeX RDF
8	Julia M. B. Braman, Richard M. Murray, David A. Wagner 0002	Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.	IROS	2007	DBLP DOI BibTeX RDF
8	Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002	Model checking the probabilistic pi-calculus.	QEST	2007	DBLP DOI BibTeX RDF
8	Tim vor der Brück, Sven Hartrumpf	A Readability Checker Based on Deep Semantic Indicators.	LTC	2007	DBLP DOI BibTeX RDF	indicator weights, semantics, linear regression, readability, understandability, linear optimization
8	Albert Meixner, Daniel J. Sorin	Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures.	HPCA	2007	DBLP DOI BibTeX RDF
8	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis	Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.	SAFECOMP	2007	DBLP DOI BibTeX RDF	intrusion attacks, e-commerce protocols, model checking, SPIN
8	Matthew Chu, Sampath Kannan, Andrew McGregor 0001	Checking and Spot-Checking the Correctness of Priority Queues.	ICALP	2007	DBLP DOI BibTeX RDF
8	Kristin Y. Rozier, Moshe Y. Vardi	LTL Satisfiability Checking.	SPIN	2007	DBLP DOI BibTeX RDF
8	Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz, Lu Yang	Harnessing rCOS for Tool Support - The CoCoME Experience.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	tool design, formal methods, software process, Software development tool
8	Atsushi Hasegawa	Recent Trend in Industry and Expectation to DA Research.	ATVA	2007	DBLP DOI BibTeX RDF
8	Tingting Han 0001, Joost-Pieter Katoen	Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.	ATVA	2007	DBLP DOI BibTeX RDF
8	Indranil Saha, Janardan Misra, Suman Roy 0001	Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.	ATVA	2007	DBLP DOI BibTeX RDF
8	Fan Bao, Yankui Sun, Xiaolin Tian 0001, Zesheng Tang	3D Head Reconstruction and Color Visualization of Chinese Visible Human.	MIMI	2007	DBLP DOI BibTeX RDF	Human Visualization, Chinese Visible Human, Segmentation, Homogenization, Color Correction
8	Yongyan Zheng, Jiong Zhou, Paul Krause	A Model Checking based Test Case Generation Framework forWeb Services.	ITNG	2007	DBLP DOI BibTeX RDF
8	Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen	Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization.	FMICS	2007	DBLP DOI BibTeX RDF	simulation, verification, theorem proving, PVS, cyclic scheduling
8	Nicholas Nethercote, Julian Seward	Valgrind: a framework for heavyweight dynamic binary instrumentation.	PLDI	2007	DBLP DOI BibTeX RDF	Memcheck, Valgrind, dynamic binary analysis, dynamic binary instrumentation, shadow values
8	Enrique Alba 0001, Francisco Chicano	Finding safety errors with ACO.	GECCO	2007	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN
8	Zoë R. Stephenson, John A. McDermid	Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns.	SEW	2007	DBLP DOI BibTeX RDF
8	Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie	The MOBIUS Proof Carrying Code Infrastructure.	FMCO	2007	DBLP DOI BibTeX RDF
8	Jean-François Couchot, Frédéric Dadeau	Guiding the Correction of Parameterized Specifications.	IFM	2007	DBLP DOI BibTeX RDF
8	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	VCEGAR: Verilog CounterExample Guided Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF
8	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
8	Yongyan Zheng, Jiong Zhou, Paul Krause	Analysis of BPEL Data Dependencies.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
8	Dimitrios P. Lyras, Kyriakos N. Sgarbas, Nikolaos D. Fakotakis	Using the Levenshtein Edit Distance for Automatic Lemmatization: A Case Study for Modern Greek and English.	ICTAI (2)	2007	DBLP DOI BibTeX RDF
8	Enrique Alba 0001, Francisco Chicano	Ant Colony Optimization for Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
8	Weidong Kuang, Casto Manuel Ibarra, Peiyi Zhao	Soft Error Hardening for Asynchronous Circuits.	DFT	2007	DBLP DOI BibTeX RDF
8	Luciano Baresi, Carlo Ghezzi, Luca Mottola	On Accurate Automatic Verification of Publish-Subscribe Architectures.	ICSE	2007	DBLP DOI BibTeX RDF
8	Ali Taleghani	Using Software Model Checking for Software Component Certification.	ICSE Companion	2007	DBLP DOI BibTeX RDF
8	Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare	Parallel Randomized State-Space Search.	ICSE	2007	DBLP DOI BibTeX RDF
8	Gordon Fraser 0001, Franz Wotawa	Nondeterministic Testing with Linear Model-Checker Counterexamples.	QSIC	2007	DBLP DOI BibTeX RDF
8	Malay K. Ganai, Akira Mukaiyama, Aarti Gupta, Kazutoshi Wakabayashi	Synthesizing "Verification Aware" Models: Why and How?	VLSI Design	2007	DBLP DOI BibTeX RDF
8	Rodolfo Gómez 0001, Howard Bowman	Efficient Detection of Zeno Runs in Timed Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	Zeno Runs, Model-checking, Timed Automata, Uppaal
8	Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch	Model Checking Software at Compile Time.	TASE	2007	DBLP DOI BibTeX RDF
8	Cyrille Artho, Christian Sommer 0001, Shinichi Honiden	Model Checking Networked Programs in the Presence of Transmission Failures.	TASE	2007	DBLP DOI BibTeX RDF
8	Naiyong Jin, Chengjie Shen	Dynamic Verifying The Properties of The Simple Subset of PSL.	TASE	2007	DBLP DOI BibTeX RDF
8	Hongwei Zeng, Huaikou Miao, Jing Liu	Specification-based Test Generation and Optimization Using Model Checking.	TASE	2007	DBLP DOI BibTeX RDF
8	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Verifying Multi-agent Programs by Model Checking.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
8	Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik	Dealing with practical limitations of distributed timed model checking for timed automata.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed timed model checking, Kronos, Load-balance, Reconfiguration, Timed automata, Reachability, Redistribution, Zeus, DBM
8	Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer	Achieving communication coverage in testing.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	timed state-based specifications, distributed systems, conformance testing, coverage criteria
8	Graeme Smith 0001, John Derrick	Verifying data refinements using a model checker.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	State-based specifications, Z Refinement, Downward and upward simulations, Model checking, CTL
8	Howard Bowman, Rodolfo Gómez 0001	How to stop time stopping.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Zeno-timelocks, Non-zenoness conditions, Model checking, Timed automata
8	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Terminator: Beyond Safety.	CAV	2006	DBLP DOI BibTeX RDF
8	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	CAV	2006	DBLP DOI BibTeX RDF
8	Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang 0007	Verification of Computation Orchestration Via Timed Automata.	ICFEM	2006	DBLP DOI BibTeX RDF
8	Peter Lamborn, Michael D. Jones	January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior.	PPSN	2006	DBLP DOI BibTeX RDF
8	Ulf Lorenz, Tobias Tscheuschner	Player Modeling, Search Algorithms and Strategies in Multi-player Games.	ACG	2006	DBLP DOI BibTeX RDF
8	Yngvi Björnsson, Jonathan Schaeffer, Nathan R. Sturtevant	Partial Information Endgame Databases.	ACG	2006	DBLP DOI BibTeX RDF
8	Chris Andreae, James Noble 0001, Shane Markstrum, Todd D. Millstein	A framework for implementing pluggable type systems.	OOPSLA	2006	DBLP DOI BibTeX RDF	JavaCOP, pluggable type systems
8	Paul T. Darga, Chandrasekhar Boyapati	Efficient software model checking of data structure properties.	OOPSLA	2006	DBLP DOI BibTeX RDF	program analysis, software model checking
8	Chin-Woo Cho, Yoon-Hwa Choi	Concurrent Diagnosis of Clustered Sensor Networks.	Networking	2006	DBLP DOI BibTeX RDF
8	Joost-Pieter Katoen, Ivan S. Zapreev	Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.	QEST	2006	DBLP DOI BibTeX RDF
8	Alessio Lomuscio, Franco Raimondi	The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.	DALT	2006	DBLP DOI BibTeX RDF
8	Meine van der Meulen, Miguel A. Revilla	Experiences with the Design of a Run-Time Check.	SAFECOMP	2006	DBLP DOI BibTeX RDF
8	Joseph Kiniry	Program Safety via Programmer Safety.	ISoLA	2006	DBLP DOI BibTeX RDF
8	Zhiming Liu 0001, Vladimir Mencl, Anders P. Ravn, Lu Yang	Harnessing Theories for Tool Support.	ISoLA	2006	DBLP DOI BibTeX RDF
8	Dipankar Das 0002, Rajeev Kumar 0004, P. P. Chakrabarti 0001	Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications.	APSEC	2006	DBLP DOI BibTeX RDF
8	Thuan Quang Huynh, Abhik Roychoudhury	A Memory Model Sensitive Checker for C#.	FM	2006	DBLP DOI BibTeX RDF
8	Jay-Evan J. Tevis, John A. Hamilton Jr.	Static analysis of anomalies and security vulnerabilities in executable files.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	PE format, executable file, software security vulnerabilities, static analysis
8	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
8	Pao-Ann Hsiung, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao	Model Checking Timed Systems with Urgencies.	ATVA	2006	DBLP DOI BibTeX RDF
8	Frédéric Besson	Fast Reflexive Arithmetic Tactics the Linear Case and Beyond.	TYPES	2006	DBLP DOI BibTeX RDF
8	Carl G. Looney	Intelligent Battle Gaming Pragmatics with Belief Network Trees.	CIG	2006	DBLP DOI BibTeX RDF
8	Alain Frisch	OCaml + XDuce.	ICFP	2006	DBLP DOI BibTeX RDF	CDuce, XDuce, regular expression types, XML, type inference, OCaml
8	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
8	Jan-Willem Roorda, Koen Claessen	Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.	CSR	2006	DBLP DOI BibTeX RDF
8	Arindam Chakrabarti, Patrice Godefroid	Software partitioning for effective automated unit testing.	EMSOFT	2006	DBLP DOI BibTeX RDF	software testing and model checking, interfaces, program verification, compositional analysis
8	Koen Claessen, Jan-Willem Roorda	An Introduction to Symbolic Trajectory Evaluation.	SFM	2006	DBLP DOI BibTeX RDF
8	Hossein M. Sheini, Karem A. Sakallah	SMT(CLU): a step toward scalability in system verification.	ICCAD	2006	DBLP DOI BibTeX RDF
8	David von Oheimb, Jorge Cuéllar	Designing and Verifying Core Protocols for Location Privacy.	ISC	2006	DBLP DOI BibTeX RDF	Geopriv, privacy, model checking, exploration, location information
8	Emil Marais, Ursula Minnaar, David Argles	Plagiarism in e-Learning Systems: Identifying and Solving the Problem for Practical Assignments.	ICALT	2006	DBLP DOI BibTeX RDF
8	David A. Cape, Bruce M. McMillin, James K. Townsend	Model Checking Control Communication of a FACTS Device.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	lossy, model-checking, communication, verification, real-time, protocol, control, FACTS
8	Katell Morin-Allory, Laurent Fesquet, Dominique Borrione	Asynchronous Assertion Monitors for multi-Clock Domain System Verification.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
8	Alessio Lomuscio, Franco Raimondi	MCMAS: A Model Checker for Multi-agent Systems.	TACAS	2006	DBLP DOI BibTeX RDF
8	Geoffrey M. Brown, Lee Pike	Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.	TACAS	2006	DBLP DOI BibTeX RDF
8	Ranjit Jhala, Kenneth L. McMillan	A Practical and Complete Approach to Predicate Refinement.	TACAS	2006	DBLP DOI BibTeX RDF
8	Eugen-Nicolae Volanschi	Condate: a proto-language at the confluence between checking and compiling.	PPDP	2006	DBLP DOI BibTeX RDF	compilers, customization, declarative languages, program checking
8	Miguel Garcia	Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	EJB3QL, Metamodel, OCL, Static semantics
8	Daniel S. Heller, Meinolf Sellmann	Dynamic Symmetry Breaking Restarted.	CP	2006	DBLP DOI BibTeX RDF
8	Cyrille Artho, Pierre-Loïc Garoche	Accurate Centralization for Applying Model Checking on Networked Applications.	ASE	2006	DBLP DOI BibTeX RDF
8	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.	ESORICS	2006	DBLP DOI BibTeX RDF
8	Sven Jörges, Tiziana Margaria, Bernhard Steffen	FormulaBuilder: a tool for graph-based modelling and generation of formulae.	ICSE	2006	DBLP DOI BibTeX RDF	formula generation, property specification, specification patterns
8	Felix Sheng-Ho Chang, Daniel Jackson 0001	Symbolic model checking of declarative relational models.	ICSE	2006	DBLP DOI BibTeX RDF	software model checking, computation tree logic