Travelled to:1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:∅ T.T.Hildebrandt C.Rueda M.Cano J.A.Pérez C.Palamidessi J.A.Pérez F.D.Valencia E.R.B.Marques F.Martins N.Ng C.Santos V.T.Vasconcelos N.Yoshida
Talks about:program (3) concurr (3) secur (3) constraint (2) declar (2) base (2) trustworthi (1) interpret (1) framework (1) protocol (1)
Person: Hugo A. López
DBLP: L=oacute=pez:Hugo_A=
Contributed to:
2015
2015
201020092006Wrote 5 papers:
- OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
- Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
- PPDP-2015-CanoRLP #concurrent #declarative
- Declarative interpretations of session-based concurrency (MC, CR, HAL, JAP), pp. 67–78.
- ICLP-2010-Lopez10 #modelling #process
- Models for Trustworthy Service and Process Oriented Systems (HAL), pp. 270–276.
- ICLP-2009-HildebrandtL #concurrent #constraints #pattern matching #programming
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (TTH, HAL), pp. 417–431.
- ICLP-2006-LopezPPRV #concurrent #constraints #declarative #framework #programming #security
- A Declarative Framework for Security: Secure Concurrent Constraint Programming (HAL, CP, JAP, CR, FDV), pp. 449–450.