Scheduling tests for low power built-in self-test. - Tobias Schüle; Albrecht P. Stroele (ISCAS (5), 2001)

Test Scheduling for Minimal Energy Consumption under Power Constraints. - Tobias Schüle; Albrecht P. Stroele (VTS, 2001)

Symbolic Model Checking by Automata Based Set Representation. - Tobias Schuele; Klaus Schneider 001 (MBMV, 2002)

Exact Runtime Analysis Using Automata-Based Symbolic Simulation. - Tobias Schüle; Klaus Schneider 001 (MEMOCODE, 2003)

Causality analysis of synchronous programs with delayed actions. - Klaus Schneider 001; Jens Brandt 001; Tobias Schüle (CASES, 2004)

Abstraction of assembler programs for symbolic worst case execution time analysis. - Tobias Schüle; Klaus Schneider 001 (DAC, 2004)

Global vs. Local Model Checking of Infinite State Systems. - Tobias Schüle; Klaus Schneider 001 (MBMV, 2004)

Bounded model checking of infinite state systems: exploiting the automata hierarchy. - Tobias Schüle; Klaus Schneider 001 (MEMOCODE, 2004)

Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. - Tobias Schüle; Klaus Schneider 001 (SEFM, 2004)

A Verified Compiler for Synchronous Programs with Local Declarations. - Klaus Schneider 001; Jens Brandt 001; Tobias Schüle (SLAP@ETAPS, 2004)

Maximal Causality Analysis. - Klaus Schneider 001; Jens Brandt 001; Tobias Schüle; Thomas Tuerk (ACSD, 2005)

Three-valued logic in bounded model checking. - Tobias Schüle; Klaus Schneider 001 (MEMOCODE, 2005)

Verification of Data Paths Using Unbounded Integers: Automata Strike Back. - Tobias Schüle; Klaus Schneider 001 (Haifa Verification Conference, 2006)

Verifying the adaptation behavior of embedded systems. - Klaus Schneider 001; Tobias Schüle; Mario Trapp (SEAMS@ICSE, 2006)

A Framework for Verifying and Implementing Embedded Systems. - Klaus Schneider 001; Tobias Schüle (MBMV, 2006)

From Model-Based Design to Formal Verification of Adaptive Embedded Systems. - Rasmus Adler; Ina Schaefer; Tobias Schüle; Eric Vecchié (ICFEM, 2007)

Formal verification of safety behaviours of the outdoor robot ravon. - Martin Proetzsch; Karsten Berns; Tobias Schuele; Klaus Schneider 001 (ICINCO-RA (1), 2007)

Bounded model checking of infinite state systems. - Tobias Schüle; Klaus Schneider 001 (Formal Methods Syst. Des., 2007)

Verification of infinite state systems using Presburger arithmetic. - Tobias Schüle (2007)

A Coordination Language for Programming Embedded Multi-Core Systems. - Tobias Schuele (PDCAT, 2009)

Efficient Parallel Execution of Streaming Applications on Multi-core Processors. - Tobias Schuele (PDP, 2011)

Work Stealing Strategies for Parallel Stream Processing in Soft Real-Time Systems. - Sebastian Mattheis; Tobias Schuele; Andreas Raabe; Thomas Henties; Urs Gleim (ARCS, 2012)

Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages. - Lars Lucas; Tobias Schuele; Wolfgang Schwitzer (MUSEPAT, 2013)

Parceive: Interactive parallelization based on dynamic analysis. - Andreas Wilhelm; Bharatkumar Sharma; Ranajoy Malakar; Tobias Schüle; Michael Gerndt (PCODA@SANER, 2015)

Exploring Task Parallelism for Heterogeneous Systems Using Multicore Task Management API. - Suyang Zhu; Sunita Chandrasekaran; Peng Sun; Barbara M. Chapman; Marcus W. Winter; Tobias Schuele (Euro-Par Workshops, 2016)

A Visualization Framework for Parallelization. - Andreas Wilhelm; Victor Savu; Efe Amadasun; Michael Gerndt; Tobias Schuele (VISSOFT, 2016)

Tool-based interactive software parallelization: a case study. - Andreas Wilhelm; Faris Cakaric; Michael Gerndt; Tobias Schuele (ICSE (SEIP), 2018)

Evaluating Dynamic Task Scheduling in a Task-Based Runtime System for Heterogeneous Architectures. - Thomas Becker 008; Wolfgang Karl; Tobias Schüle (ARCS, 2019)

Evaluating Dynamic Task Scheduling with Priorities and Adaptive Aging in a Task-Based Runtime System. - Thomas Becker 008; Tobias Schüle (ARCS, 2020)

Potentials of Digital Business Models in the Construction Industry - Empirical Results from German Experts. - Ralf-Christian Härting; Christopher Reichstein; Tobias Schüle (ICICT (2), 2021)