Tobias Schmid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2021
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICST | Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. | Jonas Fritzsch, Tobias Schmid, Stefan Wagner |
| 2019 | ICST | Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems. | Dominik Hellhake, Tobias Schmid, Stefan Wagner |
| 2018 | ISSRE | Safety Analysis for Highly Automated Driving. | Tobias Schmid |
| 2014 | WCNC | Opportunistic content-centric data transmission during short network contacts. | Carlos Anastasiades, Tobias Schmid, Jrg Weber, Torsten Braun |