Marc Brünink

According to our database1, Marc Brünink authored at least 6 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017
Using Branch Frequency Spectra to Evaluate Operational Coverage.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Mining performance specifications.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2014
Autonomous compliance monitoring of non-functional properties.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2011
Aaron: An adaptable execution environment.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Boundless memory allocations for memory safety and high availability.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011


  Loading...