Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Felix Klaedtke, Dr.
Adresse Haldeneggsteig 4 / Weinbergstrasse
ETH-Zentrum, IFW C 48.1
CH-8092 Zurich, Switzerland
Telefon +41 (0)1 63 27639
eMail felixkl_X_inf.ethz.ch (where _X_ actually means @)
Website http://www2.inf.ethz.ch/~felixkl/

Felix Klaedtke

Jahre: 2007 | 2006 | 2005 | 2004

    2007

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
      LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
      2007 Int'l Conf. on CAV, Springer-Verlag, Seiten: 312 - 315
    • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Mechanizing the Powerset Construction for Restricted Classes of omega-Automata
      2007 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4762, Seiten: 223 - 236
    • Christian Dax, Jochen Eisinger, Felix Klaedtke
      Mechanizing the Powerset Construction for Restricted Classes of omega-Automata
      , Nummer: 228, 2007
    • Bernd Becker, Jochen Eisinger, Felix Klaedtke
      Parallelization of Decision Procedures for Automatic Structures
      2007 Workshop on Omega-Automata

    2006

    Icon: top nach oben zur Jahresübersicht
    • Jochen Eisinger, Felix Klaedtke
      Don't Care Words with an Application to the Automata-based Approach for Real Addition
      2006 Conf. on Computer Aided Verification, Band: 4144, Seiten: 67 - 80
    • Jochen Eisinger, Felix Klaedtke
      Don't Care Words with an Application to the Automata-based Approach for Real Addition
      , Nummer: 223, 2006

    2005

    Icon: top nach oben zur Jahresübersicht
    • Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
      Optimizing bounded model checking for linear hybrid systems
      2005 Int'l Conf. on Verification, Model Checking and Abstract Interpretation, Springer-Verlag, Band: 3385, Seiten: 396 - 412

    2004

    Icon: top nach oben zur Jahresübersicht
    • Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
      Optimizing Bounded Model Checking for Linear Hybrid Systems
      , Nummer: 214, 2004