Jens Brandt

51 papers A 1B 1C 16Misc 2Journal 6Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Introduction to the Special Issue on Formal Methods and Models for System Design.
ACM Trans. Embed. Comput. Syst.
Jens Brandt, Indranil Saha, Lijun Zhang
2017 — ch.
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems.
Handbook of Hardware/Software Codesign
Klaus Schneider, Jens Brandt
2014 J jnl
Constructive polychronous systems.
Sci. Comput. Program.
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2014 J jnl
Passive code in synchronous programs.
ACM Trans. Embed. Comput. Syst.
Jens Brandt, Klaus Schneider, Yu Bai
2014 J jnl
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Des. Autom. Embed. Syst.
Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2013 J jnl
Clock refinement in imperative synchronous languages.
EURASIP J. Embed. Syst.
Mike Gemünde, Jens Brandt, Klaus Schneider
2013 Misc conf
Constructive Polychronous Systems.
LFCS
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
2013 J jnl
Embedding Polychrony into Synchrony.
IEEE Trans. Software Eng.
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2013 — book
Synchronous Models for Embedded Software
Jens Brandt
2012 — ed.
12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012
ACSD
Jens Brandt, Keijo Heljanko
2012 — conf
Efficient Handling of Arrays in Dataflow Process Networks.
HPCC-ICESS
Daniel Baudisch, Jens Brandt, Klaus Schneider
2012 — ed.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012
MBMV
Jens Brandt, Klaus Schneider
2012 — conf
Monitoring distributed reactive systems.
HLDVT
Yu Bai, Jens Brandt, Klaus Schneider
2012 — conf
Out-Of-order execution of synchronous data-flow networks.
ICSAMOS
Daniel Baudisch, Jens Brandt, Klaus Schneider
2012 C conf
Preservation of LTL properties in desynchronized systems.
MEMOCODE
Yu Bai, Jens Brandt, Klaus Schneider
2011 C ed.
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011
MEMOCODE
Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt
2011 — conf
Causality analysis of synchronous programs with refined clocks.
HLDVT
Mike Gemünde, Jens Brandt, Klaus Schneider
2011 — conf
Data-Flow Analysis of Extended Finite State Machines.
ACSD
Yu Bai, Jens Brandt, Klaus Schneider
2011 C conf
Integrating system descriptions by clocked guarded actions.
FDL
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
2011 — conf
Round Trip to Asynchrony and Synchrony.
MBMV
Jens Brandt, Klaus Schneider
2011 C conf
SMT-based optimization for synchronous programs.
SCOPES
Yu Bai, Jens Brandt, Klaus Schneider
2011 C conf
Schizophrenia and causality in the context of refined clocks.
FDL
Mike Gemunde, Jens Brandt, Klaus Schneider
2011 C conf
Translating Synchronous Systems to Data-Flow Process Networks.
PDCAT
Daniel Baudisch, Jens Brandt, Klaus Schneider
2010 — conf
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages.
ACSD
Mike Gemunde, Jens Brandt, Klaus Schneider
2010 C conf
Compilation of imperative synchronous programs with refined clocks.
MEMOCODE
Mike Gemunde, Jens Brandt, Klaus Schneider
2010 — conf
Dependency-Driven Distribution of Synchronous Programs.
DIPES/BICC
Daniel Baudisch, Jens Brandt, Klaus Schneider
2010 — conf
From Synchronous Guarded Actions to SystemC.
MBMV
Jens Brandt, Mike Gemünde, Klaus Schneider
2010 C conf
Message from the chairs.
MEMOCODE
Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt
2010 — conf
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP.
MBMV
Daniel Baudisch, Jens Brandt, Klaus Schneider
2010 A conf
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP.
DATE
Daniel Baudisch, Jens Brandt, Klaus Schneider
2010 — conf
The Model Checking View to Clock Gating and Operand Isolation.
ACSD
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla
2010 B conf
Translating concurrent action oriented specifications to synchronous guarded actions.
LCTES
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
2009 — conf
Desynchronizing Synchronous Programs by Modes.
ACSD
Jens Brandt, Mike Gemunde, Klaus Schneider
2009 C conf
Separate compilation for synchronous programs.
SCOPES
Jens Brandt, Klaus Schneider
2009 C conf
Static data-flow analysis of synchronous programs.
MEMOCODE
Jens Brandt, Klaus Schneider
2009 — conf
Using IP Cores in Synchronous Languages.
MBMV
Jens Brandt, Klaus Schneider, Adrian Willenbücher
2008 — conf
Formal Reasoning About Causality Analysis.
TPHOLs
Jens Brandt, Klaus Schneider
2008 — conf
Hardware Acceleration for Model Checking.
MBMV
Jens Brandt, Klaus Schneider, Adrian Willenbücher
2008 — conf
Performing causality analysis by bounded model checking.
ACSD
Klaus Schneider, Jens Brandt
2007 — —
A layered approach to polygon processing for safety-critical embedded systems.
Jens Brandt
2007 C conf
How Different are Esterel and SystemC?.
FDL
Jens Brandt, Klaus Schneider
2007 — ed.
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
TPHOLs
Klaus Schneider, Jens Brandt
2006 C conf
Efficient Map Overlay for Safety-Critical Embedded Systems.
IES
Jens Brandt, Klaus Schneider
2006 C conf
Efficient code generation from synchronous programs.
MEMOCODE
Klaus Schneider, Jens Brandt, Eric Vecchié
2006 — conf
Modular Compilation of Synchronous Programs.
DIPES
Klaus Schneider, Jens Brandt, Eric Vecchié
2006 C conf
System Description Aspects as Syntactic Sugar.
FDL
Jens Brandt, Klaus Schneider
2005 C conf
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.
EUC
Jens Brandt, Klaus Schneider
2005 — conf
Maximal Causality Analysis.
ACSD
Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk
2005 C conf
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.
ICFEM
Jens Brandt, Klaus Schneider
2004 — conf
A Verified Compiler for Synchronous Programs with Local Declarations.
SLAP
Klaus Schneider, Jens Brandt, Tobias Schüle
2004 Misc conf
Causality analysis of synchronous programs with delayed actions.
CASES
Klaus Schneider, Jens Brandt, Tobias Schüle