Andreas Gampe

According to our database1, Andreas Gampe authored at least 9 papers between 2008 and 2014.

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

2014
Facilitating Remote Laboratory Deployments Using a Relay Gateway Server Architecture.
IEEE Trans. Ind. Electron., 2014

An Assessment of Remote Laboratory Experiments in Radio Communication.
IEEE Trans. Educ., 2014

2013
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule.
Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Security completeness: towards noninterference in composed languages.
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

2012
The privacy in the time of the internet: secrecy vs transparency.
Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011
Safe, multiphase bounds check elimination in Java.
Softw. Pract. Exp., 2011

2009
Safe bounds check annotations.
Concurr. Comput. Pract. Exp., 2009

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.
Proceedings of the Static Analysis, 16th International Symposium, 2009

2008
Speculative improvements to verifiable bounds check elimination.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008


  Loading...