On the public citation graph
Uppaal in a nutshell
0 signed · 1871 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-52148-8_17openalex-snapshot
Timing assumptions and verification of finite-state concurrent systems
inferredcites →https://doi.org/10.1007/3-540-56922-7_23openalex-snapshot
Verification of real-time systems using PVS
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/bfb0020949openalex-snapshot
UPPAAL — a tool suite for automatic verification of real-time systems
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.1023/a:1008621829508openalex-snapshot
An Efficient Algorithm for Minimizing Real-Time Transition Systems
inferredcites →https://doi.org/10.1109/real.1995.495197openalex-snapshot
Two examples of verification of multirate timed automata with Kronos
inferredcites →https://doi.org/10.1109/real.1995.495198openalex-snapshot
Compositional and symbolic model-checking of 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/186025.186058openalex-snapshot
An old-fashioned recipe for real time
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4123242openalex-extracted
An Efficient Approach for Model-Checking Zenoness in Time Petri Nets
inferred← citeshttps://doi.org/10.3217/jucs-010-10-1383openalex-extracted
Platform Modeling and Model Transformations for Analysis
inferred← citeshttps://doi.org/10.3217/jucs-012-11-1551openalex-extracted
Verifying Real-Time Properties of tccp Programs
inferred← citeshttps://doi.org/10.3217/jucs-014-12-2007openalex-extracted
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
inferred← citeshttps://doi.org/10.3217/jucs-017-13-1800openalex-extracted
Design and Generation of Web Services Choreographies with Time Constraints
inferred← citeshttps://doi.org/10.1002/1099-1689(200012)10:4<229::aid-stvr213>3.0.co;2-oopenalex-snapshot
Specification based test sequence generation with propositional logic
inferred← citeshttps://doi.org/10.1002/9780470611012.ch10openalex-snapshot
Modeling and Verification of Real‐Time Systems using the IF Toolset
inferred← citeshttps://doi.org/10.1002/9780470611012.ch4openalex-snapshot
Model Checking Timed Automata
inferred← citeshttps://doi.org/10.1002/9780470611012.ch8openalex-snapshot
Verification of Real‐Time Probabilistic Systems
inferred← citeshttps://doi.org/10.1002/9781118558188.ch6openalex-snapshot
Tools for Model‐Checking Timed Systems
inferred← citeshttps://doi.org/10.1002/9781118602638.ch3openalex-snapshot
Specification and Design Approaches
inferred← citeshttps://doi.org/10.1002/9781119743187.ch3openalex-snapshot
Formal Methods for the Security of Medical Devices1
inferred← citeshttps://doi.org/10.1002/9783527622771openalex-snapshot
Logistic Optimization of Chemical Production Processes
inferred← citeshttps://doi.org/10.1002/9783527622771.ch10openalex-snapshot
Scheduling Based on Reachability Analysis of Timed Automata
inferred← citeshttps://doi.org/10.1002/cpe.1728openalex-snapshot
A model‐based development approach for the verification of real‐time Java code
inferred← citeshttps://doi.org/10.1002/cpe.1754openalex-snapshot
Safety‐critical Java with cyclic executives on chip‐multiprocessors
inferred← citeshttps://doi.org/10.1002/cpe.5401openalex-snapshot
A context‐aware framework for modelling and verification of smart parking systems in urban cities
inferred← citeshttps://doi.org/10.1002/inst.12467openalex-snapshot
Early Validation of Functional Requirements
inferred← citeshttps://doi.org/10.1002/nem.2082openalex-snapshot
Formal modeling and verification of software‐defined networks: A survey
inferred← citeshttps://doi.org/10.1002/rnc.1485openalex-snapshot
Wireless ventilation control for large‐scale systems: The mining industrial case
inferred← citeshttps://doi.org/10.1002/rnc.2914openalex-snapshot
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
inferred← citeshttps://doi.org/10.1002/sec.1401openalex-snapshot
Security analysis of network protocols through model checking: a case study on mobile IPv6
inferred← citeshttps://doi.org/10.1002/smr.1890openalex-snapshot
Formal verification of probabilistic SystemC models with statistical model checking
inferred← citeshttps://doi.org/10.1002/smr.2384openalex-snapshot
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL
inferred← citeshttps://doi.org/10.1002/spe.1152openalex-snapshot
Validating quality attribute requirements via execution‐based model checking
inferred← citeshttps://doi.org/10.1002/stvr.1536openalex-snapshot
Specification guidelines to avoid the state space explosion problem
inferred← citeshttps://doi.org/10.1002/stvr.402openalex-snapshot
Testing with model checkers: a survey
inferred← citeshttps://doi.org/10.1002/stvr.405openalex-snapshot
Verification of real‐time systems design
inferred← citeshttps://doi.org/10.1002/stvr.445openalex-snapshot
Applying formal methods to PCEP: an industrial case study from modeling to test generation
inferred← citeshttps://doi.org/10.1002/sys.21581openalex-snapshot
Model‐driven architecture based security analysis
inferred← citeshttps://doi.org/10.1007/1-4020-8149-9_8openalex-snapshot
Temporal Bounds for TTA : Validation
inferred← citeshttps://doi.org/10.1007/1-4020-8153-7_4openalex-snapshot
Analysing Dynamic Function Scheduling Decisions
inferred← citeshttps://doi.org/10.1007/1-84628-271-3_11openalex-snapshot
Formal Verification of Autonomy Models
inferred← citeshttps://doi.org/10.1007/10722167_19openalex-snapshot
Distributing Timed Model Checking — How the Search Order Matters
inferred← citeshttps://doi.org/10.1007/10722167_29openalex-snapshot
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving
inferred← citeshttps://doi.org/10.1007/10722468_5openalex-snapshot
Verification and Optimization of a PLC Control Schedule
inferred← citeshttps://doi.org/10.1007/11494744_22openalex-snapshot
Timed-Arc Petri Nets vs. Networks of Timed Automata
inferred← citeshttps://doi.org/10.1007/11513988_24openalex-snapshot
Improved Probabilistic Models for 802.11 Protocol Verification
inferred← citeshttps://doi.org/10.1007/11538097_4openalex-snapshot
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
inferred← citeshttps://doi.org/10.1007/11539452_12openalex-snapshot
A New Modality for Almost Everywhere Properties in Timed Automata
inferred← citeshttps://doi.org/10.1007/11539452_9openalex-snapshot
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
inferred← citeshttps://doi.org/10.1007/11549970_17openalex-snapshot
Automatic Translation of WS-CDL Choreographies to Timed Automata
inferred← citeshttps://doi.org/10.1007/11556930_40openalex-snapshot
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints
inferred← citeshttps://doi.org/10.1007/11560548_14openalex-snapshot
Real-Time Model Checking Is Really Simple
inferred← citeshttps://doi.org/10.1007/11560647_18openalex-snapshot
Symbolic Model Checking of Finite Precision Timed Automata
inferred← citeshttps://doi.org/10.1007/11561163_8openalex-snapshot
Priced Timed Automata: Algorithms and Applications
inferred← citeshttps://doi.org/10.1007/11562436_11openalex-snapshot
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction
inferred← citeshttps://doi.org/10.1007/11562436_8openalex-snapshot
Fast Generic Model-Checking for Data-Based Systems
inferred← citeshttps://doi.org/10.1007/11581741_4openalex-snapshot
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
inferred← citeshttps://doi.org/10.1007/11603009_10openalex-snapshot
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
inferred← citeshttps://doi.org/10.1007/11603009_21openalex-snapshot
Implementation of Timed Automata: An Issue of Semantics or Modeling?
inferred← citeshttps://doi.org/10.1007/11682462_25openalex-snapshot
Robust Model-Checking of Linear-Time Properties in Timed Automata
inferred← citeshttps://doi.org/10.1007/11691617_13openalex-snapshot
Verification of Medical Guidelines by Model Checking – A Case Study
inferred← citeshttps://doi.org/10.1007/11691617_2openalex-snapshot
Directed Model Checking with Distance-Preserving Abstractions
inferred← citeshttps://doi.org/10.1007/11841197_12openalex-snapshot
Analysis and Verification of Time Requirements Applied to the Web Services Composition
inferred← citeshttps://doi.org/10.1007/11867340_10openalex-snapshot
Model Checking Timed Automata with Priorities Using DBM Subtraction
inferred← citeshttps://doi.org/10.1007/11867340_11openalex-snapshot
Symbolic Robustness Analysis of Timed Automata
inferred← citeshttps://doi.org/10.1007/11867340_9openalex-snapshot
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata
inferred← citeshttps://doi.org/10.1007/11888116_28openalex-snapshot
Scenario-Based Timing Consistency Checking for Time Petri Nets
inferred← citeshttps://doi.org/10.1007/11892960_56openalex-snapshot
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata
inferred← citeshttps://doi.org/10.1007/11901433_8openalex-snapshot
Verifying χ Models of Industrial Systems with Spin
inferred← citeshttps://doi.org/10.1007/11901914_26openalex-snapshot
Timed Temporal Logics for Abstracting Transient States
inferred← citeshttps://doi.org/10.1007/11921998_17openalex-snapshot
Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM
inferred← citeshttps://doi.org/10.1007/11925040_9openalex-snapshot
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings
inferred← citeshttps://doi.org/10.1007/3-540-27167-8_3openalex-snapshot
Computational Techniques for the Verification and Control of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-36135-9_21openalex-snapshot
A Compositional Sweep-Line State Space Exploration Method
inferred← citeshttps://doi.org/10.1007/3-540-36190-1_8openalex-snapshot
Timed Verification of Asynchronous Circuits
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_15openalex-snapshot
Counter-Example Guided Predicate Abstraction of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-36577-x_18openalex-snapshot
Static Guard Analysis in Timed Automata Verification
inferred← citeshttps://doi.org/10.1007/3-540-36578-8_24openalex-snapshot
Integration of Formal Datatypes within State Diagrams
inferred← citeshttps://doi.org/10.1007/3-540-36580-x_5openalex-snapshot
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_47openalex-snapshot
As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_48openalex-snapshot
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_5openalex-snapshot
Efficient Model Checking Via Büchi Tableau Automata?
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_19openalex-snapshot
Expressiveness of Updatable Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-44618-4_12openalex-snapshot
The Impressive Power of Stopwatches
inferred← citeshttps://doi.org/10.1007/3-540-44667-2_11openalex-snapshot
General Distributions in Process Algebra
inferred← citeshttps://doi.org/10.1007/3-540-44679-6_59openalex-snapshot
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-44685-0_1openalex-snapshot
Channel Representations in Protocol Verification
inferred← citeshttps://doi.org/10.1007/3-540-44693-1_12openalex-snapshot
On Presburger Liveness of Discrete Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-44804-7_6openalex-snapshot
MoDeST — A Modelling and Description Language for Stochastic Timed Systems
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_5openalex-snapshot
Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
inferred← citeshttps://doi.org/10.1007/3-540-45022-x_66openalex-snapshot
On the Representation of Timed Polyhedra
inferred← citeshttps://doi.org/10.1007/3-540-45251-6_18openalex-snapshot
Improvements in BDD-Based Reachability Analysis of Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-45294-x_24openalex-snapshot
Properties of Distributed Timed-Arc Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-45314-8_24openalex-snapshot
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
inferred← citeshttps://doi.org/10.1007/3-540-45319-9_13openalex-snapshot
Efficient Guiding Towards Cost-Optimality in UPPAAL
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-45319-9_24openalex-snapshot
Automated Test Generation from Timed Automata
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_15openalex-snapshot
Minimum-Cost Reachability for Priced Time Automata
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_6openalex-snapshot
An Environment for the Integrated Modelling of Systems with Complex Continuous and Discrete Dynamics
inferred← citeshttps://doi.org/10.1007/3-540-45426-8_9openalex-snapshot
Introduction to the Analysis and Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45449-7_2openalex-snapshot
Hierarchical Hybrid Modeling of Embedded Systems
inferred← citeshttps://doi.org/10.1007/3-540-45484-5_9openalex-snapshot
Verification of Plan Models Using UPPAAL
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_1openalex-snapshot
Model Checking: A Tutorial Overview
inferred← citeshttps://doi.org/10.1007/3-540-45510-8_4openalex-snapshot
UPPAAL - Now, Next, and Future
inferred← citeshttps://doi.org/10.1007/3-540-45605-8_11openalex-snapshot
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
inferred← citeshttps://doi.org/10.1007/3-540-45605-8_5openalex-snapshot
Reduction and Refinement Strategies for Probabilistic Analysis
inferred← citeshttps://doi.org/10.1007/3-540-45619-8_8openalex-snapshot
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints
inferred← citeshttps://doi.org/10.1007/3-540-45620-1_9openalex-snapshot
DDDLIB: A Library for Solving Quantified Difference Inequalities
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_10openalex-snapshot
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach
inferred← citeshttps://doi.org/10.1007/3-540-45657-0_30openalex-snapshot
The d/dt Tool for Verification of Hybrid Systems
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_1openalex-snapshot
UppaaL Implementation Secrets
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_23openalex-snapshot
Model Checking Timed UML State Machines and Collaborations
inferred← citeshttps://doi.org/10.1007/3-540-45739-9_25openalex-snapshot
Constructing Test Automata from Graphical Real-Time Requirements
inferred← citeshttps://doi.org/10.1007/3-540-45740-2_3openalex-snapshot
Towards a Notion of Distributed Time for Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-45828-x_19openalex-snapshot
A Protocol for Loosely Time-Triggered Architectures
inferred← citeshttps://doi.org/10.1007/3-540-45873-5_6openalex-snapshot
Reachability Analysis of Hybrid Systems via Predicate Abstraction
inferred← citeshttps://doi.org/10.1007/3-540-45923-5_15openalex-snapshot
Formal Verification of UML Statecharts with Real-Time Extensions
inferred← citeshttps://doi.org/10.1007/3-540-46002-0_32openalex-snapshot
TIMES b— A Tool for Modelling and Implementation of Embedded Systems
inferred← citeshttps://doi.org/10.1007/3-540-46002-0_6openalex-snapshot
Timed Automata with Asynchronous Processes: Schedulability and Decidability
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_10openalex-snapshot
On Memory-Block Traversal Problems in Model-Checking Timed Systems
inferred← citeshttps://doi.org/10.1007/3-540-46428-x_24openalex-snapshot
A Case Study on Using Automata in Control Synthesis
inferred← citeshttps://doi.org/10.1007/3-540-46428-x_6openalex-snapshot
A Process Algebra for Real-Time Programs
inferred← citeshttps://doi.org/10.1007/3-540-46852-8_45openalex-snapshot
Timed Sequence Diagrams and Tool-Based Analysis — A Case Study
inferred← citeshttps://doi.org/10.1007/3-540-48119-2_14openalex-snapshot
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
inferred← citeshttps://doi.org/10.1007/3-540-48153-2_11openalex-snapshot
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
inferred← citeshttps://doi.org/10.1007/3-540-48340-3_12openalex-snapshot
Is Your Model Checker on Time?
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_2openalex-snapshot
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
inferred← citeshttps://doi.org/10.1007/3-540-49059-0_23openalex-snapshot
A Light-Weight Framework for Hardware Verification
inferred← citeshttps://doi.org/10.1007/978-0-387-35394-4_27openalex-snapshot
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35409-5_16openalex-snapshot
Timing Constraints Validation Using Uppaal
inferred← citeshttps://doi.org/10.1007/978-0-387-39388-9_22openalex-snapshot
Minimizing Test Execution Time During Test Generation
inferred← citeshttps://doi.org/10.1007/978-1-4471-0853-5_18openalex-snapshot
Verification of Logic Controllers for Continuous Plants
inferred← citeshttps://doi.org/10.1007/978-1-4471-4426-7_13openalex-snapshot
Formal Analysis Meets 3D-Visualization
inferred← citeshttps://doi.org/10.1007/978-1-4614-7518-7_16openalex-snapshot
Composition of Web Services: From Qualitative to Quantitative Timed Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-00151-3_13openalex-snapshot
Online Timed Pattern Matching Using Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-00253-4_18openalex-snapshot
On Quantitative Assessment of Reliability and Energy Consumption Indicators in Railway Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-00359-3_5openalex-snapshot
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments
inferred← citeshttps://doi.org/10.1007/978-3-030-01090-4_35openalex-snapshot
EVE: A Tool for Temporal Equilibrium Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-01713-2_21openalex-snapshot
Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles’ Behaviors: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_8openalex-snapshot
Using Coloured Petri Nets for Resource Analysis of Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-02215-0_3openalex-snapshot
Symbolic Simulation of Dataflow Synchronous Programs with Timers
inferred← citeshttps://doi.org/10.1007/978-3-030-03424-5_24openalex-snapshot
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction 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-04771-9_7openalex-snapshot
Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-17184-1_21openalex-snapshot
Asynchronous Timed Session Types
inferred← citeshttps://doi.org/10.1007/978-3-030-20652-9_12openalex-snapshot
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
inferred← citeshttps://doi.org/10.1007/978-3-030-20652-9_20openalex-snapshot
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_1openalex-snapshot
Models, Mindsets, Meta: The What, the How, and the Why Not?
inferred← citeshttps://doi.org/10.1007/978-3-030-25540-4_3openalex-snapshot
Fast Algorithms for Handling Diagonal Constraints in Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-29662-9_11openalex-snapshot
The Timestamp of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-29662-9_13openalex-snapshot
Time to Learn – Learning Timed Automata from Tests
inferred← citeshttps://doi.org/10.1007/978-3-030-30923-7_1openalex-snapshot
Model Verification Through Dependency Graphs
inferred← citeshttps://doi.org/10.1007/978-3-030-32505-3_4openalex-snapshot
Computing Branching Distances Using Quantitative Games
inferred← citeshttps://doi.org/10.1007/978-3-030-32505-3_7openalex-snapshot
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-030-38561-3_12openalex-snapshot
Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration
inferred← citeshttps://doi.org/10.1007/978-3-030-40914-2_8openalex-snapshot
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-43177-8_6openalex-snapshot
Coupling Robust Optimization and Model-Checking Techniques for Robust Scheduling in the Context of Industry 4.0
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_24openalex-snapshot
Revisiting Semantics of Interactions for Trace Validity Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-46902-3_3openalex-snapshot
Verifying Resource Adequacy of Networked IMA Systems at Concept Level
inferred← citeshttps://doi.org/10.1007/978-3-030-50097-9_17openalex-snapshot
A Model Checking Based Approach for Verification of Attribute-Based Access Control Policies in Cloud Infrastructures
inferred← citeshttps://doi.org/10.1007/978-3-030-57628-8_3openalex-snapshot
Backward Symbolic Optimal Reachability in Weighted Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-57628-8_4openalex-snapshot
Certifying Emptiness of Timed Büchi Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-58768-0_17openalex-snapshot
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-030-58814-4_9openalex-snapshot
Formal Verification of a Distributed Algorithm for Task Execution
inferred← citeshttps://doi.org/10.1007/978-3-030-60508-7_30openalex-snapshot
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_20openalex-snapshot
Probabilistic Mission Planning and Analysis for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_32openalex-snapshot
A Formal Model of the Kubernetes Container Framework
inferred← citeshttps://doi.org/10.1007/978-3-030-63086-7_1openalex-snapshot
Email Address Mutation for Proactive Deterrence Against Lateral Spear-Phishing Attacks
inferred← citeshttps://doi.org/10.1007/978-3-030-65955-4_10openalex-snapshot
Accurate Strategy for Mixed Criticality Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-030-67067-2_20openalex-snapshot
A Design of GPU-Based Quantitative Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-67445-8_10openalex-snapshot
Verification and Simulation of Time-Domain Properties for Models of Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-030-72322-4_81-1openalex-snapshot
Reliability Analysis of Smart Grids Using Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-030-75100-5_32openalex-snapshot
Formal Modeling, Verification, and Analysis of a Distributed Task Execution Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-030-78089-0_8openalex-snapshot
A Case Study on Parametric Verification of Failure Detectors
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_1openalex-snapshot
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
inferred← citeshttps://doi.org/10.1007/978-3-030-79379-1_3openalex-snapshot
A Benchmarks Library for Extended Parametric Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_26openalex-snapshot
IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability
inferred← citeshttps://doi.org/10.1007/978-3-030-81685-8_30openalex-snapshot
Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-83723-5_7openalex-snapshot
Designing Distributed Control with Hybrid Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-85037-1_7openalex-snapshot
Explaining Safety Violations in Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-85248-1_6openalex-snapshot
On Education and Training in Formal Methods for Industrial Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_5openalex-snapshot
On the Specification and Monitoring of Timed Normative Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-90870-6_37openalex-snapshot
Model Checking Collision Avoidance of Nonlinear Autonomous Vehicles
inferred← citeshttps://doi.org/10.1007/978-3-030-91550-6_6openalex-snapshot
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-030-91625-1_11openalex-snapshot
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code
inferred← citeshttps://doi.org/10.1007/978-3-030-97940-9_81openalex-snapshot
Reliability Analysis of Smart Grids Using Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_24openalex-snapshot
Zone Extrapolations in Parametric Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-06773-0_26openalex-snapshot
Timed Automata Learning via SMT Solving
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_23openalex-snapshot
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-10363-6_24openalex-snapshot
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
inferred← citeshttps://doi.org/10.1007/978-3-031-13185-1_20openalex-snapshot
Explaining Hyperproperty Violations
showing the first 200 of 1854 · page through all 1854
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.