default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJens 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
Books and Theses
- 2013
[b2]Jens Brandt:
Synchronous Models for Embedded Software. Kaiserslautern University, Germany, 2013- 2007
- [b1]Jens Brandt:
A layered approach to polygon processing for safety-critical embedded systems. Kaiserslautern University of Technology, Germany, 2007, pp. 1-134
Journal Articles
- 2014
- [j5]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): 63-97 (2014) - [j4]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive polychronous systems. Sci. Comput. Program. 96: 377-394 (2014) - [j3]Jens Brandt, Klaus Schneider, Yu Bai:
Passive code in synchronous programs. ACM Trans. Embed. Comput. Syst. 13(2s): 67:1-67:25 (2014) - 2013
- [j2]Mike Gemünde, Jens Brandt, Klaus Schneider:
Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. 2013: 3 (2013) - [j1]Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin:
Embedding Polychrony into Synchrony. IEEE Trans. Software Eng. 39(7): 917-929 (2013)
Conference and Workshop Papers
- 2013
- [c38]Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla:
Constructive Polychronous Systems. LFCS 2013: 335-349 - 2012
- [c37]Yu Bai, Jens Brandt, Klaus Schneider:
Monitoring distributed reactive systems. HLDVT 2012: 84-91 - [c36]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Efficient Handling of Arrays in Dataflow Process Networks. HPCC-ICESS 2012: 1395-1402 - [c35]Yu Bai, Jens Brandt, Klaus Schneider:
Preservation of LTL properties in desynchronized systems. MEMOCODE 2012: 53-64 - [c34]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Out-Of-order execution of synchronous data-flow networks. ICSAMOS 2012: 168-175 - 2011
- [c33]Yu Bai, Jens Brandt, Klaus Schneider:
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, Klaus Schneider:
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, Klaus Schneider:
Translating Synchronous Systems to Data-Flow Process Networks. PDCAT 2011: 354-361 - [c27]Yu Bai, Jens Brandt, Klaus Schneider:
SMT-based optimization for synchronous programs. SCOPES 2011: 11-20 - 2010
- [c26]Mike Gemunde, Jens Brandt, Klaus Schneider:
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD 2010: 157-168 - [c25]Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla:
The Model Checking View to Clock Gating and Operand Isolation. ACSD 2010: 181-190 - [c24]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE 2010: 949-952 - [c23]Daniel Baudisch, Jens Brandt, Klaus Schneider:
Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC 2010: 169-180 - [c22]Jens Brandt, Klaus Schneider, Sandeep K. Shukla:
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, Barbara Jobstmann, Luca P. Carloni, Jens Brandt:
Message from the chairs. MEMOCODE 2010: 1-3 - [c18]Mike Gemunde, Jens Brandt, Klaus Schneider:
Compilation of imperative synchronous programs with refined clocks. MEMOCODE 2010: 209-218 - 2009
- [c17]Jens Brandt, Mike Gemunde, Klaus Schneider:
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, Klaus Schneider:
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, Jens Brandt:
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, Klaus Schneider:
Formal Reasoning About Causality Analysis. TPHOLs 2008: 118-133 - 2007
- [c10]Jens Brandt, Klaus Schneider:
How Different are Esterel and SystemC?. FDL 2007: 98-103 - 2006
- [c9]Jens Brandt, Klaus Schneider:
System Description Aspects as Syntactic Sugar. FDL 2006: 293-301 - [c8]Klaus Schneider, Jens Brandt, Eric Vecchié:
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, Klaus Schneider:
Efficient Map Overlay for Safety-Critical Embedded Systems. IES 2006: 1-10 - 2005
- [c5]Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk:
Maximal Causality Analysis. ACSD 2005: 106-115 - [c4]Jens Brandt, Klaus Schneider:
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. EUC 2005: 405-417 - [c3]Jens Brandt, Klaus Schneider:
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. ICFEM 2005: 405-420 - 2004
- [c2]Klaus Schneider, Jens Brandt, Tobias Schüle:
Causality analysis of synchronous programs with delayed actions. CASES 2004: 179-189 - [c1]Klaus Schneider, Jens Brandt, Tobias Schüle:
A Verified Compiler for Synchronous Programs with Local Declarations. SLAP@ETAPS 2004: 71-97
Parts in Books or Collections
- 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
Editorship
- 2012
- [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
- [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] - 2007
- [e1]Klaus Schneider, Jens Brandt:
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]
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 22:12 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:
