The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralf Sasse: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
    Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:412-426 [Conf]
  2. José Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
    A Systematic Approach to Uncover Security Flaws in GUI Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 2007, pp:71-85 [Conf]
  3. Ralf Sasse, José Meseguer
    Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:29-46 [Journal]

  4. Model-Checking DoS Amplification for VoIP Session Initiation. [Citation Graph (, )][DBLP]


  5. Effectively Checking the Finite Variant Property. [Citation Graph (, )][DBLP]


  6. Some Tools. [Citation Graph (, )][DBLP]


  7. Variant Narrowing and Equational Unification. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002