Schnelleinstieg Reader

Home|Suche|Sitemap|Webmail

Startseite FSU

Dr. Andreas Hartmann



      Büro:
 
  

Zi. 3201
Ernst-Abbe-Platz 2

  Telefon:   03641 9-30870
  Fax:  

03641 9-46302

  E-Mail:  

e_mail  

  Postanschrift:  

Friedrich-Schiller-Universität Jena
Fakultät für Mathematik und Informatik
Institut für Informatik
Lehrstuhl für Softwaretechnik

Ernst-Abbe-Platz 2
D-07743 Jena
Germany

Persönlicher Mitarbeiter des CIO



 

Übersicht



Projekte

  • SafeTSA: Safe Typed Static Single Assignment

Veröffentlichungen


Buchbeiträge

  • Michael Franz, Wolfram Amme, Matthew Beers, Niall Dalton, Peter H. Fröhlich, Vivek Haldar, Andreas Hartmann, Peter S. Housel, Frank Reig, Christian H. Stork, Jeffery von Ronne, Sergej Zhenochin:
    Making Mobile Code Both Safe and Efficient
    in J. Lala (Ed.; Foundations of Intrusion Tolerant Systems; IEEE Competer Society Press, 2003.
  • Jeffery von Ronne, Wolfram Amme, Andreas Hartmann, Michael Franz:
    Efficient Online Optimization by Utlizing Offline Analysis and the SafeTSA - Representation in Recent Advances in Java Technology: Theory, Application, Implementation
    Chapter 27, Trinity College, Dublin, Ireland, Computer Science Press, ISBN 0954414500, S. 233-241, 2003.

Konferenzen, Workshops

  • Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
    Code Annotation for Safe and Efficient Dynamic Object Resolution
    Compiler Optimization Meets Compiler Verification, COCV 2003, Warsaw, Poland, 2003.
  • Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz:
    Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation
    in: Principles and Practice of Programming in Java (TM) PPPJ'02, Trinity College, Dublin, Ireland, 2002.