BibSLEIGH — Christian

Travelled to:

1 × Portugal
4 × USA
5 × France
7 × Germany

Collaborated with:

J.Teich M.Lukasiewycz M.Glaß J.Falk C.Zebelein A.Biewer J.Gladigau T.Streichert J.Keinert F.Reimann R.Dorsch M.Streubühr L.Middendorf C.Bobda T.Schlichter M.Meredith R.Feldmann B.Monien K.Richter R.Ernst B.Andres T.Schaub T.Schwarzer H.Dutta F.Hannig Y.Xu B.Li R.Hasholzner B.Rohfleisch R.Regler B.Lang T.Schlipf

Talks about:

system (13) synthesi (8) model (7) base (5) network (4) design (4) level (4) reliabl (3) analysi (3) symbol (3)

Person: Christian Haubelt

DBLP: Haubelt:Christian

Contributed to:

2015

2014

2012

2011

2010

2009

2008

2007

2006

2005

2003

2002

Wrote 21 papers:

DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis: A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
DATE-2014-BiewerGH #novel #smt: A novel model for system-level decision making with combined ASP and SMT solving (AB, JG, CH), pp. 1–4.
DATE-2014-ZebeleinHFST #communication #modelling #multi #protocol: Model-based actor multiplexing with application to complex communication protocols (CZ, CH, JF, TS, JT), pp. 1–4.
DAC-2012-MiddendorfBH #hardware #recursion #synthesis: Hardware synthesis of recursive functions through partial stream rewriting (LM, CB, CH), pp. 1207–1215.
DATE-2012-XuLHRHT #analysis #power management: Variation-aware leakage power model extraction for system-level hierarchical power analysis (YX, BL, RH, BR, CH, JT), pp. 346–351.
DAC-2011-ReimannLGHT #constraints #realtime #string #synthesis: Symbolic system synthesis in the presence of stringent real-time constraints (FR, ML, MG, CH, JT), pp. 393–398.
DATE-2011-FalkZHT #algorithm #clustering #data flow #embedded #performance #rule-based #synthesis: A rule-based static dataflow clustering algorithm for efficient embedded software synthesis (JF, CZ, CH, JT), pp. 521–526.
DAC-2010-GlassLHT #analysis #reliability #scalability #towards: Towards scalable system-level reliability analysis (MG, ML, CH, JT), pp. 234–239.
DATE-2010-ZebeleinFHTD #modelling #network #performance: Efficient High-Level modeling in the networking domain (CZ, JF, CH, JT, RD), pp. 1189–1194.
DATE-2009-GlassLHT #design #embedded: Incorporating graceful degradation into embedded system design (MG, ML, CH, JT), pp. 320–323.
DATE-2009-KeinertDHHT #algorithm #image #modelling #multi #optimisation #synthesis: Model-based synthesis and optimization of static multi-rate image processing algorithms (JK, HD, FH, CH, JT), pp. 135–140.
DATE-2009-LukasiewyczSGHT #architecture #communication #synthesis: Combined system synthesis and communication architecture exploration for MPSoCs (ML, MS, MG, CH, JT), pp. 472–477.
DAC-2008-HaubeltSKM #agile #automation #behaviour #design #modelling #named #prototype: SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models (CH, TS, JK, MM), pp. 580–585.
DAC-2008-LukasiewyczGHTRL #concurrent #integration #network #optimisation: Concurrent topology and routing optimization in automotive network integration (ML, MG, CH, JT, RR, BL), pp. 626–629.
DATE-2008-GlassLRHT #analysis #network #optimisation #reliability: Symbolic Reliability Analysis and Optimization of ECU Networks (MG, ML, FR, CH, JT), pp. 158–163.
DATE-2007-GlassLSHT #interactive #synthesis: Interactive presentation: Reliability-aware system synthesis (MG, ML, TS, CH, JT), pp. 409–414.
SAT-2007-LukasiewyczGHT #multi #problem #pseudo: Solving Multi-objective Pseudo-Boolean Problems (ML, MG, CH, JT), pp. 56–69.
DATE-2006-StreubuhrFHTDS #architecture #modelling #multi #performance #realtime: Task-accurate performance modeling in SystemC for real-time multi-processor architectures (MS, JF, CH, JT, RD, TS), pp. 480–481.
DATE-2005-StreichertHT #clustering #configuration management #distributed #embedded #network: Distributed HW/SW-Partitioning for Embedded Reconfigurable Networks (TS, CH, JT), pp. 894–895.
DATE-2003-HaubeltTFM #satisfiability #synthesis: SAT-Based Techniques in System Synthesis (CH, JT, RF, BM), pp. 11168–11169.
DATE-2002-HaubeltTRE #design #flexibility: System Design for Flexibility (CH, JT, KR, RE), pp. 854–861.