Search: (more)
Header

Search Result

2008

BibTeX Search WWW PDF   [AdSS08]
R. Adler and I. Schaefer and T. Schüle
Model-Based Development of an Adaptive Vehicle Stability Control System
Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen (MBEFF)

2007

BibTeX Search WWW PDF   [ASSV07]
R. Adler and I. Schaefer and T. Schüle and E. Vecchié
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
International Conference on Formal Engineering Methods (ICFEM)
BibTeX Search WWW PDF   [PBSS07]
M. Proetzsch and K. Berns and T. Schüle and K. Schneider
Formal Verification of Safety Behaviours of the Outdoor Robot RAVON
Informatics in Control, Automation and Robotics (ICINCO)
BibTeX Search WWW PDF   [ScSc07]
T. Schüle and K. Schneider
Verification of Data Paths Using Unbounded Integers: Automata Strike Back
Haifa Verification Conference (HVC)
BibTeX Search WWW PDF   [ScSc07a]
T. Schüle and K. Schneider
Bounded Model Checking of Infinite State Systems
Formal Methods in System Design (FMSD)
BibTeX Search WWW PDF   [Schu07]
T. Schüle
Verification of Infinite State Systems Using Presburger Arithmetic
PhD Thesis

2006

BibTeX Search WWW PDF   [ScBS06]
K. Schneider and J. Brandt and T. Schüle
A Verified Compiler for Synchronous Programs with Local Declarations
Electronic Notes in Theoretical Computer Science (ENTCS)
BibTeX Search WWW PDF   [ScST06]
K. Schneider and T. Schüle and M. Trapp
Verifying the Adaptation Behavior of Embedded Systems
Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
BibTeX Search WWW PDF   [ScSc06a]
K. Schneider and T. Schüle
A Framework for Verifying and Implementing Embedded Systems
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

2005

BibTeX Search WWW PDF   [SBST05a]
K. Schneider and J. Brandt and T. Schüle and T. Türk
Improving Constructiveness in Code Generators
Synchronous Languages, Applications, and Programming (SLAP)
BibTeX Search WWW PDF   [SBST05b]
K. Schneider and J. Brandt and T. Schüle and T. Türk
Maximal Causality Analysis
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [ScSc05]
T. Schüle and K. Schneider
Three-Valued Logic in Bounded Model Checking
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [ScSc05a]
K. Schneider and T. Schüle
Averest: Specification, Verification, and Implementation of Reactive Systems
Application of Concurrency to System Design (ACSD)

2004

BibTeX Search WWW PDF   [ScBS04a]
K. Schneider and J. Brandt and T. Schüle
A Verified Compiler for Synchronous Programs with Local Declarations (proceedings version)
Synchronous Languages, Applications, and Programming (SLAP)
BibTeX Search WWW PDF   [ScBS04b]
K. Schneider and J. Brandt and T. Schüle
Causality Analysis of Synchronous Programs with Delayed Actions
Compilers, Architecture, and Synthesis for Embedded Systems (CASES)
BibTeX Search WWW PDF   [ScSc04]
T. Schüle and K. Schneider
Global vs. Local Model Checking of Infinite State Systems
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [ScSc04a]
T. Schüle and K. Schneider
Abstraction of Assembler Programs for Symbolic Worst Case Execution Time Analysis
Design Automation Conference (DAC)
BibTeX Search WWW PDF   [ScSc04b]
T. Schüle and K. Schneider
Bounded Model Checking of Infinite State Systems: Exploiting the Automata Hierarchy
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [ScSc04c]
T. Schüle and K. Schneider
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems
Software Engineering and Formal Methods (SEFM)

2003

BibTeX Search WWW PDF   [ScSc03]
T. Schüle and K. Schneider
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
Formal Methods and Models for Codesign (MEMOCODE)

2002

BibTeX Search WWW PDF   [ScSc02]
T. Schüle and K. Schneider
Symbolic Model Checking by Automata Based Set Representation
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

2001

BibTeX Search WWW PDF   [ScSt01a]
T. Schüle and A.P. Ströle
Test Scheduling for Minimal Energy Consumption under Power Constraints
VLSI Test Symposium (VTS)
BibTeX Search WWW PDF   [ScSt01b]
T. Schüle and A.P. Ströle
Scheduling Tests for Low Power Built-In Self-Test
International Symposium on Circuits and Systems (ISCAS)

1999

BibTeX Search WWW PDF   [Schu99]
T. Schüle
Test von Systems-On-A-Chip mit eingebetteten Prozessoren
Master Thesis