Search the dblp DataBase

Publications of Author

1. Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
   The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:281-285 [Conf]
   
2. Jorge Cuéllar
   Formal Methods in an Industrial Environment. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:57-60 [Conf]
   
3. Jorge Cuéllar, Dieter Barnard, Martin Huber
   A Solution Relying on the Model Checking of Boolean Transition Systems. [Citation Graph (0, 0)][DBLP]
   Formal Systems Specification, 1994, pp:213-251 [Conf]
   
4. Jorge Cuéllar, Isolde Wildgruber
   The Steam-Boiler Problem - A TLT Solution. [Citation Graph (0, 0)][DBLP]
   Formal Methods for Industrial Applications, 1995, pp:165-183 [Conf]
   
5. Jorge Cuéllar, Isolde Wildgruber
   The Real-Time Behavior of the Steam Boiler. [Citation Graph (0, 0)][DBLP]
   Formal Methods for Industrial Applications, 1995, pp:184-202 [Conf]
   
6. Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard
   Combining the Design of Industrial Systems with Effective Verification Techniques. [Citation Graph (0, 0)][DBLP]
   FME, 1994, pp:639-658 [Conf]
   
7. David von Oheimb, Jorge Cuéllar
   Designing and Verifying Core Protocols for Location Privacy. [Citation Graph (0, 0)][DBLP]
   ISC, 2006, pp:502-516 [Conf]
   
8. Jorge Cuéllar, Martin Huber
   TLT. [Citation Graph (0, 0)][DBLP]
   Formal Development of Reactive Systems, 1995, pp:151-169 [Conf]
   
9. Jorge Cuéllar, Edwin Schicker
   Lockperformance in Betriebssystemen. [Citation Graph (0, 0)][DBLP]
   MMB, 1989, pp:241-254 [Conf]
   
10. Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
    Development of Safety-Critical Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:206-235 [Conf]
    
11. Jorge Cuéllar, Dieter Barnard, Martin Huber
    Rapid Prototyping for an Assertional Specification language. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:402-406 [Conf]
    
12. Dines Bjørner, Jorge Cuéllar
    Software Engineering Education: Rôles of Formal Specification and Design Calculi. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1998, v:6, n:, pp:365-409 [Journal]
    
13. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
    Automated Reasoning for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:1-2, pp:1-3 [Journal]
    
14. Jorge Cuéllar, Stefania Gnesi, Diego Latella
    Foreword. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:1-3 [Journal]
    
15. Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar
    Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:28-39 [Conf]
    
16. 
    Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. [Citation Graph (, )][DBLP]