Jochen Eisinger

15 papers A* 3B 2C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2018 J jnl
Cross-component garbage collection.
Proc. ACM Program. Lang.
Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, Hannes Payer
2016 A* conf
Idle time garbage collection scheduling.
PLDI
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
2016 J jnl
Idle-Time Garbage-Collection Scheduling.
ACM Queue
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
2016 J jnl
Idle-time garbage-collection scheduling.
Commun. ACM
Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer
2014 — conf
Die Menge aller gültigen Festschriften: Ein automatenbasierter Ansatz.
Aspekte der Technischen Informatik
Jochen Eisinger
2010 — conf
Formal Verification of an Arbiter Circuit.
ASYNC
Chao Yan, Mark R. Greenstreet, Jochen Eisinger
2009 — —
Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition.
Jochen Eisinger
2008 J jnl
Don't care words with an application to the automata-based approach for real addition.
Formal Methods Syst. Des.
Jochen Eisinger, Felix Klaedtke
2008 B conf
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).
CSL
Jochen Eisinger
2007 A* conf
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.
CAV
Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
2007 B conf
Mechanizing the Powerset Construction for Restricted Classes of
ATVA
Christian Dax, Jochen Eisinger, Felix Klaedtke
2006 — conf
A Definition and Classification of Timing Anomalies.
WCET
Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
2006 C conf
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
DDECS
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
2006 A* conf
Don't Care Words with an Application to the Automata-Based Approach for Real Addition.
CAV
Jochen Eisinger, Felix Klaedtke
2005 — conf
Securing Wireless Networks in a University Environment.
PerCom Workshops
Jochen Eisinger, Peter Winterer, Bernd Becker