Travelled to:1 × Austria
1 × New Zealand
1 × Norway
3 × Germany
3 × USA
4 × France
Collaborated with:A.Knoll C.Cheng G.Kainz J.Huang A.Raabe K.Huang G.Chen H.Rueß K.Becker B.Schätz M.Armbruster B.Jobstmann M.Luttenberger S.Sommer M.Geisinger J.O.Blech A.Scholz A.Kemper J.Heuer M.Winter S.Chakraborty M.Lukasiewycz S.A.Fahmy N.Chang S.Park Y.Kim P.Leteinturier H.Adlkofer
Talks about:system (8) model (5) base (5) fault (4) embed (4) transform (3) synthesi (3) toler (3) multiprocessor (2) metamodel (2)
Person: Christian Buckl
DBLP: Buckl:Christian
Contributed to:
2014
2013
2012
20122012
2012
201120112011
2011
2011
20112010
2008Wrote 16 papers:
- SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method
- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
- DATE-2013-ChenHBK #energy #multi #optimisation #pipes and filters #worst-case
- Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems (GC, KH, CB, AK), pp. 45–50.
- CAV-2012-ChengGRBK #automation #industrial #named #synthesis
- MGSyn: Automatic Synthesis for Industrial Automation (CHC, MG, HR, CB, AK), pp. 658–664.
- DAC-2012-HuangCBK #consistency #embedded #realtime #runtime
- Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
- DAC-2012-HuangHRBK #detection #embedded #fault tolerance #towards
- Towards fault-tolerant embedded systems with imperfect fault detection (JH, KH, AR, CB, AK), pp. 188–196.
- DATE-2012-ChakrabortyLBFCPKLA #challenge #embedded
- Embedded systems and software challenges in electric vehicles (SC, ML, CB, SAF, NC, SP, YK, PL, HA), pp. 424–429.
- DATE-2012-HuangBRBK #scheduling #smt
- Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving (JH, JOB, AR, CB, AK), pp. 509–514.
- MoDELS-2012-KainzBK #approach #model transformation
- A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
- CIAA-2011-ChengJBK #on the #synthesis
- On the Hardness of Priority Synthesis (CHC, BJ, CB, AK), pp. 110–117.
- DATE-2011-HuangRBK #adaptation #runtime #workflow
- A workflow for runtime adaptive task allocation on heterogeneous MPSoCs (JH, AR, CB, AK), pp. 1119–1134.
- MoDELS-2011-KainzBK #automation #concept #metamodelling #model transformation
- Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
- PDP-2011-HuangBRK #energy #multi
- Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems (JH, CB, AR, AK), pp. 447–454.
- TACAS-2011-ChengKLB #algorithm #framework #game studies #platform #research
- GAVS+: An Open Platform for the Research of Algorithmic Game Solving (CHC, AK, ML, CB), pp. 258–261.
- VMCAI-2011-ChengRKB #embedded #fault tolerance #game studies #synthesis #theory and practice #using
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (CHC, HR, AK, CB), pp. 118–133.
- MoDELS-v2-2010-KainzBSK #component #development #metamodelling #model transformation
- Model-to-Metamodel Transformation for the Development of Component-Based Systems (GK, CB, SS, AK), pp. 391–405.
- ICSE-2008-ScholzBKKHW #architecture #multi #named #web #web service
- WS-AMUSE — web service architecture for multimedia services (AS, CB, AK, AK, JH, MW), pp. 703–712.