Jens Brandt

ORCID

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Venues

ACM Trans. Embed. Comput. Syst.

LFCS

Sci. Comput. Program.

EURASIP J. Embed. Syst.

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Jens Brandt, Klaus Schneider, Yu Bai
Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. 13 (2s) (2014)
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
Constructive polychronous systems. Sci. Comput. Program. 96 (2014)
Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39 (7) (2013)
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
Constructive Polychronous Systems. LFCS (2013)
Mike Gemünde, Jens Brandt, Klaus Schneider
Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. 2013 (2013)
Yu Bai, Jens Brandt, Klaus Schneider
Monitoring distributed reactive systems. HLDVT (2012)
Daniel Baudisch, Jens Brandt, Klaus Schneider
Out-Of-order execution of synchronous data-flow networks. ICSAMOS (2012)
Yu Bai, Jens Brandt, Klaus Schneider
Preservation of LTL properties in desynchronized systems. MEMOCODE (2012)
Daniel Baudisch, Jens Brandt, Klaus Schneider
Efficient Handling of Arrays in Dataflow Process Networks. HPCC-ICESS (2012)
Mike Gemünde, Jens Brandt, Klaus Schneider
Causality analysis of synchronous programs with refined clocks. HLDVT (2011)
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Integrating system descriptions by clocked guarded actions. FDL (2011)
Yu Bai, Jens Brandt, Klaus Schneider
SMT-based optimization for synchronous programs. SCOPES (2011)
Daniel Baudisch, Jens Brandt, Klaus Schneider
Translating Synchronous Systems to Data-Flow Process Networks. PDCAT (2011)
Mike Gemunde, Jens Brandt, Klaus Schneider
Schizophrenia and causality in the context of refined clocks. FDL (2011)
Yu Bai, Jens Brandt, Klaus Schneider
Data-Flow Analysis of Extended Finite State Machines. ACSD (2011)
Jens Brandt, Klaus Schneider
Round Trip to Asynchrony and Synchrony. MBMV (2011)
Mike Gemunde, Jens Brandt, Klaus Schneider
Compilation of imperative synchronous programs with refined clocks. MEMOCODE (2010)
Jens Brandt, Mike Gemünde, Klaus Schneider
From Synchronous Guarded Actions to SystemC. MBMV (2010)
Daniel Baudisch, Jens Brandt, Klaus Schneider
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. MBMV (2010)
Mike Gemunde, Jens Brandt, Klaus Schneider
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD (2010)
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
Translating concurrent action oriented specifications to synchronous guarded actions. LCTES (2010)
Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt
Message from the chairs. MEMOCODE (2010)
Daniel Baudisch, Jens Brandt, Klaus Schneider
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE (2010)
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla
The Model Checking View to Clock Gating and Operand Isolation. ACSD (2010)
Daniel Baudisch, Jens Brandt, Klaus Schneider
Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC (2010)
Jens Brandt, Klaus Schneider
Static data-flow analysis of synchronous programs. MEMOCODE (2009)
Jens Brandt, Mike Gemunde, Klaus Schneider
Desynchronizing Synchronous Programs by Modes. ACSD (2009)
Jens Brandt, Klaus Schneider
Separate compilation for synchronous programs. SCOPES (2009)
Jens Brandt, Klaus Schneider, Adrian Willenbücher
Using IP Cores in Synchronous Languages. MBMV (2009)
Jens Brandt, Klaus Schneider
Formal Reasoning About Causality Analysis. TPHOLs (2008)
Jens Brandt, Klaus Schneider, Adrian Willenbücher
Hardware Acceleration for Model Checking. MBMV (2008)
Klaus Schneider, Jens Brandt
Performing causality analysis by bounded model checking. ACSD (2008)
Jens Brandt, Klaus Schneider
How Different are Esterel and SystemC?. FDL (2007)
Klaus Schneider, Jens Brandt, Tobias Schüle
A Verified Compiler for Synchronous Programs with Local Declarations. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Klaus Schneider, Jens Brandt, Eric Vecchié
Modular Compilation of Synchronous Programs. DIPES (2006)
Jens Brandt, Klaus Schneider
Efficient Map Overlay for Safety-Critical Embedded Systems. IES (2006)
Klaus Schneider, Jens Brandt, Eric Vecchié
Efficient code generation from synchronous programs. MEMOCODE (2006)
Jens Brandt, Klaus Schneider
System Description Aspects as Syntactic Sugar. FDL (2006)
Jens Brandt, Klaus Schneider
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. EUC (2005)
Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
Maximal Causality Analysis. ACSD (2005)
Jens Brandt, Klaus Schneider
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. ICFEM (2005)
Klaus Schneider, Jens Brandt, Tobias Schüle
Causality analysis of synchronous programs with delayed actions. CASES (2004)

Jens Brandt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Brandt