default search action
Jens Brandt 0001
Person information
- affiliation: Hochschule Niederrhein, Krefeld, Germany
- affiliation (former): Kaiserslautern University of Technology, Germany
Other persons with the same name
- Jens Brandt — disambiguation page
- Jens Brandt 0002 — University of Braunschweig - Institute of Technology, Germany
- Jens Brandt 0003 — RWTH Aachen University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [p1]Klaus Schneider
, Jens Brandt:
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems. Handbook of Hardware/Software Codesign 2017: 29-58 - 2014
- [j5]Jens Brandt
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18(1-2): 63-97 (2014) - [j4]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider
Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014) - [j3]Jens Brandt, Klaus Schneider
Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. 13(2s): 67:1-67:25 (2014) - 2013
- [b2]Jens Brandt:
Synchronous Models for Embedded Software. Kaiserslautern University, Germany, 2013 - [j2]Mike Gemünde, Jens Brandt
Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. 2013: 3 (2013) - [j1]Jens Brandt
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013) - [c38]Jean-Pierre Talpin, Jens Brandt
Constructive Polychronous Systems. LFCS 2013: 335-349 - 2012
- [c37]Yu Bai, Jens Brandt
Monitoring distributed reactive systems. HLDVT 2012: 84-91 - [c36]Daniel Baudisch, Jens Brandt
Efficient Handling of Arrays in Dataflow Process Networks. HPCC-ICESS 2012: 1395-1402 - [c35]Yu Bai, Jens Brandt
Preservation of LTL properties in desynchronized systems. MEMOCODE 2012: 53-64 - [c34]Daniel Baudisch, Jens Brandt
Out-Of-order execution of synchronous data-flow networks. ICSAMOS 2012: 168-175 - [e4]Jens Brandt, Keijo Heljanko:
12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. IEEE Computer Society 2012, ISBN 978-0-7695-4709-1 [contents] - [e3]Jens Brandt, Klaus Schneider:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 [contents] - 2011
- [c33]Yu Bai, Jens Brandt
Data-Flow Analysis of Extended Finite State Machines. ACSD 2011: 163-172 - [c32]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8 - [c31]Mike Gemunde, Jens Brandt, Klaus Schneider:
Schizophrenia and causality in the context of refined clocks. FDL 2011: 1-8 - [c30]Mike Gemünde, Jens Brandt
Causality analysis of synchronous programs with refined clocks. HLDVT 2011: 25-32 - [c29]Jens Brandt, Klaus Schneider:
Round Trip to Asynchrony and Synchrony. MBMV 2011: 239-248 - [c28]Daniel Baudisch, Jens Brandt
Translating Synchronous Systems to Data-Flow Process Networks. PDCAT 2011: 354-361 - [c27]Yu Bai, Jens Brandt
SMT-based optimization for synchronous programs. SCOPES 2011: 11-20 - [e2]Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt:
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. IEEE 2011, ISBN 978-1-4577-0117-7 [contents] - 2010
- [c26]Mike Gemunde, Jens Brandt
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD 2010: 157-168 - [c25]Jens Brandt
The Model Checking View to Clock Gating and Operand Isolation. ACSD 2010: 181-190 - [c24]Daniel Baudisch, Jens Brandt
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE 2010: 949-952 - [c23]Daniel Baudisch, Jens Brandt
Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC 2010: 169-180 - [c22]Jens Brandt
Translating concurrent action oriented specifications to synchronous guarded actions. LCTES 2010: 47-56 - [c21]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. MBMV 2010: 11-20 - [c20]Jens Brandt, Mike Gemünde, Klaus Schneider:
From Synchronous Guarded Actions to SystemC. MBMV 2010: 187-196 - [c19]Klaus Schneider
Message from the chairs. MEMOCODE 2010: 1-3 - [c18]Mike Gemunde, Jens Brandt
Compilation of imperative synchronous programs with refined clocks. MEMOCODE 2010: 209-218
2000 – 2009
- 2009
- [c17]Jens Brandt
Desynchronizing Synchronous Programs by Modes. ACSD 2009: 32-41 - [c16]Jens Brandt, Klaus Schneider, Adrian Willenbücher:
Using IP Cores in Synchronous Languages. MBMV 2009: 97-106 - [c15]Jens Brandt
Static data-flow analysis of synchronous programs. MEMOCODE 2009: 161-170 - [c14]Jens Brandt, Klaus Schneider:
Separate compilation for synchronous programs. SCOPES 2009: 1-10 - 2008
- [c13]Klaus Schneider
Performing causality analysis by bounded model checking. ACSD 2008: 78-87 - [c12]Jens Brandt, Klaus Schneider, Adrian Willenbücher:
Hardware Acceleration for Model Checking. MBMV 2008: 179-187 - [c11]Jens Brandt
Formal Reasoning About Causality Analysis. TPHOLs 2008: 118-133 - 2007
- [b1]Jens Brandt:
A layered approach to polygon processing for safety-critical embedded systems. Kaiserslautern University of Technology, Germany, 2007, pp. 1-134 - [c10]Jens Brandt, Klaus Schneider:
How Different are Esterel and SystemC?. FDL 2007: 98-103 - [e1]Klaus Schneider
Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science 4732, Springer 2007, ISBN 978-3-540-74590-7 [contents] - 2006
- [c9]Jens Brandt, Klaus Schneider:
System Description Aspects as Syntactic Sugar. FDL 2006: 293-301 - [c8]Klaus Schneider
Modular Compilation of Synchronous Programs. DIPES 2006: 75-84 - [c7]Klaus Schneider, Jens Brandt, Eric Vecchié:
Efficient code generation from synchronous programs. MEMOCODE 2006: 165-174 - [c6]Jens Brandt
Efficient Map Overlay for Safety-Critical Embedded Systems. IES 2006: 1-10 - 2005
- [c5]Klaus Schneider
Maximal Causality Analysis. ACSD 2005: 106-115 - [c4]Jens Brandt
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. EUC 2005: 405-417 - [c3]Jens Brandt
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. ICFEM 2005: 405-420 - 2004
- [c2]Klaus Schneider
Causality analysis of synchronous programs with delayed actions. CASES 2004: 179-189 - [c1]Klaus Schneider
A Verified Compiler for Synchronous Programs with Local Declarations. SLAP@ETAPS 2004: 71-97
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: