Christian Buckl

Comput. Sci. Res. Dev., 2015

An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

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

[BibT_eX]

[DOI]

SIGBED Rev., 2014

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

[BibT_eX]

[DOI]

Feihu Zhang

Sensors, 2014

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

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

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Tool Support for Integrated Development of Component-based Embedded Systems.

[BibT_eX]

[DOI]

Gerd Kainz

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Reconfigurable industrial process monitoring using the CHROMOSOME middleware.

[BibT_eX]

[DOI]

SIGBED Rev., 2013

Synthesizing Controllers for Automation Tasks with Performance Guarantees.

[BibT_eX]

[DOI]

Chih-Hong Cheng

Michael Geisinger

Proceedings of the Model Checking Software - 20th International Symposium, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Social Robotics - 5th International Conference, 2013

A Model-Driven Approach for Runtime Reliability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013

A lane marking extraction approach based on Random Finite Set Statistics.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013

Cumulative error estimation from noisy relative measurements.

[BibT_eX]

[DOI]

Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Multiple vehicle cooperative localization under random finite set framework.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

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

[BibT_eX]

[DOI]

Alexander Georg Camek

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

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

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

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

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2012

A Generic Approach Simplifying Model-to-Model Transformation Chains.

[BibT_eX]

[DOI]

Gerd Kainz

Proceedings of the Model Driven Engineering Languages and Systems, 2012

A sensor fusion approach for localization with cumulative error elimination.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2012

Visual odometry based on Random Finite Set Statistics in urban environment.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Intelligent Vehicles Symposium, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

Single camera visual odometry based on Random Finite Set Statistics.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Game solving for industrial automation and control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Embedded systems and software challenges in electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Towards fault-tolerant embedded systems with imperfect fault detection.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Conforming the runtime inputs for hard real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

MGSyn: Automatic Synthesis for Industrial Automation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern.

[BibT_eX]

[DOI]

Proceedings of the Automotive, 2012

An Automotive Side-View System Based on Ethernet and IP.

[BibT_eX]

[DOI]

Alexander Camek

Pedro Sebastião Correia

Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011

On the Hardness of Priority Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Model Checking Industrial Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2011

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

[BibT_eX]

[DOI]

Dominik Sojer

Dominik Knoll

Proceedings of the Industrial Embedded Systems (SIES), 2011

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

[BibT_eX]

[DOI]

Proceedings of the 19th International Euromicro Conference on Parallel, 2011

Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation.

[BibT_eX]

[DOI]

Gerd Kainz

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen.

[BibT_eX]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Reliability-Aware Design Optimization for Multiprocessor Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

A workflow for runtime adaptive task allocation on heterogeneous MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

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

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Algorithms for Synthesizing Priorities in Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

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

[BibT_eX]

[DOI]

CoRR, 2010

Model-to-Metamodel Transformation for the Development of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

MultiNet: An intelligent sensor cable.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

Towards an adaptive execution of applications in heterogeneous embedded networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

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

[BibT_eX]

[DOI]

Dominik Sojer

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Model-based specification of timing requirements.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

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

[BibT_eX]

[DOI]

Proceedings of the 2010 Conference on Design & Architectures for Signal & Image Processing, 2010

GAVS: Game Arena Visualization and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Service Migration Scenarios for Embedded Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

2009

eSOA - SOA für eingebettete Netze.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

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

[BibT_eX]

[DOI]

CoRR, 2009

Developing Service Oriented Sensor/Actuator Networks Using a Tailored Middleware.

[BibT_eX]

[DOI]

Stephan Sommer

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

∈SOA - Service Oriented Architectures adapted for embedded networks.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Efficient Communication in Control-oriented Embedded Networks.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

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

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2009

Toward the Design of Robotic Software with Verifiable Safety.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, 2009

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

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

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

[BibT_eX]

[DOI]

PhD thesis, 2008

Generating a Tailored Middleware for Wireless Sensor Network Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2008

WS-AMUSE - web service architecture for multimedia services.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

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

[BibT_eX]

[DOI]

Matthias Regensburger

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

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

[BibT_eX]

[DOI]

Matthias Regensburger

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Model-Based Analysis and Development of Dependable Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

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

[BibT_eX]

[DOI]

Matthias Regensburger

Proceedings of the The Second International Conference on Availability, 2007

2006

Model-Based Development of Fault-Tolerant Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Template-Based Development of Fault-Tolerant Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

Development of Dependable Real-Time Systems with Zerberus.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

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

[BibT_eX]

[DOI]