Klaus Wehrle
From MaRDI portal
Person:2225117
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| LUA-IoT: Let's Usably Authenticate the IoT | 2026-01-08 | Paper |
| Symbolic liveness analysis of real-world software Computer Aided Verification | 2023-05-05 | Paper |
| Symbolic partial-order execution for testing multi-threaded programs (available as arXiv preprint) | 2021-02-04 | Paper |
| Parallel expanded event simulation of tightly coupled systems ACM Transactions on Modeling and Computer Simulation | 2017-06-30 | Paper |
| scientific article; zbMATH DE number 1969710 (Why is no real title available?) | 2003-08-24 | Paper |
| scientific article; zbMATH DE number 1717231 (Why is no real title available?) | 2002-03-07 | Paper |
Research outcomes over time
This page was built for person: Klaus Wehrle
