Skip to content
cs-conference-ranking.org

Tobias Schle

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

8

Active years

2001–2007

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2007ICFEMFrom Model-Based Design to Formal Verification of Adaptive Embedded Systems.Rasmus Adler, Ina Schaefer, Tobias Schle, Eric Vecchi
2006ICSEVerifying the adaptation behavior of embedded systems.Klaus Schneider, Tobias Schle, Mario Trapp
2005MEMOCODEThree-valued logic in bounded model checking.Tobias Schle, Klaus Schneider
2004CASESCausality analysis of synchronous programs with delayed actions.Klaus Schneider, Jens Brandt, Tobias Schle
2004DACAbstraction of assembler programs for symbolic worst case execution time analysis.Tobias Schle, Klaus Schneider
2004MEMOCODEBounded model checking of infinite state systems: exploiting the automata hierarchy.Tobias Schle, Klaus Schneider
2004SEFMGlobal vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems.Tobias Schle, Klaus Schneider
2003MEMOCODEExact Runtime Analysis Using Automata-Based Symbolic Simulation.Tobias Schle, Klaus Schneider
2001ISCASScheduling tests for low power built-in self-test.Tobias Schle, Albrecht P. Stroele
2001VTSTest Scheduling for Minimal Energy Consumption under Power Constraints.Tobias Schle, Albrecht P. Stroele