Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Jin Song Dong, Ping Hao, Xian Zhang 0007, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
8	Paolo Falcarin, Riccardo Scandariato, Mario Baldi	Remote Trust with Aspect-Oriented Programming.	AINA (1)	2006	DBLP DOI BibTeX RDF
8	Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel	Automatic Visualization of Abstract System Specifications.	QSIC	2006	DBLP DOI BibTeX RDF
8	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
8	Husain Aljazzar, Stefan Leue	Extended Directed Search for Probabilistic Timed Reachability.	FORMATS	2006	DBLP DOI BibTeX RDF
8	Guillaume Duc, Ronan Keryell	CryptoPage: An Efficient Secure Architecture with Memory Encryption, Integrity and Information Leakage Protection.	ACSAC	2006	DBLP DOI BibTeX RDF
8	Miron Abramovici, Paul Bradley, Kumar N. Dwarakanath, Peter Levin, Gérard Memmi, Dave Miller	A reconfigurable design-for-debug infrastructure for SoCs.	DAC	2006	DBLP DOI BibTeX RDF	assertion-based debug, at-speed debug, what-if experiments, silicon debug
8	Wiebe van der Hoek, Alessio Lomuscio, Michael J. Wooldridge	On the complexity of practical ATL model checking.	AAMAS	2006	DBLP DOI BibTeX RDF	verification, complexity, cooperation, logic
8	Alessio Lomuscio, Franco Raimondi	The complexity of model checking concurrent programs against CTLK specifications.	AAMAS	2006	DBLP DOI BibTeX RDF	model checking multi-agent systems, complexity
8	David A. Basin, Sebastian Mödersheim, Luca Viganò 0001	OFMC: A symbolic model checker for security protocols.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Model checking, Verification, Formal methods, Constraints, Security protocols
8	Ravishankar K. Iyer, Nithin Nakka, Zbigniew Kalbarczyk, Subhasish Mitra	Recent Advances and New Avenues in Hardware-Level Reliability Support.	IEEE Micro	2005	DBLP DOI BibTeX RDF	Reliability, Error-checking, Testing and Fault-Tolerance, Redundant design
8	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen	Deviation Analysis: A New Use of Model Checking.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	model checking, robustness, deviation analysis
8	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Reduced Models for Efficient CCS Verification.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, CCS, state explosion problem
8	Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers	Model checking for E-business control and assurance.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
8	M. Wasiur Rashid, Edwin J. Tan, Michael C. Huang 0001, David H. Albonesi	Exploiting Coarse-Grain Verification Parallelism for Power-Efficient Fault Tolerance.	IEEE PACT	2005	DBLP DOI BibTeX RDF
8	Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi	Translation-based co-verification.	MEMOCODE	2005	DBLP DOI BibTeX RDF
8	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Synchronization verification in system-level design with ILP solvers.	MEMOCODE	2005	DBLP DOI BibTeX RDF
8	Yichen Xie 0001, Alexander Aiken	Saturn: A SAT-Based Tool for Bug Detection.	CAV	2005	DBLP DOI BibTeX RDF
8	Ranjit Jhala, Kenneth L. McMillan	Interpolant-Based Transition Relation Approximation.	CAV	2005	DBLP DOI BibTeX RDF
8	Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang 0007	The Semantics and Tool Support of OZTA.	ICFEM	2005	DBLP DOI BibTeX RDF	Timed Patterns, Tool and Verification, Semantics
8	Soohong P. Kim	Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors.	MTV	2005	DBLP DOI BibTeX RDF
8	Prabhat Mishra 0001, Heon-Mo Koo, Zhuo Huang	Language-driven Validation of Pipelined Processors using Satisfiability Solvers.	MTV	2005	DBLP DOI BibTeX RDF
8	Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion	Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
8	Hyoung Seok Hong, Hasan Ural	Dependence Testing: Extending Data Flow Testing with Control Dependence.	TestCom	2005	DBLP DOI BibTeX RDF
8	Jay H. Powell, Brandon M. Hauff, John D. Hastings	Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation.	ICCBR	2005	DBLP DOI BibTeX RDF
8	Fred A. Bower, Daniel J. Sorin, Sule Ozev	A Mechanism for Online Diagnosis of Hard Faults in Microprocessors.	MICRO	2005	DBLP DOI BibTeX RDF
8	Moni Naor, Guy N. Rothblum	The Complexity of Online Memory Checking.	FOCS	2005	DBLP DOI BibTeX RDF
8	Yung-Pin Cheng	Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.	SPIN	2005	DBLP DOI BibTeX RDF
8	Sarfraz Khurshid, Iván García, Yuk Lai Suen	Repairing Structurally Complex Data.	SPIN	2005	DBLP DOI BibTeX RDF
8	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
8	Bas Luttik, Nikola Trcka	Stuttering Congruence for chi.	SPIN	2005	DBLP DOI BibTeX RDF
8	Madanlal Musuvathi, David L. Dill	An Incremental Heap Canonicalization Algorithm.	SPIN	2005	DBLP DOI BibTeX RDF
8	Shang-Wei Lin 0001, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen	Model Checking Prioritized Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF	Prioritized timed automata, DBM subtraction, zone merging, zone reduction
8	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	ATVA	2005	DBLP DOI BibTeX RDF
8	Mayur Naik, Jens Palsberg	A Type System Equivalent to a Model Checker.	ESOP	2005	DBLP DOI BibTeX RDF
8	Aysu Betin-Can, Tevfik Bultan	Verifiable Web Services with Hierarchical Interfaces.	ICWS	2005	DBLP DOI BibTeX RDF
8	Wolfram Büttner	Is Formal Verification Bound to Remain a Junior Partner of Simulation?	CHARME	2005	DBLP DOI BibTeX RDF
8	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone	ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements.	iTrust	2005	DBLP DOI BibTeX RDF
8	Graeme Smith 0001, Luke Wildman	Model Checking Z Specifications Using SAL.	ZB	2005	DBLP DOI BibTeX RDF	model checking, tool support, Z, SAL
8	Petter Karlström, Teresa Cerratto Pargman, Robert Ramberg	Designing for Collaboration in Intelligent Computer Assisted Language Learning.	ICALT	2005	DBLP DOI BibTeX RDF
8	Dezhuang Zhang, Rance Cleaveland	Fast On-the-Fly Parametric Real-Time Model Checking.	RTSS	2005	DBLP DOI BibTeX RDF
8	Rolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große	SyCE: An Integrated Environment for System Design in SystemC.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
8	Stefan Schwoon, Javier Esparza	A Note on On-the-Fly Verification Algorithms.	TACAS	2005	DBLP DOI BibTeX RDF
8	Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev	Power-Balanced Self Checking Circuits for Cryptographic Chips.	IOLTS	2005	DBLP DOI BibTeX RDF
8	Koen Claessen, Hans Svensson	A semantics for distributed Erlang.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	distributed systems, verification, semantics, Erlang
8	Shahid Jabbar, Stefan Edelkamp	I/O Efficient Directed Model Checking.	VMCAI	2005	DBLP DOI BibTeX RDF
8	Antonín Kucera 0001, Jan Strejcek	Characteristic Patterns for LTL.	SOFSEM	2005	DBLP DOI BibTeX RDF
8	Hyoung Seok Hong, Insup Lee 0001, Oleg Sokolsky	Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.	SCAM	2005	DBLP DOI BibTeX RDF
8	Sergey Tverdyshev	Combination of Isabelle/HOL with Automatic Tools.	FroCoS	2005	DBLP DOI BibTeX RDF
8	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.	FroCoS	2005	DBLP DOI BibTeX RDF
8	Martijn Hendriks	Model Checking the Time to Reach Agreement.	FORMATS	2005	DBLP DOI BibTeX RDF
8	Benjamin Schwarz, Hao Chen 0003, David A. Wagner 0001, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West	Model Checking An Entire Linux Distribution for Security Violations.	ACSAC	2005	DBLP DOI BibTeX RDF
8	Vipin Swarup, Sushil Jajodia, Joseph Pamula	Rule-Based Topological Vulnerability Analysis.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
8	Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	software verifcation, locking discipline, software model checking, partial order reduction, escape analysis
8	Leona F. Fass	Approximations, anomalies and "the proof of correctness wars".	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	model checking, verification, testing, formal methods, specification
8	Dominik Stoffel, Wolfgang Kunz	Equivalence checking of arithmetic circuits on the arithmetic bit level.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
8	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
8	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Probabilistic symbolic model checking with PRISM: a hybrid approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Binary decision diagrams, Symbolic model checking, Probabilistic model checking
8	Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner 0002, Lothar Wendehals, Albert Zündorf	Tool integration at the meta-model level: the Fujaba approach.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tool coupling, Meta-Model Extension, Meta-Model Integration, Consistency, Patterns
8	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Covering sharing trees: a compact data structure for parameterized verification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems
8	Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe 0001	Games with Uniqueness Properties.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
8	Till Tantau	Comparing Verboseness for Finite Automata and Turing Machines.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
8	Henning Dierks	Comparing model checking and logical reasoning for real-time systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Real-time, Timed Automata, Duration Calculus
8	Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel	Enforcing System-Wide Properties.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
8	Christoph Lüth, Markus Roggenbach, Lutz Schröder	CCC - The Casl Consistency Checker.	WADT	2004	DBLP DOI BibTeX RDF
8	Mats Per Erik Heimdahl, George Devaraj, Robert Weber	Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?	HASE	2004	DBLP DOI BibTeX RDF
8	Christie Bolton, Gavin Lowe	Analyses of the Reverse Path Forwarding Routing Algorithm.	DSN	2004	DBLP DOI BibTeX RDF
8	Vladimir Levin	Static driver verifier, a formal verification tool for Windows device drivers.	MEMOCODE	2004	DBLP DOI BibTeX RDF
8	Nathan Whitehead, Martín Abadi	BCiC: A System for Code Authentication and Verification.	LPAR	2004	DBLP DOI BibTeX RDF
8	Alex Groce, Daniel Kroening, Flavio Lerda	Understanding Counterexamples with explain.	CAV	2004	DBLP DOI BibTeX RDF
8	Li Tan	PlayGame: A Platform for Diagnostic Games.	CAV	2004	DBLP DOI BibTeX RDF
8	Xiang Fu 0001, Tevfik Bultan, Jianwen Su	WSAT: A Tool for Formal Analysis of Web Services.	CAV	2004	DBLP DOI BibTeX RDF
8	Constantinos Bartzis, Tevfik Bultan	Widening Arithmetic Automata.	CAV	2004	DBLP DOI BibTeX RDF
8	Daniel Kroening, Alex Groce, Edmund M. Clarke	Counterexample Guided Abstraction Refinement Via Program Execution.	ICFEM	2004	DBLP DOI BibTeX RDF
8	Mark Litterick, Joachim Geishauser	Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments.	MTV	2004	DBLP DOI BibTeX RDF
8	Athanasios Kakarountas, Vassilis Spiliotopoulos, Spiridon Nikolaidis 0001, Constantinos E. Goutis	The Impact of Low-Power Techniques on the Design of Portable Safety-Critical Systems.	PATMOS	2004	DBLP DOI BibTeX RDF
8	Sotirios Matakias, Y. Tsiatouhas, Th. Haniotakis, Angela Arapoyanni	Ultra Fast and Low Cost Parallel Two-Rail Code Checker Targeting High Fan-In Applications .	ISVLSI	2004	DBLP DOI BibTeX RDF
8	K. Rustan M. Leino	Challenges in Increasing Tool Support for Programming.	ICTAC	2004	DBLP DOI BibTeX RDF
8	Stacey Shogan, Bruce R. Childers	Compact Binaries with Code Compression in a Software Dynamic Translator.	DATE	2004	DBLP DOI BibTeX RDF
8	Pedro R. D'Argenio, Peter Niebert	Partial Order Reduction on Concurrent Probabilistic Programs.	QEST	2004	DBLP DOI BibTeX RDF
8	Magali Contensin, Laurence Pierre	Model-Checking Systems with Unbounded Variables without Abstraction.	AMAST	2004	DBLP DOI BibTeX RDF
8	Bettina Buth	Analysing Mode Confusion: An Approach Using FDR2.	SAFECOMP	2004	DBLP DOI BibTeX RDF
8	Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff	A Case Study in Domain-Customized Model Checking for Real-Time Component Software.	ISoLA	2004	DBLP DOI BibTeX RDF
8	Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo	A Temporal Assertion Extension to Verilog.	ATVA	2004	DBLP DOI BibTeX RDF	temporal assertion, verification, PSL
8	Te-Chang Lee, Pao-Ann Hsiung	Mutation Coverage Estimation for Model Checking.	ATVA	2004	DBLP DOI BibTeX RDF
8	Fang Yu 0001, Bow-Yaw Wang	Toward Unbounded Model Checking for Region Automata.	ATVA	2004	DBLP DOI BibTeX RDF	Region automata, Real-time systems, Model checking, Verification, Induction, BMC
8	Claudio de la Riva, Javier Tuya	Modular Model Checking of Software Specifications with Simultaneous Environment Generation.	ATVA	2004	DBLP DOI BibTeX RDF
8	Lucian Wischik, Philippa Gardner	Strong Bisimulation for the Explicit Fusion Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
8	Tobias Lindahl, Konstantinos Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
8	Gergely Pintér, István Majzik	Modeling and Analysis of Exception Handling by Using UML Statecharts.	FIDJI	2004	DBLP DOI BibTeX RDF	model checking, UML, formal methods, Exception handling
8	Nathan R. Sturtevant	Current Challenges in Multi-player Game Search.	Computers and Games	2004	DBLP DOI BibTeX RDF
8	Chrilly Donninger, Alex Kure, Ulf Lorenz	Parallel Brutus: The First Distributed, FPGA Accelerated Chess Program.	IPDPS	2004	DBLP DOI BibTeX RDF
8	Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue	Heuristic-guided counterexample search in FLAVERS.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	FLAVERS, heuristic search, counterexamples
8	Davide D'Aprile, Susanna Donatelli, Jeremy Sproston	CSL Model Checking for the GreatSPN Tool.	ISCIS	2004	DBLP DOI BibTeX RDF
8	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
8	Per Bjesse, Arne Borälv	DAG-aware circuit compression for formal verification.	ICCAD	2004	DBLP DOI BibTeX RDF
8	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
8	S. N. I. Mount, Robert M. Newman, R. J. Low, Alan Mycroft	Exstatic: a generic static checker applied to documentation systems.	SIGDOC	2004	DBLP DOI BibTeX RDF	docstrings, exstatic, standards, static checking, javadoc
8	Dávid Bálya, István Petrás, Csaba Rekeczky	Pattern formation on the prototype complex-cell CNN-UM chip (CACE1K).	ISCAS (3)	2004	DBLP DOI BibTeX RDF
8	Berndt Farwer, Michael Leuschel	Model checking object petri nets in prolog.	PPDP	2004	DBLP DOI BibTeX RDF	model checking, compilation, animation, prolog, object petri nets