Buchumschlag

A comprehensive survey of UPPAAL‐assisted formal modeling and verification

Fuente: Wiley Open Access

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wenbo Zhou, Yujiao Zhao, Ye Zhang, Yiyuan Wang, Minghao Yin
Format:	Artículo Open Access
Veröffentlicht:	Wiley 2024
Schlagworte:	Software: Practice and Experience
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cloudnativesim: A Toolkit for Modeling and Simulation of Cloud‐Native Applications
von: Jingfeng Wu, et al.
Veröffentlicht: (2025)

Kulla‐RIV: A composing model with integrity verification for efficient and reliable data processing services
von: Hugo G. Reyes‐Anastacio, et al.
Veröffentlicht: (2024)

BanaServe: Unified KV Cache and Dynamic Module Migration for Balancing Disaggregated LLM Serving in AI Infrastructure
von: Yiyuan He, et al.
Veröffentlicht: (2026)

Post‐quantum attack resilience blockchain‐assisted data authentication protocol for smart healthcare system
von: Lacchita Soni, et al.
Veröffentlicht: (2024)

LSRAM: A Lightweight Autoscaling and SLO Resource Allocation Framework for Microservices Based on Gradient Descent
von: Kan Hu, et al.
Veröffentlicht: (2024)

Large AI Models and Their Applications: Classification, Limitations, and Potential Solutions
von: Jing Bi, et al.
Veröffentlicht: (2025)

iQuantum: A toolkit for modeling and simulation of quantum computing environments
von: Hoa T. Nguyen, et al.
Veröffentlicht: (2024)

Special Issue on Edge Intelligence Software Systems for Internet of Autonomous Unmanned Vehicles Journal of Software: Practice and Experience (Wiley Press)
von: Kaijian Xia, et al.
Veröffentlicht: (2025)

Model‐driven engineering for simulation models interoperability: A case study in space industry
von: Romina Eramo, et al.
Veröffentlicht: (2024)

C‐Koordinator: Interference‐Aware Management for Large‐Scale and Co‐Located Microservice Clusters
von: Shengye Song, et al.
Veröffentlicht: (2026)

Advanced discovery mechanisms in model repositories
von: Arsene Indamutsa, et al.
Veröffentlicht: (2024)

Large scale system design aided by modelling and DES simulation: A Petri net approach
von: Unai Arronategui, et al.
Veröffentlicht: (2024)

Threat models over space and time: A case study of end‐to‐end‐encrypted messaging applications
von: Partha Das Chowdhury, et al.
Veröffentlicht: (2024)

RGPRec: A RAG‐Enhanced GNN for Personalized Task Recommendations in Open‐Source Communities
von: Shiyu He, et al.
Veröffentlicht: (2025)

Prototype‐Based Collaborative Learning in UAV‐Assisted Edge Computing Networks
von: Enze Yu, et al.
Veröffentlicht: (2024)

Data privacy protection model based on blockchain in mobile edge computing
von: Junhua Wu, et al.
Veröffentlicht: (2024)

Search Multiple Types of Research Assets From Jupyter Notebook
von: Na Li, et al.
Veröffentlicht: (2025)

On the interaction between the search parameters and the nature of the search problems in search‐based model‐driven engineering
von: Isis Roca, et al.
Veröffentlicht: (2024)

SISS‐CSA: Secret image sharing scheme with ciphertext‐based share authentication for malicious model
von: Krishnaraj Bhat, et al.
Veröffentlicht: (2024)

CloudSim 7G: An Integrated Toolkit for Modeling and Simulation of Future Generation Cloud Computing Environments
von: Remo Andreoli, et al.
Veröffentlicht: (2025)

Quantum Support Vector Machines and Quantum Kernel Methods
von: Li Xu, et al.
Veröffentlicht: (2026)

A novel instance‐based method for cross‐project just‐in‐time defect prediction
von: Xiaoyan Zhu, et al.
Veröffentlicht: (2024)

A Framework and Taxonomy for Characterizing the Applicability of Software Architecture Recovery Approaches: A Tertiary‐Mapping Study
von: Abdul Qayum, et al.
Veröffentlicht: (2024)

Research on Blockchain for Adapting to Node Dynamics in Internet of Things
von: Sibo Zhao, et al.
Veröffentlicht: (2026)

Enhanced Architecture of Structure Semantics for Syntax‐Aware Code Generation
von: Canmiao Zhou, et al.
Veröffentlicht: (2025)

QFI‐Opt: Communication‐Efficient Quantum Federated Learning via Quantum Fisher Information
von: Rui Zhang, et al.
Veröffentlicht: (2025)

SlowSort: An Enhanced Sorting Algorithm for Large‐Scale Integer Datasets
von: Pengfei Wang, et al.
Veröffentlicht: (2025)

Evaluate Chat‐GPT's programming capability in Swift through real university exam questions
von: Zizhuo Zhang, et al.
Veröffentlicht: (2024)

SNOW: An Effective Smart Contract Reentrancy Vulnerability Detection Method Based on Joint Feature Graph and Hybrid Graph Neural Network
von: Wenjuan Lian, et al.
Veröffentlicht: (2025)

Hate‐UDF: Explainable Hateful Meme Detection With Uncertainty‐Aware Dynamic Fusion
von: Xia Lei, et al.
Veröffentlicht: (2024)

Debloating Software Through Enhanced Static Analysis and Constraint Rules
von: Xiaohu Song, et al.
Veröffentlicht: (2025)

SIB: Sorted‐Integers‐Based Index for Compact and Fast Caching in Top‐Down Logic Rule Mining Targeting KB Compression
von: Ruoyu Wang, et al.
Veröffentlicht: (2025)

Federated Learning‐Based Mobile Traffic Prediction in Satellite‐Terrestrial Integrated Networks
von: Weiwei Jiang, et al.
Veröffentlicht: (2024)

Exploring Influence Factors on LLM Suitability for No‐Code Development of End User Applications
von: Minghe Wang, et al.
Veröffentlicht: (2025)

On the Performance and Memory Footprint of Distributed Training: An Empirical Study on Transformers
von: Zhengxian Lu, et al.
Veröffentlicht: (2025)

ASRMG: Business Topic Clustering‐Based Architecture Smell Refactoring for Microservices Granularity
von: Sixuan Wang, et al.
Veröffentlicht: (2025)

Spatio‐Clock Synchronous Constraint Systems Specification and Verification to Ensure Autonomous Driving Safety
von: Jinyong Wang, et al.
Veröffentlicht: (2025)

A Survey on Dynamic SLAs for Fog Computing
von: Amaury Sauret, et al.
Veröffentlicht: (2026)

On‐demand JSON: A better way to parse documents?
von: John Keiser, et al.
Veröffentlicht: (2024)

A Metamodel‐Based Approach for Describing Quantum Gates
von: Dae‐Kyoo Kim
Veröffentlicht: (2025)