Jochen Eisinger

According to our database, Jochen Eisinger authored at least 12 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Cross-component garbage collection.

Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, Hannes Payer

Proc. ACM Program. Lang., 2018

2016

Idle-time garbage-collection scheduling.

Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer

Commun. ACM, 2016

2014

Die Menge aller gültigen Festschriften: Ein automatenbasierter Ansatz.

Jochen Eisinger

Proceedings of the Aspekte der Technischen Informatik, 2014

2010

Formal Verification of an Arbiter Circuit.

Chao Yan, Mark R. Greenstreet, Jochen Eisinger

Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2009

Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition.

Jochen Eisinger

PhD thesis, 2009

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

Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).

Jochen Eisinger

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals.

Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Mechanizing the Powerset Construction for Restricted Classes of <i>omega</i> -Automata.

Christian Dax, Jochen Eisinger, Felix Klaedtke

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

A Definition and Classification of Timing Anomalies.

Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

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

Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

2005

Securing Wireless Networks in a University Environment.

Jochen Eisinger, Peter Winterer, Bernd Becker

Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005