|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12246 occurrences of 3747 keywords
|
|
|
Results
Found 21094 publication records. Showing 21094 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Michele Favalli, Cecilia Metra |
Low-level error recovery mechanism for self-checking sequential circuits. |
DFT |
1997 |
DBLP DOI BibTeX RDF |
low-level error recovery mechanism, self-checking sequential circuits, reliability requirements, small embedded systems, sequential circuits, design methodology, transient faults, delay faults, fault tolerant capabilities, crosstalk faults |
21 | Daniel P. McReynolds, David G. Lowe |
Rigidity Checking of 3D Point Correspondences Under Perspective Projection. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
Rigidity checking, nonlinear parameter estimation, image matching, structure-from-motion, perspective projection, point correspondences |
21 | Orna Grumberg, David E. Long |
Model Checking and Modular Verification. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
Moore machines, model checking, formal verification, temporal logics, CTL, computer-aided verification |
21 | Joanne M. Atlee, John D. Gannon |
State-Based Model Checking of Event-Driven System Requirements. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements |
21 | Robert E. Strom, Daniel M. Yellin |
Extending Typestate Checking Using Conditional Liveness Analysis. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
typestate checking, conditional liveness analysis, uninitialized variable errors, dataflow analysis algorithm, statically tracked information, program verification, program verification, programming errors |
21 | David K. Probst, Hon Fung Li |
Partial-Order Model Checking: A Guide for the Perplexed. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
delay-insensitive system, partial-order representation, recurrence structure, model checking, state explosion, state encoding |
21 | Kok-Phuang Tan, T. C. Tan |
An Improved Join Dependency for Efficient Constraint Checking. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
Database design, join dependency, constraint checking |
21 | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski |
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Radek Pelánek, Václav Rosecký |
EMMA: Explicit Model Checking Manager (Tool Presentation). |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001 |
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
21 | E. Allen Emerson |
Model Checking: Progress and Problems. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Aarti Gupta |
Model Checking Concurrent Programs. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar |
Survey on Directed Model Checking. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang 0013, Robert M. Kirby, Ganesh Gopalakrishnan |
Parallel and Distributed Model Checking in Eddy. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Harmen Kastenberg, Arend Rensink |
Model Checking Dynamic States in GROOVE. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti |
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Håkan L. S. Younes |
Error Control for Probabilistic Model Checking. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Venkatesh Mysore, Carla Piazza, Bud Mishra |
Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Anil Madhavapeddy, David J. Scott, Richard Sharp |
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Eric Mercer, Michael D. Jones |
Model Checking Machine Code with the GNU Debugger. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | A. Prasad Sistla, Min Zhou, Xiaodong Wang |
Model Checking of Systems Employing Commutative Functions. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dawson R. Engler, Madanlal Musuvathi |
Static Analysis versus Software Model Checking for Bug Finding. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
21 | John Hatcliff, Robby, Matthew B. Dwyer |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet |
Approximate Probabilistic Model Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Dragan Bosnacki |
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner |
A Methodology for Model-Checking Ad-hoc Networks. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Podelski |
Software Model Checking with Abstraction Refinement. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Dennis Dams, Kedar S. Namjoshi |
Shape Analysis through Predicate Abstraction and Model Checking. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Amir Pnueli, Lenore D. Zuck |
Model-Checking and Abstraction to the Aid of Parameterized Systems. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka |
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
21 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga |
Bytecode Model Checking: An Experimental Analysis. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Radu Iosif |
Symmetry Reduction Criteria for Software Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Natalia Sidorova, Martin Steffen |
Synchronous Closing of Timed SDL Systems for Model Checking. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Alessandro Cimatti, Marco Pistore, Marco Roveri, Roberto Sebastiani |
Improving the Encoding of LTL Model Checking into SAT. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Doron A. Peled, Lenore D. Zuck |
From Model Checking to a Temporal Proof. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Javier Esparza, Keijo Heljanko |
Implementing LTL Model Checking with Net Unfoldings. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Rob Gerth |
Model Checking if Your Life Depends on It a View from Intel's Trenches. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre V. Bystrov, I. B. Verbistskaite |
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Wil Janssen, Radu Mateescu 0001, Sjouke Mauw, Peter Fennema, Petra van der Stappen |
Model Checking for Managers. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches |
21 | Farn Wang |
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
time progress, model-checking, convex, Timed automaton, concave, TCTL |
21 | Michael Leuschel |
The High Road to Formal Validation: . |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Tool Support, Spin, B-Method, Symmetry Reduction |
21 | Barry Long, Jürgen Dingel, T. C. Nicholas Graham |
Experience applying the SPIN model checker to an industrial telecommunications system. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
model checking, formal methods, experience report |
21 | Vineet Kahlon, Aarti Gupta |
On the analysis of interacting pushdown systems. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems |
21 | John Derrick, Siobhán North, Tony Simons 0001 |
Issues in Implementing a Model Checker for Z. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
21 | Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky |
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda |
21 | Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer |
Component Verification with Automatically Generated Assumptions. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
component verification, model checking, assume-guarantee reasoning |
21 | John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger |
Verifying Time Partitioning in the DEOS Scheduling Kernel. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
program model checking, time partitioning, verification, spin, predicate abstraction |
21 | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees |
21 | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
Test input generation with java PathFinder. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees |
21 | James R. Ezick |
An optimizing compiler for batches of temporal logic formulas. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, optimizing compiler |
21 | Jürgen Ruf, Thomas Kropf |
Symbolic Verification and Analysis of Discrete Timed Systems. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking |
21 | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
Hierarchical and Recursive State Machines with Context-Dependent Properties. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
Model Checking, Temporal Logic, Automata |
21 | Gerard J. Holzmann, Margaret H. Smith |
An Automated Verification Method for Distributed Systems Software Based on Model Extraction. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction |
21 | Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Reformulation: A Way to Combine Dynamic Properties and B Refinement. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Verification of PLTL properties, Combination of proof and model-checking, Refinement development |
21 | Natalia Sidorova, Martin Steffen |
Embedding Chaos. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
open reactive systems, Model checking, data-flow analysis, SDL |
21 | Lina Khatib, Nicola Muscettola, Klaus Havelund |
Mapping Temporal Planning Constraints into Timed Automata. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata |
21 | Yang Xia, Pranav Ashar |
Verification of a Combinational Loop Based Arbitration Scheme in a System-On-Chip Integration Architecture. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
Combinational Loop, Model Checking, Formal Verification, Temporal Logic, Time Division Multiplexing, Token Ring, Computational Tree Logic, Bus Protocol |
21 | Prasanta K. Bose |
Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Architecture, Security Protocol, Model Translation |
21 | Anna Antola, Vincenzo Piuri, Mariagiovanna Sami |
High-level Synthesis of Data Paths with Concurrent Error Detection. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
self-checking systems, high-level synthesis, concurrent error detection, data path |
21 | H. Becht, John Staples |
Soft Typing of General First-Order Languages. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
soft typing, many-sorted logics, type theory, type checking, parametric polymorphism |
20 | Alexander Schimpf, Stephan Merz, Jan-Georg Smaus |
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Cynthia Dwork, Moni Naor, Guy N. Rothblum, Vinod Vaikuntanathan |
How Efficient Can Memory Checking Be?. |
TCC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Naoki Kobayashi 0001, C.-H. Luke Ong |
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Orna Grumberg |
3-Valued Abstraction for (Bounded) Model Checking. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Michal Kebrt, Ondrej Sery |
UnitCheck: Unit Testing and Model Checking Combined. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Kenneth L. Knowles, Cormac Flanagan |
Compositional reasoning and decidable checking for dependent contract types. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
refinement types, abstraction, dependent types, compositional reasoning |
20 | Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu |
Using a SAT solver to generate checking sequences. |
ISCIS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Moshe Y. Vardi |
Model Checking as A Reachability Problem. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Michel Banâtre, Fabien Allard, Paul Couderc |
Ubi-Check: A Pervasive Integrity Checking System. |
NEW2AN |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Peter Niebert, Doron A. Peled, Amir Pnueli |
Discriminative Model Checking. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Edelkamp, Peter Sanders 0001, Pavel Simecek |
Semi-external LTL Model Checking. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden |
Model Checking Process with Goal Oriented Requirements Analysis. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Demri, Ranko Lazic 0001, Arnaud Sangnier |
Model Checking Freeze LTL over One-Counter Automata. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jing Yu 0015, María Jesús Garzarán, Marc Snir |
Efficient software checking for fault tolerance. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Gal Katz, Doron A. Peled |
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun |
Accelerating Interpolation-Based Model-Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jianguo Chen, Hangxia Zhou, Stefan D. Bruda |
Combining Model Checking and Testing for Software Analysis. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre |
µ-calculus Pushdown Module Checking with Imperfect State Information. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Farag Azzedin, Ahmad Ridha |
The Effect of Behavior Change on Honesty Checking in Peer-to-Peer Systems. |
PST |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jens Knodel, Dirk Muthig, Dominik Rost |
Constructive architecture compliance checking - an experiment on support by live feedback. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Michael T. Goodrich, Jonathan Z. Sun |
Checking Value-Sensitive Data Structures in Sublinear Space. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
Enriched µ-Calculus Pushdown Module Checking. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Bengt Jonsson 0001, Mayank Saksena |
Systematic Acceleration in Regular Model Checking. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Wenhui Zhang |
Model Checking with SAT-Based Characterization of ACTL Formulas. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Kevin Bierhoff, Jonathan Aldrich |
Modular typestate checking of aliased objects. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
linear logic, aliasing, permissions, typestates, behavioral subtyping |
20 | Rotem Oshman, Orna Grumberg |
A New Approach to Bounded Model Checking for Branching Time Logics. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers |
Hazard Checking of Timed Asynchronous Circuits Revisited. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel |
Model checking service compositions under resource constraints. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
web services, validation, BPEL4WS, resource modelling |
20 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Bounded Model Checking with Description Logic Reasoning. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Nina Amla, Kenneth L. McMillan |
Combining Abstraction Refinement and SAT-Based Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marcin Jurdzinski, François Laroussinie, Jeremy Sproston |
Model Checking Probabilistic Timed Automata with One or Two Clocks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Corina S. Pasareanu, Willem Visser |
Symbolic Execution and Model Checking for Testing. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Venkatesh Mysore, Bud Mishra |
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Enrique Alba 0001, Francisco Chicano |
Ant Colony Optimization for Model Checking. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni |
Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature. |
IMSCCS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Fei Pu, Wenhui Zhang |
Partition Refinement in Abstract Model Checking. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 21094 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|