On the public citation graph
Developing U PPAAL over 15 years
0 signed · 127 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/11539452_9openalex-snapshot
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
inferredcites →https://doi.org/10.1007/11561163_8openalex-snapshot
Priced Timed Automata: Algorithms and Applications
inferredcites →https://doi.org/10.1007/11867340_10openalex-snapshot
Model Checking Timed Automata with Priorities Using DBM Subtraction
inferredcites →https://doi.org/10.1007/3-540-44829-2_15openalex-snapshot
Unification & Sharing in Timed Automata Verification
inferredcites →https://doi.org/10.1007/3-540-45319-9_13openalex-snapshot
Efficient Guiding Towards Cost-Optimality in UPPAAL
inferredcites →https://doi.org/10.1007/3-540-45351-2_15openalex-snapshot
Minimum-Cost Reachability for Priced Time Automata
inferredcites →https://doi.org/10.1007/3-540-45923-5_15openalex-snapshot
Formal Verification of UML Statecharts with Real-Time Extensions
inferredcites →https://doi.org/10.1007/3-540-46002-0_32openalex-snapshot
TIMES b— A Tool for Modelling and Implementation of Embedded Systems
inferredcites →https://doi.org/10.1007/3-540-46002-0_6openalex-snapshot
Timed Automata with Asynchronous Processes: Schedulability and Decidability
inferredcites →https://doi.org/10.1007/3-540-46419-0_10openalex-snapshot
On Memory-Block Traversal Problems in Model-Checking Timed Systems
inferredcites →https://doi.org/10.1007/3-540-48683-6_30openalex-snapshot
Efficient Timed Reachability Analysis Using Clock Difference Diagrams
inferredcites →https://doi.org/10.1007/3-540-60249-6_41openalex-snapshot
Model-checking for real-time systems
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/978-0-387-34878-0_18openalex-snapshot
Automatic Verification of Real-Time Communicating Systems by Constraint-Solving
inferredcites →https://doi.org/10.1007/978-3-540-24732-6_8openalex-snapshot
Black-Box Conformance Testing for Real-Time Systems
inferredcites →https://doi.org/10.1007/978-3-540-27755-2_3openalex-snapshot
Timed Automata: Semantics, Algorithms and Tools
inferredcites →https://doi.org/10.1007/978-3-540-30206-3_21openalex-snapshot
Symbolic Model Checking for Probabilistic Timed Automata
inferredcites →https://doi.org/10.1007/978-3-540-31848-4_6openalex-snapshot
Online Testing of Real-time Systems Using Uppaal
inferredcites →https://doi.org/10.1007/978-3-540-73368-3_14openalex-snapshot
UPPAAL-Tiga: Time for Playing Games!
inferredcites →https://doi.org/10.1007/978-3-540-75454-1_16openalex-snapshot
Partial Order Reduction for Verification of Real-Time Components
inferredcites →https://doi.org/10.1007/978-3-540-75454-1_17openalex-snapshot
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga
inferredcites →https://doi.org/10.1007/978-3-540-75596-8_15openalex-snapshot
Timed Control with Observation Based and Stuttering Invariant Strategies
inferredcites →https://doi.org/10.1007/978-3-540-88387-6_23openalex-snapshot
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
inferredcites →https://doi.org/10.1007/978-3-642-04368-0_8openalex-snapshot
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
inferredcites →https://doi.org/10.1007/978-3-642-05089-3_33openalex-snapshot
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
inferredcites →https://doi.org/10.1007/b12025openalex-snapshot
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1007/bfb0035403openalex-snapshot
The bounded retransmission protocol must be on time!
inferredcites →https://doi.org/10.1007/bfb0054178openalex-snapshot
Formal design and analysis of a gear controller
inferredcites →https://doi.org/10.1007/bfb0055040openalex-snapshot
Simple linear-time algorithms for minimal fixed points
inferredcites →https://doi.org/10.1016/s0304-3975(01)00215-8openalex-snapshot
On probabilistic timed automata
inferredcites →https://doi.org/10.1016/s1567-8326(02)00036-xopenalex-snapshot
Automated verification of an audio-control protocol using Uppaal
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/emrts.2000.854004openalex-snapshot
Modelling and analysis of a commercial field bus protocol
inferredcites →https://doi.org/10.1109/icpads.2000.857731openalex-snapshot
A practical nonblocking queue algorithm using compare-and-swap
inferredcites →https://doi.org/10.1109/prfts.1997.640153openalex-snapshot
Formal verification of a TDMA protocol start-up mechanism
inferredcites →https://doi.org/10.1109/qsic.2004.5openalex-snapshot
A test case generation algorithm for real-time systems
inferredcites →https://doi.org/10.1109/real.1997.641265openalex-snapshot
Efficient verification of real-time systems: compact data structure and state-space reduction
inferredcites →https://doi.org/10.1145/1086228.1086283openalex-snapshot
Testing real-time embedded software using UPPAAL-TRON
inferredcites →https://doi.org/10.1145/1176887.1176923openalex-snapshot
Analysis of the zeroconf protocol using UPPAAL
inferredcites →https://doi.org/10.1145/1453775.1453793openalex-snapshot
Using model checkers in an introductory course on operating systems
inferredcites →https://doi.org/10.4204/eptcs.13.1openalex-snapshot
Adaptive Scheduling of Data Paths using Uppaal Tiga
inferredcites →https://doi.org/10.7146/brics.v8i3.20457openalex-snapshot
Minimum-Cost Reachability for Priced 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/9783527800728.ch15openalex-snapshot
System Design in the Cyber‐Physical Era
inferred← citeshttps://doi.org/10.1002/qre.70375openalex-snapshot
An Intelligent Safety‐Driven Design and Verification of ECG Telehealth Systems: A Model‐Based Approach and Case Study
inferred← citeshttps://doi.org/10.1002/spe.3372openalex-snapshot
A comprehensive survey of UPPAAL‐assisted formal modeling and verification
inferred← citeshttps://doi.org/10.1007/978-3-030-00244-2_18openalex-snapshot
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP
inferred← citeshttps://doi.org/10.1007/978-3-030-17502-3_4openalex-snapshot
Presentation of the 9th Edition of the Model Checking Contest
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-53291-8_8openalex-snapshot
Towards Model Checking Real-World Software-Defined Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-79168-1_7openalex-snapshot
Optimal Preventive Maintenance Frequency in Redundant Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-91550-6_1openalex-snapshot
Introducing Formal Methods to First-Year Students in Three Intensive Weeks
inferred← citeshttps://doi.org/10.1007/978-3-032-12086-1_2openalex-snapshot
A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD
inferred← citeshttps://doi.org/10.1007/978-3-319-02444-8_35openalex-snapshot
PyEcdar: Towards Open Source Implementation for Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_62openalex-snapshot
On the Power of Statistical Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-61566-0_91openalex-snapshot
A Planner for Supporting Countermeasures in Large Scale Cyber Attacks
inferred← citeshttps://doi.org/10.1007/978-3-319-65636-6_22openalex-snapshot
Multi-agent Collaborative Planning in Smart Environments
inferred← citeshttps://doi.org/10.1007/978-3-319-65765-3_14openalex-snapshot
Let’s Be Lazy, We Have Time
inferred← citeshttps://doi.org/10.1007/978-3-319-68690-5_15openalex-snapshot
Classification-Based Parameter Synthesis for Parametric Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-91446-6_14openalex-snapshot
Fairness in Temporal Verification of Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_22openalex-snapshot
Continuous-Time Models for System Design and Analysis
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-319-98938-9_23openalex-snapshot
Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-642-15349-5_2openalex-snapshot
Symbolic and Compositional Reachability for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-22110-1_52openalex-snapshot
Synthia: Verification and Synthesis for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-33365-1_8openalex-snapshot
Multi-core Reachability for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-662-44584-6_18openalex-snapshot
Probabilistic Bisimulation: Naturally on Distributions
inferred← citeshttps://doi.org/10.1007/978-3-662-54577-5_1openalex-snapshot
Validation, Synthesis and Optimization for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-981-95-8617-2_6openalex-snapshot
Model Checking, Performance Analysis, Synthesis and Learning for Cyber Physical Systems
inferred← citeshttps://doi.org/10.1007/s10009-014-0323-4openalex-snapshot
Statistical model checking for biological systems
inferred← citeshttps://doi.org/10.1007/s10270-021-00917-7openalex-snapshot
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)
inferred← citeshttps://doi.org/10.1007/s10994-016-5565-9openalex-snapshot
Learning deterministic probabilistic automata from a model checking perspective
inferred← citeshttps://doi.org/10.1007/s11334-025-00607-3openalex-snapshot
Specification and model-checking of space systems in the TASTE toolset
inferred← citeshttps://doi.org/10.1007/s11390-020-0537-8openalex-snapshot
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow
inferred← citeshttps://doi.org/10.1016/b978-0-323-99330-2.00008-8openalex-snapshot
Event-based digital-twin model for emergency management
inferred← citeshttps://doi.org/10.1016/j.chb.2019.02.030openalex-snapshot
Generation of game contents by social media analysis and MAS planning
inferred← citeshttps://doi.org/10.1016/j.cosrev.2013.05.001openalex-snapshot
A survey of timed automata for the development of real-time systems
inferred← citeshttps://doi.org/10.1016/j.jpdc.2016.12.017openalex-snapshot
Model transformations of MapReduce Design Patterns for automatic development and verification
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.08.015openalex-snapshot
Robust synthesis for real-time systems
inferred← citeshttps://doi.org/10.1109/3pgcic.2015.112openalex-snapshot
An Agent-Based Model for Autonomous Planning in Distrubuted Critical Systems
inferred← citeshttps://doi.org/10.1109/apsec.2015.17openalex-snapshot
Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL
inferred← citeshttps://doi.org/10.1109/cisis.2016.135openalex-snapshot
An Agent-Based Model for Autonomous Planning
inferred← citeshttps://doi.org/10.1109/compsac.2011.110openalex-snapshot
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool
inferred← citeshttps://doi.org/10.1109/formalise.2013.6612279openalex-snapshot
A framework for the rigorous design of highly adaptive timed systems
inferred← citeshttps://doi.org/10.1109/jproc.2015.2453253openalex-snapshot
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/jproc.2018.2853608openalex-snapshot
Real-Time Decision Policies With Predictable Performance
inferred← citeshttps://doi.org/10.1109/nca57778.2022.10013626openalex-snapshot
Formal models for the verification, performance evaluation, and comparison of IoT communication protocols
inferred← citeshttps://doi.org/10.1109/sitis.2015.120openalex-snapshot
Verification and Planning in Agent-Based Systems
inferred← citeshttps://doi.org/10.1109/tase.2019.00-14openalex-snapshot
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata
inferred← citeshttps://doi.org/10.1109/tcst.2021.3054800openalex-snapshot
Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic
inferred← citeshttps://doi.org/10.1109/tse.2015.2468717openalex-snapshot
Probabilistic Model Checking of Regenerative Concurrent Systems
inferred← citeshttps://doi.org/10.1109/tse.2019.2917202openalex-snapshot
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
inferred← citeshttps://doi.org/10.1109/waina.2017.3openalex-snapshot
Formal Procedural Content Generation in Games Driven by Social Analyses
inferred← citeshttps://doi.org/10.1145/2461328.2461358openalex-snapshot
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
inferred← citeshttps://doi.org/10.1145/2964202openalex-snapshot
Modeling Distributed Real-Time Systems in TIOA and UPPAAL
inferred← citeshttps://doi.org/10.1145/3427921.3450250openalex-snapshot
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services
inferred← citeshttps://doi.org/10.1155/2015/939028openalex-snapshot
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs
inferred← citeshttps://doi.org/10.1155/2020/6791891openalex-snapshot
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code
inferred← citeshttps://doi.org/10.1162/neco_a_01569openalex-snapshot
Formal Verification of Deep Brain Stimulation Controllers for Parkinson's Disease Treatment
inferred← citeshttps://doi.org/10.1177/0037549720958056openalex-snapshot
A DEVS-based pivotal modeling formalism and its verification and validation framework
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.53.773openalex-snapshot
Multi-core and/or Symbolic Model Checking
inferred← citeshttps://doi.org/10.15439/2018f114openalex-snapshot
Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)
inferred← citeshttps://doi.org/10.15439/2023f8794openalex-snapshot
Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)
inferred← citeshttps://doi.org/10.20944/preprints201912.0400.v1openalex-snapshot
Modelling Distributed Systems in Distributed Autonomous and Asynchronous Automata (DA3)
inferred← citeshttps://doi.org/10.2139/ssrn.7036117openalex-snapshot
Bridging Prescriptive and Operational Timing: A Formal Translation from CCSL to TASTD for Critical System Specification⋆
inferred← citeshttps://doi.org/10.24136/atest.2018.516openalex-snapshot
Cooperation of multiple autonomous robots and analysis of their swarm behavior
inferred← citeshttps://doi.org/10.3390/asi8030060openalex-snapshot
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking
inferred← citeshttps://doi.org/10.3390/computers7040065openalex-snapshot
Specification and Verification in Integrated Model of Distributed Systems (IMDS)
inferred← citeshttps://doi.org/10.3390/en15239041openalex-snapshot
Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems
inferred← citeshttps://doi.org/10.3390/s21134541openalex-snapshot
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents
inferred← citeshttps://doi.org/10.3390/s22031157openalex-snapshot
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems
inferred← citeshttps://doi.org/10.3897/jucs.91311openalex-snapshot
A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amr.630.283openalex-snapshot
Obtaining Plant Models for Formal Verification Tasks from 3D CAD Models: Which is the Best Approach?
inferred← citeshttps://doi.org/10.4204/eptcs.105.10openalex-snapshot
MDM: A Mode Diagram Modeling Framework
inferred← citeshttps://doi.org/10.4204/eptcs.87.3openalex-snapshot
A Parametric Counterexample Refinement Approach for Robust Timed Specifications
inferred← citeshttps://doi.org/10.48550/arxiv.1207.0922openalex-snapshot
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1404.5084openalex-snapshot
Probabilistic Bisimulation: Naturally on Distributions
inferred← citeshttps://doi.org/10.5220/0005516402190228openalex-snapshot
A Method for Model Checking Feature Interactions
inferred← citeshttps://doi.org/10.5755/j01.eie.23.6.17572openalex-snapshot
Utility of statistical model checking of stochastic hybrid automata for patient controlled analgesia
inferred← citeshttps://doi.org/10.6100/ir780940openalex-snapshot
Improving input-output conformance testing theories
inferred← citeshttps://doi.org/10.70675/5d4356aazbd5fz4a02z95b9z1eb35c2973d6openalex-snapshot
Acceleration for statistical model checking
inferred← citeshttps://doi.org/10.70675/959f6847z9938z4070zb474z2e2fed9f071bopenalex-snapshot
Applying Formal Methods to Autonomous Vehicle Control
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.