default search action
Tobias Schüle
Person information
- affiliation: Kaiserslautern University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c28]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: 73-81 - 2020
- [c27]Thomas Becker, Tobias Schüle:
Evaluating Dynamic Task Scheduling with Priorities and Adaptive Aging in a Task-Based Runtime System. ARCS 2020: 17-31
2010 – 2019
- 2019
- [c26]Thomas Becker, Wolfgang Karl, Tobias Schüle:
Evaluating Dynamic Task Scheduling in a Task-Based Runtime System for Heterogeneous Architectures. ARCS 2019: 142-155 - 2018
- [c25]Andreas Wilhelm, Faris Cakaric, Michael Gerndt, Tobias Schuele:
Tool-based interactive software parallelization: a case study. ICSE (SEIP) 2018: 115-123 - 2016
- [c24]Suyang Zhu, Sunita Chandrasekaran, Peng Sun, Barbara M. Chapman, Marcus W. Winter, Tobias Schuele:
Exploring Task Parallelism for Heterogeneous Systems Using Multicore Task Management API. Euro-Par Workshops 2016: 697-708 - [c23]Andreas Wilhelm, Victor Savu, Efe Amadasun, Michael Gerndt, Tobias Schuele:
A Visualization Framework for Parallelization. VISSOFT 2016: 81-85 - 2015
- [c22]Andreas Wilhelm, Bharatkumar Sharma, Ranajoy Malakar, Tobias Schüle, Michael Gerndt:
Parceive: Interactive parallelization based on dynamic analysis. PCODA@SANER 2015: 1-6 - 2013
- [c21]Lars Lucas, Tobias Schuele, Wolfgang Schwitzer:
Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages. MUSEPAT 2013: 1-12 - 2012
- [c20]Sebastian Mattheis, Tobias Schuele, Andreas Raabe, Thomas Henties, Urs Gleim:
Work Stealing Strategies for Parallel Stream Processing in Soft Real-Time Systems. ARCS 2012: 172-183 - 2011
- [c19]Tobias Schuele:
Efficient Parallel Execution of Streaming Applications on Multi-core Processors. PDP 2011: 231-238
2000 – 2009
- 2009
- [c18]Tobias Schuele:
A Coordination Language for Programming Embedded Multi-Core Systems. PDCAT 2009: 201-209 - 2007
- [b1]Tobias Schüle:
Verification of infinite state systems using Presburger arithmetic. University of Kaiserslautern, 2007, ISBN 978-3-89963-562-1, pp. 1-194 - [j1]Tobias Schüle, Klaus Schneider
:
Bounded model checking of infinite state systems. Formal Methods Syst. Des. 30(1): 51-81 (2007) - [c17]Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié:
From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM 2007: 76-95 - [c16]Martin Proetzsch, Karsten Berns, Tobias Schuele, Klaus Schneider:
Formal verification of safety behaviours of the outdoor robot ravon. ICINCO-RA (1) 2007: 157-164 - 2006
- [c15]Tobias Schüle, Klaus Schneider
Verification of Data Paths Using Unbounded Integers: Automata Strike Back. Haifa Verification Conference 2006: 65-80 - [c14]Klaus Schneider, Tobias Schüle, Mario Trapp:
Verifying the adaptation behavior of embedded systems. SEAMS@ICSE 2006: 16-22 - [c13]Klaus Schneider, Tobias Schüle:
A Framework for Verifying and Implementing Embedded Systems. MBMV 2006: 242-247 - 2005
- [c12]Klaus Schneider
Maximal Causality Analysis. ACSD 2005: 106-115 - [c11]Tobias Schüle, Klaus Schneider
Three-valued logic in bounded model checking. MEMOCODE 2005: 177-186 - 2004
- [c10]Klaus Schneider
Causality analysis of synchronous programs with delayed actions. CASES 2004: 179-189 - [c9]Tobias Schüle, Klaus Schneider
Abstraction of assembler programs for symbolic worst case execution time analysis. DAC 2004: 107-112 - [c8]Tobias Schüle, Klaus Schneider:
Global vs. Local Model Checking of Infinite State Systems. MBMV 2004: 54-64 - [c7]Tobias Schüle, Klaus Schneider:
Bounded model checking of infinite state systems: exploiting the automata hierarchy. MEMOCODE 2004: 17-26 - [c6]Tobias Schüle, Klaus Schneider:
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. SEFM 2004: 67-76 - [c5]Klaus Schneider
A Verified Compiler for Synchronous Programs with Local Declarations. SLAP@ETAPS 2004: 71-97 - 2003
- [c4]Tobias Schüle, Klaus Schneider
Exact Runtime Analysis Using Automata-Based Symbolic Simulation. MEMOCODE 2003: 153-162 - 2002
- [c3]Tobias Schuele, Klaus Schneider:
Symbolic Model Checking by Automata Based Set Representation. MBMV 2002: 229-238 - 2001
- [c2]Tobias Schüle, Albrecht P. Stroele:
Scheduling tests for low power built-in self-test. ISCAS (5) 2001: 247-250 - [c1]Tobias Schüle, Albrecht P. Stroele:
Test Scheduling for Minimal Energy Consumption under Power Constraints. VTS 2001: 312-318
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: