Christian Buckl - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 76 from 76

2019

The RACE Project: An Informatics-Driven Greenfield Approach to Future E/E Architectures for CarsAlois Knoll, Christian Buckl, Karl-Josef Kuhn, Gernot Spiegelberg. In Yanja Dajsuren, Mark van den Brand, editors, Automotive Systems and Software Engineering - State of the Art and Future Trends. pages 171-195, Springer, 2019. [doi]

2015

2014

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant SystemsKlaus Becker, Bernhard Schätz, Michael Armbruster, Christian Buckl. SEFM 2014: 205-219 [doi]

CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systemsChristian Buckl, Michael Geisinger, Dhiraj Gulati, Fran J. Ruiz-Bertol, Alois Knoll. sigbed, 11(3):36-39, 2014. [doi]

A framework for reliability-aware embedded system design on multiprocessor platformsJia Huang, Simon Barner, Andreas Raabe, Christian Buckl, Alois Knoll. mam, 38(6):539-551, 2014. [doi]

Tool Support for Integrated Development of Component-based Embedded SystemsGerd Kainz, Christian Buckl, Alois Knoll. se 2014: 61-62

Employing early model-based safety evaluation to iteratively derive E/E architecture designVladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll, Gernot Spiegelberg. SCP, 90:161-179, 2014. [doi]

Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density FilterFeihu Zhang, Christian Buckl, Alois Knoll. sensors, 14(1):995-1009, 2014. [doi]

2013

Future cars: necessity for an adaptive and distributed multiple independent levels of security architectureAlexander Georg Camek, Christian Buckl, Alois Knoll. hicons 2013: 17-24 [doi]

Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-Time SystemGang Chen, Kai Huang, Jia Huang, Christian Buckl, Alois Knoll. dsd 2013: 881-889 [doi]

Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systemsGang Chen, Kai Huang, Christian Buckl, Alois Knoll. date 2013: 45-50 [doi]

Unsupervised Learning Spatio-temporal Features for Human Activity Recognition from RGB-D Video DataGuang Chen, Feihu Zhang, Manuel Giuliani, Christian Buckl, Alois Knoll. socrob 2013: 341-350 [doi]

Synthesizing Controllers for Automation Tasks with Performance GuaranteesChih-Hong Cheng, Michael Geisinger, Christian Buckl. spin 2013: 154-159 [doi]

A Model-Driven Approach for Runtime Reliability AnalysisDominik Sojer, Frank Reichenbach, Stein Erik Ellevseth, Christian Buckl, Alois Knoll. ladc 2013: 21-30 [doi]

Reconfigurable industrial process monitoring using the CHROMOSOME middlewareStephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer, Alois Knoll. sigbed, 10(4):61-64, 2013. [doi]

Cumulative error estimation from noisy relative measurementsFeihu Zhang, Carsten Simon, Guang Chen, Christian Buckl, Alois Knoll. itsc 2013: 1422-1429 [doi]

Multiple vehicle cooperative localization under random finite set frameworkFeihu Zhang, Hauke Stahle, Guang Chen, Christian Buckl, Alois Knoll. iros 2013: 1405-1411 [doi]

A lane marking extraction approach based on Random Finite Set StatisticsFeihu Zhang, Hauke Stahle, Chao Chen, Christian Buckl, Alois Knoll. ivs 2013: 1143-1148 [doi]

2012

SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten ControllernKlaus Becker, Christian Buckl, Alexander Camek, Rainer Falk, Ludger Fiege, Jürgen Geßner, Stephan Sommer. automotiveSS 2012: 115-132

An Automotive Side-View System Based on Ethernet and IPAlexander Camek, Christian Buckl, Pedro Sebastiao Correia, Alois Knoll. aina 2012: 238-243 [doi]

Embedded systems and software challenges in electric vehiclesSamarjit Chakraborty, Martin Lukasiewycz, Christian Buckl, Suhaib A. Fahmy, Naehyuck Chang, Sangyoung Park, Younghyun Kim, Patrick Leteinturier, Hans Adlkofer. date 2012: 424-429 [doi]

Game solving for industrial automation and controlChih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll. icra 2012: 4367-4372 [doi]

MGSyn: Automatic Synthesis for Industrial AutomationChih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll. cav 2012: 658-664 [doi]

Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded SystemsKai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl. iccps 2012: 224 [doi]

Static scheduling of a Time-Triggered Network-on-Chip based on SMT solvingJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois Knoll. date 2012: 509-514 [doi]

Conforming the runtime inputs for hard real-time embedded systemsKai Huang, Gang Chen, Christian Buckl, Alois Knoll. dac 2012: 430-436 [doi]

Towards fault-tolerant embedded systems with imperfect fault detectionJia Huang, Kai Huang, Andreas Raabe, Christian Buckl, Alois Knoll. dac 2012: 188-196 [doi]

A framework for reliability-aware design exploration on MPSoC based systemsJia Huang, Andreas Raabe, Kai Huang, Christian Buckl, Alois Knoll. dafes, 16(4):189-220, 2012. [doi]

A Generic Approach Simplifying Model-to-Model Transformation ChainsGerd Kainz, Christian Buckl, Alois Knoll. MoDELS 2012: 579-594 [doi]

Early safety evaluation of design decisions in E/E architecture according to ISO 26262Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll, Gernot Spiegelberg. isarcs 2012: 1-10 [doi]

Deriving fault-detection mechanisms from safety requirementsDominik Sojer, Christian Buckl, Alois Knoll. ife, 27(2), 2012. [doi]

A sensor fusion approach for localization with cumulative error eliminationFeihu Zhang, Hauke Stahle, Guang Chen, Chao Chen, Carsten Simon, Christian Buckl, Alois Knoll. mfi 2012: 1-6 [doi]

Single camera visual odometry based on Random Finite Set StatisticsFeihu Zhang, Hauke Stahle, Andre Gaschler, Christian Buckl, Alois Knoll. iros 2012: 559-566 [doi]

Visual odometry based on Random Finite Set Statistics in urban environmentFeihu Zhang, Guang Chen, Hauke Stahle, Christian Buckl, Alois Knoll. ivs 2012: 69-74 [doi]

2011

Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit DienstmodellenSimon Barner, Andreas Raabe, Christian Buckl, Alois Knoll. mbees 2011: 31-40

GAVS+: An Open Platform for the Research of Algorithmic Game SolvingChih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl. TACAS 2011: 258-261 [doi]

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to PracticeChih-Hong Cheng, Harald Rueß, Alois Knoll, Christian Buckl. vmcai 2011: 118-133 [doi]

Algorithms for Synthesizing Priorities in Component-Based SystemsChih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll. ATVA 2011: 150-167 [doi]

On the Hardness of Priority SynthesisChih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois Knoll. wia 2011: 110-117 [doi]

Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor SystemsJia Huang, Christian Buckl, Andreas Raabe, Alois Knoll. pdp 2011: 447-454 [doi]

Reliability-Aware Design Optimization for Multiprocessor Embedded SystemsJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois Knoll. dsd 2011: 239-246 [doi]

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systemsJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois Knoll. codes 2011: 247-256 [doi]

A workflow for runtime adaptive task allocation on heterogeneous MPSoCsJia Huang, Andreas Raabe, Christian Buckl, Alois Knoll. date 2011: 1119-1134 [doi]

Automated Model-to-Metamodel Transformations Based on the Concepts of Deep InstantiationGerd Kainz, Christian Buckl, Alois Knoll. MoDELS 2011: 17-31 [doi]

Synthesis of diagnostic techniques based on an IEC 61508-aware metamodelDominik Sojer, Dominik Knoll, Christian Buckl. sies 2011: 59-62 [doi]

Model Checking Industrial Robot SystemsMarkus Weißmann, Stefan Bedenk, Christian Buckl, Alois Knoll. spin 2011: 161-176 [doi]

2010

Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten SystemenChristian Buckl, Gerd Kainz, Stephan Sommer, Alois Knoll. mbees 2010: 23-32 [doi]

FTOS: Model-driven development of fault-tolerant automation systemsChristian Buckl, Dominik Sojer, Alois Knoll. etfa 2010: 1-8 [doi]

Model-based specification of timing requirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee. emsoft 2010: 239-248 [doi]

GAVS: Game Arena Visualization and SynthesisChih-Hong Cheng, Christian Buckl, Michael Luttenberger, Alois Knoll. ATVA 2010: 347-352 [doi]

Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous MPSoC platformJia Huang, Andreas Raabe, Christian Buckl, Alois Knoll. dasip 2010: 34-41 [doi]

Model-to-Metamodel Transformation for the Development of Component-Based SystemsGerd Kainz, Christian Buckl, Stephan Sommer, Alois Knoll. MoDELS 2010: 391-405 [doi]

Towards an adaptive execution of applications in heterogeneous embedded networksAndreas Scholz, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Gerd Kainz, Jörg Heuer, Anton Schmitt. ICSE 2010: 26-31 [doi]

MultiNet: An intelligent sensor cableStephan Sommer, Alois Knoll, Christian Buckl, Gerd Bauer, Jens Schulz. lcn 2010: 946-952 [doi]

Service Migration Scenarios for Embedded NetworksStephan Sommer, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Christian Buckl, Gerd Kainz, Jörg Heuer, Anton Schmitt. aina 2010: 502-507 [doi]

2009

∈SOA - Service Oriented Architectures adapted for embedded networksAndreas Scholz 0001, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois C. Knoll, Christian Buckl, Jörg Heuer, Anton Schmitt. indin 2009: 599-605 [doi]

Services to the Field: An Approach for Resource Constrained Sensor/Actor NetworksChristian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, JÃ¶rg Heuer, Anton Schmitt. aina 2009: 476-481 [doi]

Toward the Design of Robotic Software with Verifiable SafetyChih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois Knoll. compsac 2009: 622-623 [doi]

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with FinitenessChih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll. dsrt 2009: 208-215 [doi]

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verificationChih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza, Yang Chen. cira 2009: 72-77 [doi]

Efficient Communication in Control-oriented Embedded NetworksAndreas Scholz, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Jörg Heuer, Anton Schmitt. etfa 2009: 1-8 [doi]

eSOA - SOA fÃ¼r eingebettete NetzeAndreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, JÃ¶rg Heuer, Anton Schmitt. eceasst, 17, 2009. [doi]

Developing Service Oriented Sensor/Actuator Networks Using a Tailored MiddlewareStephan Sommer, Christian Buckl, Alois Knoll. itng 2009: 1036-1041 [doi]

2008

2007

2006

Model-Based Development of Fault-Tolerant Embedded SoftwareChristian Buckl, Alois Knoll, Gerhard Schrott. ISoLA 2006: 103-110 [doi]

Template-Based Development of Fault-Tolerant Embedded SoftwareChristian Buckl, Alois Knoll, Gerhard Schrott. icsea 2006: 65 [doi]

2005

The Zerberus Language: Describing the Functional Model of Dependable Real-Time SystemsChristian Buckl, Alois Knoll, Gerhard Schrott. ladc 2005: 101-120 [doi]

Development of Dependable Real-Time Systems with ZerberusChristian Buckl, Alois Knoll, Gerhard Schrott. prdc 2005: 404-408 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Christian Buckl'

Viewing Publication 1 - 76 from 76

2019

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Christian Buckl'

Viewing Publication 1 - 76 from 76

2019

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1