Copertina

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chechik, Marsha, Fedeli, Arianna, Filippone, Gianluca, Formica, Federico, Frasheri, Mirgita, Hochgeschwender, Nico, Marsso, Lina
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
di: Feng, Nick, et al.
Pubblicazione: (2024)

Towards Federated Digital Twin Platforms
di: Frasheri, Mirgita, et al.
Pubblicazione: (2025)

A Case Study on the Application of Digital Twins for Enhancing CPS Operations
di: Muntean, Irina, et al.
Pubblicazione: (2025)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
di: Júnior, Everaldo Silva, et al.
Pubblicazione: (2026)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
di: Calinescu, Radu, et al.
Pubblicazione: (2026)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
di: Murphy, Logan, et al.
Pubblicazione: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
di: Murphy, Logan, et al.
Pubblicazione: (2025)

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
di: Sartaj, Hassan, et al.
Pubblicazione: (2026)

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)

Inverse Optimality for Fair Digital Twins: A Preference-based approach
di: Masti, Daniele, et al.
Pubblicazione: (2025)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
di: Betzer, Joakim Schack, et al.
Pubblicazione: (2024)

Abductive Vibe Coding (Extended Abstract)
di: Murphy, Logan, et al.
Pubblicazione: (2026)

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

Proceedings of the 23rd International Overture Workshop
di: Macedo, Hugo Daniel, et al.
Pubblicazione: (2025)

Normative Requirements Operationalization with Large Language Models
di: Feng, Nick, et al.
Pubblicazione: (2024)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
di: Hudson, Sinclair, et al.
Pubblicazione: (2024)

A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
di: Islam, Md Asiful, et al.
Pubblicazione: (2026)

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
di: De Sanctis, Martina, et al.
Pubblicazione: (2026)

Proceedings First Workshop on Adaptable Cloud Architectures
di: De Palma, Giuseppe, et al.
Pubblicazione: (2025)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
di: Filippone, Gianluca, et al.
Pubblicazione: (2026)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
di: Kolyakov, Kevin, et al.
Pubblicazione: (2025)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
di: Feng, Nick, et al.
Pubblicazione: (2024)

Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
di: Formica, Federico, et al.
Pubblicazione: (2025)

RobEthiChor: Automated Context-aware Ethics-based Negotiation for Autonomous Robots
di: Memon, Mashal Afzal, et al.
Pubblicazione: (2025)

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance
di: Shen, Huakun, et al.
Pubblicazione: (2024)

The Runtime Dimension of Ethics in Self-Adaptive Systems
di: Autili, Marco, et al.
Pubblicazione: (2026)

Quality Assurance Practices in Agile Methodology
di: Wakili, Almustapha A., et al.
Pubblicazione: (2024)

Leveraging LLMs for the Quality Assurance of Software Requirements
di: Lubos, Sebastian, et al.
Pubblicazione: (2024)

Embedding Quality Assurance in project-based learning
di: Spichkova, Maria
Pubblicazione: (2025)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
di: Endrullis, Jörg, et al.
Pubblicazione: (2025)

Proceedings 16th International Workshop on Graph Computation Models
di: Lambers, Leen, et al.
Pubblicazione: (2026)

Abstraction Engineering
di: Bencomo, Nelly, et al.
Pubblicazione: (2024)

Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
di: Vats, Indira, et al.
Pubblicazione: (2026)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
di: Wang, Song
Pubblicazione: (2026)

What Makes a Great Software Quality Assurance Engineer?
di: Farias, Roselane Silva, et al.
Pubblicazione: (2024)

Future of Software Engineering Research: The SIGSOFT Perspective
di: Di Penta, Massimiliano, et al.
Pubblicazione: (2026)

From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications
di: Barbie, Alexander, et al.
Pubblicazione: (2024)

Before Autonomy Takes Control: Software Testing in Robotics
di: Chur, Nils, et al.
Pubblicazione: (2026)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Towards a Robust Quality Assurance Framework for Cloud Computing Environments
di: Alharbi, Mohammed, et al.
Pubblicazione: (2025)