Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Automaten-basierte Verifikation

| Beteiligte Mitarbeiter | Publikationen |


Beteiligte Mitarbeiter

ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur
Jochen Eisinger, Dr. Kontakt


Publikationen
Jochen Eisinger, Dr., Felix Klaedtke, Dr.
Don't care words with an application to the automata-based approach for real addition
18th International Conference on Computer Aided Verification. LNCS 4144. pp 67-80. Springer-Verlag, 2006.
Bernd Becker, Prof. Dr., C. Dax, Jochen Eisinger, Dr., Felix Klaedtke, Dr.
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
19th International Conference on Computer Aided Verification. LNCS 4590. pp 312-315. Springer-Verlag, 2007.
C. Dax, Jochen Eisinger, Dr., Felix Klaedtke, Dr.
Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
5th International Symposium on Automated Technology for Verification and Analysis. LNCS 4762. pp 223-236. Springer-Verlag, 2007