Jochen Eisinger

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 4

Top Venues

Proc. ACM Program. Lang.

ACM Queue

PLDI

Commun. ACM

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, Hannes Payer
Cross-component garbage collection. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
Idle-time garbage-collection scheduling. Commun. ACM 59 (10) (2016)
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
Idle time garbage collection scheduling. PLDI (2016)
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
Idle-Time Garbage-Collection Scheduling. ACM Queue 14 (3) (2016)
Jochen Eisinger
Die Menge aller gültigen Festschriften: Ein automatenbasierter Ansatz. Aspekte der Technischen Informatik (2014)
Chao Yan, Mark R. Greenstreet, Jochen Eisinger
Formal Verification of an Arbiter Circuit. ASYNC (2010)
Jochen Eisinger, Felix Klaedtke
Don't care words with an application to the automata-based approach for real addition. Formal Methods Syst. Des. 33 (1-3) (2008)
Jochen Eisinger
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract). CSL (2008)
Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV (2007)
Christian Dax, Jochen Eisinger, Felix Klaedtke
-Automata. ATVA (2007)
Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
A Definition and Classification of Timing Anomalies. WCET (2006)
Jochen Eisinger, Felix Klaedtke
Don't Care Words with an Application to the Automata-Based Approach for Real Addition. CAV (2006)
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)
Jochen Eisinger, Peter Winterer, Bernd Becker
Securing Wireless Networks in a University Environment. PerCom Workshops (2005)

Jochen Eisinger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jochen Eisinger