Tobias Schüle

Publication Activity (10 Years)

Years Active: 2001-2021
Publications (10 Years): 4

Top Venues

ARCS

PCODA@SANER

ICICT (2)

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Ralf-Christian Härting, Christopher Reichstein, Tobias Schüle
Potentials of Digital Business Models in the Construction Industry - Empirical Results from German Experts. ICICT (2) (2021)
Thomas Becker, Tobias Schüle
Evaluating Dynamic Task Scheduling with Priorities and Adaptive Aging in a Task-Based Runtime System. ARCS (2020)
Thomas Becker, Wolfgang Karl, Tobias Schüle
Evaluating Dynamic Task Scheduling in a Task-Based Runtime System for Heterogeneous Architectures. ARCS (2019)
Andreas Wilhelm, Bharatkumar Sharma, Ranajoy Malakar, Tobias Schüle, Michael Gerndt
Parceive: Interactive parallelization based on dynamic analysis. PCODA@SANER (2015)
Tobias Schüle, Klaus Schneider
Bounded model checking of infinite state systems. Formal Methods Syst. Des. 30 (1) (2007)
Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié
From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM (2007)
Tobias Schüle, Klaus Schneider
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. Haifa Verification Conference (2006)
Klaus Schneider, Tobias Schüle
A Framework for Verifying and Implementing Embedded Systems. MBMV (2006)
Klaus Schneider, Jens Brandt, Tobias Schüle
A Verified Compiler for Synchronous Programs with Local Declarations. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Klaus Schneider, Tobias Schüle, Mario Trapp
Verifying the adaptation behavior of embedded systems. SEAMS@ICSE (2006)
Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
Maximal Causality Analysis. ACSD (2005)
Tobias Schüle, Klaus Schneider
Three-valued logic in bounded model checking. MEMOCODE (2005)
Tobias Schüle, Klaus Schneider
Global vs. Local Model Checking of Infinite State Systems. MBMV (2004)
Tobias Schüle, Klaus Schneider
Bounded model checking of infinite state systems: exploiting the automata hierarchy. MEMOCODE (2004)
Klaus Schneider, Jens Brandt, Tobias Schüle
Causality analysis of synchronous programs with delayed actions. CASES (2004)
Tobias Schüle, Klaus Schneider
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. SEFM (2004)
Tobias Schüle, Klaus Schneider
Abstraction of assembler programs for symbolic worst case execution time analysis. DAC (2004)
Tobias Schüle, Klaus Schneider
Exact Runtime Analysis Using Automata-Based Symbolic Simulation. MEMOCODE (2003)
Tobias Schüle, Albrecht P. Stroele
Scheduling tests for low power built-in self-test. ISCAS (5) (2001)
Tobias Schüle, Albrecht P. Stroele
Test Scheduling for Minimal Energy Consumption under Power Constraints. VTS (2001)

Tobias Schüle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tobias Schüle