Simon Bischof

According to our database, Simon Bischof authored at least 9 papers between 2013 and 2022.

Collaborative distances:

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

2022

On Time-sensitive Control Dependencies.

Martin Hecker, Simon Bischof, Gregor Snelting

ACM Trans. Program. Lang. Syst., 2022

2019

The Effect of Temporal Aggregation on Battery Sizing for Peak Shaving.

Dominik Werle, Daniel Warzel, Simon Bischof, Anne Koziolek, Holger Trittenbach, Klemens Böhm

Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019

FOBSS: Monitoring Data from a Modular Battery System.

Georg Steinbuss, Benedikt Rzepka, Simon Bischof, Thomas Blank, Klemens Böhm

Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019

2018

Low-deterministic security for low-nondeterministic programs.

Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

J. Comput. Secur., 2018

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.

Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning

Proceedings of the Formal Methods and Software Engineering, 2018

HIPE: An Energy-Status-Data Set from Industrial Production.

Simon Bischof, Holger Trittenbach, Michael Vollmer, Dominik Werle, Thomas Blank, Klemens Böhm

Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Illi Isabellistes Se Custodes Egregios Praestabant.

Simon Bischof, Joachim Breitner, Denis Lohner, Gregor Snelting

Proceedings of the Principled Software Development, 2018

2017

Rescue path optimization using ant colony systems.

Manuela Graf, Marc Poy, Simon Bischof, Rolf Dornberger, Thomas Hanne

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

2013

Efficient memory access in 2D Mesh NoC architectures using high bandwidth routers.

Jan Heisswolf, Simon Bischof, Michael Rückauer, Jürgen Becker

Proceedings of the 26th Symposium on Integrated Circuits and Systems Design, 2013