Philipp Panzer
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- David Leach7 talks
- Karol Gugala12 talks
- Hake Huang4 talks
- Tom Burdick5 talks
- Tristan Honscheid2 talks
- Chris Gammell6 talks
| title | conference | date |
|---|---|---|
| Model-Based Testing for the Zephyr RTOS | Zephyr Developer Summit 2025 | 2025-08-25 |
Model based tests derive executable checks from a formal specification of Zephyr kernel behavior rather than higher level handwavy examples The project models… | ||
| Model-Based Testing for the Zephyr RTOS | Open Source Summit Europe 2025 | 2025-08-25 |
Model-based approach creates a formal spec of the Zephyr semaphore API in PlusCal/TLA+ and TLC, produces counterexample traces (about 10 properties explored… | ||
| nothing matches | ||