Jens Brandt

	2011
34		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
33		Yu Bai, Jens Brandt, Klaus Schneider: Data-Flow Analysis of Extended Finite State Machines. ACSD 2011: 163-172
32		Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin: Integrating system descriptions by clocked guarded actions. FDL 2011: 1-8
31		Mike Gemunde, Jens Brandt, Klaus Schneider: Schizophrenia and causality in the context of refined clocks. FDL 2011: 1-8
30		Daniel Baudisch, Jens Brandt, Klaus Schneider: Translating Synchronous Systems to Data-Flow Process Networks. PDCAT 2011: 354-361
29		Yu Bai, Jens Brandt, Klaus Schneider: SMT-based optimization for synchronous programs. SCOPES 2011: 11-20
	2010
28		Mike Gemunde, Jens Brandt, Klaus Schneider: A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. ACSD 2010: 157-168
27		Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla: The Model Checking View to Clock Gating and Operand Isolation. ACSD 2010: 181-190
26		Daniel Baudisch, Jens Brandt, Klaus Schneider: Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. DATE 2010: 949-952
25		Daniel Baudisch, Jens Brandt, Klaus Schneider: Dependency-Driven Distribution of Synchronous Programs. DIPES/BICC 2010: 169-180
24		Jens Brandt, Klaus Schneider, Sandeep K. Shukla: Translating concurrent action oriented specifications to synchronous guarded actions. LCTES 2010: 47-56
23		Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt: Message from the chairs. MEMOCODE 2010: 1-3
22		Mike Gemunde, Jens Brandt, Klaus Schneider: Compilation of imperative synchronous programs with refined clocks. MEMOCODE 2010: 209-218
21		Jens Brandt: Multidimensional transcoding for adaptive video streaming. University of Braunschweig - Institute of Technology 2010: 1-150
	2009
20		Jens Brandt, Mike Gemunde, Klaus Schneider: Desynchronizing Synchronous Programs by Modes. ACSD 2009: 32-41
19		Jens Brandt, Klaus Schneider: Static data-flow analysis of synchronous programs. MEMOCODE 2009: 161-170
18		Jens Brandt, Klaus Schneider: Separate compilation for synchronous programs. SCOPES 2009: 1-10
	2008
17		Klaus Schneider, Jens Brandt: Performing causality analysis by bounded model checking. ACSD 2008: 78-87
16		Jens Brandt, Lars C. Wolf: Adaptive video streaming for mobile clients. NOSSDAV 2008: 113-114
15		Jens Brandt, Klaus Schneider: Formal Reasoning About Causality Analysis. TPHOLs 2008: 118-133
	2007
14		Klaus Schneider, Jens Brandt: Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings Springer 2007
13		Jens Brandt, Klaus Schneider: How Different are Esterel and SystemC?. FDL 2007: 98-103
12		Jens Brandt: A layered approach to polygon processing for safety-critical embedded systems. University of Kaiserslautern 2007: 1-134
	2006
11		Klaus Schneider, Jens Brandt, Eric Vecchié: Modular Compilation of Synchronous Programs. DIPES 2006: 75-84
10		Jens Brandt, Klaus Schneider: System Description Aspects as Syntactic Sugar. FDL 2006: 293-301
9		Klaus Schneider, Jens Brandt, Eric Vecchié: Efficient code generation from synchronous programs. MEMOCODE 2006: 165-174
8		Verena Kahmann, Jens Brandt, Lars C. Wolf: Collaborative streaming in heterogeneous and dynamic scenarios. Commun. ACM 49(11): 58-63 (2006)
7		Klaus Schneider, Jens Brandt, Tobias Schüle: A Verified Compiler for Synchronous Programs with Local Declarations. Electr. Notes Theor. Comput. Sci. 153(4): 71-97 (2006)
	2005
6		Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk: Maximal Causality Analysis. ACSD 2005: 106-115
5		Jens Brandt, Klaus Schneider: Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. EUC 2005: 405-417
4		Jens Brandt, Klaus Schneider: Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. ICFEM 2005: 405-420
3		Matthias Dick, Jens Brandt, Verena Kahmann, Lars C. Wolf: Adaptive transcoding proxy architecture for video streaming in mobile networks. ICIP (3) 2005: 700-703
2		Jens Brandt, Verena Kahmann, Lars C. Wolf: A Flexible Reflector for Media Streams. KiVS Kurzbeiträge und Workshop 2005: 41-48
	2004
1		Klaus Schneider, Jens Brandt, Tobias Schüle: Causality analysis of synchronous programs with delayed actions. CASES 2004: 179-189

Coauthor Index

1	Sumit Ahuja	[27]
2	Yu Bai	[29] [33]
3	Daniel Baudisch	[25] [26] [30]
4	Luca P. Carloni	[23]
5	Matthias Dick	[3]
6	Mike Gemunde	[20] [22] [28] [31] [32]
7	Barbara Jobstmann	[23] [34]
8	Verena Kahmann	[2] [3] [8]
9	Michael Kishinevsky	[34]
10	Klaus Schneider	[1] [4] [5] [6] [7] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33]
11	Tobias Schüle	[1] [6] [7]
12	Sandeep K. Shukla (Sandeep Kumar Shukla)	[24] [27] [32]
13	Satnam Singh	[34]
14	Jean-Pierre Talpin	[32]
15	Thomas Tuerk	[6]
16	Eric Vecchié	[9] [11]
17	Lars C. Wolf	[2] [3] [8] [16]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page