- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j3 |      | Santiago Escobar, Ralf Sasse, José Meseguer: Folding variant narrowing and optimal variant termination. J. Log. Algebr. Program. 81(7-8): 898-928 (2012) |
| c10 | | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90 |
| c9 | | Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang: IBOS: A Correct-By-Construction Modular Browser. FACS 2012: 224-241 |
| 2011 | ||
| c8 | | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse: Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76 |
| 2010 | ||
| c7 | | Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178 |
| c6 | | Santiago Escobar, Ralf Sasse, José Meseguer: Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68 |
| 2009 | ||
| j2 | | Santiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009) |
| c5 | | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer: Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405 |
| 2008 | ||
| c4 | | Santiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93 |
| 2007 | ||
| j1 | | 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) |
| c3 | | 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 |
| c2 | | 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 |
| 2005 | ||
| c1 | | Wolfgang Ahrendt, Andreas Roth, Ralf Sasse: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR 2005: 412-426 |
Colors in the list of coauthors
Last update Mon May 20 06:52:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page