 | 2010 |
|---|
| 10 |       | Chao Yan,
Mark R. Greenstreet,
Jochen Eisinger:
Formal Verification of an Arbiter Circuit.
ASYNC 2010: 165-175 |
| 2009 |
|---|
| 9 | | Jochen Eisinger:
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition.
University of Freiburg 2009 |
| 2008 |
|---|
| 8 | | Jochen Eisinger:
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).
CSL 2008: 431-445 |
| 7 | | Jochen Eisinger,
Felix Klaedtke:
Don't care words with an application to the automata-based approach for real addition.
Formal Methods in System Design 33(1-3): 85-115 (2008) |
| 2007 |
|---|
| 6 | | Christian Dax,
Jochen Eisinger,
Felix Klaedtke:
Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.
ATVA 2007: 223-236 |
| 5 | | Bernd Becker,
Christian Dax,
Jochen Eisinger,
Felix Klaedtke:
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.
CAV 2007: 307-310 |
| 2006 |
|---|
| 4 | | Jochen Eisinger,
Felix Klaedtke:
Don't Care Words with an Application to the Automata-Based Approach for Real Addition.
CAV 2006: 67-80 |
| 3 |  | Jochen Eisinger,
Ilia Polian,
Bernd Becker,
Alexander Metzner,
Stephan Thesing,
Reinhard Wilhelm:
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
DDECS 2006: 15-20 |
| 2 | | Jan Reineke,
Björn Wachter,
Stephan Thesing,
Reinhard Wilhelm,
Ilia Polian,
Jochen Eisinger,
Bernd Becker:
A Definition and Classification of Timing Anomalies.
WCET 2006 |
| 2005 |
|---|
| 1 | | Jochen Eisinger,
Peter Winterer,
Bernd Becker:
Securing Wireless Networks in a University Environment.
PerCom Workshops 2005: 312-316 |
Data released under the ODC-BY 1.0 license — See also our legal information page