Concepedia

Tobias Schuele

TS

12

Publications

305

Citations

12

H-Index

2002

Active since

Affiliations

University of Kaiserslautern(Current)

Tobias Schuele is an author at University of Kaiserslautern specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceSystems EngineeringVerificationProgram AnalysisComputer EngineeringAutomated ReasoningSystem Software

Publications per year

2002–2007

12

Publications

12

A Verified Compiler for Synchronous Programs with Local Declarations

Klaus Schneider, Jens Brandt, Tobias Schuele · Electronic Notes in Theoretical Computer Science · 2006 · 49 citations · Full text

Engineering, Compiler Technology, Verification +20

Causality analysis of synchronous programs with delayed actions

Klaus Schneider, Jens Brandt, Tobias Schuele · 2004 · 45 citations

Engineering, Compiler Technology, Computer Architecture +23

Maximal Causality Analysis

Klaus Schneider, Jens Brandt, Tobias Schuele et al. · 2006 · 42 citations

Circuit Complexity, Engineering, Boolean Function +24

Verifying the adaptation behavior of embedded systems

Klaus Schneider, Tobias Schuele, Mario Trapp · 2006 · 36 citations

Engineering, Verification, Embedded Systems +16

Test scheduling for minimal energy consumption under power constraints

Tobias Schuele, A.P. Stroele · 2002 · 24 citations

Power-aware Computing, Electrical Engineering, Test Scheduling +14

Rows per page

1–5 of 12