|
M. Wechs, Die analytische
Struktur zentraler Pfade bei Innere-Punkte-Verfahren und ihre Anwendung,
Diploma Thesis, University of
Wuerzburg, Germany, 1995.
M. Wechs, Analysis of Interior-Point Paths and New Interior-Point Methods for Solving Linear Programming Problems, Ph.D.
Thesis,
University of Wuerzburg,
Germany, 1998.
J. Stoer, M. Wechs, On the Analyticity Properties of Infeasible-Interior-Point Paths for Monotone Linear Complementarity
Problems, Numerische Mathematik, Volume 81 (1999) p. 631-645.
J. Stoer, M. Wechs, Infeasible-Interior-Point Paths for Sufficient
Linear Complementarity Problems and their Analyticity,
Mathematical Programming,
Volume 83 (1998) p. 407-423.
J. Stoer, M. Wechs, S. Mizuno, High order infeasible-interior-point methods for solving suffficient linear complementarity problems,
Mathematics of Operations Research, Volume 23 (1998) p. 832-862.
M. Wechs, The
Analyticity of Interior-Point-Paths at Strictly Complementary
Solutions of Linear Programs,
Optimization Methods and Software, Volume 9 (1998) p. 209-243.
J. Stoer, M. Wechs, The
complexity of
high-order predictor-corrector methods for solving sufficient linear complementarity problems,
Optimization Methods and Software, Volume 10, Issue
2 (1998)
p. 393-417.
F. Jarre, M. Wechs, Extending
Mehrotra´s Corrector for Linear Programs,
Advanced Modeling and Optimization, Volume 1,
Number 2 (1999) p. 38-60.
J. Stoer, M. Wechs, The Complexity of High-Order Interior-Point Methods for Solving Sufficient Complementarity
Problems,
in Approximation,
Optimization and Mathematical Economics,
M. Lassonde ed.,
Heidelberg, New York, Physica-Verlag 2001.
S. Kugele, M. Tautschnig, A.
Bauer, C. Schallhart, S. Merenda,
W. Haberl, C. Kühnel, F. Müller, Z. Wang, D. Wild, S. Rittmann,
M. Wechs, COLA - The component
language, Technical Report TUM-I0714,
Institut für Informatik, Technische Universität München, 2007.
S. Kugele, W. Haberl, M. Tautschnig,
M. Wechs, Optimizing automatic
deployment using non-functional requirement annotations, Proceedings
of 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
(ISoLA'08). Springer, 2008. To appear.
Z. Wang, W. Haberl, A. Herkersdorf,
M. Wechs, A Simulation Approach for
Performance Validation during Embedded Systems
Design, Proceedings of
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'08). Springer, 2008. To appear.
A. Butz, C. Erhardt, M. Pollner,
M. Sedlmair, M. Wechs,
A collaborative help
system for large-scaled, distributed process management systems, 2009 International Conference on
Intelligent User Interfaces (IUI2009), Sanibel
Island, Florida, USA, February 8-11, 2009. Submitted.
Z. Wang, W. Haberl, A. Herkersdorf,
M. Wechs, SysCOLA: A Framework for Co-Development of
Automotive Software and System Platform, 46th Design Automation Conference
(DAC), San Francisco, California, USA, July
26-31, 2009.
W. Haberl, M. Herrmannsdoerfer,
S. Kugele, M. Tautschnig,
M. Wechs, One Click from
Model to Reality, Symposium on Automotive/Avionics Systems Engineering (SAASE) 2009, UC San Diago, California, USA, October
13-16, 2009.
W. Haberl, M. Herrmannsdoerfer,
S. Kugele, M. Tautschnig,
M. Wechs, Seamless Model-Driven
Development put into
Practice, 4th International Symposium On Leveraging
Applications
of Formal Methods, Verification and Validation (ISoLA) 2010, Heraklion, Crete, Greece, October 18-20, 2010.
H. Endt, L. Stolz, M. Wechs,
W. Stechele,
A modelbased software
generation approach qualified for heterogeneous GPGPU-enabled platforms, International Conference on Parallel
Computing, ParCo 2011, Ghent,
Belgium,
August 30 - September 2, 2011.
Affiliated Publications
Z. Wang, A. Herkersdorf, Fast
and Accurate Timing
Simulation of Embedded Software, 46th
Design Automation Conference (DAC), San Francisco, California, USA, July 26-31, 2009. DAC Best Paper Candidate!
|