dr. J.A. (Jorge) Perez Parra

Assistant Professor

Research

Postal address:
Nijenborgh
9
Gebouw 5161, ruimte 0376
Groningen
Netherlands
Phone: +31 50 363 3971
Publications
  1. A Typed Model for Dynamic Authorizations

    Ghilezan, S., Jaksic, S., Pantovic, J., Perez, J. A. & Vieira, H. T. 2016 In : Electronic Proceedings in Theoretical Computer Science. 203, p. 73-84 12 p.

    Research output: Contribution to journalArticle

  2. Relating Process Languages for Security and Communication Correctness (Extended Abstract)

    Nantes, D. & Pérez, J. A. 2018 p. 79-100 22 p.

    Research output: Contribution to conferencePaper

  3. Runtime Verification for Decentralised and Distributed Systems

    Francalanza, A., Pérez, J. A. & Sánchez, C. Feb-2018 Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Causally consistent reversible choreographies: A monitors-as-memories approach

    Mezzina, C. A. & Perez , J. A. 2017 Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). ACM Press Digital Library, p. 127-138

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Session-Based Concurrency, Reactively

    Cano Grijalba, M., Arias, J. & Perez Parra, J. A. 2017 Proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects,Components, and Systems (FORTE 2017): FORTE 2017: Formal Techniques for Distributed Objects, Components, and Systems. Springer Verlag, p. 74-91 18 p. (Lecture Notes in Computer Science ; vol. 10321)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (53) »

Prizes
  1. NWO VIDI: Unifying Correctness for Communicating Software

    Jorge Perez Parra (Recipient), Jun-2018

    Prize: Fellowship awarded competitively

View all (1) »

View graph of relations

ID: 10336811