Simon Bischof

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
On Time-sensitive Control Dependencies.
ACM Trans. Program. Lang. Syst., 2022

2019
The Effect of Temporal Aggregation on Battery Sizing for Peak Shaving.
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019

FOBSS: Monitoring Data from a Modular Battery System.
Proceedings of the Tenth ACM International Conference on Future Energy Systems, 2019

2018
Low-deterministic security for low-nondeterministic programs.
J. Comput. Secur., 2018

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
Proceedings of the Formal Methods and Software Engineering, 2018

HIPE: An Energy-Status-Data Set from Industrial Production.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018

Illi Isabellistes Se Custodes Egregios Praestabant.
Proceedings of the Principled Software Development, 2018

2017
Rescue path optimization using ant colony systems.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

2013
Efficient memory access in 2D Mesh NoC architectures using high bandwidth routers.
Proceedings of the 26th Symposium on Integrated Circuits and Systems Design, 2013


  Loading...