Copertina

MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pombo, Carlos G. Lopez, Suñé, Agustín E. Martinez, Tuosto, Emilio
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Software Engineering 68U07 D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Agile Effort Estimation: Comparing the Accuracy and Efficiency of Planning Poker, Bucket System, and Affinity Estimation methods
di: Poženel, Marko, et al.
Pubblicazione: (2024)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
di: Huisman, Marieke, et al.
Pubblicazione: (2020)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
di: Bandyopadhyay, Soumyadip, et al.
Pubblicazione: (2025)

WARP -- Web-Augmented Real-time Program Repairer: A Real-Time Compilation Error Resolution using LLMs and Web-Augmented Synthesis
di: Luiz, Anderson de Lima
Pubblicazione: (2025)

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software
di: Ning, Bowei, et al.
Pubblicazione: (2026)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
di: López, Hugo A., et al.
Pubblicazione: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
di: Hackett, Finn, et al.
Pubblicazione: (2026)

Icing on the Cake: Automatic Code Summarization at Ericsson
di: Sridhara, Giriprasad, et al.
Pubblicazione: (2024)

DRS-OSS: Practical Diff Risk Scoring with LLMs
di: Sayedsalehi, Ali, et al.
Pubblicazione: (2025)

SEArch: an execution infrastructure for service-based software systems
di: Pombo, Carlos G. Lopez, et al.
Pubblicazione: (2024)

Retrieval-augmented code completion for local projects using large language models
di: Hostnik, Marko, et al.
Pubblicazione: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

Quality evaluation of Tabby coding assistant using real source code snippets
di: Borek, Marta, et al.
Pubblicazione: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
di: Borysenkov, Dmytro, et al.
Pubblicazione: (2024)

SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities
di: Ning, Bowei, et al.
Pubblicazione: (2026)

Automated Code Generation and Validation for Software Components of Microcontrollers
di: Haug, Sebastian, et al.
Pubblicazione: (2025)

Beyond the Yield Barrier: Variational Importance Sampling Yield Analysis
di: Liu, Yanfang, et al.
Pubblicazione: (2024)

Tool-Assisted Conformance Checking to Reference Process Models
di: Rumpe, Bernhard, et al.
Pubblicazione: (2025)

Validation of an analyzability model for quantum software: a family of experiments
di: Díaz-Muñoz, Ana, et al.
Pubblicazione: (2026)

Efficient Subdivision of Bézier Curves/Surfaces via Blossoms
di: Vlachkova, Krassimira
Pubblicazione: (2026)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
di: Radosky, Lukas, et al.
Pubblicazione: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
di: Grahl, Johanna, et al.
Pubblicazione: (2025)

Integrating Sustainability Concerns into Agile Software Development Process
di: Oyedeji, Shola, et al.
Pubblicazione: (2024)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
di: Effendi, Sedick David Baker, et al.
Pubblicazione: (2025)

Safeguarding DeFi Smart Contracts against Oracle Deviations
di: Deng, Xun, et al.
Pubblicazione: (2024)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
di: Lu, Minghai, et al.
Pubblicazione: (2025)

Combined Program Analysis Techniques: A Systematic Mapping Study
di: Braione, Pietro, et al.
Pubblicazione: (2026)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
di: Vargas, Matheus J. T.
Pubblicazione: (2025)

Evaluating Software Contribution Quality: Time-to-Modification Theory
di: Bishop III, Vincil, et al.
Pubblicazione: (2024)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
di: Li, Meng, et al.
Pubblicazione: (2026)

A Prompt Learning Framework for Source Code Summarization
di: Xu, Tingting, et al.
Pubblicazione: (2023)

Rational complex Bezier curves
di: Canton, A., et al.
Pubblicazione: (2025)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
di: Haseeb, Muhammad
Pubblicazione: (2025)

AI for software engineering: from probable to provable
di: Meyer, Bertrand
Pubblicazione: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
di: Yoon, Gangho, et al.
Pubblicazione: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
di: Yu, Boxi, et al.
Pubblicazione: (2026)