Lockperformance in Betriebssystemen. - Jorge Cuéllar; Edwin Schicker (MMB, 1989)

The Performance of an Expanded Storage System for High Volume Transaction Processing. - Frank-Peter Sette; Othmar Klaassen; Jorge Cuéllar (EUROSIM, 1992)

Neural Discriminant Analysis. - Jorge Ricardo Cuellar; Hans Ulrich Simon (ALT, 1993)

A Solution Relying on the Model Checking of Boolean Transition Systems. - Jorge Cuéllar; Dieter Barnard; Martin Huber 001 (Formal Systems Specification, 1994)

Combining the Design of Industrial Systems with Effective Verification Techniques. - Jorge Cuéllar; Isolde Wildgruber; Dieter Barnard (FME, 1994)

The Steam-Boiler Problem - A TLT Solution. - Jorge Cuéllar; Isolde Wildgruber (Formal Methods for Industrial Applications, 1995)

The Real-Time Behavior of the Steam Boiler. - Jorge Cuéllar; Isolde Wildgruber (Formal Methods for Industrial Applications, 1995)

TLT. - Jorge Cuéllar; Martin Huber 001 (Formal Development of Reactive Systems, 1995)

Development of Safety-Critical Real-Time Systems. - Hans Rischel; Jorge Cuéllar; Simon Mørk; Anders P. Ravn; Isolde Wildgruber (SOFSEM, 1995)

Rapid Prototyping for an Assertional Specification language. - Jorge Cuéllar; Dieter Barnard; Martin Huber 001 (TACAS, 1996)

Formal Methods in an Industrial Environment. - Jorge Cuéllar (CAV, 1998)

Software Engineering Education: Rôles of Formal Specification and Design Calculi. - Dines Bjørner; Jorge Cuéllar (Ann. Softw. Eng., 1998)

Foreword. - Jorge Cuéllar; Stefania Gnesi; Diego Latella (Sci. Comput. Program., 2000)

Geopriv Requirements. - Jorge Cuéllar; John B. Morris; Deirdre K. Mulligan; Jon Peterson; James M. Polk (RFC, 2004)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - 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; et al. (CAV, 2005)

Designing and Verifying Core Protocols for Location Privacy. - David von Oheimb; Jorge Cuéllar (ISC, 2006)

Automated Reasoning for Security Protocol Analysis. - Alessandro Armando; David A. Basin; Jorge Cuéllar; Michaël Rusinowitch; Luca Viganò 001 (J. Autom. Reason., 2006)

Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. - Richard Robinson; Mingyan Li; Scott Lintelman; Krishna Sampigethaya; Radha Poovendran; David von Oheimb; Jens-Uwe Bußer; Jorge Cuéllar (SAFECOMP, 2007)

SoSyM Special Section on Software Engineering and Formal Methods. - Jorge Cuéllar; Zhiming Liu 001 (Softw. Syst. Model., 2007)

Common Policy: A Document Format for Expressing Privacy Preferences. - Henning Schulzrinne; Hannes Tschofenig; John B. Morris; Jorge Ricardo Cuellar; James M. Polk; Jonathan D. Rosenberg (RFC, 2007)

Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. - Alessandro Armando; Roberto Carbone; Luca Compagna; Jorge Cuéllar; Llanos Tobarra (FMSE, 2008)

Statistical Framework for Source Anonymity in Sensor Networks. - Basel Alomair; Andrew Clark 001; Jorge Cuéllar; Radha Poovendran (GLOBECOM, 2010)

From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? - Alessandro Armando; Roberto Carbone; Luca Compagna; Jorge Cuéllar; Giancarlo Pellegrino; Alessandro Sorniotti (SEC, 2011)

Robust Probabilistic Fake Packet Injection for Receiver-Location Privacy in WSN. - Ruben Rios; Jorge Cuéllar; Javier López 001 (ESORICS, 2012)

Indistinguishable regions in geographic privacy. - Jorge Cuéllar; Martín Ochoa; Ruben Rios (SAC, 2012)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - 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; et al. (TACAS, 2012)

Non-interference on UML State-Charts. - Martín Ochoa; Jan Jürjens; Jorge Cuéllar (TOOLS (50), 2012)

Preface. - Gilles Barthe; Jorge Cuéllar; Javier López 001; Alexander Pretschner (J. Comput. Secur., 2012)

Scalable RFID Systems: A Privacy-Preserving Protocol with Constant-Time Identification. - Basel Alomair; Andrew Clark 001; Jorge Cuéllar; Radha Poovendran (IEEE Trans. Parallel Distributed Syst., 2012)

Location Privacy in WSNs: Solutions, Challenges, and Future Trends. - Ruben Rios; Javier López 001; Jorge Cuéllar (FOSAD, 2013)

An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. - Alessandro Armando; Roberto Carbone; Luca Compagna; Jorge Cuéllar; Giancarlo Pellegrino; Alessandro Sorniotti (Comput. Secur., 2013)

Toward a Statistical Framework for Source Anonymity in Sensor Networks. - Basel Alomair; Andrew Clark 001; Jorge Cuéllar; Radha Poovendran (IEEE Trans. Mob. Comput., 2013)

Geolocation Policy: A Document Format for Expressing Privacy Preferences for Location Information. - Henning Schulzrinne; Hannes Tschofenig; Jorge Ricardo Cuellar; James M. Polk; John B. Morris; Martin Thomson (RFC, 2013)

Preserving Receiver-Location Privacy in Wireless Sensor Networks. - Javier López 001; Ruben Rios; Jorge Cuéllar (ISPEC, 2014)

Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture. - Barbora Buhnova; Antonio Vallecillo; Nenad Medvidovic; Magnus Larsson; Javier López 001; Jorge Cuéllar (Sci. Comput. Program., 2014)

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. - Martín Ochoa; Jorge Cuéllar; Alexander Pretschner; Per A. Hallgren (ESSoS, 2015)

Probabilistic receiver-location privacy protection in wireless sensor networks. - Ruben Rios; Jorge Cuéllar; Javier López 001 (Inf. Sci., 2015)

Location Privacy in Wireless Sensor Networks. - Ruben Rios; Javier López 001; Jorge Cuéllar (CRC Press / Taylor & Francis, 2016)

SafeConfig'16: Testing and Evaluation for Active & Resilient Cyber Systems Panel Verification of Active and Resilient Systems: Practical or Utopian? - Nicholas J. Multari; Anoop Singhal; David O. Manz; Robert Cowles; Jorge Cuéllar; Christopher S. Oehmen; Gregory E. Shannon (SafeConfig@CCS, 2016)

Workflow-Aware Security of Integrated Mobility Services. - Prabhakaran Kasinathan; Jorge Cuéllar (ESORICS (2), 2018)

Securing the Integrity of Workflows in IoT. - Prabhakaran Kasinathan; Jorge Cuéllar (EWSN, 2018)

Securing Emergent IoT Applications. - Prabhakaran Kasinathan; Jorge Cuéllar (SETSS, 2018)

Guest Editorial Special Issue on Secure Embedded IoT Devices for Resilient Critical Infrastructures. - Cristina Alcaraz; Mike Burmester; Jorge Cuéllar; Xinyi Huang 001; Panayiotis Kotzanikolaou; Mihalis Psarakis (IEEE Internet Things J., 2019)

Enforcing a Cross-Organizational Workflow: An Experience Report. - Susanne Stahnke; Klym Shumaiev; Jorge Cuéllar; Prabhakaran Kasinathan (BPMDS/EMMSAD@CAiSE, 2020)

Ranking Secure Coding Guidelines for Software Developer Awareness Training in the Industry. - Tiago Gasiba; Ulrike Lechner; Jorge Cuéllar; Alae Zouitni (ICPEC, 2020)

Three Branches of Accountability. - Sebastian Mödersheim; Jorge Cuéllar (Protocols, Strands, and Logic, 2021)

Information Security and Privacy - Challenges and Outlook. - Steven Furnell; Paul S. Haskell-Dowland; Manish Agrawal; Richard L. Baskerville; Anirban Basu 001; Matt Bishop; Jorge Cuéllar; Sara Foresti; Lynn Futcher; Nurit Gal-Oz; Tejaswini (Teju) Herath; Christian Damsgaard Jensen; et al. (IFIP's Exciting First 60+ Years, 2021)