On the public citation graph

Formal Techniques for Networked and Distributed Systems

https://doi.org/10.1007/b116730
0 signed · 32 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.
Claim with ORCID
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.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/smr.2410openalex-snapshot
An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol
inferred← citeshttps://doi.org/10.1002/stvr.1543openalex-snapshot
Model‐based testing for concurrent systems with labelled event structures
inferred← citeshttps://doi.org/10.1007/3-540-36135-9_19openalex-snapshot
Building Tools for LOTOS Symbolic Semantics in Maude
inferred← citeshttps://doi.org/10.1007/978-3-031-78116-2_4openalex-snapshot
A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-78116-2_5openalex-snapshot
Verifying Integrated Designs of UML State Machines and Activities Using CSP
inferred← citeshttps://doi.org/10.1007/978-3-540-25930-5_3openalex-snapshot
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements
inferred← citeshttps://doi.org/10.1007/978-3-540-31848-4_7openalex-snapshot
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
inferred← citeshttps://doi.org/10.1007/s10009-019-00513-7openalex-snapshot
A formal approach to AADL model-based software engineering
inferred← citeshttps://doi.org/10.1007/s11334-006-0011-yopenalex-snapshot
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones
inferred← citeshttps://doi.org/10.1016/b978-0-12-800160-8.00001-2openalex-snapshot
Automated Test Oracles
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.08.025openalex-snapshot
Towards Deriving Test Sequences by Model Checking
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.074openalex-snapshot
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
inferred← citeshttps://doi.org/10.1016/j.entcs.2013.04.008openalex-snapshot
A Design Tool for Service-oriented Systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.04.003openalex-snapshot
Formal mutation testing for
inferred← citeshttps://doi.org/10.1016/j.infsof.2022.107145openalex-snapshot
Digital-twin-based testing for cyber–physical systems: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107828openalex-snapshot
Enhancing autonomous driving simulations: A hybrid metamorphic testing framework with metamorphic relations generated by GPT
inferred← citeshttps://doi.org/10.1016/j.ins.2012.12.024openalex-snapshot
An interleaving semantics for UML 2 interactions using Petri nets
inferred← citeshttps://doi.org/10.1016/j.scico.2010.06.007openalex-snapshot
Multifunctional software systems: Structured modeling and specification of functional requirements
inferred← citeshttps://doi.org/10.1016/j.scico.2011.10.011openalex-snapshot
Compositional verification of a communication protocol for a remotely operated aircraft
inferred← citeshttps://doi.org/10.1016/j.scico.2014.10.001openalex-snapshot
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
inferred← citeshttps://doi.org/10.1016/j.scico.2016.08.008openalex-snapshot
Symmetry reduction for time Petri net state classes
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102645openalex-snapshot
Minimizing Characterizing sets
inferred← citeshttps://doi.org/10.1016/j.scico.2023.103053openalex-snapshot
Testing and incremental conformance testing of timed state machines
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103334openalex-snapshot
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra
inferred← citeshttps://doi.org/10.1049/iet-sen.2008.0018openalex-snapshot
Comparing finite state machine test coverage criteria
inferred← citeshttps://doi.org/10.1109/tc.2010.17openalex-snapshot
Checking Completeness of Tests for Finite State Machines
inferred← citeshttps://doi.org/10.1109/tse.2009.89openalex-snapshot
Learning Communicating Automata from MSCs
inferred← citeshttps://doi.org/10.1109/tse.2011.1openalex-snapshot
Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
inferred← citeshttps://doi.org/10.1145/2695664.2695803openalex-snapshot
Symmetry reduced state classes for time petri nets
inferred← citeshttps://doi.org/10.1145/3167132.3167282openalex-snapshot
An ocarina extension for AADL formal semantics generation
inferred← citeshttps://doi.org/10.1145/3564532openalex-snapshot
Do You Need a Distributed Ledger Technology Interoperability Solution?
inferred← citeshttps://doi.org/10.21203/rs.3.rs-4275987/v1openalex-snapshot
SilkSecured: A Comprehensive Analysis of Security and Dependencies in China's Governmental Web Systems
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.