Copertina

Distributed Monitoring of Timed Properties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Henry, Léo, Jéron, Thierry, Markey, Nicolas, Roussanaly, Victor
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

DEPTEX: Organization-First, Open Source Dependency Risk Monitoring
di: Ruckman-Utting, Henry, et al.
Pubblicazione: (2026)

From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
di: Baber, Junaid, et al.
Pubblicazione: (2026)

Verification of Quantitative Temporal Properties in RealTime-DEVS
di: González, Ariel, et al.
Pubblicazione: (2024)

FMI-Based Distributed Co-Simulation with Enhanced Security and Intellectual Property Safeguards
di: Gil, Santiago, et al.
Pubblicazione: (2025)

PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
di: Liu, Xiting, et al.
Pubblicazione: (2026)

Smart Feeding Station: Non-Invasive, Automated IoT Monitoring of Goodman's Mouse Lemurs in a Semi-Natural Rainforest Habitat
di: Peter, Jonas, et al.
Pubblicazione: (2025)

Benchmarking and Improving Monitors for Out-Of-Distribution Alignment Failure in LLMs
di: Feng, Dylan, et al.
Pubblicazione: (2026)

Predictive Monitoring of Business Processes
di: Maggi, Fabrizio Maria, et al.
Pubblicazione: (2013)

Translating a VDM Model of a Medical Device into Kapture
di: Hare, Joe, et al.
Pubblicazione: (2025)

Monitoring Monitorability
di: Guan, Melody Y., et al.
Pubblicazione: (2025)

Proceedings of the 22nd International Overture Workshop
di: Macedo, Hugo Daniel, et al.
Pubblicazione: (2024)

On the Need to Monitor Continuous Integration Practices -- An Empirical Study
di: Santos, Jadson, et al.
Pubblicazione: (2024)

Sound Concurrent Traces for Online Monitoring Technical Report
di: Soueidi, Chukri, et al.
Pubblicazione: (2024)

Tracing and Metrics Design Patterns for Monitoring Cloud-native Applications
di: Albuquerque, Carlos, et al.
Pubblicazione: (2025)

The Role of the Retrospective Meetings in Detecting, Refactoring and Monitoring Community Smells
di: Dantas, Carlos, et al.
Pubblicazione: (2025)

MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems
di: Ayerdi, Jon, et al.
Pubblicazione: (2023)

Monitoring and Observability of Machine Learning Systems: Current Practices and Gaps
di: Leest, Joran, et al.
Pubblicazione: (2025)

Monitoring Continuous Integration Practices in Industry: A Case Study
di: Santos, Jadson, et al.
Pubblicazione: (2025)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
di: Xiong, Yiheng, et al.
Pubblicazione: (2026)

Using Budgets to Reduce Application Emissions
di: Lierse, Leo Wilhelm, et al.
Pubblicazione: (2026)

How to Sustainably Monitor ML-Enabled Systems? Accuracy and Energy Efficiency Tradeoffs in Concept Drift Detection
di: Omar, Rafiullah, et al.
Pubblicazione: (2024)

Another Systematic Review? A Critical Analysis of Systematic Literature Reviews on Agile Effort and Cost Estimation
di: Edison, Henry, et al.
Pubblicazione: (2026)

DATCloud: A Model-Driven Framework for Multi-Layered Data-Intensive Architectures
di: Abughazala, Moamin, et al.
Pubblicazione: (2025)

ML-Enabled Systems Model Deployment and Monitoring: Status Quo and Problems
di: Zimelewicz, Eduardo, et al.
Pubblicazione: (2024)

HardRace: A Dynamic Data Race Monitor for Production Use
di: Sun, Xudong, et al.
Pubblicazione: (2024)

Lila: Decentralized Build Reproducibility Monitoring for the Functional Package Management Model
di: Malka, Julien, et al.
Pubblicazione: (2026)

QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset
di: Ma, Ning, et al.
Pubblicazione: (2025)

How Industry Tackles Anomalies during Runtime: Approaches and Key Monitoring Parameters
di: Steidl, Monika, et al.
Pubblicazione: (2024)

Requirements Engineering for a Web-based Research, Technology & Innovation Monitoring Tool
di: Mazak-Huemer, Alexandra, et al.
Pubblicazione: (2025)

SPARK: Real-Time Monitoring of Multi-Faceted Programming Exercises
di: Yang, Yinuo, et al.
Pubblicazione: (2026)

FAIR-USE4OS: Guidelines for Creating Impactful Open-Source Software
di: Sonabend, Raphael, et al.
Pubblicazione: (2024)

Predictive Process Monitoring: a comparison survey between different type of event logs
di: Fioretto, Simona, et al.
Pubblicazione: (2025)

A Bayesian Optimization-Based AutoML Framework for Non-Intrusive Load Monitoring
di: Siavash, Nazanin, et al.
Pubblicazione: (2026)

Trace Diagnostics for Signal-based Temporal Properties
di: Boufaied, Chaima, et al.
Pubblicazione: (2022)

A Reference Architecture for Gamified Cultural Heritage Applications Leveraging Generative AI and Augmented Reality
di: Martusciello, Federico, et al.
Pubblicazione: (2025)

Exploring LLMs Impact on Student-Created User Stories and Acceptance Testing in Software Development
di: Brockenbrough, Allan, et al.
Pubblicazione: (2025)

Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
di: Ercevik, Ayse Irmak, et al.
Pubblicazione: (2025)

Automatic Recommendations for Evolving Relational Databases Schema
di: Etien, Anne, et al.
Pubblicazione: (2024)

Reducing Token Usage of State-in-Context Agents using Minification
di: Hrubec, Nicolas, et al.
Pubblicazione: (2026)

An Efficient VCGen-based Modular Verification of Relational Properties
di: Blatter, Lionel, et al.
Pubblicazione: (2024)