Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 1

Conference/Workshop Paper (1)

A Formal Model for Path Set Attribute Calculation in Network Systems
Giovanni Fiaschi, Carlo Vitucci, Thomas Westerbäck, Daniel Sundmark, Thomas Nolte
The 12th International Symposium on Networks, Computers and Communications (ISNCC25)

Items per page:
Nov 2025
STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation
Oct 2025
A Checklist of Quality Concerns for Architecting ML-Intensive Systems
Oct 2025
Axiology and the Evolution of Ethics in the Age of AI: Integrating Ethical Theories via Multiple-Criteria Decision Analysis
Oct 2025
Responsible AI under the philosophical framework of Digial Humanism
Oct 2025
Enhancing Industrial Requirements Processing and Reuse
Oct 2025
Formal Methods-Based Security Testing Utilizing Threat Modeling, Automata Learning, and Model Checking