BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cu=eacute=llar:Jorge

Facilitated 1 volumes:

FM 2008Ed

Contributed to:

SAC 20122012
TACAS 20122012
TOOLS Europe 20122012
CAV 20052005
CAV 19981998
TACAS 19961996
FME 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.