Martin Wechs

According to our database, Martin Wechs authored at least 8 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A Model-Based Software Generation Approach Qualified for Heterogeneous GPGPU-Enabled Platforms.

Holger Endt, Lothar Stolz, Martin Wechs, Walter Stechele

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

2010

Seamless Model-Driven Development Put into Practice.

Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

SysCOLA: a framework for co-development of automotive software and system platform.

Zhonglei Wang, Andreas Herkersdorf, Wolfgang Haberl, Martin Wechs

Proceedings of the 46th Design Automation Conference, 2009

2008

A Simulation Approach for Performance Validation during Embedded Systems Design.

Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs

Proceedings of the Leveraging Applications of Formal Methods, 2008

Optimizing Automatic Deployment Using Non-functional Requirement Annotations.

Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs

Proceedings of the Leveraging Applications of Formal Methods, 2008

1999

On the analyticity properties of infeasible-interior-point paths for monotone linear complementarity problems.

Josef Stoer, Martin Wechs

Numerische Mathematik, 1999

1998

Infeasible-interior-point paths for sufficient linear complementarity problems and their analyticity.

Josef Stoer, Martin Wechs

Math. Program., 1998

High Order Infeasible-Interior-Point Methods for Solving Sufficient Linear Complementarity Problems.

Josef Stoer, Martin Wechs, Shinji Mizuno

Math. Oper. Res., 1998