| 2007 |
|---|
| 13 | EE | Rasmus Adler,
Ina Schaefer,
Tobias Schüle,
Eric Vecchié:
From Model-Based Design to Formal Verification of Adaptive Embedded Systems.
ICFEM 2007: 76-95 |
| 12 | EE | Tobias Schüle,
Klaus Schneider:
Bounded model checking of infinite state systems.
Formal Methods in System Design 30(1): 51-81 (2007) |
| 2006 |
|---|
| 11 | EE | Tobias Schüle,
Klaus Schneider:
Verification of Data Paths Using Unbounded Integers: Automata Strike Back.
Haifa Verification Conference 2006: 65-80 |
| 10 | EE | Klaus Schneider,
Jens Brandt,
Tobias Schüle:
A Verified Compiler for Synchronous Programs with Local Declarations.
Electr. Notes Theor. Comput. Sci. 153(4): 71-97 (2006) |
| 2005 |
|---|
| 9 | EE | Klaus Schneider,
Jens Brandt,
Tobias Schüle,
Thomas Tuerk:
Maximal Causality Analysis.
ACSD 2005: 106-115 |
| 8 | EE | Tobias Schüle,
Klaus Schneider:
Three-valued logic in bounded model checking.
MEMOCODE 2005: 177-186 |
| 2004 |
|---|
| 7 | EE | Klaus Schneider,
Jens Brandt,
Tobias Schüle:
Causality analysis of synchronous programs with delayed actions.
CASES 2004: 179-189 |
| 6 | EE | Tobias Schüle,
Klaus Schneider:
Abstraction of assembler programs for symbolic worst case execution time analysis.
DAC 2004: 107-112 |
| 5 | EE | Tobias Schüle,
Klaus Schneider:
Bounded model checking of infinite state systems: exploiting the automata hierarchy.
MEMOCODE 2004: 17-26 |
| 4 | EE | Tobias Schüle,
Klaus Schneider:
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.
SEFM 2004: 67-76 |
| 2003 |
|---|
| 3 | EE | Tobias Schüle,
Klaus Schneider:
Exact Runtime Analysis Using Automata-Based Symbolic Simulation.
MEMOCODE 2003: 153-162 |
| 2001 |
|---|
| 2 | EE | Tobias Schüle,
Albrecht P. Stroele:
Scheduling tests for low power built-in self-test.
ISCAS (5) 2001: 247-250 |
| 1 | EE | Tobias Schüle,
Albrecht P. Stroele:
Test Scheduling for Minimal Energy Consumption under Power Constraints.
VTS 2001: 312-318 |
