Tobias Schmid

According to our database, Tobias Schmid authored at least 14 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

In-Vitro Measurements of Porcine Conductive Intracardiac Channel Properties.

Adrian Ryser, Tobias Schmid, Lukas Bereuter, Jürgen Burger, Tobias Reichlin, Thomas Niederhauser, Andreas Haeberlin

Dataset, June, 2022

Modulation Scheme Analysis for Low-Power Leadless Pacemaker Synchronization Based on Conductive Intracardiac Communication.

Adrian Ryser, Tobias Schmid, Lukas Bereuter, Jürgen Burger, Tobias Reichlin, Thomas Niederhauser, Andreas Haeberlin

IEEE Trans. Biomed. Circuits Syst., 2022

Towards using coupling measures to guide black-box integration testing in component-based systems.

Dominik Hellhake, Justus Bogner, Tobias Schmid, Stefan Wagner

Softw. Test. Verification Reliab., 2022

2021

Formal Verification of a Fail-Operational Automotive Driving System.

Tobias Schmid, Stefanie Schraufstetter, Jonas Fritzsch, Dominik Hellhake, Greta Koelln, Stefan Wagner

CoRR, 2021

Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV.

Jonas Fritzsch, Tobias Schmid, Stefan Wagner

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System.

Jonas Fritzsch, Tobias Schmid, Stefan Wagner

CoRR, 2020

2019

Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems.

Dominik Hellhake, Tobias Schmid, Stefan Wagner

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

A Safety Argumentation for Fail-Operational Automotive Systems in Compliance with ISO 26262.

Tobias Schmid, Stefanie Schraufstetter, Stefan Wagner, Dominik Hellhake

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

2018

Safety Analysis for Highly Automated Driving.

Tobias Schmid

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

An Approach for Structuring a Highly Automated Driving Multiple Channel Vehicle System for Safety Analysis.

Tobias Schmid, Stefanie Schraufstetter, Stefan Wagner

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

2016

Information-centric content retrieval for delay-tolerant networks.

Carlos Anastasiades, Tobias Schmid, Jürg Weber, Torsten Braun

Comput. Networks, 2016

Analyse des PV-Potenzials von Wohngebäuden anhand siedlungsgenetischer Merkmale.

Fabian Jetter, Stephan Bosch, Tobias Schmid

AGIT Journal Angew. Geoinformatik, 2016

2014

Opportunistic content-centric data transmission during short network contacts.

Carlos Anastasiades, Tobias Schmid, Jürg Weber, Torsten Braun

Proceedings of the IEEE Wireless Communications and Networking Conference, 2014

2013

WormQTL - public archive and analysis web portal for natural variation data in <i>Caenorhabditis</i> spp.

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

Nucleic Acids Res., 2013