Christian Buckl

发表

Propagation, Transformation and Refinement of Safety Requirements

Alois Knoll, Dominik Sojer, Christian Buckl, 2010 .

Synthesizing Controllers for Automation Tasks with Performance Guarantees

Chih-Hong Cheng, Christian Buckl, Michael Geisinger, 2013, SPIN.

Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft, Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens eCar-IKT-Systemarchitektur für Elektromobilität

Bernhard Schätz, Ludger Fiege, Christian Buckl, 2011 .

Automated model-to-metamodel transformations based on the concepts of deep instantiation

Alois Knoll, Christian Buckl, Gerd Kainz, 2011, MODELS'11.

Models for automatic generation of safety-critical real-time systems

Alois Knoll, Christian Buckl, Matthias Regensburger, 2007, The Second International Conference on Availability, Reliability and Security (ARES'07).

The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems

Alois Knoll, Christian Buckl, Gerhard Schrott, 2005, LADC.

Embedded systems and software challenges in electric vehicles

Martin Lukasiewycz, Naehyuck Chang, Sangyoung Park, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Towards fault-tolerant embedded systems with imperfect fault detection

Alois Knoll, Kai Huang, Christian Buckl, 2012, DAC Design Automation Conference 2012.

Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks

Alois Knoll, Alfons Kemper, Christian Buckl, 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.

Method and apparatus for placing units for executing an application in a distributed system

Christian Buckl, Jörg Heuer, Anton Schmitt, 2009 .

Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen

Alois Knoll, Christian Buckl, Gerd Kainz, 2010, MBEES.

An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures

Alois Knoll, Michael Armbruster, Christian Buckl, 2015, 2015 IEEE 18th International Conference on Intelligent Transportation Systems.

Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.

Alois Knoll, Dominik Sojer, Christian Buckl, 2010 .

Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time

Alois Knoll, Christian Buckl, Matthias Regensburger, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).

Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems

Christian Buckl, Michael Geisinger, 2011, EMSOFT 2011.

Model-Based Development of Fault-Tolerant Embedded Software

Alois Knoll, Christian Buckl, Gerhard Schrott, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

A lane marking extraction approach based on Random Finite Set Statistics

Hauke Stahle, Alois Knoll, Chao Chen, 2013, 2013 IEEE Intelligent Vehicles Symposium (IV).

Developing Service Oriented Sensor/Actuator Networks Using a Tailored Middleware

Alois Knoll, Christian Buckl, Stephan Sommer, 2009, 2009 Sixth International Conference on Information Technology: New Generations.

Template-Based Development of Fault-Tolerant Embedded Software

Alois Knoll, Christian Buckl, Gerhard Schrott, 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

Alois Knoll, Chih-Hong Cheng, Javier Esparza, 2009, 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications.

GAVS: Game Arena Visualization and Synthesis

Alois Knoll, Chih-Hong Cheng, Michael Luttenberger, 2010, ATVA.

Developing Dependable Real-Time Systems

Christian Buckl, C. Buckl, 2006 .

WS-AMUSE - web service architecture for multimedia services

Martin Winter, Alois Knoll, Alfons Kemper, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

Development of dependable real-time systems with Zerberus

Alois Knoll, Christian Buckl, Gerhard Schrott, 2005, 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05).

Employing early model-based safety evaluation to iteratively derive E/E architecture design

Gernot Spiegelberg, Alois Knoll, Michael Armbruster, 2014, Sci. Comput. Program..

MGSyn: Automatic Synthesis for Industrial Automation

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2012, CAV.

Efficient communication in control-oriented embedded networks

Alois Knoll, Alfons Kemper, Christian Buckl, 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

A Safety Aware Run-Time Environment for Adaptive Automotive Control Systems

Alois Knoll, Christian Buckl, Jelena Frtunikj, 2014 .

Deriving fault-detection mechanisms from safety requirements

Alois Knoll, Dominik Sojer, Christian Buckl, 2011, Computer Science - Research and Development.

Model-to-metamodel transformation for the development of component-based systems

Alois Knoll, Christian Buckl, Gerd Kainz, 2010, MODELS'10.

Game solving for industrial automation and control

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2012, 2012 IEEE International Conference on Robotics and Automation.

Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems

Gang Chen, Alois Knoll, Kai Huang, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Deployment Calculation and Analysis for a Fail-Operational Automotive Platform pdf

Bernhard Schätz, Michael Armbruster, Christian Buckl, 2014, ArXiv.

Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen

Alois Knoll, Christian Buckl, Simon Barner, 2011, MBEES.

Cumulative error estimation from noisy relative measurements

Alois Knoll, Feihu Zhang, Guang Chen, 2013, 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).

Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density Filter

Alois Knoll, Feihu Zhang, Christian Buckl, 2014, Sensors.

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems

Alois Knoll, Jan Olaf Blech, Christian Buckl, 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Reconfigurable industrial process monitoring using the CHROMOSOME middleware

Alois Knoll, Christian Buckl, Michael Geisinger, 2013, SIGBED.

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems pdf

Alois Knoll, Chih-Hong Cheng, Javier Esparza, 2009, ArXiv.

Model Based Development of Safety-Critical Systems Using Template Based Code Generation

Alois Knoll, Christian Buckl, G. Schrott, 2007 .

RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions

Ludger Fiege, Christian Buckl, Licong Zhang, 2015, EDCC 2015.

Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous MPSoC platform

Alois Knoll, Christian Buckl, Jia Huang, 2010, 2010 Conference on Design and Architectures for Signal and Image Processing (DASIP).

GAVS+: An Open Platform for the Research of Algorithmic Game Solving

Alois Knoll, Chih-Hong Cheng, Michael Luttenberger, 2011, TACAS.

Hardware-aware model-driven software development

Alois Knoll, Christian Buckl, Simon Barner, 2010 .

Early safety evaluation of design decisions in E/E architecture according to ISO 26262

Gernot Spiegelberg, Alois Knoll, Michael Armbruster, 2012, ISARCS '12.

Future cars: necessity for an adaptive and distributed multiple independent levels of security architecture

Alois Knoll, Christian Buckl, Alexander Camek, 2013, HiCoNS '13.

A generic approach simplifying model-to-model transformation chains

Alois Knoll, Christian Buckl, Gerd Kainz, 2012, MODELS'12.

Model Checking Industrial Robot Systems

Alois Knoll, Christian Buckl, Markus Weißmann, 2011, SPIN.

Model Based Development of Safety-Critical Systems Using Template Based Code Generation

Alois Knoll, Christian Buckl, Matthias Regensburger, 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).

A Model-Based Code Generator in the Context of Safety-Critical Systems

Alois Knoll, Christian Buckl, Matthias Regensburger, 2007 .

Tool-based Development of Light-weight Fault-tolerant Embedded Systems

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2010, RTAS 2010.

On the Hardness of Priority Synthesis

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2011, CIAA.

Optimizations for Game-based Software Synthesis

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2011 .

Service Migration Scenarios for Embedded Networks

Alois Knoll, Alfons Kemper, Christian Buckl, 2010, 2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops.

A framework for reliability-aware embedded system design on multiprocessor platforms

Alois Knoll, Christian Buckl, Jia Huang, 2014, Microprocess. Microsystems.

Model-based development of fault-tolerant real-time systems

Christian Buckl, C. Buckl, 2008 .

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2011, VMCAI.

SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern

Ludger Fiege, Rainer Falk, Christian Buckl, 2012, Automotive - Safety & Security.

Autonomes Fahren und die ISO 26262

Christian Buckl, Vladimir Rupanov, Stephan Sommer, 2014, EMSOFT 2014.

Reliability-Aware Design Optimization for Multiprocessor Embedded Systems

Alois Knoll, Jan Olaf Blech, Christian Buckl, 2011, 2011 14th Euromicro Conference on Digital System Design.

The RACE Project: An Informatics-Driven Greenfield Approach to Future E/E Architectures for Cars

Gernot Spiegelberg, Alois Knoll, Christian Buckl, 2019, Automotive Systems and Software Engineering.

Tool Support for Integrated Development of Component-based Embedded Systems

Alois Knoll, Christian Buckl, Gerd Kainz, 2014, Software Engineering.

Single camera visual odometry based on Random Finite Set Statistics

Hauke Stahle, Alois Knoll, Feihu Zhang, 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Towards the Internet of Things: Integration of Web Services and Field Level Devices

Alois Knoll, Alfons Kemper, Christian Buckl, 2009 .

MultiNet: An intelligent sensor cable

Alois Knoll, Christian Buckl, Stephan Sommer, 2010, IEEE Local Computer Network Conference.

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems

Bernhard Schätz, Michael Armbruster, Christian Buckl, 2014, SEFM.

Model-based specification of timing requirements

Edward A. Lee, Alois Knoll, Christian Buckl, 2010, EMSOFT '10.

Conforming the runtime inputs for hard real-time embedded systems

Gang Chen, Alois Knoll, Kai Huang, 2012, DAC Design Automation Conference 2012.

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification

Alois Knoll, Chih-Hong Cheng, Javier Esparza, 2009, 2009 IEEE International Symposium on Computational Intelligence in Robotics and Automation - (CIRA).

A Model-Driven Approach for Runtime Reliability Analysis

Alois Knoll, Dominik Sojer, Christian Buckl, 2013, 2013 Sixth Latin-American Symposium on Dependable Computing.

Toward the Design of Robotic Software with Verifiable Safety

Edward A. Lee, Alois Knoll, Chih-Hong Cheng, 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

A framework for reliability-aware design exploration on MPSoC based systems

Alois Knoll, Kai Huang, Christian Buckl, 2012, Design Automation for Embedded Systems.

CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systems

Alois Knoll, Christian Buckl, Michael Geisinger, 2014, SIGBED.

Algorithms for Synthesizing Priorities in Component-Based Systems

Alois Knoll, Chih-Hong Cheng, Yu-Fang Chen, 2011, ATVA.

Multiple vehicle cooperative localization under random finite set framework

Hauke Stahle, Alois Knoll, Feihu Zhang, 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Generating a Tailored Middleware for Wireless Sensor Network Applications

Alois Knoll, Alfons Kemper, Christian Buckl, 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-Time System

Gang Chen, Alois Knoll, Kai Huang, 2013, 2013 Euromicro Conference on Digital System Design.

FTOS: Model-driven development of fault-tolerant automation systems

Alois Knoll, Dominik Sojer, Christian Buckl, 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

Towards an adaptive execution of applications in heterogeneous embedded networks

Alois Knoll, Alfons Kemper, Christian Buckl, 2010, SESENA '10.

Model-Based Analysis and Development of Dependable Systems

Alois Knoll, Ina Schieferdecker, Christian Buckl, 2007, Model-Based Engineering of Embedded Real-Time Systems.

eSOA - SOA für eingebettete Netze

Alois Knoll, Alfons Kemper, Christian Buckl, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Applying Pay-Burst-Only-Once Principle for Periodic Power Management in Hard Real-Time Pipelined Multiprocessor Systems

Gang Chen, Alois Knoll, Kai Huang, 2015, TODE.

Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel

Dominik Sojer, Christian Buckl, Dominik Knoll, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

Toward an Efficient Methodology for the Analysis of Fault-Tolerant Systems

Alois Knoll, Chih-Hong Cheng, Javier Esparza, 2009, SSV 2009.

Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving

Alois Knoll, Jan Olaf Blech, Christian Buckl, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Visual odometry based on Random Finite Set Statistics in urban environment

Hauke Stahle, Alois Knoll, Feihu Zhang, 2012, 2012 IEEE Intelligent Vehicles Symposium.

An Automotive Side-View System Based on Ethernet and IP

Alois Knoll, Christian Buckl, Alexander Camek, 2012, 2012 26th International Conference on Advanced Information Networking and Applications Workshops.

Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems

Alois Knoll, Christian Buckl, Jia Huang, 2011, 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing.

A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems pdf

Alois Knoll, Chih-Hong Cheng, Christian Buckl, 2010, ArXiv.

A workflow for runtime adaptive task allocation on heterogeneous MPSoCs

Alois Knoll, Christian Buckl, Jia Huang, 2011, 2011 Design, Automation & Test in Europe.

Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems

Gang Chen, Kai Huang, Christian Buckl, 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

Applying the Service Oriented Paradigm to Develop Sensor/Actuator Networks

Alois Knoll, Christian Buckl, Stephan Sommer, 2008 .

A sensor fusion approach for localization with cumulative error elimination

Hauke Stahle, Alois Knoll, Chao Chen, 2012, 2012 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI).

AutoPnP - Plug-and-produce in der Automation: Wandelbare Fabrik als cyber-physisches System

Alois Zoitl, Christian Buckl, Gerd Kainz, 2013 .

Unsupervised Learning Spatio-temporal Features for Human Activity Recognition from RGB-D Video Data

Alois Knoll, Feihu Zhang, Guang Chen, 2013, ICSR.

AutoPnP – Plug-and-produce in der Automation

Alois Zoitl, Christian Buckl, Gerd Kainz, 2013 .