On the public citation graph
Probabilistic verification of communication protocols
0 signed · 68 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/978-1-4615-6698-4_20openalex-snapshot
A Survey of Formal Methods
inferredcites →https://doi.org/10.1007/978-1-4615-6698-4_24openalex-snapshot
Protocol Analysis and Synthesis using a State Transition Model
inferredcites →https://doi.org/10.1007/bf01843570openalex-snapshot
Verification of multiprocess probabilistic protocols
inferredcites →https://doi.org/10.1016/0376-5075(84)90008-4openalex-snapshot
Verification of a multidestination selective repeat procedure
inferredcites →https://doi.org/10.1016/s0019-9958(66)80013-xopenalex-snapshot
Testing and generating infinite sequences by a finite automaton
inferredcites →https://doi.org/10.1080/00401706.1961.10489978openalex-snapshot
Error Correcting Codes
inferredcites →https://doi.org/10.1109/26.35374openalex-snapshot
An algorithmic procedure for checking safety properties of protocols
inferredcites →https://doi.org/10.1109/26.3772openalex-snapshot
An algorithmic technique for protocol verification
inferredcites →https://doi.org/10.1109/tc.1982.1676060openalex-snapshot
A Validation Technique for Tightly Coupled Protocols
inferredcites →https://doi.org/10.1109/tcom.1983.1095720openalex-snapshot
Modular Verification of Computer Communication Protocols
inferredcites →https://doi.org/10.1109/tit.1973.1055002openalex-snapshot
Review of 'Error-Correcting Codes, 2nd edn.' (Peterson, W. W., and Weldon, E. J., Jr.; 1972)
inferredcites →https://doi.org/10.1109/tse.1984.5010246openalex-snapshot
Protocol Verification via Projections
inferredcites →https://doi.org/10.1109/tse.1984.5010313openalex-snapshot
Closed Covers: To Verify Progress for Communicating Finite State Machines
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1147/rd.136.0675openalex-snapshot
Fast Sequential Decoding Algorithm Using a Stack
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/ecja.4410741101openalex-snapshot
An evaluation of test sequence generation methods for communication protocols
inferred← citeshttps://doi.org/10.1007/3-540-52148-8_26openalex-snapshot
Parallel protocol verification: The two-phase algorithm and complexity analysis
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_25openalex-snapshot
On the coverage of partial validations
inferred← citeshttps://doi.org/10.1007/978-3-642-15651-9_1openalex-snapshot
Reliability Analysis of Safety-Related Communication Architectures
inferred← citeshttps://doi.org/10.1007/978-3-7091-9198-9_17openalex-snapshot
A New Approach of Formal Proof: Probabilistic Validation
inferred← citeshttps://doi.org/10.1007/bf02745366openalex-snapshot
Logical models of discrete event systems: A comparative exposition
inferred← citeshttps://doi.org/10.1016/0020-0190(95)00056-iopenalex-snapshot
ECFSM-based probabilistic protocol verification
inferred← citeshttps://doi.org/10.1016/0026-2714(95)00193-xopenalex-snapshot
Probabilistic evaluation for the analytical solution of large Markov models: Algorithms and tool support
inferred← citeshttps://doi.org/10.1016/0169-7552(90)90132-copenalex-snapshot
Protocol specification for OSI
inferred← citeshttps://doi.org/10.1016/0169-7552(90)90133-dopenalex-snapshot
Protocol verification for OSI
inferred← citeshttps://doi.org/10.1016/0920-5489(91)90046-3openalex-snapshot
The relationship between conformance testing of and interoperability between OSI systems
inferred← citeshttps://doi.org/10.1016/s0140-3664(96)01051-1openalex-snapshot
Probabilistic fuzzy timed protocol verification
inferred← citeshttps://doi.org/10.1016/s0140-3664(97)00075-3openalex-snapshot
Protocol validation by simultaneous reachability analysis
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00163-2openalex-snapshot
PPP (P3): an Estelle-based probabilistic partial protocol verification system
inferred← citeshttps://doi.org/10.1080/15472450.2014.889932openalex-snapshot
The Fail-Safe Operation of Collaborative Driving Systems
inferred← citeshttps://doi.org/10.1093/comjnl/45.2.162openalex-snapshot
Construction of Deadlock-free Designs of Communication Protocols from Observations
inferred← citeshttps://doi.org/10.1109/12.192210openalex-snapshot
An improved method for constructing multiphase communications protocols
inferred← citeshttps://doi.org/10.1109/26.153362openalex-snapshot
A procedure for probabilistic protocol verification
inferred← citeshttps://doi.org/10.1109/49.536488openalex-snapshot
MCMP: a transport/session level distributed protocol for desktop conference setup
inferred← citeshttps://doi.org/10.1109/90.298433openalex-snapshot
A LOTOS extension for the performance analysis of distributed systems
inferred← citeshttps://doi.org/10.1109/cmpass.1995.521903openalex-snapshot
An Estelle-NPN based system for protocol verification
inferred← citeshttps://doi.org/10.1109/cmpsac.1989.65080openalex-snapshot
Parallel protocol verification using the two-phase algorithm
inferred← citeshttps://doi.org/10.1109/cns.1988.4993openalex-snapshot
Survey of protocol verification techniques based on finite state machine models
inferred← citeshttps://doi.org/10.1109/hicss.1989.48003openalex-snapshot
On the verification of time-dependent protocols using timed reachability analysis
inferred← citeshttps://doi.org/10.1109/icccn.2000.885549openalex-snapshot
Systematic testing of multicast routing protocols: analysis of forward and backward search techniques
inferred← citeshttps://doi.org/10.1109/icdcs.1992.235032openalex-snapshot
Probabilistic characterization of algebraic protocol specifications
inferred← citeshttps://doi.org/10.1109/icdcs.1996.507970openalex-snapshot
Structured design of communication protocols
inferred← citeshttps://doi.org/10.1109/icnp.1993.340890openalex-snapshot
Probabilistic conformance testing of protocols with unobservable transitions
inferred← citeshttps://doi.org/10.1109/icnp.1994.344365openalex-snapshot
On the construction of multiphase communication protocols
inferred← citeshttps://doi.org/10.1109/icnp.2012.6459954openalex-snapshot
An architecture for collaborative driving systems
inferred← citeshttps://doi.org/10.1109/icpads.1994.590352openalex-snapshot
Probabilistic timed protocol verification for the extended state transition model
inferred← citeshttps://doi.org/10.1109/icpads.2000.857686openalex-snapshot
An Estelle-based probabilistic partial timed protocol verification system
inferred← citeshttps://doi.org/10.1109/infcom.1989.101435openalex-snapshot
An integrated algorithm for probabilistic protocol verification and evaluation
inferred← citeshttps://doi.org/10.1109/infcom.2005.1498369openalex-snapshot
Optimizing cost-sensitive trust-negotiation protocols
inferred← citeshttps://doi.org/10.1109/pnpm.1991.238800openalex-snapshot
Searching best paths to worst states
inferred← citeshttps://doi.org/10.1109/pnpm.1995.524331openalex-snapshot
Using the probabilistic evaluation tool for the analytical solution of large Markov models
inferred← citeshttps://doi.org/10.1109/reldis.1997.632812openalex-snapshot
Probabilistic verification of a synchronous round-based consensus protocol
inferred← citeshttps://doi.org/10.1109/soac.1991.143890openalex-snapshot
An improved RCP-method for protocol test generation using backward UIO sequences
inferred← citeshttps://doi.org/10.1109/syscon.2012.6189480openalex-snapshot
A safe driver assisted merge protocol
inferred← citeshttps://doi.org/10.1109/vtcfall.2015.7390784openalex-snapshot
A Case Study on Using Probabilistic Verification to Find Failures in a Cooperative Driving Application
inferred← citeshttps://doi.org/10.1109/wowmom.2015.7158215openalex-snapshot
A fail safe broadcast protocol for collaborative intelligent vehicles
inferred← citeshttps://doi.org/10.1145/133057.133100openalex-snapshot
State space exploration in Markov models
inferred← citeshttps://doi.org/10.1145/149439.133100openalex-snapshot
State space exploration in Markov models
inferred← citeshttps://doi.org/10.1145/179812.179848openalex-snapshot
Computing bounds on steady state availability of repairable computer systems
inferred← citeshttps://doi.org/10.1145/214299.214300openalex-snapshot
Timed protocol verification for Estelle-specified protocols
inferred← citeshttps://doi.org/10.1145/233008.233049openalex-snapshot
Efficient exploration of availability models guided by failure distances
inferred← citeshttps://doi.org/10.1145/75246.75275openalex-snapshot
Probabilistic testing of protocols
inferred← citeshttps://doi.org/10.1145/75247.75275openalex-snapshot
Probabilistic testing of protocols
inferred← citeshttps://doi.org/10.1186/s42400-025-00501-2openalex-snapshot
Survey of Consensus Protocol’s Formal Verification
inferred← citeshttps://doi.org/10.7916/d8x63mqgopenalex-snapshot
Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study
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.