Tobias Schmid

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 11

Top Topics

Formal Verification

Top Venues

IEEE Trans. Biomed. Circuits Syst.

Publications

Adrian Ryser, Tobias Schmid, Lukas Bereuter, Jürgen Burger, Tobias Reichlin, Thomas Niederhauser, Andreas Haeberlin
Modulation Scheme Analysis for Low-Power Leadless Pacemaker Synchronization Based on Conductive Intracardiac Communication. IEEE Trans. Biomed. Circuits Syst. 16 (3) (2022)
Dominik Hellhake, Justus Bogner, Tobias Schmid, Stefan Wagner
Towards using coupling measures to guide black-box integration testing in component-based systems. Softw. Test. Verification Reliab. 32 (4) (2022)
Tobias Schmid, Stefanie Schraufstetter, Jonas Fritzsch, Dominik Hellhake, Greta Koelln, Stefan Wagner
Formal Verification of a Fail-Operational Automotive Driving System. CoRR (2021)
Jonas Fritzsch, Tobias Schmid, Stefan Wagner
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. ICST (2021)
Jonas Fritzsch, Tobias Schmid, Stefan Wagner
Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System. CoRR (2020)
Tobias Schmid, Stefanie Schraufstetter, Stefan Wagner, Dominik Hellhake
A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262. ICSRS (2019)
Dominik Hellhake, Tobias Schmid, Stefan Wagner
Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems. ICST (2019)
Tobias Schmid
Safety Analysis for Highly Automated Driving. ISSRE Workshops (2018)
Tobias Schmid, Stefanie Schraufstetter, Stefan Wagner
An Approach for Structuring a Highly Automated Driving Multiple Channel Vehicle System for Safety Analysis. ICSRS (2018)
Fabian Jetter, Stephan Bosch, Tobias Schmid
Analyse des PV-Potenzials von Wohngebäuden anhand siedlungsgenetischer Merkmale. AGIT Journal Angew. Geoinformatik 2 (2016)
Carlos Anastasiades, Tobias Schmid, Jürg Weber, Torsten Braun
Information-centric content retrieval for delay-tolerant networks. Comput. Networks 107 (2016)
Carlos Anastasiades, Tobias Schmid, Jürg Weber, Torsten Braun
Opportunistic content-centric data transmission during short network contacts. WCNC (2014)
L. Basten Snoek, K. Joeri van der Velde, Danny Arends, Yang Li, Antje Beyer, Mark Elvin, Jasmin Fisher, Alex Hajnal, Michael O. Hengartner, Gino B. Poulin, Miriam Rodriguez, Tobias Schmid, Sabine Schrimpf, Feng Xue, Ritsert C. Jansen, Jan E. Kammenga, Morris A. Swertz
spp. Nucleic Acids Res. 41 (Database-Issue) (2013)