Jorge Cuéllar

2008
18		Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Springer 2008
17	EE	Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra: Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE 2008: 1-10
2007
16	EE	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. SAFECOMP 2007: 28-39
15	EE	Jorge Cuéllar, Zhiming Liu: SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 6(1): 37-38 (2007)
2006
14	EE	David von Oheimb, Jorge Cuéllar: Designing and Verifying Core Protocols for Location Privacy. ISC 2006: 502-516
13	EE	Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò: Automated Reasoning for Security Protocol Analysis. J. Autom. Reasoning 36(1-2): 1-3 (2006)
2005
12	EE	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. CAV 2005: 281-285
2000
11		Jorge Cuéllar, Stefania Gnesi, Diego Latella: Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
1998
10		Jorge Cuéllar: Formal Methods in an Industrial Environment. CAV 1998: 57-60
9		Dines Bjørner, Jorge Cuéllar: Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng. 6: 365-409 (1998)
1996
8		Jorge Cuéllar, Dieter Barnard, Martin Huber: Rapid Prototyping for an Assertional Specification language. TACAS 1996: 402-406
1995
7		Jorge Cuéllar, Martin Huber: TLT. Formal Development of Reactive Systems 1995: 151-169
6		Jorge Cuéllar, Isolde Wildgruber: The Steam-Boiler Problem - A TLT Solution. Formal Methods for Industrial Applications 1995: 165-183
5		Jorge Cuéllar, Isolde Wildgruber: The Real-Time Behavior of the Steam Boiler. Formal Methods for Industrial Applications 1995: 184-202
4		Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber: Development of Safety-Critical Real-Time Systems. SOFSEM 1995: 206-235
1994
3		Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard: Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658
2		Jorge Cuéllar, Dieter Barnard, Martin Huber: A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification 1994: 213-251
1989
1		Jorge Cuéllar, Edwin Schicker: Lockperformance in Betriebssystemen. MMB 1989: 241-254

Coauthor Index

1	Alessandro Armando	[12] [13] [17]
2	Dieter Barnard	[2] [3] [8]
3	David A. Basin	[12] [13]
4	Dines Bjørner	[9]
5	Yohan Boichut	[12]
6	Jens-Uwe Bußer	[16]
7	Roberto Carbone	[17]
8	Yannick Chevalier	[12]
9	Luca Compagna	[12] [17]
10	Paul Hankes Drielsma	[12]
11	Stefania Gnesi	[11]
12	Pierre-Cyrille Héam	[12]
13	Martin Huber	[2] [7] [8]
14	Olga Kouchnarenko	[12]
15	Diego Latella	[11]
16	Mingyan Li	[16]
17	Scott Lintelman	[16]
18	Zhiming Liu	[15]
19	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[18]
20	Jacopo Mantovani	[12]
21	Sebastian Mödersheim	[12]
22	Simon Mørk	[4]
23	David von Oheimb	[12] [14] [16]
24	Radha Poovendran	[16]
25	Anders P. Ravn	[4]
26	Hans Rischel	[4]
27	Richard Robinson	[16]
28	Michaël Rusinowitch	[12] [13]
29	Krishna Sampigethaya	[16]
30	Judson Santiago	[12]
31	Edwin Schicker	[1]
32	Kaisa Sere	[18]
33	M. Llanos Tobarra	[17]
34	Mathieu Turuani	[12]
35	Luca Viganò	[12] [13]
36	Laurent Vigneron	[12]
37	Isolde Wildgruber	[3] [4] [5] [6]

Colors in the list of coauthors