Michael Armbruster

According to our database1, Michael Armbruster authored at least 17 papers between 2002 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014
Employing early model-based safety evaluation to iteratively derive E/E architecture design.
Sci. Comput. Program., 2014

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

A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Run-Time Adaptive Error and State Management for Open Automotive Systems.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2012
LP and SDP branch-and-cut algorithms for the minimum graph bisection problem: a computational comparison.
Math. Program. Comput., 2012

Early safety evaluation of design decisions in E/E architecture according to ISO 26262.
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

2011
X-by-Wire Plattform - Konzept und Auslegung.
Autom., 2011

2008
On the Graph Bisection Cut Polytope.
SIAM J. Discret. Math., 2008

A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem.
Proceedings of the Integer Programming and Combinatorial Optimization, 2008

2006
Affordable X-By-Wire technology based on an innovative, scalable E/E platform-concept.
Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

Hybrid Genetic Algorithm Within Branch-and-Cut for the Minimum Graph Bisection Problem.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2006

2005
Duo duplex drive-by-wire computer system.
Reliab. Eng. Syst. Saf., 2005

LP-based Genetic Algorithm for the Minimum Graph Bisection Problem.
Proceedings of the Operations Research Proceedings 2005, 2005

2003
Redundancy Management for Drive-by-Wire Computer Systems.
Proceedings of the Computer Safety, 2003

2002
A solution procedure for a pattern sequencing problem as part of a one-dimensional cutting stock problem in the steel industry.
Eur. J. Oper. Res., 2002


  Loading...