The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jorge Cuéllar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
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