~/talks

Wolfgang Mauerer

what they talk about

all 5 in the filters

where they keep going back

all 6 in the filters

on a stage with

all 4 in the filters

who talks about the same things

titleconferencedate
Formal Verification of Embedded Linux Systems Using Trace-Base...Critical Software Summit @ Open Source Summit Japan 20222022-12-05
Proposes a semi‑formal pipeline that models safety‑relevant behavior as deterministic finite automata, instruments Linux (using tracepoints, ftrace, kprobes…
Talk on
So you're a Linux kernel developer? Name all subsystems.Linux.conf.au 2021 Kernel Miniconf2021-01-23
Maintainers-file entries become vertices and share an edge when they overlap in actual lines of code; clustering (walktrap) on that section graph groups them…
Talk on
So you're a Linux kernel developer? Name all subsystems.linux.conf.au 20212021-01-23
Researchers mine MAINTAINERS and git history to build a section graph where vertices are maintainer sections and edges mean shared lines of code; they run…
Talk on
Cyclic Tests Unleashed: Large-Scale RT Analysis with JitterdebuggerOpen Source Summit + Embedded Linux Conference North America 20192019-08-21
Jitterdebugger is a drop-in replacement for cyclictest that records per-sample CPU, timestamp and latency into a compact binary file, ships over the network to…
Talk on
Spectre and Meltdown vs. Real-Time: How Much do Mitigations Cost?Open Source Summit Europe & ELC + OpenIoT Summit Europe 20182018-10-22
Measurements quantify how Spectre/Meltdown mitigations affect real‑time latency: using cyclictest + stress‑ng on Intel Xeon E5, AMD Ryzen 2700X and an NVIDIA…
Talk on
Embedded Linux Quality Assurance: How to Not Lie with StatisticsEmbedded Linux Conference + OpenIoT Summit North America 20182018-03-12
Argues that statistical QA is essential for embedded Linux reliability and latency claims and demonstrates concrete tools and steps: using R and the grammar of…
Talk on
Approaches to Ultra-Long Software MaintenanceEmbedded Linux Conference + OpenIoT Summit Europe 20162016-10-11
Argues that some devices require 20–40 years or even 80 years of support and outlines concrete practices: restrict devices to fixed and trusted software, avoid…
Talk on
The Internet of Things and Life Beyond LinuxEmbedded Linux Conference + OpenIoT Summit Europe 20162016-10-11
Argues a practical boundary: once RAM and storage shrink toward eight megabytes a trimmed Linux kernel becomes a different beast and usually loses its…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.