Ralf Sasse

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EESantiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
4EEManuel 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
3EEJosé 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
2EERalf 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)
1EEWolfgang Ahrendt, Andreas Roth, Ralf Sasse: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR 2005: 412-426

Coauthor Index

1Wolfgang Ahrendt [1]
2Christiano Braga (Christiano de O. Braga) [4]
3Manuel Clavel [4]
4Francisco Durán [4]
5Steven Eker [4]
6Santiago Escobar [5]
7Azadeh Farzan [4]
8Joe Hendrix [4]
9Patrick Lincoln [4]
10Narciso Martí-Oliet [4]
11José Meseguer [2] [3] [4] [5]
12Peter Csaba Ölveczky [4]
13Miguel Palomino [4]
14Andreas Roth [1]
15Mark-Oliver Stehr [4]
16Carolyn L. Talcott [4]
17Alberto Verdejo [4]
18Helen J. Wang [3]
19Yi-Min Wang [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)