Karin Greimel

According to our database1, Karin Greimel
  • authored at least 8 papers between 2008 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Synthesizing robust systems.
Acta Inf., 2014

2012
Formal security policy models for smart card evaluations.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Specification-centered robustness.
Proceedings of the Industrial Embedded Systems (SIES), 2011

2010
RATSY - A New Requirements Analysis Tool with Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Robustness in the Presence of Liveness.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Synthesizing robust systems.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Open Implication.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008


  Loading...