On the public citation graph
Better verification through symmetry
0 signed · 445 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-15204-0_13openalex-snapshot
Towards reachability trees for high-level petri nets
inferredcites →https://doi.org/10.1007/3-540-52148-8_30openalex-snapshot
Verification of synchronous sequential machines based on symbolic execution
inferredcites →https://doi.org/10.1007/3-540-56922-7_37openalex-snapshot
Exploiting symmetry in temporal logic model checking
inferredcites →https://doi.org/10.1007/bf00289237openalex-snapshot
An approach to automating the verification of compact parallel coordination programs. I
inferredcites →https://doi.org/10.1016/0020-0190(81)90106-xopenalex-snapshot
Myths about the mutual exclusion problem
inferredcites →https://doi.org/10.1016/0020-0190(88)90037-3openalex-snapshot
A fast backtrack algorithm for graph isomorphism
inferredcites →https://doi.org/10.1016/0376-5075(82)90108-8openalex-snapshot
Protocol specification, testing, and verification
inferredcites →https://doi.org/10.1016/0890-5401(92)90017-aopenalex-snapshot
Symbolic model checking: 1020 States and beyond
inferredcites →https://doi.org/10.1109/2.144442openalex-snapshot
From paper to office document standard representation
inferredcites →https://doi.org/10.1109/iccad.1988.122520openalex-snapshot
GeminiII: a second generation layout validation program
inferredcites →https://doi.org/10.1109/iccad.1990.129860openalex-snapshot
Implicit state enumeration of finite state machines using BDD's
inferredcites →https://doi.org/10.1109/iccd.1992.276232openalex-snapshot
Protocol verification as a hardware design aid
inferredcites →https://doi.org/10.1109/iccd.1993.393375openalex-snapshot
Efficient verification of symmetric concurrent systems
inferredcites →https://doi.org/10.1109/lics.1990.113767openalex-snapshot
Symbolic model checking: 10/sup 20/ states and beyond
inferredcites →https://doi.org/10.1109/tcom.1980.1094687openalex-snapshot
Towards Analyzing and Synthesizing Protocols
inferredcites →https://doi.org/10.1109/tse.1987.233206openalex-snapshot
Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching
inferredcites →https://doi.org/10.1145/103727.103729openalex-snapshot
Algorithms for scalable synchronization on shared-memory multiprocessors
inferredcites →https://doi.org/10.1145/325096.325132openalex-snapshot
The directory-based cache coherence protocol for the DASH multiprocessor
inferredcites →https://doi.org/10.1145/512644.512661openalex-snapshot
Expressing interesting properties of programs in propositional temporal logic
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.21236/ada220731openalex-snapshot
GeminiII: A Second Generation Layout Validation Program
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.3217/jucs-007-04-0307openalex-extracted
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method
inferred← citeshttps://doi.org/10.1002/9780470611012.ch3openalex-snapshot
An Introduction to Model Checking
inferred← citeshttps://doi.org/10.1007/0-387-34600-7openalex-snapshot
Abstraction Refinement for Large Scale Model Checking
inferred← citeshttps://doi.org/10.1007/1-4020-2530-0_4openalex-snapshot
Application of Property Checking and Underlying Techniques
inferred← citeshttps://doi.org/10.1007/10721959_19openalex-snapshot
Reducing Model Checking of the Many to the Few
inferred← citeshttps://doi.org/10.1007/10722167_33openalex-snapshot
Syntactic Program Transformations for Automatic Abstraction
inferred← citeshttps://doi.org/10.1007/11513988_12openalex-snapshot
Symmetry Reduction in SAT-Based Model Checking
inferred← citeshttps://doi.org/10.1007/11526841_32openalex-snapshot
Automatic Symmetry Detection for Model Checking Using Computational Group Theory
inferred← citeshttps://doi.org/10.1007/11559306_18openalex-snapshot
Combination of Isabelle/HOL with Automatic Tools
inferred← citeshttps://doi.org/10.1007/11560548_22openalex-snapshot
Identification and Counter Abstraction for Full Virtual Symmetry
inferred← citeshttps://doi.org/10.1007/11562948_7openalex-snapshot
Exploiting Hub States in Automatic Verification
inferred← citeshttps://doi.org/10.1007/11604655_56openalex-snapshot
Efficient Symmetry Reduction for an Actor-Based Model
inferred← citeshttps://doi.org/10.1007/11691617_15openalex-snapshot
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications
inferred← citeshttps://doi.org/10.1007/11693017_15openalex-snapshot
Using Design Metrics for Predicting System Flexibility
inferred← citeshttps://doi.org/10.1007/11784180_29openalex-snapshot
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
inferred← citeshttps://doi.org/10.1007/11813040_36openalex-snapshot
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
inferred← citeshttps://doi.org/10.1007/11817963_23openalex-snapshot
Symmetry Reduction for Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1007/11901914_4openalex-snapshot
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
inferred← citeshttps://doi.org/10.1007/11955757_9openalex-snapshot
Symmetry Reduction for B by Permutation Flooding
inferred← citeshttps://doi.org/10.1007/3-540-36126-x_13openalex-snapshot
Exploiting Transition Locality in the Disk Based Murϕ Verifier
inferred← citeshttps://doi.org/10.1007/3-540-36135-9_4openalex-snapshot
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures
inferred← citeshttps://doi.org/10.1007/3-540-36135-9_5openalex-snapshot
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction
inferred← citeshttps://doi.org/10.1007/3-540-36384-x_5openalex-snapshot
Symmetry Reductions in Model-Checking
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_35openalex-snapshot
Using Petri Net Invariants in State Space Construction
inferred← citeshttps://doi.org/10.1007/3-540-40922-x_19openalex-snapshot
Model Reductions and a Case Study
inferred← citeshttps://doi.org/10.1007/3-540-44450-5_1openalex-snapshot
Model Checking: Theory into Practice
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_44openalex-snapshot
Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_9openalex-snapshot
Symmetry and Reduced Symmetry in Model Checking?
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_41openalex-snapshot
A Unifying Approach to Data-Independence
inferred← citeshttps://doi.org/10.1007/3-540-44798-9_17openalex-snapshot
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-44798-9_22openalex-snapshot
Exploiting Transition Locality in Automatic Verification
inferred← citeshttps://doi.org/10.1007/3-540-44829-2_14openalex-snapshot
Thread-Modular Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-44829-2_6openalex-snapshot
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness
inferred← citeshttps://doi.org/10.1007/3-540-44904-3_16openalex-snapshot
On a Semantic Definition of Data Independence
inferred← citeshttps://doi.org/10.1007/3-540-44919-1_9openalex-snapshot
Automatic Symmetry Detection in Well-Formed Nets
inferred← citeshttps://doi.org/10.1007/3-540-45075-0_17openalex-snapshot
Automatic Formal Model Generation and Analysis of SDL
inferred← citeshttps://doi.org/10.1007/3-540-45139-0_15openalex-snapshot
Model checking systems of replicated processes with spin
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_23openalex-snapshot
Faithful Translations Among Models and Specifications
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_30openalex-snapshot
A Heuristic for Symmetry Reductions with Scalarsets
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_4openalex-snapshot
Proofs of Correctness of Cache-Coherence Protocols
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_7openalex-snapshot
Avoiding State Explosion for Distributed Systems with Timestamps
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_1openalex-snapshot
Model Checking: A Tutorial Overview
inferred← citeshttps://doi.org/10.1007/3-540-45591-4_135openalex-snapshot
Verification Methods for Weaker Shared Memory Consistency Models
inferred← citeshttps://doi.org/10.1007/3-540-45654-6_29openalex-snapshot
Analysis and Verification Queries over Object-Oriented Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_23openalex-snapshot
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_8openalex-snapshot
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-46017-9_5openalex-snapshot
Symmetry Reduction Criteria for Software Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_22openalex-snapshot
Integrating Low Level Symmetries into Reachability Analysis
inferred← citeshttps://doi.org/10.1007/3-540-47884-1_9openalex-snapshot
A Framework for Translating Models and Specifications
inferred← citeshttps://doi.org/10.1007/3-540-48153-2_12openalex-snapshot
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-48153-2_14openalex-snapshot
Abstract BDDs: A Technique for Using Abstraction in Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-48153-2_17openalex-snapshot
Verification of Infinite State Systems by Compositional Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-48256-3_22openalex-snapshot
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_27openalex-snapshot
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
inferred← citeshttps://doi.org/10.1007/3-540-49519-3_26openalex-snapshot
Generalized Reversible Rules
inferred← citeshttps://doi.org/10.1007/3-540-49519-3_9openalex-snapshot
Bisimulation Minimization in an Automata-Theoretic Verification Framework
inferred← citeshttps://doi.org/10.1007/3-540-56922-7_37openalex-snapshot
Exploiting symmetry in temporal logic model checking
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_43openalex-snapshot
Automatic datapath abstraction in hardware systems
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_59openalex-snapshot
Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach
inferred← citeshttps://doi.org/10.1007/3-540-60385-9_2openalex-snapshot
Automatic verification of the SCI cache coherence protocol
inferred← citeshttps://doi.org/10.1007/3-540-61042-1_45openalex-snapshot
Permutable agents in process algebras
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_60openalex-snapshot
Automatic verification of parameterized synchronous systems
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_65openalex-snapshot
Verifying systems with replicated components in murϕ
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_86openalex-snapshot
The Mur ϕ verification system
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_24openalex-snapshot
On-the-fly model checking under fairness that exploits symmetry
inferred← citeshttps://doi.org/10.1007/3-540-63166-6_25openalex-snapshot
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation
inferred← citeshttps://doi.org/10.1007/3-540-69108-1_6openalex-snapshot
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
inferred← citeshttps://doi.org/10.1007/978-0-387-34878-0_21openalex-snapshot
Verification Model Reduction through Abstractions
inferred← citeshttps://doi.org/10.1007/978-0-387-34945-9_30openalex-snapshot
Sharing trees for “on-the-fly” verification
inferred← citeshttps://doi.org/10.1007/978-0-387-35062-2_14openalex-snapshot
Selective Generation of Symmetrical Test Cases
inferred← citeshttps://doi.org/10.1007/978-0-387-35064-6_15openalex-snapshot
A formal proof of absence of deadlock for any acyclic network of PCI buses
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_21openalex-snapshot
A New Scheme for Memory-Efficient Probabilistic Verification
inferred← citeshttps://doi.org/10.1007/978-0-387-35578-8_15openalex-snapshot
Exploiting Symmetry When Model-Checking Software
inferred← citeshttps://doi.org/10.1007/978-3-030-04771-9_20openalex-snapshot
Using Abstraction with Interaction Sequences for Interactive System Modelling
inferred← citeshttps://doi.org/10.1007/978-3-030-23611-3_1openalex-snapshot
Introducing Symmetry to Graph Rewriting Systems with Process Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_16openalex-snapshot
Gradual Consistency Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-31038-7_1openalex-snapshot
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-31784-3_6openalex-snapshot
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-40783-4_22openalex-snapshot
Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_19openalex-snapshot
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-59152-6_20openalex-snapshot
Boosting Sequential Consistency Checking Using Saturation
inferred← citeshttps://doi.org/10.1007/978-3-030-62822-2_5openalex-snapshot
Randomized Refinement Checking of Timed I/O Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-76384-8_9openalex-snapshot
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_28openalex-snapshot
$$\mathsf {SceneChecker}$$: Boosting Scenario Verification Using Symmetry Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_19openalex-snapshot
Model Checking $$\omega $$-Regular Properties with Decoupled Search
inferred← citeshttps://doi.org/10.1007/978-3-030-88806-0_21openalex-snapshot
Compositional Verification of Smart Contracts Through Communication Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-031-75380-0_21openalex-snapshot
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update
inferred← citeshttps://doi.org/10.1007/978-3-031-98668-0_2openalex-snapshot
Automated Verification of Monotonic Data Structure Traversals in C
inferred← citeshttps://doi.org/10.1007/978-3-031-98682-6_14openalex-snapshot
QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols
inferred← citeshttps://doi.org/10.1007/978-3-032-28187-6_3openalex-snapshot
Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10512-3_10openalex-snapshot
Anonymized Reachability of Hybrid Automata Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_21openalex-snapshot
Model Checking Parameterized Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_5openalex-snapshot
Explicit-State Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-11936-6_21openalex-snapshot
Symmetry Reduction in Infinite Games with Finite Branching
inferred← citeshttps://doi.org/10.1007/978-3-319-11936-6_24openalex-snapshot
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom
inferred← citeshttps://doi.org/10.1007/978-3-319-17524-9_8openalex-snapshot
Partial Order Reduction and Symmetry with Multiple Representatives
inferred← citeshttps://doi.org/10.1007/978-3-319-21668-3_23openalex-snapshot
Automatic Completion of Distributed Protocols with Symmetry
inferred← citeshttps://doi.org/10.1007/978-3-319-22416-9_4openalex-snapshot
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-24489-1_13openalex-snapshot
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
inferred← citeshttps://doi.org/10.1007/978-3-319-47677-3_16openalex-snapshot
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-64021-1_3openalex-snapshot
Overview of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-319-89963-3_22openalex-snapshot
Symmetry Reduction for the Local Mu-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_30openalex-snapshot
View Abstraction for Systems with Component Identities
inferred← citeshttps://doi.org/10.1007/978-3-540-24730-2_16openalex-snapshot
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method
inferred← citeshttps://doi.org/10.1007/978-3-540-24730-2_17openalex-snapshot
Automated Generation of a Progress Measure for the Sweep-Line Method
inferred← citeshttps://doi.org/10.1007/978-3-540-24732-6_5openalex-snapshot
Fast and Accurate Bitstate Verification for SPIN
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_18openalex-snapshot
Application of Coloured Petri Nets in System Development
inferred← citeshttps://doi.org/10.1007/978-3-540-27793-4_15openalex-snapshot
New Canonical Representative Marking Algorithms for Place/Transition-Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27813-9_33openalex-snapshot
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_16openalex-snapshot
Integrating Formal Verification with Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
inferred← citeshttps://doi.org/10.1007/978-3-540-30494-4_26openalex-snapshot
Bloom Filters in Probabilistic Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-30494-4_27openalex-snapshot
A Simple Method for Parameterized Verification of Cache Coherence Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-31980-1_25openalex-snapshot
Dynamic Symmetry Reduction
inferred← citeshttps://doi.org/10.1007/978-3-540-39724-3_20openalex-snapshot
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-39724-3_21openalex-snapshot
On the Correctness of an Intrusion-Tolerant Group Communication Protocol
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_19openalex-snapshot
Efficient Path Finding with the Sweep-Line Method Using External Storage
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_33openalex-snapshot
Constraint-Based Model Checking of Data-Independent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-39893-6_5openalex-snapshot
An AMBA-ARM7 Formal Verification Platform
inferred← citeshttps://doi.org/10.1007/978-3-540-40903-8_5openalex-snapshot
Adding Symmetry Reduction to Uppaal
inferred← citeshttps://doi.org/10.1007/978-3-540-45193-8_103openalex-snapshot
Symmetry Breaking Ordering Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_33openalex-snapshot
Watchdog Transformations for Property-Oriented Model-Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-69850-0_1openalex-snapshot
The Birth of Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-70545-1_43openalex-snapshot
A Practical Approach to Word Level Model Checking of Industrial Netlists
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_26openalex-snapshot
The ComBack Method – Extending Hash Compaction with Backtracking
inferred← citeshttps://doi.org/10.1007/978-3-540-73196-2_8openalex-snapshot
State Isomorphism in Model Programs with Abstract Data Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_5openalex-snapshot
Rebeca: Theory, Applications, and Tools
inferred← citeshttps://doi.org/10.1007/978-3-540-76848-7_34openalex-snapshot
Formal Verification of a Group Membership Protocol Using Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-77566-9_40openalex-snapshot
Verifying Parameterized taDOM+ Lock Managers
inferred← citeshttps://doi.org/10.1007/978-3-540-79707-4_12openalex-snapshot
Model Classifications and Automated Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-93900-9_26openalex-snapshot
Extending Symmetry Reduction by Exploiting System Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-02652-2_22openalex-snapshot
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_7openalex-snapshot
Fighting State Space Explosion: Review and Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-642-03351-3_30openalex-snapshot
Formal Verification of Gate-Level Computer Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-04355-0_29openalex-snapshot
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_6openalex-snapshot
A Data Symmetry Reduction Technique for Temporal-epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_8openalex-snapshot
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_4openalex-snapshot
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_35openalex-snapshot
On Symmetries and Spotlights – Verifying Parameterised Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_19openalex-snapshot
Symmetry for the Analysis of Dynamic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24933-4_3openalex-snapshot
Ten Years of Analyzing Actors: Rebeca Experience
inferred← citeshttps://doi.org/10.1007/978-3-642-27940-9_23openalex-snapshot
Local Symmetry and Compositional Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-30729-4_12openalex-snapshot
Mechanized Extraction of Topology Anti-patterns in Wireless Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-31424-7_43openalex-snapshot
A Complete Method for Symmetry Reduction in Safety Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_4openalex-snapshot
Automata Learning through Counterexample Guided Abstraction Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-34281-3_25openalex-snapshot
Heuristic-Guided Abstraction Refinement for Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-35737-4_9openalex-snapshot
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation
inferred← citeshttps://doi.org/10.1007/978-3-642-35873-9_29openalex-snapshot
Uncovering Symmetries in Irregular Process Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_3openalex-snapshot
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
inferred← citeshttps://doi.org/10.1007/978-3-642-39146-0_17openalex-snapshot
Inconsistency Knowledge Discovery for Longitudinal Data Management: A Model-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-57199-2_5openalex-snapshot
Machine Assisted Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-59615-5_8openalex-snapshot
Symmetry and Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-662-44584-6_23openalex-snapshot
A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups
inferred← citeshttps://doi.org/10.1007/978-3-662-45234-9_15openalex-snapshot
Algorithms for Inferring Register Automata
inferred← citeshttps://doi.org/10.1007/978-3-662-49122-5_22openalex-snapshot
Regular Symmetry Patterns
inferred← citeshttps://doi.org/10.1007/978-981-96-4543-5_35openalex-snapshot
Distributed Communication Services Programming Interface for Adaptive Trust-Oriented Automotive Services for Smart Homes
inferred← citeshttps://doi.org/10.1007/bf00625969openalex-snapshot
Exploiting symmetry in temporal logic model checking
inferred← citeshttps://doi.org/10.1007/bf01383876openalex-snapshot
Translating VHDL into functional symbolic finite-state models
inferred← citeshttps://doi.org/10.1007/bfb0015260openalex-snapshot
Symmetry and induction in model checking
inferred← citeshttps://doi.org/10.1007/bfb0020472openalex-snapshot
Verifying distributed directory-based cache coherence protocols: S3.mp, a case study
inferred← citeshttps://doi.org/10.1007/bfb0028738openalex-snapshot
Verification of an implementation of Tomasulo's algorithm by compositional model checking
inferred← citeshttps://doi.org/10.1007/bfb0028741openalex-snapshot
Symmetry reductions in model checking
inferred← citeshttps://doi.org/10.1007/bfb0028742openalex-snapshot
Structural symmetry and model checking
inferred← citeshttps://doi.org/10.1007/bfb0035378openalex-snapshot
Combining partial order and symmetry reductions
inferred← citeshttps://doi.org/10.1007/bfb0054164openalex-snapshot
Exploiting symmetry in linear time temporal logic model checking: One step beyond
inferred← citeshttps://doi.org/10.1007/bfb0055792openalex-snapshot
Model checking Real-Time properties of symmetric systems
inferred← citeshttps://doi.org/10.1007/s001650300004openalex-snapshot
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol
inferred← citeshttps://doi.org/10.1007/s001650300005openalex-snapshot
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV
inferred← citeshttps://doi.org/10.1007/s00236-009-0111-xopenalex-snapshot
Symmetry and partial order reduction techniques in model checking Rebeca
inferred← citeshttps://doi.org/10.1007/s00236-015-0226-1openalex-snapshot
Compositional verification of asynchronous concurrent systems using CADP
inferred← citeshttps://doi.org/10.1007/s00236-015-0251-0openalex-snapshot
A linear-time algorithm for the orbit problem over cyclic groups
inferred← citeshttps://doi.org/10.1007/s10009-004-0149-6openalex-snapshot
Exploiting transition locality in automatic verification of finite-state concurrent systems
inferred← citeshttps://doi.org/10.1007/s10009-004-0151-zopenalex-snapshot
Partial-order reduction and trail improvement in directed model checking
inferred← citeshttps://doi.org/10.1007/s10009-004-0154-9openalex-snapshot
Symmetry reductions for model checking of concurrent dynamic software
inferred← citeshttps://doi.org/10.1007/s10009-005-0201-1openalex-snapshot
Automated generation of a progress measure for the sweep-line method
inferred← citeshttps://doi.org/10.1007/s10009-006-0003-0openalex-snapshot
VeriTech: a framework for translating among model description notations
inferred← citeshttps://doi.org/10.1007/s10009-010-0137-yopenalex-snapshot
Solving the ignoring problem for partial order reduction
inferred← citeshttps://doi.org/10.1007/s10009-019-00516-4openalex-snapshot
Symmetry reduction in CSP model checking
inferred← citeshttps://doi.org/10.1007/s10009-022-00648-0openalex-snapshot
Parameterized verification of systems with component identities, using view abstraction
inferred← citeshttps://doi.org/10.1007/s10009-022-00672-0openalex-snapshot
Partial-order reduction for parity games and parameterised Boolean equation systems
inferred← citeshttps://doi.org/10.1007/s100090050012openalex-snapshot
Protocol verification with the ALDÉBARAN toolset
inferred← citeshttps://doi.org/10.1007/s100090050021openalex-snapshot
The practitioner's guide to coloured Petri nets
inferred← citeshttps://doi.org/10.1007/s10270-014-0422-4openalex-snapshot
The Petri net twist in explicit model checking
inferred← citeshttps://doi.org/10.1007/s10472-009-9171-4openalex-snapshot
On the constructive orbit problem
inferred← citeshttps://doi.org/10.1007/s10472-010-9208-8openalex-snapshot
Efficient approximate verification of B and Z models via symmetry markers
inferred← citeshttps://doi.org/10.1007/s10489-011-0306-zopenalex-snapshot
A universal planning system for hybrid domains
inferred← citeshttps://doi.org/10.1007/s10489-016-0804-0openalex-snapshot
Automated program repair using genetic programming and model checking
inferred← citeshttps://doi.org/10.1007/s10515-022-00327-zopenalex-snapshot
A three-valued model abstraction framework for PCTL* stochastic model checking
inferred← citeshttps://doi.org/10.1007/s10559-010-9235-9openalex-snapshot
An automatic method for the dynamic construction of abstractions of states of a formal model
inferred← citeshttps://doi.org/10.1007/s10703-005-2246-xopenalex-snapshot
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
inferred← citeshttps://doi.org/10.1007/s10703-007-0037-2openalex-snapshot
Checking extended CTL properties using guarded quotient structures
inferred← citeshttps://doi.org/10.1007/s10703-009-0080-2openalex-snapshot
Word level bitwidth reduction for unbounded hardware model checking
inferred← citeshttps://doi.org/10.1007/s10703-011-0119-zopenalex-snapshot
Exploring structural symmetry automatically in symbolic trajectory evaluation
inferred← citeshttps://doi.org/10.1007/s10817-008-9107-4openalex-snapshot
Automatic Symmetry Detection for Promela
showing the first 200 of 420 · page through all 420
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.