Jorge Cuéllar

Jorge Ricardo Cuellar

	2012
23		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
	2011
22		Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner: Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers Springer 2011
	2010
21		Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran: Scalable RFID systems: a privacy-preserving protocol with constant-time identification. DSN 2010: 1-10
20		Basel Alomair, Andrew Clark, Jorge Cuéllar, Radha Poovendran: Statistical Framework for Source Anonymity in Sensor Networks. GLOBECOM 2010: 1-6
	2008
19		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
18		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
17		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
16		Jorge Cuéllar, Zhiming Liu: SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 6(1): 37-38 (2007)
	2006
15		David von Oheimb, Jorge Cuéllar: Designing and Verifying Core Protocols for Location Privacy. ISC 2006: 502-516
14		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
13		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
12		Jorge Cuéllar, Stefania Gnesi, Diego Latella: Foreword. Sci. Comput. Program. 36(1): 1-3 (2000)
	1998
11		Jorge Cuéllar: Formal Methods in an Industrial Environment. CAV 1998: 57-60
10		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
9		Jorge Cuéllar, Dieter Barnard, Martin Huber: Rapid Prototyping for an Assertional Specification language. TACAS 1996: 402-406
	1995
8		Jorge Cuéllar, Martin Huber: TLT. Formal Development of Reactive Systems 1995: 151-169
7		Jorge Cuéllar, Isolde Wildgruber: The Steam-Boiler Problem - A TLT Solution. Formal Methods for Industrial Applications 1995: 165-183
6		Jorge Cuéllar, Isolde Wildgruber: The Real-Time Behavior of the Steam Boiler. Formal Methods for Industrial Applications 1995: 184-202
5		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
4		Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard: Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658
3		Jorge Cuéllar, Dieter Barnard, Martin Huber: A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification 1994: 213-251
	1993
2		Jorge Ricardo Cuellar, Hans-Ulrich Simon: Neural Discriminant Analysis. ALT 1993: 223-236
	1989
1		Jorge Cuéllar, Edwin Schicker: Lockperformance in Betriebssystemen. MMB 1989: 241-254

Coauthor Index

1	Basel Alomair	[20] [21]
2	Alessandro Armando	[13] [14] [18] [23]
3	Wihem Arsac	[23]
4	Tigran Avanesov	[23]
5	Michele Barletta	[23]
6	Dieter Barnard	[3] [4] [9]
7	Gilles Barthe	[22]
8	David A. Basin	[13] [14]
9	Dines Bjørner	[10]
10	Yohan Boichut	[13]
11	Jens-Uwe Bußer	[17]
12	Alberto Calvi	[23]
13	Alessandro Cappai	[23]
14	Roberto Carbone	[18] [23]
15	Yannick Chevalier	[13] [23]
16	Andrew Clark	[20] [21]
17	Luca Compagna	[13] [18] [23]
18	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[23]
19	Paul Hankes Drielsma	[13]
20	Gabriel Erzse	[23]
21	Simone Frau	[23]
22	Stefania Gnesi	[12]
23	Pierre-Cyrille Héam	[13]
24	Martin Huber	[3] [8] [9]
25	Olga Kouchnarenko	[13]
26	Diego Latella	[12]
27	Mingyan Li	[17]
28	Scott Lintelman	[17]
29	Zhiming Liu	[16]
30	Javier Lopez	[22]
31	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[19]
32	Jacopo Mantovani	[13]
33	Marius Minea	[23]
34	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[13] [23]
35	Simon Mørk	[5]
36	David von Oheimb	[13] [15] [17] [23]
37	Giancarlo Pellegrino	[23]
38	Serena Elisa Ponta	[23]
39	Radha Poovendran	[17] [20] [21]
40	Alexander Pretschner	[22]
41	Anders P. Ravn	[5]
42	Hans Rischel	[5]
43	Richard Robinson	[17]
44	Marco Rocchetto	[23]
45	Michaël Rusinowitch	[13] [14] [23]
46	Krishna Sampigethaya	[17]
47	Judson Santiago	[13]
48	Edwin Schicker	[1]
49	Kaisa Sere	[19]
50	Hans Ulrich Simon (Hans-Ulrich Simon)	[2]
51	M. Llanos Tobarra	[18]
52	Mathieu Turuani	[13] [23]
53	Luca Viganò	[13] [14] [23]
54	Laurent Vigneron	[13]
55	Isolde Wildgruber	[4] [5] [6] [7]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page