Jens Brandt

According to our database, Jens Brandt authored at least 45 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems.

Klaus Schneider, Jens Brandt

Proceedings of the Handbook of Hardware/Software Codesign., 2017

2014

Passive code in synchronous programs.

Jens Brandt, Klaus Schneider, Yu Bai

ACM Trans. Embed. Comput. Syst., 2014

Constructive polychronous systems.

Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla

Sci. Comput. Program., 2014

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.

Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

Des. Autom. Embed. Syst., 2014

2013

Synchronous Models for Embedded Software

Jens Brandt

, 2013

Embedding Polychrony into Synchrony.

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

IEEE Trans. Software Eng., 2013

Clock refinement in imperative synchronous languages.

Mike Gemünde, Jens Brandt, Klaus Schneider

EURASIP J. Embed. Syst., 2013

2012

Out-Of-order execution of synchronous data-flow networks.

Daniel Baudisch, Jens Brandt, Klaus Schneider

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Preservation of LTL properties in desynchronized systems.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

Efficient Handling of Arrays in Dataflow Process Networks.

Daniel Baudisch, Jens Brandt, Klaus Schneider

Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Monitoring distributed reactive systems.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

2011

SMT-based optimization for synchronous programs.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, 2011

Translating Synchronous Systems to Data-Flow Process Networks.

Daniel Baudisch, Jens Brandt, Klaus Schneider

Proceedings of the 12th International Conference on Parallel and Distributed Computing, 2011

Round Trip to Asynchrony and Synchrony.

Jens Brandt, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Causality analysis of synchronous programs with refined clocks.

Mike Gemünde, Jens Brandt, Klaus Schneider

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Schizophrenia and causality in the context of refined clocks.

Mike Gemunde, Jens Brandt, Klaus Schneider

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Integrating system descriptions by clocked guarded actions.

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Data-Flow Analysis of Extended Finite State Machines.

Yu Bai, Jens Brandt, Klaus Schneider

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Message from the chairs.

Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Compilation of imperative synchronous programs with refined clocks.

Mike Gemunde, Jens Brandt, Klaus Schneider

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

From Synchronous Guarded Actions to SystemC.

Jens Brandt, Mike Gemünde, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP.

Daniel Baudisch, Jens Brandt, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Translating concurrent action oriented specifications to synchronous guarded actions.

Jens Brandt, Klaus Schneider, Sandeep K. Shukla

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Dependency-Driven Distribution of Synchronous Programs.

Daniel Baudisch, Jens Brandt, Klaus Schneider

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Multithreaded code from synchronous programs: Extracting independent threads for OpenMP.

Daniel Baudisch, Jens Brandt, Klaus Schneider

Proceedings of the Design, Automation and Test in Europe, 2010

A Formal Semantics of Clock Refinement in Imperative Synchronous Languages.

Mike Gemunde, Jens Brandt, Klaus Schneider

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

The Model Checking View to Clock Gating and Operand Isolation.

Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Separate compilation for synchronous programs.

Jens Brandt, Klaus Schneider

Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

Static data-flow analysis of synchronous programs.

Jens Brandt, Klaus Schneider

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Using IP Cores in Synchronous Languages.

Jens Brandt, Klaus Schneider, Adrian Willenbücher

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Desynchronizing Synchronous Programs by Modes.

Jens Brandt, Mike Gemunde, Klaus Schneider

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Formal Reasoning About Causality Analysis.

Jens Brandt, Klaus Schneider

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Hardware Acceleration for Model Checking.

Jens Brandt, Klaus Schneider, Adrian Willenbücher

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Performing causality analysis by bounded model checking.

Klaus Schneider, Jens Brandt

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

A layered approach to polygon processing for safety-critical embedded systems.

Jens Brandt

PhD thesis, 2007

How Different are Esterel and SystemC?.

Jens Brandt, Klaus Schneider

Proceedings of the Forum on specification and Design Languages, 2007

2006

Efficient Map Overlay for Safety-Critical Embedded Systems.

Jens Brandt, Klaus Schneider

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Efficient code generation from synchronous programs.

Klaus Schneider, Jens Brandt, Eric Vecchié

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Modular Compilation of Synchronous Programs.

Klaus Schneider, Jens Brandt, Eric Vecchié

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

System Description Aspects as Syntactic Sugar.

Jens Brandt, Klaus Schneider

Proceedings of the Forum on specification and Design Languages, 2006

2005

Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.

Jens Brandt, Klaus Schneider

Proceedings of the Formal Methods and Software Engineering, 2005

Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems.

Jens Brandt, Klaus Schneider

Proceedings of the Embedded and Ubiquitous Computing, 2005

Maximal Causality Analysis.

Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

A Verified Compiler for Synchronous Programs with Local Declarations.

Klaus Schneider, Jens Brandt, Tobias Schüle

Proceedings of the Third International Workshop on Synchronous Languages, 2004

Causality analysis of synchronous programs with delayed actions.

Klaus Schneider, Jens Brandt, Tobias Schüle

Proceedings of the 2004 International Conference on Compilers, 2004