Jens Brandt - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Multithreaded code from synchronous programs: Extracting independent threads for OpenMPDaniel Baudisch, Jens Brandt, Klaus Schneider. date 2010: 949-952 [doi]

Dependency-Driven Distribution of Synchronous ProgramsDaniel Baudisch, Jens Brandt, Klaus Schneider. ifip10-3 2010: 169-180 [doi]

Translating concurrent action oriented specifications to synchronous guarded actionsJens Brandt, Klaus Schneider, Sandeep K. Shukla. lctrts 2010: 47-56 [doi]

The Model Checking View to Clock Gating and Operand IsolationJens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla. acsd 2010: 181-190 [doi]

Compilation of imperative synchronous programs with refined clocksMike Gemunde, Jens Brandt, Klaus Schneider. memocode 2010: 209-218 [doi]

A Formal Semantics of Clock Refinement in Imperative Synchronous LanguagesMike Gemunde, Jens Brandt, Klaus Schneider. acsd 2010: 157-168 [doi]

Message from the chairsKlaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt. memocode 2010: 1-3 [doi]

2009

Desynchronizing Synchronous Programs by ModesJens Brandt, Mike Gemunde, Klaus Schneider. acsd 2009: 32-41 [doi]

Static data-flow analysis of synchronous programsJens Brandt, Klaus Schneider. memocode 2009: 161-170 [doi]

2008

Formal Reasoning About Causality AnalysisJens Brandt, Klaus Schneider. tphol 2008: 118-133 [doi]

Performing causality analysis by bounded model checkingKlaus Schneider, Jens Brandt. acsd 2008: 78-87 [doi]

2007

How Different are Esterel and SystemC?Jens Brandt, Klaus Schneider. fdl 2007: 98-103

Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, ProceedingsKlaus Schneider, Jens Brandt, editors, Volume 4732 of Lecture Notes in Computer Science, Springer, 2007.

2006

2005

Dependable Polygon-Processing Algorithms for Safety-Critical Embedded SystemsJens Brandt, Klaus Schneider. euc 2005: 405-417 [doi]

Using Three-Valued Logic to Specify and Verify Algorithms of Computational GeometryJens Brandt, Klaus Schneider. icfem 2005: 405-420 [doi]

Maximal Causality AnalysisKlaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk. acsd 2005: 106-115 [doi]

2004

Causality analysis of synchronous programs with delayed actionsKlaus Schneider, Jens Brandt, Tobias Schüle. cases 2004: 179-189 [doi]