Travelled to:1 × Canada
1 × Czech Republic
1 × Estonia
1 × Germany
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:M.Ochoa D.Barnard ∅ R.Rios J.Jürjens M.Huber I.Wildgruber A.Armando Y.Chevalier L.Compagna S.Mödersheim D.v.Oheimb M.Rusinowitch M.Turuani L.Viganò D.A.Basin Y.Boichut P.H.Drielsma P.Héam O.Kouchnarenko J.Mantovani J.Santiago L.Vigneron W.Arsac T.Avanesov M.Barletta A.Calvi A.Cappai R.Carbone G.Erzse S.Frau M.Minea G.Pellegrino S.E.Ponta M.Rocchetto M.T.Dashti
Talks about:industri (2) valid (2) secur (2) autom (2) indistinguish (1) architectur (1) avantssar (1) techniqu (1) prototyp (1) protocol (1)
Person: Jorge Cuéllar
DBLP: Cu=eacute=llar:Jorge
Facilitated 1 volumes:
EdContributed to:
2012
2012
2012
2005199819961994Wrote 7 papers:
- SAC-2012-CuellarOR #privacy
- Indistinguishable regions in geographic privacy (JC, MO, RR), pp. 1463–1469.
- TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
- TOOLS-EUROPE-2012-OchoaJC #uml
- Non-interference on UML State-Charts (MO, JJ, JC), pp. 219–235.
- CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security #validation
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (AA, DAB, YB, YC, LC, JC, PHD, PCH, OK, JM, SM, DvO, MR, JS, MT, LV, LV), pp. 281–285.
- CAV-1998-Cuellar #formal method #industrial
- Formal Methods in an Industrial Environment (JC), pp. 57–60.
- TACAS-1996-CuellarBH #agile #prototype #specification
- Rapid Prototyping for an Assertional Specification language (JC, DB, MH), pp. 402–406.
- FME-1994-CuellarWB #design #effectiveness #industrial #verification
- Combining the Design of Industrial Systems with Effective Verification Techniques (JC, IW, DB), pp. 639–658.