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

Markus Behle

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