On the public citation graph
The bounded retransmission protocol must be on time!
0 signed · 119 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-58085-9_75openalex-snapshot
Proof-checking a data link protocol
inferredcites →https://doi.org/10.1007/3-540-60973-3_113openalex-snapshot
Experiments in theorem proving and model checking for protocol verification
inferredcites →https://doi.org/10.1007/3-540-61042-1_53openalex-snapshot
Extending promela and spin for real time
inferredcites →https://doi.org/10.1007/3-540-61474-5_73openalex-snapshot
Verification of an Audio Protocol with bus collision using Uppaal
inferredcites →https://doi.org/10.1007/bfb0014338openalex-snapshot
A bounded retransmission protocol for large data packets
inferredcites →https://doi.org/10.1007/bfb0020949openalex-snapshot
UPPAAL — a tool suite for automatic verification of real-time systems
inferredcites →https://doi.org/10.1007/bfb0035403openalex-snapshot
The bounded retransmission protocol must be on time!
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118558188.ch6openalex-snapshot
Tools for Model‐Checking Timed Systems
inferred← citeshttps://doi.org/10.1002/9781118569351.ch4openalex-snapshot
Behavioral Cartography of Timed Automata
inferred← citeshttps://doi.org/10.1007/0-306-47003-9_22openalex-snapshot
Verification of Dense Time Properties Using Theories of Untimed Process Algebra
inferred← citeshttps://doi.org/10.1007/10692867_13openalex-snapshot
Abstraction and Modular Verification of Infinite-State Reactive Systems
inferred← citeshttps://doi.org/10.1007/10722167_32openalex-snapshot
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems
inferred← citeshttps://doi.org/10.1007/11691617_16openalex-snapshot
Partial-Order Reduction for General State Exploring Algorithms
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_9openalex-snapshot
Verification and Improvement of the Sliding Window Protocol
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_34openalex-snapshot
TReX: A Tool for Reachability Analysis of Complex Systems
inferred← citeshttps://doi.org/10.1007/3-540-44804-7_3openalex-snapshot
Reachability Analysis of Probabilistic Systems by Successive Refinements
inferred← citeshttps://doi.org/10.1007/3-540-45245-1_9openalex-snapshot
A Real-Time Animator for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_14openalex-snapshot
Linear Parametric Model Checking of Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-48234-2_8openalex-snapshot
Xspin/Project - Integrated Validation Management for Xspin
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_15openalex-snapshot
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_30openalex-snapshot
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
inferred← citeshttps://doi.org/10.1007/3-540-49059-0_15openalex-snapshot
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_26openalex-snapshot
Integrating Real Time Into Spin: A Prototype Implementation
inferred← citeshttps://doi.org/10.1007/978-1-4020-7829-3_40openalex-snapshot
Engineering Interaction Protocols for Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_18openalex-snapshot
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-030-11245-5_23openalex-snapshot
Parametric Timed Broadcast Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-12988-0_5openalex-snapshot
A Benchmark Library for Parametric Timed Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_23openalex-snapshot
Benchmarks for Automata Learning and Conformance Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-72016-2_17openalex-snapshot
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-30122-3_17openalex-snapshot
Defense Models for Data Recovery in Industrial Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-57256-2_10openalex-snapshot
On-The-Fly Algorithm for Reachability in Parametric Timed Games
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_27openalex-snapshot
Caesar: A Deductive Verifier for Probabilistic Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-01766-2_141openalex-snapshot
Quantitative Verification of the Bounded Retransmission Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_27openalex-snapshot
Merge and Conquer: State Merging in Parametric Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-23129-7_3openalex-snapshot
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_2openalex-snapshot
20 Years of Real Real Time Model Validation
inferred← citeshttps://doi.org/10.1007/978-3-540-30080-9_9openalex-snapshot
Embedded Software Analysis with MOTOR
inferred← citeshttps://doi.org/10.1007/978-3-540-40007-3_21openalex-snapshot
Making Timed Automata Communicate
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_2openalex-snapshot
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15349-5_5openalex-snapshot
Behavioral Cartography of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-24288-5_5openalex-snapshot
Synthesis of Timing Parameters Satisfying Safety Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-31759-0_16openalex-snapshot
mctau: Bridging the Gap between Modest and UPPAAL
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_15openalex-snapshot
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels
inferred← citeshttps://doi.org/10.1007/978-3-642-39721-9_2openalex-snapshot
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-04293-9openalex-snapshot
Introduction to Process Algebra
inferred← citeshttps://doi.org/10.1007/978-3-7091-3693-5_17openalex-snapshot
Specification and Verification of Media Constraints using UPPAAL
inferred← citeshttps://doi.org/10.1007/bfb0028753openalex-snapshot
Generating finite-state abstractions of reactive systems using decision procedures
inferred← citeshttps://doi.org/10.1007/bfb0035375openalex-snapshot
Tools and Algorithms for the Construction and Analysis of Systems
inferred← citeshttps://doi.org/10.1007/bfb0054185openalex-snapshot
Experience with literate programming in the modelling and validation of systems
inferred← citeshttps://doi.org/10.1007/s001650050032openalex-snapshot
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal
inferred← citeshttps://doi.org/10.1007/s10009-002-0078-1openalex-snapshot
Managing the verification trajectory
inferred← citeshttps://doi.org/10.1007/s10009-008-0093-yopenalex-snapshot
Partial-order reduction for general state exploring algorithms
inferred← citeshttps://doi.org/10.1007/s100090100059openalex-snapshot
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
inferred← citeshttps://doi.org/10.1007/s10703-023-00442-xopenalex-snapshot
Parameter synthesis for Markov models: covering the parameter space
inferred← citeshttps://doi.org/10.1007/s10994-013-5405-0openalex-snapshot
Improving active Mealy machine learning for protocol conformance testing
inferred← citeshttps://doi.org/10.1007/s11241-014-9208-6openalex-snapshot
Parameter synthesis for hierarchical concurrent real-time systems
inferred← citeshttps://doi.org/10.1016/j.marpetgeo.2019.104045openalex-snapshot
Fracture stratigraphy and DFN modelling of tight carbonates, the case study of the Lower Cretaceous carbonates exposed at the Monte Alpi (Basilicata, Italy)
inferred← citeshttps://doi.org/10.1016/j.scico.2015.08.009openalex-snapshot
In the quantitative automata zoo
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102513openalex-snapshot
Trace semantics and refinement patterns for real-time properties in event-B models
inferred← citeshttps://doi.org/10.1016/j.tcs.2014.06.020openalex-snapshot
Minimal counterexamples for linear-time probabilistic verification
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00046-9openalex-snapshot
Automatic verification of real-time systems with discrete probability distributions
inferred← citeshttps://doi.org/10.1016/s1567-8326(02)00037-1openalex-snapshot
Linear parametric model checking of timed automata
inferred← citeshttps://doi.org/10.1023/b:form.0000033962.51898.1aopenalex-snapshot
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
inferred← citeshttps://doi.org/10.1049/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1109/acsd.2016.20openalex-snapshot
Controlling Actions and Time in Parametric Timed Automata
inferred← citeshttps://doi.org/10.1109/comst.2002.5341329openalex-snapshot
Formal methods for specification and analysis of communication protocols
inferred← citeshttps://doi.org/10.1109/date.2012.6176499openalex-snapshot
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
inferred← citeshttps://doi.org/10.1109/dsn.2005.20openalex-snapshot
Are You Still There? — A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks
inferred← citeshttps://doi.org/10.1109/electronics.2017.7995232openalex-snapshot
Algebraic specification of ABP protocol using different time constraints
inferred← citeshttps://doi.org/10.1109/icc45855.2022.9838865openalex-snapshot
A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets
inferred← citeshttps://doi.org/10.1109/iceccs.2012.29openalex-snapshot
Parameter synthesis for hierarchical concurrent real-time systems
inferred← citeshttps://doi.org/10.1109/iceccs.2013.26openalex-snapshot
Observer Patterns for Real-Time Systems
inferred← citeshttps://doi.org/10.1109/icsai.2017.8248391openalex-snapshot
Continuous simulation abstraction refinement for Markov decision processes
inferred← citeshttps://doi.org/10.1109/idaacs53288.2021.9660937openalex-snapshot
Towards a Formal Verification of Seamless Cryptographic Rekeying in Real-Time Communication Systems
inferred← citeshttps://doi.org/10.1109/mascots.2006.52openalex-snapshot
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal
inferred← citeshttps://doi.org/10.1109/qest.2007.10openalex-snapshot
Probabilistic Model Checking Modulo Theories
inferred← citeshttps://doi.org/10.1109/qest.2007.30openalex-snapshot
GRIP: Generic Representatives in PRISM
inferred← citeshttps://doi.org/10.1109/qest.2007.33openalex-snapshot
PEPS2007 - Stochastic Automata Networks Software Tool
inferred← citeshttps://doi.org/10.1109/qest.2008.34openalex-snapshot
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1109/qest.2009.41openalex-snapshot
A Modest Approach to Checking Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1145/2462410.2463206openalex-snapshot
Specification and analysis of access control policies for mobile applications
inferred← citeshttps://doi.org/10.1145/3622870openalex-snapshot
A Deductive Verification Infrastructure for Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3798215openalex-snapshot
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
inferred← citeshttps://doi.org/10.12988/ams.2016.65208openalex-snapshot
Modeling of railway networks using timed automata
inferred← citeshttps://doi.org/10.14569/ijacsa.2018.090655openalex-snapshot
Formal Analysis and Verification of Agent-Oriented Supply-Chain Management
inferred← citeshttps://doi.org/10.18154/rwth-2020-02348openalex-snapshot
Parameter synthesis in Markov models
inferred← citeshttps://doi.org/10.18293/seke2018-060openalex-snapshot
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things
inferred← citeshttps://doi.org/10.21015/vtcs.v10i2.1273openalex-snapshot
Formal Verification of Twin Clutch Gear Control
inferred← citeshttps://doi.org/10.25561/95500openalex-snapshot
Modelling and analysis of the bounded-retransmission protocol: experience with discrete time in the LTSA
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25cf7openalex-snapshot
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
inferred← citeshttps://doi.org/10.3990/1.9789036515641openalex-snapshot
Towards effective model checking
inferred← citeshttps://doi.org/10.4204/eptcs.39.7openalex-snapshot
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
inferred← citeshttps://doi.org/10.4230/oasics.fsfma.2013.18openalex-snapshot
Dynamic Clock Elimination in Parametric Timed Automata
inferred← citeshttps://doi.org/10.5555/2492708.2492803openalex-snapshot
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
inferred← citeshttps://doi.org/10.6100/ir549628openalex-snapshot
Enhancing state space reduction techniques for model checking
inferred← citeshttps://doi.org/10.70675/61130ea1zef23z4950z81e1z91b74939ff7copenalex-snapshot
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions
inferred← citeshttps://doi.org/10.70675/66ea0809z2a39z4e5az8053z7bc2546457f9openalex-snapshot
An inverse method for the synthesis of timing parameters in concurrent systems
inferred← citeshttps://doi.org/10.70675/9909c56dz2678z4612zba67z9d3f86555c83openalex-snapshot
Synthesis of correct-by-design schedulers for hybrid systems
inferred← citeshttps://doi.org/10.70675/d6d620d6z615fz4a28z90eczb17f53cfd4aaopenalex-snapshot
Model-based testing real-time and interactive music systems
inferred← citeshttps://doi.org/10.7146/brics.v5i47.19492openalex-snapshot
Efficient Timed Reachability Analysis using Clock Difference Diagrams
inferred← citeshttps://doi.org/10.7146/brics.v8i5.20459openalex-snapshot
Linear Parametric Model Checking of Timed Automata
inferred← citeshttps://doi.org/10.7916/d8x63mqgopenalex-snapshot
Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study
showing the first 107 of 108 · page through all 108
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.