Image de couverture de livre

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zheng, Xi, Mok, Aloysius K., Piskac, Ruzica, Lee, Yong Jae, Krishnamachari, Bhaskar, Zhu, Dakai, Sokolsky, Oleg, Lee, Insup
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

PISA: An Adversarial Approach To Comparing Task Graph Scheduling Algorithms
par: Coleman, Jared, et autres
Publié: (2024)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
par: Kulik, Tomas, et autres
Publié: (2024)

Parameterized Task Graph Scheduling Algorithm for Comparing Algorithmic Components
par: Coleman, Jared, et autres
Publié: (2024)

TS-Verkle: A TypeScript Native Verkle Library With On-chain Verifier
par: Li, Zhikai, et autres
Publié: (2026)

Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
par: Malekabbasi, Mohammadreza, et autres
Publié: (2025)

A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC
par: Sandås, Petter, et autres
Publié: (2026)

SPES: Towards Optimizing Performance-Resource Trade-Off for Serverless Functions
par: Lee, Cheryl, et autres
Publié: (2024)

UPC Sentinel: An Accurate Approach for Detecting Upgradeability Proxy Contracts in Ethereum
par: Ebrahimi, Amir M., et autres
Publié: (2024)

ncsim: A Lightweight Simulator for Networked Edge Computing with Wireless Interference Modeling
par: Krishnamachari, Bhaskar, et autres
Publié: (2026)

Cost-Effective Big Data Orchestration Using Dagster: A Multi-Platform Approach
par: Picatto, Hernan, et autres
Publié: (2024)

HPCAgentTester: A Multi-Agent LLM Approach for Enhanced HPC Unit Test Generation
par: Karanjai, Rabimba, et autres
Publié: (2025)

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
par: Cheng, Qian, et autres
Publié: (2025)

Computing the Saturation Throughput for Heterogeneous p-CSMA in a General Wireless Network
par: Tarzjani, Faezeh Dehghan, et autres
Publié: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
par: Burgio, Paolo, et autres
Publié: (2024)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
par: Diehl, Patrick, et autres
Publié: (2025)

SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
par: Schmid, Larissa, et autres
Publié: (2024)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
par: Domke, Jens, et autres
Publié: (2025)

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
par: Sohana, Sarah, et autres
Publié: (2024)

Integrating Odeint Time Stepping into OpenFPM for Distributed and GPU Accelerated Numerical Solvers
par: Singh, Abhinav, et autres
Publié: (2023)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
par: Japke, Nils, et autres
Publié: (2025)

Adaptable TeaStore
par: Bliudze, Simon, et autres
Publié: (2024)

Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
par: Gundla, Naresh Kumar
Publié: (2024)

Histrio: a Serverless Actor System
par: Buttiglieri, Giorgio Natale, et autres
Publié: (2024)

Enabling mixed-precision in spectral element codes
par: Chen, Yanxiang, et autres
Publié: (2025)

GitFarm: Git as a Service for Large-Scale Monorepos
par: Dwivedi, Preetam, et autres
Publié: (2026)

Ocean: Fast Estimation-Based Sparse General Matrix-Matrix Multiplication on GPU
par: Li, Yifan, et autres
Publié: (2026)

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity
par: Tymoshenko, Ivan, et autres
Publié: (2026)

High-Performance Star-M SVD for Big Data Compression
par: Hussain, Md Taufique, et autres
Publié: (2026)

Efficiently Reproducing Distributed Workflows in Notebook-based Systems
par: Azaz, Talha, et autres
Publié: (2026)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
par: Ndadji, Brice Arléon Zemtsop, et autres
Publié: (2025)

AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
par: Yu, Guangba, et autres
Publié: (2026)

Carbon-aware Software Services
par: Forti, Stefano, et autres
Publié: (2024)

CARISMA: CAR-Integrated Service Mesh Architecture
par: Klein, Kevin, et autres
Publié: (2024)

Do Large Language Models Understand Performance Optimization?
par: Cui, Bowen, et autres
Publié: (2025)

A shared compilation stack for distributed-memory parallelism in stencil DSLs
par: Bisbas, George, et autres
Publié: (2024)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
par: Cardosi, Paul, et autres
Publié: (2023)

ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
par: Wu, Xiaofeng, et autres
Publié: (2024)

Container-level Energy Observability in Kubernetes Clusters
par: Pijnacker, Bjorn, et autres
Publié: (2025)

FlowUnits: Extending Dataflow for the Edge-to-Cloud Computing Continuum
par: Chini, Fabio, et autres
Publié: (2025)

Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
par: Sanabria, Mateo, et autres
Publié: (2024)