The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. - Christian Buckl; Alois C. Knoll; Gerhard Schrott (LADC, 2005)

Development of Dependable Real-Time Systems with Zerberus. - Christian Buckl; Alois C. Knoll; Gerhard Schrott (PRDC, 2005)

Template-Based Development of Fault-Tolerant Embedded Software. - Christian Buckl; Alois C. Knoll; Gerhard Schrott (ICSEA, 2006)

Model-Based Development of Fault-Tolerant Embedded Software. - Christian Buckl; Alois C. Knoll; Gerhard Schrott (ISoLA, 2006)

Models for automatic generation of safety-critical real-time systems. - Christian Buckl; Matthias Regensburger; Alois C. Knoll; Gerhard Schrott (ARES, 2007)

Model-Based Analysis and Development of Dependable Systems. - Christian Buckl; Alois C. Knoll; Ina Schieferdecker; Justyna Zander (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Generic Fault-Tolerance Mechanisms Using the Concept of Logical Execution Time. - Christian Buckl; Matthias Regensburger; Alois C. Knoll; Gerhard Schrott (PRDC, 2007)

Model Based Development of Safety-Critical Systems Using Template Based Code Generation. - Matthias Regensburger; Christian Buckl; Alois C. Knoll; Gerhard Schrott (PRDC, 2007)

WS-AMUSE - web service architecture for multimedia services. - Andreas Scholz 001; Christian Buckl; Alfons Kemper; Alois C. Knoll; Jörg Heuer; Martin Winter (ICSE, 2008)

Generating a Tailored Middleware for Wireless Sensor Network Applications. - Christian Buckl; Stephan Sommer; Andreas Scholz 001; Alois C. Knoll; Alfons Kemper (SUTC, 2008)

Model-based development of fault-tolerant real-time systems. - Christian Buckl (2008)

Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks. - Christian Buckl; Stephan Sommer; Andreas Scholz 001; Alois C. Knoll; Alfons Kemper; Jörg Heuer; Anton Schmitt (AINA Workshops, 2009)

Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. - Chih-Hong Cheng; Alois C. Knoll; Christian Buckl; Javier Esparza; Yang Chen (CIRA, 2009)

Toward the Design of Robotic Software with Verifiable Safety. - Chih-Hong Cheng; Markus Rickert 001; Christian Buckl; Edward A. Lee; Alois C. Knoll (COMPSAC (1), 2009)

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. - Chih-Hong Cheng; Christian Buckl; Javier Esparza; Alois C. Knoll (DS-RT, 2009)

Efficient Communication in Control-oriented Embedded Networks. - Andreas Scholz 001; Irina Gaponova; Stephan Sommer; Alfons Kemper; Alois C. Knoll; Christian Buckl; Jörg Heuer; Anton Schmitt (ETFA, 2009)

∈SOA - Service Oriented Architectures adapted for embedded networks. - Andreas Scholz 001; Irina Gaponova; Stephan Sommer; Alfons Kemper; Alois C. Knoll; Christian Buckl; Jörg Heuer; Anton Schmitt (INDIN, 2009)

Developing Service Oriented Sensor/Actuator Networks Using a Tailored Middleware. - Stephan Sommer; Christian Buckl; Alois C. Knoll (ITNG, 2009)

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems - Chih-Hong Cheng; Christian Buckl; Javier Esparza; Alois C. Knoll (CoRR, 2009)

eSOA - SOA für eingebettete Netze. - Andreas Scholz 001; Christian Buckl; Stephan Sommer; Alfons Kemper; Alois C. Knoll; Jörg Heuer; Anton Schmitt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Service Migration Scenarios for Embedded Networks. - Stephan Sommer; Andreas Scholz 001; Irina Gaponova; Alois C. Knoll; Alfons Kemper; Christian Buckl; Gerd Kainz; Jörg Heuer; Anton Schmitt (AINA Workshops, 2010)

GAVS: Game Arena Visualization and Synthesis. - Chih-Hong Cheng; Christian Buckl; Michael Luttenberger; Alois C. Knoll (ATVA, 2010)

Runtime adaptive allocation of dynamically mixed tasks on a heterogeneous MPSoC platform. - Jia Huang; Andreas Raabe; Christian Buckl; Alois C. Knoll (DASIP, 2010)

Model-based specification of timing requirements. - Christian Buckl; Irina Gaponova; Michael Geisinger; Alois C. Knoll; Edward A. Lee (EMSOFT, 2010)

FTOS: Model-driven development of fault-tolerant automation systems. - Christian Buckl; Dominik Sojer; Alois C. Knoll (ETFA, 2010)

Towards an adaptive execution of applications in heterogeneous embedded networks. - Andreas Scholz 001; Stephan Sommer; Alfons Kemper; Alois C. Knoll; Christian Buckl; Gerd Kainz; Jörg Heuer; Anton Schmitt (SESENA@ICSE, 2010)

MultiNet: An intelligent sensor cable. - Stephan Sommer; Alois C. Knoll; Christian Buckl; Gerd Bauer; Jens Schulz (LCN, 2010)

Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. - Christian Buckl; Gerd Kainz; Stephan Sommer; Alois C. Knoll (MBEES, 2010)

Model-to-Metamodel Transformation for the Development of Component-Based Systems. - Gerd Kainz; Christian Buckl; Stephan Sommer; Alois C. Knoll (MoDELS (2), 2010)

A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems - Chih-Hong Cheng; Harald Ruess; Alois C. Knoll; Christian Buckl (CoRR, 2010)

Algorithms for Synthesizing Priorities in Component-Based Systems. - Chih-Hong Cheng; Saddek Bensalem; Yu-Fang Chen 001; Rongjie Yan; Barbara Jobstmann; Harald Ruess; Christian Buckl; Alois C. Knoll (ATVA, 2011)

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems. - Jia Huang; Jan Olaf Blech; Andreas Raabe; Christian Buckl; Alois C. Knoll (CODES+ISSS, 2011)

A workflow for runtime adaptive task allocation on heterogeneous MPSoCs. - Jia Huang; Andreas Raabe; Christian Buckl; Alois C. Knoll (DATE, 2011)

Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. - Jia Huang; Jan Olaf Blech; Andreas Raabe; Christian Buckl; Alois C. Knoll (DSD, 2011)

Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen. - Simon Barner; Andreas Raabe; Christian Buckl; Alois C. Knoll (MBEES, 2011)

Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. - Gerd Kainz; Christian Buckl; Alois C. Knoll (MoDELS, 2011)

Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems. - Jia Huang; Christian Buckl; Andreas Raabe; Alois C. Knoll (PDP, 2011)

Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel. - Dominik Sojer; Dominik Knoll; Christian Buckl (SIES, 2011)

Model Checking Industrial Robot Systems. - Markus Weißmann; Stefan Bedenk; Christian Buckl; Alois C. Knoll (SPIN, 2011)

GAVS+: An Open Platform for the Research of Algorithmic Game Solving. - Chih-Hong Cheng; Alois C. Knoll; Michael Luttenberger; Christian Buckl (TACAS, 2011)

Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. - Chih-Hong Cheng; Harald Rueß; Alois C. Knoll; Christian Buckl (VMCAI, 2011)

On the Hardness of Priority Synthesis. - Chih-Hong Cheng; Barbara Jobstmann; Christian Buckl; Alois C. Knoll (CIAA, 2011)

An Automotive Side-View System Based on Ethernet and IP. - Alexander Camek; Christian Buckl; Pedro Sebastião Correia; Alois C. Knoll (AINA Workshops, 2012)

SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern. - Klaus Becker 001; Christian Buckl; Alexander Camek; Rainer Falk; Ludger Fiege; Jürgen Geßner; Stephan Sommer (Automotive - Safety & Security, 2012)

MGSyn: Automatic Synthesis for Industrial Automation. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (CAV, 2012)

Conforming the runtime inputs for hard real-time embedded systems. - Kai Huang 001; Gang Chen 023; Christian Buckl; Alois C. Knoll (DAC, 2012)

Towards fault-tolerant embedded systems with imperfect fault detection. - Jia Huang; Kai Huang 001; Andreas Raabe; Christian Buckl; Alois C. Knoll (DAC, 2012)

Embedded systems and software challenges in electric vehicles. - Samarjit Chakraborty; Martin Lukasiewycz; Christian Buckl; Suhaib A. Fahmy; Naehyuck Chang; Sangyoung Park; Younghyun Kim 001; Patrick Leteinturier; Hans Adlkofer (DATE, 2012)

Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving. - Jia Huang; Jan Olaf Blech; Andreas Raabe; Christian Buckl; Alois C. Knoll (DATE, 2012)

Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems. - Kai Huang 001; Gang Chen 023; Nadine Keddis; Michael Geisinger; Christian Buckl (ICCPS, 2012)

Game solving for industrial automation and control. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (ICRA, 2012)

Single camera visual odometry based on Random Finite Set Statistics. - Feihu Zhang; Hauke Stahle; Andre Gaschler; Christian Buckl; Alois C. Knoll (IROS, 2012)

Early safety evaluation of design decisions in E/E architecture according to ISO 26262. - Vladimir Rupanov; Christian Buckl; Ludger Fiege; Michael Armbruster; Alois C. Knoll; Gernot Spiegelberg (ISARCS, 2012)

Visual odometry based on Random Finite Set Statistics in urban environment. - Feihu Zhang; Guang Chen 001; Hauke Stahle; Christian Buckl; Alois C. Knoll (Intelligent Vehicles Symposium, 2012)

A sensor fusion approach for localization with cumulative error elimination. - Feihu Zhang; Hauke Stahle; Guang Chen 001; Chao Chen 021; Carsten Simon; Christian Buckl; Alois C. Knoll (MFI, 2012)

A Generic Approach Simplifying Model-to-Model Transformation Chains. - Gerd Kainz; Christian Buckl; Alois C. Knoll (MoDELS, 2012)

A framework for reliability-aware design exploration on MPSoC based systems. - Jia Huang; Andreas Raabe; Kai Huang 001; Christian Buckl; Alois C. Knoll (Des. Autom. Embed. Syst., 2012)

Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems. - Gang Chen 023; Kai Huang 001; Christian Buckl; Alois C. Knoll (DATE, 2013)

Effective Online Power Management with Adaptive Interplay of DVS and DPM for Embedded Real-Time System. - Gang Chen 023; Kai Huang 001; Jia Huang; Christian Buckl; Alois C. Knoll (DSD, 2013)

Future cars: necessity for an adaptive and distributed multiple independent levels of security architecture. - Alexander Georg Camek; Christian Buckl; Alois C. Knoll (HiCoNS, 2013)

Multiple vehicle cooperative localization under random finite set framework. - Feihu Zhang; Hauke Stahle; Guang Chen 001; Christian Buckl; Alois C. Knoll (IROS, 2013)

Cumulative error estimation from noisy relative measurements. - Feihu Zhang; Carsten Simon; Guang Chen 001; Christian Buckl; Alois C. Knoll (ITSC, 2013)

A lane marking extraction approach based on Random Finite Set Statistics. - Feihu Zhang; Hauke Stahle; Chao Chen 021; Christian Buckl; Alois C. Knoll (Intelligent Vehicles Symposium, 2013)

A Model-Driven Approach for Runtime Reliability Analysis. - Dominik Sojer; Frank Reichenbach; Stein Erik Ellevseth; Christian Buckl; Alois C. Knoll (LADC, 2013)

Unsupervised Learning Spatio-temporal Features for Human Activity Recognition from RGB-D Video Data. - Guang Chen 001; Feihu Zhang; Manuel Giuliani; Christian Buckl; Alois C. Knoll (ICSR, 2013)

Synthesizing Controllers for Automation Tasks with Performance Guarantees. - Chih-Hong Cheng; Michael Geisinger; Christian Buckl (SPIN, 2013)

Reconfigurable industrial process monitoring using the CHROMOSOME middleware. - Stephan Sommer; Michael Geisinger; Christian Buckl; Gerd Bauer; Alois C. Knoll (SIGBED Rev., 2013)

Tool Support for Integrated Development of Component-based Embedded Systems. - Gerd Kainz; Christian Buckl; Alois C. Knoll (Software Engineering, 2014)

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems. - Klaus Becker 001; Bernhard Schätz; Michael Armbruster; Christian Buckl (SEFM, 2014)

Deployment Calculation and Analysis for a Fail-Operational Automotive Platform. - Klaus Becker 001; Bernhard Schätz; Christian Buckl; Michael Armbruster (CoRR, 2014)

A framework for reliability-aware embedded system design on multiprocessor platforms. - Jia Huang; Simon Barner; Andreas Raabe; Christian Buckl; Alois C. Knoll (Microprocess. Microsystems, 2014)

Employing early model-based safety evaluation to iteratively derive E/E architecture design. - Vladimir Rupanov; Christian Buckl; Ludger Fiege; Michael Armbruster; Alois C. Knoll; Gernot Spiegelberg (Sci. Comput. Program., 2014)

Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density Filter. - Feihu Zhang; Christian Buckl; Alois C. Knoll (Sensors, 2014)

CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systems. - Christian Buckl; Michael Geisinger; Dhiraj Gulati; Fran J. Ruiz-Bertol; Alois C. Knoll (SIGBED Rev., 2014)

An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures. - Martin Buechel; Jelena Frtunikj; Klaus Becker 001; Stephan Sommer; Christian Buckl; Michael Armbruster; Andre Marek; Andreas Zirkler; Cornel Klein; Alois C. Knoll (ITSC, 2015)

Deriving fault-detection mechanisms from safety requirements. - Dominik Sojer; Christian Buckl; Alois C. Knoll (Comput. Sci. Res. Dev., 2015)

Applying Pay-Burst-Only-Once Principle for Periodic Power Management in Hard Real-Time Pipelined Multiprocessor Systems. - Gang Chen 023; Kai Huang 001; Christian Buckl; Alois C. Knoll (ACM Trans. Design Autom. Electr. Syst., 2015)

The RACE Project: An Informatics-Driven Greenfield Approach to Future E/E Architectures for Cars. - Alois C. Knoll; Christian Buckl; Karl-Josef Kuhn; Gernot Spiegelberg (Automotive Systems and Software Engineering, 2019)