English
Related papers

Related papers: Agile V: A Compliance-Ready Framework for AI-Augme…

200 papers

Art. 50 II of the EU Artificial Intelligence Act mandates dual transparency for AI-generated content: outputs must be labeled in both human-understandable and machine-readable form for automated verification. This requirement, entering into…

Artificial Intelligence · Computer Science 2026-03-31 Vera Schmitt , Niklas Kruse , Premtim Sahitaj , Julius Schöning

Autonomous research systems capable of generating complete scientific manuscripts have advanced rapidly, yet robust and realistic evaluation frameworks have failed to keep pace. To bridge this gap, we introduce MLReplicate, an end-to-end…

Machine Learning · Computer Science 2026-05-19 Sasi Kiran Gaddipati , Diyana Muhammed , Farhana Keya , Gollam Rabby , Sören Auer

Research in the field of automated vehicles, or more generally cognitive cyber-physical systems that operate in the real world, is leading to increasingly complex systems. Among other things, artificial intelligence enables an…

Software Engineering · Computer Science 2025-02-20 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

The rapid adoption of Artificial Intelligence(AI) programming assistants such as GitHub Copilot introduces new challenges in how these software tools address human needs. Many existing evaluation frameworks address technical aspects such as…

Software Engineering · Computer Science 2025-08-07 Soroush Heydari

Many software systems originate as prototypes or minimum viable products (MVPs), developed with an emphasis on delivery speed and responsiveness to changing requirements rather than long-term code maintainability. While effective for rapid…

Software Engineering · Computer Science 2026-04-06 Ema Smolic , Mario Brcic , Luka Hobor , Mihael Kovac

Software vulnerabilities remain a critical security challenge, providing entry points for attackers into enterprise networks. Despite advances in security practices, the lack of high-quality datasets capturing diverse exploit behavior…

Cryptography and Security · Computer Science 2025-11-17 Alireza Lotfi , Charalampos Katsis , Elisa Bertino

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

Robotics · Computer Science 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

The broad availability of generative AI offers new opportunities to support various work domains, including agile software development. Agile epics are a key artifact for product managers to communicate requirements to stakeholders.…

We present a rigorous, human-in-the-loop evaluation framework for assessing the performance of AI agents on the task of Air Traffic Control, grounded in a regulator-certified simulator-based curriculum used for training and testing…

Human-Computer Interaction · Computer Science 2026-01-13 Ben Carvell , Marc Thomas , Andrew Pace , Christopher Dorney , George De Ath , Richard Everson , Nick Pepper , Adam Keane , Samuel Tomlinson , Richard Cannon

Computer-aided design (CAD) is the backbone of modern industrial design, yet learned CAD generators still fall short of real engineering pipelines: they neither iterate like engineers nor evaluate what engineering requires. Prior work has…

Graphics · Computer Science 2026-05-28 Guijin Son , Jehyun Park , Seyeon Park , Sunghee Ahn , Youngjae Yu

Innovative Electronic Design Automation (EDA) solutions are important to meet the design requirements for increasingly complex electronic devices. Verilog, a hardware description language, is widely used for the design and verification of…

Machine Learning · Computer Science 2023-06-08 Enrique Dehaerne , Bappaditya Dey , Sandip Halder , Stefan De Gendt

The future of Requirements Engineering (RE) is increasingly driven by artificial intelligence (AI), reshaping how we elicit, analyze, and validate requirements. Traditional RE is based on labor-intensive manual processes prone to errors and…

Software Engineering · Computer Science 2025-10-30 Mateen Ahmed Abbasi , Petri Ihantola , Tommi Mikkonen , Niko Mäkitalo

Agent frameworks increasingly encode tool-using behavior as explicit workflow graphs, yet safety enforcement remains a runtime concern. These frameworks expose analyzable graph structure through their APIs, enabling pre-deployment static…

Logic in Computer Science · Computer Science 2026-03-24 Melwin Xavier , Vaisakh M A , Melveena Jolly , Midhun Xavier

The growing AI field faces trust, transparency, fairness, and discrimination challenges. Despite the need for new regulations, there is a mismatch between regulatory science and AI, preventing a consistent framework. A five-layer nested…

Computers and Society · Computer Science 2024-08-27 Akshat Dubey , Zewen Yang , Georges Hattab

Organizations increasingly deploy separate purpose-built AI tools across professional domains, often hiring domain specialists for each, recreating the staffing models AI was expected to transform. Yet the meta-skills that make these tools…

Software Engineering · Computer Science 2026-05-27 Elias Calboreanu

Domain-specific software and hardware co-design is encouraging as it is much easier to achieve efficiency for fewer tasks. Agile domain-specific benchmarking speeds up the process as it provides not only relevant design inputs but also…

Agentic AI systems automate enterprise workflows but existing defenses--guardrails, semantic filters--are probabilistic and routinely bypassed. We introduce authenticated workflows, the first complete trust layer for enterprise agentic AI.…

Cryptography and Security · Computer Science 2026-02-12 Mohan Rajagopalan , Vinay Rao

Self-driving cars and autonomous vehicles are revolutionizing the automotive sector, shaping the future of mobility altogether. Although the integration of novel technologies such as Artificial Intelligence (AI) and Cloud/Edge computing…

Software Engineering · Computer Science 2020-09-25 Sorin Grigorescu , Tiberiu Cocias , Bogdan Trasnea , Andrea Margheri , Federico Lombardi , Leonardo Aniello

As large language models demonstrate enormous potential in the field of Electronic Design Automation (EDA), generative AI-assisted chip design is attracting widespread attention from academia and industry. Although these technologies have…

Hardware Architecture · Computer Science 2025-07-30 Wenbo Liu , Forbes Hou , Jon Zhang , Hong Liu , Allen Lei

Artificial Intelligence (AI) Auditability is a core requirement for achieving responsible AI system design. However, it is not yet a prominent design feature in current applications. Existing AI auditing tools typically lack integration…

Computers and Society · Computer Science 2024-06-21 Laura Waltersdorfer , Fajar J. Ekaputra , Tomasz Miksa , Marta Sabou