On the public citation graph
OPEN/CÆSAR: An open software architecture for verification, simulation, and testing
0 signed · 152 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-52148-8_23openalex-snapshot
What are the limits of model checking methods for the verification of real life protocols?
inferredcites →https://doi.org/10.1007/3-540-55179-4_18openalex-snapshot
“On the fly” verification of behavioural equivalences and preorders
inferredcites →https://doi.org/10.1007/3-540-55179-4_19openalex-snapshot
Bounded-memory algorithms for verification on-the-fly
inferredcites →https://doi.org/10.1007/3-540-58179-0_68openalex-snapshot
Performance improvement of state space exploration by regular & differential hashing functions
inferredcites →https://doi.org/10.1007/3-540-60630-0_8openalex-snapshot
A front-end generator for verification tools
inferredcites →https://doi.org/10.1007/978-0-387-35079-0_28openalex-snapshot
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS
inferredcites →https://doi.org/10.1007/bfb0035392openalex-snapshot
Compositional state space generation from Lotos programs
inferredcites →https://doi.org/10.1007/s100090050018openalex-snapshot
Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS
inferredcites →https://doi.org/10.1016/0169-7552(93)90048-9openalex-snapshot
VESAR: a pragmatic approach to formal specification and verification
inferredcites →https://doi.org/10.1016/b978-0-444-82269-7.50023-xopenalex-snapshot
GOAL: Observing SDL behaviors with GEODE
inferredcites →https://doi.org/10.1016/b978-044482816-3/50032-0openalex-snapshot
ObjectInterconnecting the GEODE and CÆSAR-Aldébaran toolsets
inferredcites →https://doi.org/10.1016/s0167-6423(96)00032-9openalex-snapshot
An experiment in automatic generation of test suites for protocols with verification technology
inferredcites →https://doi.org/10.1016/s0167-6423(96)00034-2openalex-snapshot
Specification and verification of various distributed leader election algorithms for unidirectional ring networks
inferredcites →https://doi.org/10.1109/ase.1997.632825openalex-snapshot
Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS
inferredcites →https://doi.org/10.1137/0216062openalex-snapshot
Three Partition Refinement Algorithms
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9780470611012.ch5openalex-snapshot
Specification and Analysis of Asynchronous Systems using CADP
inferred← citeshttps://doi.org/10.1002/9781118459898.ch11openalex-snapshot
Practical Aspects of Active Automata Learning
inferred← citeshttps://doi.org/10.1007/0-306-47003-9_24openalex-snapshot
SVL: A Scripting Language for Compositional Verification
inferred← citeshttps://doi.org/10.1007/10722167_41openalex-snapshot
IF: A Validation Environment for Timed Asynchronous Systems
inferred← citeshttps://doi.org/10.1007/11558569_17openalex-snapshot
Automated Model-Based Testing of χ Simulation Models with TorX
inferred← citeshttps://doi.org/10.1007/11589976_6openalex-snapshot
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods
inferred← citeshttps://doi.org/10.1007/11603009_15openalex-snapshot
Counterexamples for Timed Probabilistic Reachability
inferred← citeshttps://doi.org/10.1007/11691372_30openalex-snapshot
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
inferred← citeshttps://doi.org/10.1007/11691617_8openalex-snapshot
Distributed On-the-Fly Model Checking and Test Case Generation
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_7openalex-snapshot
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems
inferred← citeshttps://doi.org/10.1007/3-540-45139-0_14openalex-snapshot
Parallel state space construction for model-checking
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_14openalex-snapshot
Validation of UML Models Thanks to Z and Lustre
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_9openalex-snapshot
Testing Transition Systems: An Annotated Bibliography
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_26openalex-snapshot
IF-2.0: A Validation Environment for Component-Based Real-Time Systems
inferred← citeshttps://doi.org/10.1007/3-540-46002-0_20openalex-snapshot
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_18openalex-snapshot
Efficient Diagnostic Generation for Boolean Equation Systems
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_19openalex-snapshot
If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_9openalex-snapshot
A Formalization of Software Architecture
inferred← citeshttps://doi.org/10.1007/3-540-48320-9_6openalex-snapshot
Testing Concurrent Systems: A Formal Approach
inferred← citeshttps://doi.org/10.1007/3-540-49059-0_22openalex-snapshot
Hardware Testing Using a Communication Protocol Conformance Testing Tool
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_21openalex-snapshot
Exploiting Symmetry in Protocol Testing
inferred← citeshttps://doi.org/10.1007/978-0-387-35497-2_17openalex-snapshot
Automated Testing in Practice: The Highway Tolling System
inferred← citeshttps://doi.org/10.1007/978-0-387-35516-0_1openalex-snapshot
Verification of Test Suites
inferred← citeshttps://doi.org/10.1007/978-0-387-35516-0_14openalex-snapshot
Formal Test Automation: The Conference Protocol with TGV/TorX
inferred← citeshttps://doi.org/10.1007/978-0-387-35567-2_12openalex-snapshot
Formal Test Automation: A Simple Experiment
inferred← citeshttps://doi.org/10.1007/978-3-030-00244-2_13openalex-snapshot
Compositional Verification in Action
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_12openalex-snapshot
Reflections on Bernhard Steffen’s Physics of Software Tools
inferred← citeshttps://doi.org/10.1007/978-3-030-63319-6_33openalex-snapshot
Graphical Method of Intellectual Simulation Models’ Analysis on the Basis of Technical Systems’ Testing Results
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_13openalex-snapshot
Equivalence Checking 40 Years After: A Review of Bisimulation Tools
inferred← citeshttps://doi.org/10.1007/978-3-032-12484-5_12openalex-snapshot
Application of Model-Checking Techniques to Railway Scheduling Problems
inferred← citeshttps://doi.org/10.1007/978-3-319-57837-8_14openalex-snapshot
The ContextAct@A4H Real-Life Dataset of Daily-Living Activities
inferred← citeshttps://doi.org/10.1007/978-3-319-89963-3_13openalex-snapshot
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_20openalex-snapshot
Software Architecture of Modern Model Checkers
inferred← citeshttps://doi.org/10.1007/978-3-540-24732-6_11openalex-snapshot
SEQ.OPEN: A Tool for Efficient Trace-Based Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-24769-2_18openalex-snapshot
Model Checking for Software Architectures
inferred← citeshttps://doi.org/10.1007/978-3-540-30101-1_10openalex-snapshot
A Checker for Modal Formulae for Processes with Data
inferred← citeshttps://doi.org/10.1007/978-3-540-31980-1_42openalex-snapshot
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-39958-2_17openalex-snapshot
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components
inferred← citeshttps://doi.org/10.1007/978-3-540-45069-6_41openalex-snapshot
Calculating τ-Confluence Compositionally
inferred← citeshttps://doi.org/10.1007/978-3-540-45232-4_8openalex-snapshot
The Modest Modeling Tool and Its Implementation
inferred← citeshttps://doi.org/10.1007/978-3-540-68237-0_12openalex-snapshot
A Model Checking Language for Concurrent Value-Passing Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68644-6_13openalex-snapshot
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
inferred← citeshttps://doi.org/10.1007/978-3-540-71209-1_38openalex-snapshot
motor:The modest Tool Environment
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_29openalex-snapshot
Translating FSP into LOTOS and Networks of Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-73370-6_12openalex-snapshot
An Embeddable Virtual Machine for State Space Generation
inferred← citeshttps://doi.org/10.1007/978-3-540-73370-6_18openalex-snapshot
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-76650-6_8openalex-snapshot
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System
inferred← citeshttps://doi.org/10.1007/978-3-540-85114-1_15openalex-snapshot
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88387-6_6openalex-snapshot
Computation Tree Regular Logic for Genetic Regulatory Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-89652-4_10openalex-snapshot
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_21openalex-snapshot
Hierarchical Adaptive State Space Caching Based on Level Sampling
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_9openalex-snapshot
Efficient Symbolic Model Checking for Process Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_11openalex-snapshot
Partial Order Reductions Using Compositional Confluence Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-14295-6_31openalex-snapshot
LTSmin: Distributed and Symbolic Reachability
inferred← citeshttps://doi.org/10.1007/978-3-642-15898-8_12openalex-snapshot
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP
inferred← citeshttps://doi.org/10.1007/978-3-642-16265-7_17openalex-snapshot
Translating Pi-Calculus into LOTOS NT
inferred← citeshttps://doi.org/10.1007/978-3-642-16561-0_18openalex-snapshot
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
inferred← citeshttps://doi.org/10.1007/978-3-642-19835-9_33openalex-snapshot
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-28756-5_11openalex-snapshot
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-36742-7_14openalex-snapshot
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_11openalex-snapshot
Formal Verification of Distributed Branching Multiway Synchronization Protocols
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_6openalex-snapshot
A Model-Based Certification Framework for the EnergyBus Standard
inferred← citeshttps://doi.org/10.1007/978-3-662-46681-0_61openalex-snapshot
LTSmin: High-Performance Language-Independent Model Checking
inferred← citeshttps://doi.org/10.1007/bf02997769openalex-snapshot
Verification of two versions of the challenge handshake authentication protocol (chap)
inferred← citeshttps://doi.org/10.1007/s00165-009-0133-8openalex-snapshot
Translating FSP into LOTOS and networks of automata
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/s10009-005-0194-9openalex-snapshot
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems
inferred← citeshttps://doi.org/10.1007/s10009-009-0111-8openalex-snapshot
LearnLib: a framework for extrapolating behavioral models
inferred← citeshttps://doi.org/10.1007/s10009-009-0112-7openalex-snapshot
Checking the reliability of socket based communication software
inferred← citeshttps://doi.org/10.1007/s10009-010-0141-2openalex-snapshot
An embeddable virtual machine for state space generation
inferred← citeshttps://doi.org/10.1007/s10009-012-0244-zopenalex-snapshot
CADP 2011: a toolbox for the construction and analysis of distributed processes
inferred← citeshttps://doi.org/10.1007/s10009-018-0499-0openalex-snapshot
On-the-fly model checking for extended action-based probabilistic operators
inferred← citeshttps://doi.org/10.1007/s100090050044openalex-snapshot
On-the-fly conformance testing using SPIN
inferred← citeshttps://doi.org/10.1007/s100090100044openalex-snapshot
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
inferred← citeshttps://doi.org/10.1016/j.aei.2025.103490openalex-snapshot
Cognitive digital thread tool-chain for model versioning in model-based systems engineering
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.10.018openalex-snapshot
Distributed On-the-Fly Equivalence Checking
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.005openalex-snapshot
Analysing the BKE-security Protocol with μCRL
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.09.006openalex-snapshot
On-the-Fly Data Flow Analysis Based on Verification Technology
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.009openalex-snapshot
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
inferred← citeshttps://doi.org/10.1016/j.entcs.2013.07.010openalex-snapshot
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.12.005openalex-snapshot
Software verification and graph similarity for automated evaluation of students’ assignments
inferred← citeshttps://doi.org/10.1016/j.scico.2011.07.004openalex-snapshot
Sequential and distributed on-the-fly computation of weak tau-confluence
inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.003openalex-snapshot
A model-extraction approach to verifying concurrent C programs with CADP
inferred← citeshttps://doi.org/10.1016/j.scico.2012.01.003openalex-snapshot
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols
inferred← citeshttps://doi.org/10.1016/j.tcs.2010.05.009openalex-snapshot
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00240-6openalex-snapshot
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
inferred← citeshttps://doi.org/10.1016/s0164-1212(03)00074-8openalex-snapshot
Distributed prototyping from validated specifications
inferred← citeshttps://doi.org/10.1016/s0166-5316(01)00032-3openalex-snapshot
Performance validation tools for software/hardware systems
inferred← citeshttps://doi.org/10.1016/s0167-6423(02)00094-1openalex-snapshot
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00017-9openalex-snapshot
Verification and test generation for the SSCOP protocol
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00019-2openalex-snapshot
Automated compositional Markov chain generation for a plain-old telephone system
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00263-4openalex-snapshot
Automated validation of distributed software using the IF environment
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80826-0openalex-snapshot
On-the-Fly Verification using CADP
inferred← citeshttps://doi.org/10.1088/1757-899x/537/3/032067openalex-snapshot
Spacecraft onboard equipment testing automation technology on the basis of simulation model
inferred← citeshttps://doi.org/10.1109/ase.1999.802152openalex-snapshot
Advanced modelling and verification techniques applied to a cluster file system
inferred← citeshttps://doi.org/10.1109/cstic58779.2023.10219233openalex-snapshot
An Efficient Protocol Framework Solution on V93000
inferred← citeshttps://doi.org/10.1109/ecows.2006.22openalex-snapshot
Formal Modelling and Verification of an Asynchronous Extension of SOAP
inferred← citeshttps://doi.org/10.1109/empdp.2005.19openalex-snapshot
Distributed Local Resolution of Boolean Equation Systems
inferred← citeshttps://doi.org/10.1109/eurmic.1999.794515openalex-snapshot
Linking codesign and verification by mean of E-LOTOS FDT
inferred← citeshttps://doi.org/10.1109/hase.2001.966806openalex-snapshot
Finite-state analysis of the CAN bus protocol
inferred← citeshttps://doi.org/10.1109/iceccs.2007.32openalex-snapshot
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
inferred← citeshttps://doi.org/10.1109/icspcs58109.2023.10261127openalex-snapshot
Vulnerability Identification of Operational Technology Protocol Specifications Through Formal Modeling
inferred← citeshttps://doi.org/10.1109/isola.2006.26openalex-snapshot
Implementing Influence Analysis Using Parameterised Boolean Equation Systems
inferred← citeshttps://doi.org/10.1109/memcod.2008.4547690openalex-snapshot
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
inferred← citeshttps://doi.org/10.1109/nca.2001.962542openalex-snapshot
Automated validation of distributed software using the IF environment
inferred← citeshttps://doi.org/10.1109/rpc.2018.8482182openalex-snapshot
Command and Software Management Simulation for the Spacecraft Equipment Testing
inferred← citeshttps://doi.org/10.1109/tse.2003.1178052openalex-snapshot
Inference graphs: a computational structure supporting generation of customizable and correct analysis components
inferred← citeshttps://doi.org/10.1109/tse.2011.62openalex-snapshot
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
inferred← citeshttps://doi.org/10.1145/1081180.1081191openalex-snapshot
On-the-fly state space reductions for weak equivalences
inferred← citeshttps://doi.org/10.1145/1181195.1181203openalex-snapshot
Experiments in the use of τ-simulations for the components-verification of real-time systems
inferred← citeshttps://doi.org/10.1145/1321631.1321690openalex-snapshot
Behavioral adaptation of component compositions based on process algebra encodings
inferred← citeshttps://doi.org/10.1145/636517.636531openalex-snapshot
Computer assisted manipulation of algebraic process specifications
inferred← citeshttps://doi.org/10.1201/9781420006674.ch15openalex-snapshot
Genetic Regulatory Networks
inferred← citeshttps://doi.org/10.1504/ijspm.2008.023680openalex-snapshot
Formal modelling and discrete-time analysis of BPEL web services
inferred← citeshttps://doi.org/10.2168/lmcs-9(4:1)2013openalex-snapshot
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
inferred← citeshttps://doi.org/10.22215/etd/2009-10147openalex-snapshot
An open framework for the specification and execution of a testable requirements model
inferred← citeshttps://doi.org/10.2298/bg20131217vujosevicjanicicopenalex-snapshot
Automated generation and checking of verification conditions
inferred← citeshttps://doi.org/10.26732/2225-9449-2017-4-175-183openalex-snapshot
FORMATION OF PROCEDURES OF THE EXTERNAL COMMAND‑AND-SOFTWARE CONTROL FOR TESTING THE SPACECRAFT COMMAND-AND-MEASURING SYSTEM
inferred← citeshttps://doi.org/10.2991/amsee-16.2016.57openalex-snapshot
Automation of Spacecraft Onboard Equipment Testing
inferred← citeshttps://doi.org/10.2991/cmsa-18.2018.18openalex-snapshot
Creation of the Base of a Simulation Model’s Precedents for Analysis of the Spacecraft Onboard Equipment Testing Results
inferred← citeshttps://doi.org/10.3166/tsi.22.461-495openalex-snapshot
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones
inferred← citeshttps://doi.org/10.4204/eptcs.349.1openalex-snapshot
Is CADP an Applicable Formal Method?
inferred← citeshttps://doi.org/10.4230/lites-v001-i001-a002openalex-snapshot
TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
inferred← citeshttps://doi.org/10.48550/arxiv.1206.7064openalex-snapshot
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments
inferred← citeshttps://doi.org/10.5381/jot.2018.17.1.a1openalex-snapshot
Implementation of LMNtal Model Checkers: a Metaprogramming Approach. .
inferred← citeshttps://doi.org/10.5555/380921.380941openalex-snapshot
Parallel state space construction for model-checking
inferred← citeshttps://doi.org/10.6092/unibo/amsdottorato/913openalex-snapshot
Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs
inferred← citeshttps://doi.org/10.6100/ir562056openalex-snapshot
Semantics and verification in process algebras with data and timing
inferred← citeshttps://doi.org/10.6100/ir640216openalex-snapshot
Automated model-based testing of hybrid systems
inferred← citeshttps://doi.org/10.70675/d3af64e2z27b0z4354za1fczf56c69261924openalex-snapshot
Langages modernes pour la modélisation et la vérification des systèmes asynchrones
inferred← citeshttps://doi.org/10.70675/d577d68cz444bz40a4z951fza32dbfafa076openalex-snapshot
Towards an integrative approach for the modeling and formal verification of biological regulatory networks
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.