publications

research articles, ordered in reversed chronological order.

2020

  1. BPM
    Understanding Quality of Declarative Process Models Through the Mental Models of Experts Andaloussi, Amine Abbad, Davis, Christopher J., Burattin, Andrea, López, Hugo A., Slaats, Tijs, and Weber, Barbara In International Conference on Business Process Management (BPM) 2020 [Abstract] [Publisher's copy] [Preprint]
  2. Digital Experiences in Creating Digital Services: Case Work for the Rights of the Child López, Hugo A. Journal of the Belarusian State University. International Relations. 2020
  3. ICSSP
    EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers Hildebrandt, Thomas T., Andaloussi, Amine Abbad, Christensen, Lars R., Debois, Søren, Healy, Nicklas Pape, López, Hugo A., Marquard, Morten, Møller, Naja L. H., and Petersen, Anette C. M. In International Conference on Software and Systems Process (ICSSP) 2020 [Abstract] [Publisher's copy] [Preprint]
  4. FASE
    Business Process Compliance using Reference Models of Law López, Hugo A., Debois, Søren, Slaats, Tijs, and Hildebrandt, Thomas T. In 23rd Intl. Conf. on Fundamental Approaches to Software Engineering (FASE) 2020 [Abstract] [Publisher's copy] [Preprint]
  5. iFM
    Chain of events: Modular Process Models for the Law Debois, Søren, López, Hugo A., Slaats, Tijs, Andaloussi, Amine Abbad, and Hildebrandt, Thomas T. In 16th International Conference on integrated Formal Methods (iFM) 2020 [Abstract] [Preprint]
  6. A Type Discipline for Message Passing Parallel Programs Vasconcelos, Vasco Thudichum, Martins, Francisco, López, Hugo A., and Yoshida, Nobuko 2020
  7. Declarative interpretations of session-based concurrency Cano, Mauricio, López, Hugo A., Pérez, Jorge A., and Rueda, Camilo 2020

2019

  1. EDOC
    Assisted Declarative Process Creation from Natural Language Descriptions López, Hugo A., Marquard, Morten, Muttenhaler, Lukas, and Strømsted, Rasmus In 23rd IEEE International Enterprise Distributed Object Computing (EDOC) 2019 [Abstract] [Publisher's copy] [Preprint]
  2. FORTE
    Declarative Choreographies and Liveness Hildebrandt, Thomas T., Slaats, Tijs, López, Hugo A., Debois, Søren, and Carbone, Marco In Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 [Abstract] [Publisher's copy] [Preprint]
  3. ER
    Exploring the Modeling of Declarative Processes Using a Hybrid Approach Andaloussi, Amine Abbad, Buch-Lorentsen, Jon, López, Hugo A., Slaats, Tijs, and Weber, Barbara In Conceptual Modeling (ER) 2019 [Abstract] [Publisher's copy] [Preprint]
  4. Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs López, Hugo A., Debois, Søren, and Hildebrandt, Thomas T. 2019

2018

  1. Compliance-driven Process Development with DCR Graphs López, Hugo A. In EcoKnow’2018 - CAISE 2018 Workshops 2018
  2. BPM
    The Process Highlighter: From Texts to Declarative Processes and Back López, Hugo A., Debois, Søren, Hildebrandt, Thomas T., and Marquard, Morten In Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2018 co-located with 16th International Conference on Business Process Management (BPM 2018), Sydney, Australia, September 9-14, 2018. 2018 [Abstract] [Publisher's copy] [Preprint]
  3. BPM
    Dynamic Evaluation Forms using Declarative Modeling Strømsted, Rasmus, López, Hugo A., Debois, Søren, and Marquard, Morten In Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2018 co-located with 16th International Conference on Business Process Management (BPM 2018), Sydney, Australia, September 9-14, 2018. 2018 [Abstract] [Publisher's copy] [Preprint]

2017

  1. SAC
    Choreographing cyber-physical distributed control systems for the energy sector López, Hugo A., and Heussen, Kai In ACM Simposium of Applied Computing, SAC 2017 [Abstract] [Publisher's copy] [Preprint]

2016

  1. PLACES
    Type-checking Availability in Choreographic Programming López, Hugo A., Nielson, Flemming, and Nielson, Hanne Riis 2016 [Abstract] [Preprint]
  2. ArXiv
    A Theory of Available-by-Design Communication Systems López, Hugo A., Nielson, Flemming, and Nielson, Hanne Riis CoRR 2016 [Abstract] [Publisher's copy]
  3. FORTE
    Enforcing Availability in Failure-Aware Communicating Systems López, Hugo A., Nielson, Flemming, and Nielson, Hanne Riis In Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 [Abstract] [Publisher's copy] [Preprint]

2015

  1. PPDP
    Declarative interpretations of session-based concurrency Cano, Mauricio, López, Hugo A., Pérez, Jorge A., and Rueda, Camilo In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 2015 [Abstract] [Publisher's copy] [Preprint]
  2. OOPSLA
    Protocol-based verification of message-passing parallel programs López, Hugo A., Marques, Eduardo R. B., Martins, Francisco, Ng, Nicholas, Santos, César, Vasconcelos, Vasco Thudichum, and Yoshida, Nobuko In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015 2015 [Abstract] [Publisher's copy] [Preprint]

2014

  1. Type-Based Verification of Message-Passing Parallel Programs Vasconcelos, Vasco Thudichum, Martins, Francisco, Marques, Eduardo R. B., López, Hugo A., Santos, César, and Yoshida, Nobuko 2014 [Abstract] [Preprint]

2013

    2012

    1. FIT
      Refinement for Transition Systems with Responses Carbone, Marco, Hildebrandt, Thomas T., López, Hugo A., Perrone, Gian, and Wasowski, Andrzej In 4th. International Workshop on Foundations of Interface Technologies (FIT) 2012 [Preprint]
    2. Ph.D. Thesis
      López, H. A. (2012). Foundations of Communication-Centred Programming [PhD thesis]. IT University of Copenhagen. [Abstract] [Preprint]
    3. WS-FM
      Time and Exceptional Behavior in Multiparty Structured Interactions López, Hugo A., and Pérez, Jorge A. In Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers 2012 [Abstract] [Publisher's copy] [Preprint]

    2011

    1. NWPT
      Open Mixed Refinement Carbone, Marco, Hildebrandt, Thomas, and López, Hugo A. In Nordic Workshop of Programming Theory (NWPT) 2011 [Preprint]
    2. PLACES
      Timed, Compensable Conversations López, Hugo A., and Pérez, Jorge A. In PLACES’11: Programming Language Approaches to Concurrency and Communication-cEntric Software 2011 [Abstract] [Preprint]

    2010

    1. PLACES
      A Logic for Choreographies Carbone, Marco, Grohmann, Davide, Hildebrandt, Thomas T., and López, Hugo A. In Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. 2010 [Abstract] [Publisher's copy] [Preprint]
    2. ICLP-DC
      Models for Trustworthy Service and Process Oriented Systems López, Hugo A. In Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK 2010 [Abstract] [Publisher's copy] [Preprint]

    2009

    1. Jour.Mat.
      Process Calculi to Analyze Emerging Applications in Concurrency Arbeláez, Alejandro, Aristizábal, Andrés, Gutiérrez, Julian, López, Hugo A., Pérez, Jorge A., Rueda, Camilo, and Valencia, Frank D. Matématicas: Enseñanza Universitaria 2009 [Abstract] [Preprint]
    2. ICLP
      Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming Hildebrandt, Thomas T., and López, Hugo A. In Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings 2009 [Abstract] [Publisher's copy] [Preprint]
    3. PLACES
      Towards a Unified Framework for Declarative Structured Communications López, Hugo A., Olarte, Carlos, and Pérez, Jorge A. In Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009. 2009 [Abstract] [Publisher's copy] [Preprint]
    4. MSc Thesis
      López, H. A. (2009). Formal Models for Trustworthy Process and Service Oriented Systems [Master's thesis]. IT University of Copenhagen. [Abstract] [Preprint]

    2008

      2007

      1. SemSOC
        Goal-Equivalent Secure Business Process Re-engineering López, Hugo A., Massacci, Fabio, and Zannone, Nicola In Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers 2007 [Abstract] [Publisher's copy] [Preprint]
      2. MOTHIS
        Goal-Equivalent Secure Business Process Re-engineering for E-Health López, Hugo A., Massacci, Fabio, and Zannone, Nicola In Model Based Trustworthy Health Information Systems (MOTHIS’07) 2007 [Abstract] [Preprint]

      2006

      1. ICLP
        A Declarative Framework for Security: Secure Concurrent Constraint Programming López, Hugo A., Palamidessi, Catuscia, Pérez, Jorge Andrés, Rueda, Camilo, and Valencia, Frank D. In Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 [Abstract] [Publisher's copy] [Preprint]
      2. TFIT
        Formally reasoning about security issues in P2P protocols: A case study. Aristizábal, Andrés, López, Hugo A., Valencia, Frank D., and Rueda, Camilo In Third Taiwanese-French Conference on Information Technology (TFIT) 2006 [Abstract] [Preprint]
      3. BSc.Thesis
        Aristizábal, A., & López, H. A. (2006). Using Process Calculi to model and Verify Security Properties in Real Communication Protocols [Master's thesis]. Pontificia Universidad Javeriana. [Abstract] [Preprint]

      2005

      1. ALP-newsletter
        Using a Declarative Process Language for P2P Protocols Aristizábal, Andrés, López, Hugo A., and Rueda, Camilo The Association for Logic Programming (ALP) Newsletter Digest 2005 [Abstract] [Publisher's copy] [Preprint]