| 2007 |
|---|
| 4 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Christiano Braga,
Azadeh Farzan,
Joe Hendrix,
Peter Csaba Ölveczky,
Miguel Palomino,
Ralf Sasse,
Mark-Oliver Stehr,
Alberto Verdejo:
Some Tools.
All About Maude 2007: 667-693 |
| 3 | EE | José Meseguer,
Ralf Sasse,
Helen J. Wang,
Yi-Min Wang:
A Systematic Approach to Uncover Security Flaws in GUI Logic.
IEEE Symposium on Security and Privacy 2007: 71-85 |
| 2 | EE | Ralf Sasse,
José Meseguer:
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics.
Electr. Notes Theor. Comput. Sci. 176(4): 29-46 (2007) |
| 2005 |
|---|
| 1 | EE | Wolfgang Ahrendt,
Andreas Roth,
Ralf Sasse:
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.
LPAR 2005: 412-426 |
