233 citations
- BMW Group (Germany)DE23 papers
- Technical University of MunichDE19 papers
- Ludwig-Maximilians-Universität MünchenDE8 papers
- University of StuttgartDE6 papers
- Universität UlmDE4 papers
- Google (Switzerland)CH3 papers
- Robert Bosch (Germany)DE3 papers
- Siemens (Germany)DE3 papers
- Amazon (United States)US2 papers
- ETH ZurichCH2 papers
- Infineon Technologies (Germany)DE2 papers
- Istituto Nazionale di Fisica NucleareIT2 papers
Showing 2020 · cs.SEShow all
2 papers · 2 filters
cs.SE2020★ 5 cited
Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System
Jonas Fritzsch, Tobias Schmid, Stefan Wagner
In the age of autonomously driving vehicles, functionality and complexity of embedded systems are increasing tremendously. Safety aspects become more important and require such sys…
cs.SE2020
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects
Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann +1
Public development processes are a key characteristic of open source projects. However, fixes for vulnerabilities are usually discussed privately among a small group of trusted mai…