Cover Image

Multi-Grained Specifications for Distributed System Model Checking and Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ouyang, Lingzhi, Sun, Xudong, Tang, Ruize, Huang, Yu, Jivrajani, Madhav, Ma, Xiaoxing, Xu, Tianyin
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
by: Cheng, Qian, et al.
Published: (2025)

MegaFlow: Large-Scale Distributed Orchestration System for the Agentic Era
by: Zhang, Lei, et al.
Published: (2026)

Model-guided Fuzzing of Distributed Systems
by: Gulcan, Ege Berkay, et al.
Published: (2024)

Efficiently Reproducing Distributed Workflows in Notebook-based Systems
by: Azaz, Talha, et al.
Published: (2026)

Configurable Runtime Orchestration for Dynamic Data Retrieval in Distributed Systems
by: Kandiraju, Abhiram
Published: (2026)

A Lightweight Hybrid Publish/Subscribe Event Fabric for IPC and Modular Distributed Systems
by: Gkoulis, Dimitris
Published: (2026)

Multi-Objective Load Balancing for Heterogeneous Edge-Based Object Detection Systems
by: Alqahtani, Daghash K., et al.
Published: (2026)

TraceMesh: Scalable and Streaming Sampling for Distributed Traces
by: Chen, Zhuangbin, et al.
Published: (2024)

AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
by: Yu, Guangba, et al.
Published: (2026)

ShuffleBench: A Benchmark for Large-Scale Data Shuffling Operations with Distributed Stream Processing Frameworks
by: Henning, Sören, et al.
Published: (2024)

Histrio: a Serverless Actor System
by: Buttiglieri, Giorgio Natale, et al.
Published: (2024)

A Scalable Clustered Architecture for Cyber-Physical Systems
by: Cabral, Bernardo
Published: (2024)

Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
by: Sanabria, Mateo, et al.
Published: (2024)

Radon: a Programming Model and Platform for Computing Continuum Systems
by: De Martini, Luca, et al.
Published: (2025)

Cost-Effective Big Data Orchestration Using Dagster: A Multi-Platform Approach
by: Picatto, Hernan, et al.
Published: (2024)

Microservices-based Software Systems Reengineering: State-of-the-Art and Future Directions
by: Mohottige, Thakshila Imiya, et al.
Published: (2024)

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
by: Sohana, Sarah, et al.
Published: (2024)

FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping
by: Bosbach, Nils, et al.
Published: (2025)

Cost-Performance Analysis of Cloud-Based Retail Point-of-Sale Systems: A Comparative Study of Google Cloud Platform and Microsoft Azure
by: Pagidoju, Ravi Teja
Published: (2026)

Complexity at Scale: A Quantitative Analysis of an Alibaba Microservice Deployment
by: Winchester, Giles, et al.
Published: (2025)

Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos
by: Chen, Jingyuan, et al.
Published: (2026)

Supercharging Federated Learning with Flower and NVIDIA FLARE
by: Roth, Holger R., et al.
Published: (2024)

L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis
by: Jiang, Zhihan, et al.
Published: (2025)

Optimizing OpenFaaS on Kubernetes: Comparative Analysis of Language Runtimes and Cluster Distributions
by: Ataie, Ehsan, et al.
Published: (2026)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
by: Diehl, Patrick, et al.
Published: (2025)

SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
by: Schmid, Larissa, et al.
Published: (2024)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
by: Domke, Jens, et al.
Published: (2025)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
by: Japke, Nils, et al.
Published: (2025)

Adaptable TeaStore
by: Bliudze, Simon, et al.
Published: (2024)

A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC
by: Sandås, Petter, et al.
Published: (2026)

Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
by: Gundla, Naresh Kumar
Published: (2024)

GitFarm: Git as a Service for Large-Scale Monorepos
by: Dwivedi, Preetam, et al.
Published: (2026)

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity
by: Tymoshenko, Ivan, et al.
Published: (2026)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
by: Ndadji, Brice Arléon Zemtsop, et al.
Published: (2025)

Carbon-aware Software Services
by: Forti, Stefano, et al.
Published: (2024)

CARISMA: CAR-Integrated Service Mesh Architecture
by: Klein, Kevin, et al.
Published: (2024)

Do Large Language Models Understand Performance Optimization?
by: Cui, Bowen, et al.
Published: (2025)

Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
by: Malekabbasi, Mohammadreza, et al.
Published: (2025)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
by: Cardosi, Paul, et al.
Published: (2023)

ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
by: Wu, Xiaofeng, et al.
Published: (2024)