Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 2

Conference/Workshop Paper (2)

STAMP-WA: A Safe System-Oriented Extension of STPA for Dependability in Automated Driving (Feb 2026)
Manabu Okada , Barbara Gallina
13th Embedded Real-Time Systems Congress (ERTS-2026)

Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda (Aug 2024)
Manabu Okada , Barbara Gallina
48th IEEE International Computers, Software, and Applications Conference (COMPSAC-2024)

Items per page:
Mar 2026
An Adaptive Data-Enabled Policy Optimization Approach for Autonomous Bicycle Control
Mar 2026
Incremental Formalization for Informal Architectural Diagramming
Mar 2026
Reducing IoT Data at the Edge: A Comparative Evaluation
Feb 2026
STAMP-WA: A Safe System-Oriented Extension of STPA for Dependability in Automated Driving
Feb 2026
Towards An Improved β-factor Estimation for Safety-Critical Railway Systems
Feb 2026
Folklore in Software Engineering: A Definition and Conceptual Foundations