Michael Armbruster
According to our database1,
Michael Armbruster
authored at least 17 papers
between 2002 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
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
Proceedings of the Operations Research Proceedings 2005, 2005
2003
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