Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Prof. Dr. Dr. h.c. Martin Wirsing

Full Professor (em.)

Picture of Prof. Dr. Dr. h.c. Martin Wirsing

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F 011, Oettingenstr. 67
Phone
+49 89 2180 9154 (Sec.: -9151)
Fax
+49 89 2180 9175
E-Mail
wirsing (at) ifi.lmu.de

Activities

Research

  • Software Development using Formal Methods
  • Systematic Development of Adaptive Service-Oriented Systems
  • Autonomous Self-Aware Systems
  • Algebraic Specification Techniques
  • Semantics of Specification and Programming Languages
  • Software Engineering of Web and Hypermedia Applications

My Festschrift

Rocco De Nicola and Rolf Hennicker (eds.): Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Book cover of Software, Services and Systems

Latest books

Software Engineering for Collective Autonomic Systems
The ASCENS Approach
Cover of ASCENS book


Java kompakt
JavaBookCoverHoch

More selected books

Sensoria LNCS     Proof as Programs      Aussagenlogik Amazon

FASE 2009     SW-Intensive Systems 2008     TGC 2010     KSEM 2015