Tobias Schüle

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