Uppaal in a nutshell

No abstract is available for this paper.

• Publication year

  1997

• Venue

  International Journal on Software Tools for Technology Transfer (STTT)

• Publication date

  1997-12-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s100090050010
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal Veriication of a Tdma Protocol Startup Mechanism

  1999cited by this paper
• Eecient Veriication of Real-time Systems: Compact Data Structures and State-space Reduction

  1997cited by this paper
• Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL

  1997cited by this paper
• The Bounded Retransmission Protocol Must Be on Time!

  1997cited by this paper
• Efficient verification of real-time systems: compact data structure and state-space reduction

  1997cited by this paper
• An Efficient Algorithm for Minimizing Real-Time Transition Systems

  1997cited by this paper
• E cient Veri cation of Real-Time Systems: Compact Data Structure and State{Space Reduction

  1997cited by this paper
• Modelling and Verifying a Bounded Retransmission Protocol

  1996cited by this paper
• A Compositional Proof of a Real-Time Mutual Exclusion Protocol

  1996cited by this paper
• Verification of an Audio Protocol with Bus Collision Using UPPAAL

  1996cited by this paper
• UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

  1996cited by this paper
• UPPAAL in 1995

  1996cited by this paper
• Modelling and analysis of a collision avoidance protocol using Spin and Uppaal

  1996cited by this paper
• The FC2TOOLS Set

  1996cited by this paper
• Diagnostic Model-Checking for Real-Time Systems

  1995influential reference
• Two examples of verification of multirate timed automata with Kronos

  1995cited by this paper
• HYTECH: the next generation

  1995cited by this paper
• Compositional and symbolic model-checking of real-time systems

  1995cited by this paper
• Using Abstractions for the Verification of Linear Hybrid Systems

  1994cited by this paper
• Analysis of an Audio Control Protocol with Bus Collision

  1994cited by this paper
• Automatic verification of real-time communicating systems by constraint-solving

  1994cited by this paper
• Automatic Veri(cid:12)cation of Real{Time Communicating Systems by Constraint{Solving (cid:3)

  1994cited by this paper
• Verification of an Audio Control Protocol

  1994cited by this paper
• Verification of Real-Time Systems Using PVS

  1993cited by this paper
• An old-fashioned recipe for real time

  1991cited by this paper
• Automata For Modeling Real-Time Systems

  1990cited by this paper
• Modelchecking for real-time systems

  1990cited by this paper
• Timing Assumptions and Verification of Finite-State Concurrent Systems

  1989cited by this paper
• Communication and concurrency

  1989cited by this paper
• Dynamic Programming

  1957cited by this paper
• Automatic Veri cation of Real-Time Communicating Systems by Constraint-Solving

  year unknowncited by this paper
• E(cid:14)cient Veri(cid:12)cation of Real-Time Systems: Compact Data Structure and State{Space Reduction

  year unknowncited by this paper
• Take A Step

  year unknowncited by this paper

• Formal verification of time-bounded BPMN model with message broker using timed automata

  2026cites this paper
• Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems

  2026cites this paper
• Formal Verification of Partitioned Scheduling in Real‐Time Operating Systems Using Timed Automata

  2026influential citation
• ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair

  2026cites this paper
• Causal Online Learning of Safe Regions in Cloud Radio Access Networks

  2026cites this paper
• Verifying ROS-Based Applications Using Timed and Stochastic Timed Automata

  2025cites this paper
• Safety Verification and Optimization in Industrial Drive Systems

  2025cites this paper
• Automated Compliance Testing Case Generation for Intelligent Connected Vehicles: A Multi-Layer Knowledge-Augmented Framework

  2025cites this paper
• You May Delay, but Time Will Not: Timed Games Under Delayed Control

  2025cites this paper
• Model-checking real-time systems: revisiting the alternating automaton route

  2025cites this paper
• Resolving the Token Loss Vulnerability in the Ethereum ERC-20 Standard

  2025cites this paper
• Formal methods for mobile ad hoc networks: a survey

  2025cites this paper
• Temporal Logics Meet Real-World Software Requirements: A Reality Check

  2025cites this paper
• Efficient Runtime Verification of Energy Properties within Hardware / Software Co-Design

  2025cites this paper
• What You See Is What You Get: Prototype Generation for IoT End-User Programming

  2025cites this paper
• Model checking with memoisation for fast overtaking planning

  2025cites this paper
• Nudging Strategies for User Journeys: Take a Path on the Wild Side

  2025cites this paper
• Photonic Digital High-Performance Processors for Real-Time Avionics

  2025cites this paper
• Formally Verified Certification of Unsolvability of Temporal Planning Problems

  2025cites this paper
• Metric quantifiers and counting in timed logics and automata

  2025cites this paper
• Estimating the costs and analysing the precision of several diagnostic and treatment approaches for obstructive sleep apnea patients in the Netherlands, using timed automata modelling

  2025cites this paper
• Flexible Temporal Plan Execution with Dynamic Controllability

  2025cites this paper
• About Time: Model-free Reinforcement Learning with Timed Reward Machines

  2025cites this paper
• Learning Event-recording Automata Passively

  2025cites this paper
• Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker

  2025cites this paper
• Safe and infinite resource scheduling using energy timed automata

  2025cites this paper
• Hybrid dynamical systems modeling of power systems

  2025cites this paper
• Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics

  2025influential citation
• Data-Driven Energy Modeling of Machining Centers Through Automata Learning

  2025cites this paper
• Matrix-Guided Safe Motion Planning for Smart Parking Systems

  2025cites this paper
• Federated Learning for Cyber Physical Systems: A Comprehensive Survey

  2025cites this paper
• Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+

  2025cites this paper
• Decision boundaries in user journey event logs

  2025cites this paper
• Formal Specification and Verification of Protection in Transit (PIT) Protocol Using UPPAAL

  2025cites this paper
• A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework

  2025cites this paper
• Model Checking the Security of the Lightning Network

  2025cites this paper
• Behavioral decision-making and safety verification approaches for autonomous driving system in extreme scenarios

  2025cites this paper
• Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation

  2025cites this paper
• Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty

  2024cites this paper
• Can Large Language Model Aid in Generating Properties for UPPAAL Timed Automata? A Case Study

  2024cites this paper
• MBSE for Contingency Planning for Cellular Networks with OPM

  2024cites this paper
• Application of Systems Theoretic Accident Model and Processes in Railway Systems: A Review

  2024cites this paper
• Requirements for modelling tools for teaching

  2024cites this paper
• Experiences in Building a Digital Twin Framework: Challenges and Possible Solutions

  2024cites this paper
• DTN-Core: Towards a Framework for Designing and Operating Digital Twin Networks

  2024cites this paper
• Continuous Formal Verification for Aerospace Applications

  2024cites this paper
• A fresh look on semantics of Concurrent State Based Language (ConStaBL)

  2024cites this paper
• Probabilistic Model Checking for IEC 61499: A Manufacturing Application

  2024cites this paper
• User journey games: automating user-centric analysis

  2024cites this paper
• Towards Verifiable Multi-Agent Interaction Pattern Specification

  2024cites this paper
• MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment

  2024cites this paper
• Conformance Checking on Timed Automaton Process Models

  2024cites this paper
• Temporal automata for robotic scenario modeling with CIT framework

  2024cites this paper
• Scalable Computation of Inter-Core Bounds Through Exact Abstractions

  2024cites this paper
• Joint Optimization of Continuous Variables and Priority Assignments for Real-Time Systems with Black-box Schedulability Constraints

  2024cites this paper
• ω-Regular Energy Problems

  2024cites this paper
• A Petri net model for Time-Delay Attack detection in Precision Time Protocol-based networks

  2024cites this paper
• Formal modelling and validation of a novel building information model

  2024cites this paper
• Simulating User Journeys with Active Objects

  2024influential citation
• An Efficient Approach for Model-Checking Zeno Behaviors in Real-Time System Models Based on the Time Petri Net Formalism

  2024influential citation
• Real-Time Systems Optimization with Black-box Constraints and Hybrid Variables

  2024cites this paper
• CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles

  2024cites this paper
• Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays

  2024cites this paper
• Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!

  2024cites this paper
• Validation of supervisory control synthesis tool CIF using model checker mCRL2

  2024cites this paper
• 5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need

  2024cites this paper
• Higher-Dimensional Timed Automata for Real-Time Concurrency

  2024cites this paper
• QuAK: Quantitative Automata Kit

  2024cites this paper
• Languages of Higher-Dimensional Timed Automata

  2024cites this paper
• A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems

  2024cites this paper
• Formal Verification of Justification and Finalization in Beacon Chain

  2024cites this paper
• A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids

  2023cites this paper
• Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning

  2023cites this paper
• A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables

  2023cites this paper
• MFF-IoT: A Multi-Granularity Formal Framework of User Authentication for IoT

  2023cites this paper
• Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems

  2023influential citation
• From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

  2023cites this paper
• Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility

  2023cites this paper
• A Modeling Concept for Formal Verification of OS-Based Compositional Software

  2023cites this paper
• Wordgen : a Timed word Generation Tool

  2023cites this paper
• Specification, stochastic modeling and analysis of interactive service robotic applications

  2023cites this paper
• Energy Büchi Problems

  2023cites this paper
• A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols

  2023cites this paper
• From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

  2023cites this paper
• Preventing SIM Box Fraud Using Device Model Fingerprinting

  2023cites this paper
• Fresh Approaches for Structured Text Programmable Logic Controllers Programs Verification

  2023cites this paper
• Predicting Resource Consumption of Kubernetes Container Systems using Resource Models

  2023cites this paper
• Formalizing UML State Machines for Automated Verification – A Survey

  2023influential citation
• An evaluation of approaches to model checking real-time task schedulability analysis

  2023influential citation
• Early Validation of Functional Requirements

  2023cites this paper
• A formal framework to design and prove trustworthy memory controllers

  2023cites this paper
• A Proven Translation from a UML State Machine Subset to Timed Automata

  2023cites this paper
• Enforcing Timing Properties in Motorway Traffic

  2023cites this paper
• M-nets: A survey

  2023cites this paper
• MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems

  2023cites this paper
• Resource Demand Analysis of IoT Terminal Chips Based on Atomic Service Modeling

  2023cites this paper
• Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty

  2023cites this paper
• Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

  2023cites this paper
• Compositional verification of embedded real-time systems

  2023cites this paper
• : A hybrid timing analysis method based on the isolation of software code block

  2023cites this paper