Jochen Eisinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2005–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | PLDI | Idle time garbage collection scheduling. | Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer |
| 2008 | CSL | Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract). | Jochen Eisinger |
| 2007 | ATVA | Mechanizing the Powerset Construction for Restricted Classes of | Christian Dax, Jochen Eisinger, Felix Klaedtke |
| 2007 | CAV | LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. | Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke |
| 2006 | CAV | Don't Care Words with an Application to the Automata-Based Approach for Real Addition. | Jochen Eisinger, Felix Klaedtke |
| 2006 | DDECS | Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. | Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm |
| 2005 | PERCOM | Securing Wireless Networks in a University Environment. | Jochen Eisinger, Peter Winterer, Bernd Becker |