 | 2009 |
|---|
| 7 |       | Ravinder Shankesi,
Musab AlTurki,
Ralf Sasse,
Carl A. Gunter,
José Meseguer:
Model-Checking DoS Amplification for VoIP Session Initiation.
ESORICS 2009: 390-405 |
| 6 | | Santiago Escobar,
José Meseguer,
Ralf Sasse:
Variant Narrowing and Equational Unification.
Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009) |
| 2008 |
|---|
| 5 | | Santiago Escobar,
José Meseguer,
Ralf Sasse:
Effectively Checking the Finite Variant Property.
RTA 2008: 79-93 |
| 2007 |
|---|
| 4 | | 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 | | 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 | | 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 | | Wolfgang Ahrendt,
Andreas Roth,
Ralf Sasse:
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.
LPAR 2005: 412-426 |
