Securing Wireless Networks in a University Environment. - Jochen Eisinger; Peter Winterer; Bernd Becker 001 (PerCom Workshops, 2005)

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. - Jochen Eisinger; Ilia Polian; Bernd Becker 001; Alexander Metzner; Stephan Thesing; Reinhard Wilhelm (DDECS, 2006)

A Definition and Classification of Timing Anomalies. - Jan Reineke 001; Björn Wachter; Stephan Thesing; Reinhard Wilhelm; Ilia Polian; Jochen Eisinger; Bernd Becker 001 (WCET, 2006)

Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. - Christian Dax; Jochen Eisinger; Felix Klaedtke (ATVA, 2007)

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. - Bernd Becker 001; Christian Dax; Jochen Eisinger; Felix Klaedtke (CAV, 2007)

Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract). - Jochen Eisinger (CSL, 2008)

Don't care words with an application to the automata-based approach for real addition. - Jochen Eisinger; Felix Klaedtke (Formal Methods Syst. Des., 2008)

Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition. - Jochen Eisinger (2009)

Formal Verification of an Arbiter Circuit. - Chao Yan 001; Mark R. Greenstreet; Jochen Eisinger (ASYNC, 2010)

Die Menge aller gültigen Festschriften: Ein automatenbasierter Ansatz. - Jochen Eisinger (Aspekte der Technischen Informatik, 2014)

Idle-Time Garbage-Collection Scheduling. - Ulan Degenbaev; Jochen Eisinger; Manfred Ernst; Ross McIlroy; Hannes Payer (ACM Queue, 2016)

Cross-component garbage collection. - Ulan Degenbaev; Jochen Eisinger; Kentaro Hara; Marcel Hlopko; Michael Lippautz; Hannes Payer (Proc. ACM Program. Lang., 2018)