Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Friedrich Eisenbrand, Dr. Friedrich Eisenbrand, Dr.
Adresse Max-Planck-Institut für Informatik
Stuhlsatzenhausweg 85
66123 Saarbrücken
Germany
Büro Gebäude E1 4, Zimmer 428
Telefon +49-681-9325-528
Fax +49-681-9325-599
eMail eisen@ mpi-inf.mpg.de
Website http://www.mpi-inf.mpg.de/~eisen/
Kooperation AVACS

Friedrich Eisenbrand

Jahre: 2005 | 2004

    2005

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
      BDDs in a Branch & Cut Framework
      2005 Int'l Workshop on Efficient and Experimental Algorithms, Springer Verlag, Band: 3503, Seiten: 452 - 463

    2004

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
      Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems
      2004 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 65 - 75