Gabriele Paoloni
where else to find them
linkedin:gabrielepaoloni
what they talk about
all 8 in the filters
where they keep going back
- Open Source Summit Europe2 editions2024–2025
all 8 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Philipp Ahmann39 talks
- Paul Albertella4 talks
- Alessandro Carminati7 talks
- Chuck Wolber11 talks
- Elana Copperman7 talks
- Luigi Pellecchia12 talks
| title | conference | date |
|---|---|---|
| Defining and maintaining requirements in the Linux... | Linux Plumbers Conference 2025 | 2025-12-11 |
ELISA Architecture WG drafts a requirements template and applies it to the tracing subsystem, finding and fixing a redundant flag and documenting a non‑atomic… | ||
| Adding Testable Code Specifications in the Linux Ke... | Linux Plumbers Conference 2025 | 2025-12-11 |
Proposal creates a machine‑readable kernel-doc format for testable expectations that ties declared intent to tests and coverage via a checksum/hash linking so… | ||
| AutoSD: A Linux Development and Prototyping Framework for the Automotive Community | Open Source Summit Europe 2025 | 2025-08-25 |
AutoSD is an upstream CentOS Stream–based distro that ships a real‑time tuned Linux kernel, OSTree immutability, declarative YAML images via Automotive Image… | ||
| Documenting the Design of the Linux Kernel | Open Source Summit North America 2025 | 2025-06-23 |
Proposes a machine‑readable requirement template that embeds stable ID/hash key comments in kernel source, auto-generates SPDX‑style IDs, and links each… | ||
| Developing a Community-Driven Standard for Open Source Software... | Open Source Summit North America 2025 | 2025-06-23 |
Proposal to create a community standard that maps code‑centric CI/CD open source practices to regulated industry needs, backed by a literature review (33… | ||
| Traceability and Automation Examples With Basil | Critical Software Summit @ Open Source Summit Europe 2024 | 2024-09-16 |
Demonstrates BASIL as a code‑centric quality management system that maps requirements to source code and upstream test cases, stores versioned mappings… | ||
| Enhancing Kernel Functional Safety Analysis with KS-nav | Critical Software Summit @ Open Source Summit Europe 2024 | 2024-09-16 |
ks-nav performs binary-level analysis of Linux kernel images using radare2 and debug info, stores cross references in a relational DB and renders four diagram… | ||
| Traceability and Automation Examples With Basil | Open Source Summit Europe 2024 | 2024-09-16 |
BASIL is an open source quality-management system that links requirements, specs, test cases, test results and bugs to source code and documents, and it stores… | ||
| Enhancing Kernel Functional Safety Analysis with KS-nav | Open Source Summit Europe 2024 | 2024-09-16 |
ks-nav reverse-engineers a Linux kernel binary to produce call and subsystem graphs that pinpoint which files and drivers (via the MAINTAINERS map) participate… | ||
| BASIL an Open Source Software for Quality Management | Safety-Critical Software Summit @ Embedded Open Source Summit 2024 | 2024-04-16 |
BASIL is an open source software quality management system that connects code and specs to requirements, test specs and test cases, detects mapping breakage… | ||
| BASIL an Open Source Software for Quality Management | Embedded Open Source Summit 2024 | 2024-04-16 |
BASIL is an open source functional‑safety quality management system that links requirements, test specifications, test cases and source code, detects broken… | ||
| Panel Discussion: Enabling Linux in Safety Applications | Critical Software Summit @ Open Source Summit North America 2022 | 2022-06-21 |
Project ELISA maps concrete safety analyses to Linux: STPA/SDPA hazard lists for an instrument cluster demo and for openaps closed‑loop insulin; kernel patches… | ||
| A Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in Linux | Open Source Summit + Embedded Linux Conference + OSPOCon 2021 | 2021-09-27 |
Proposes a hybrid qualification approach that treats drivers or subsystems as ISO 26262 pre‑existing components (part 8.12) and verifies their integration with… | ||
| nothing matches | ||