J.A. (Jorge) Perez Parra, Prof

Associate Professor in Software Foundations (Grondslagen van Software)

Faculteit Science and Engineering

Telefoon:

050 36 33971

E-mail:

j.a.perez rug.nl

Homepage ORCID Research Portal

Speerpunten

Rigorous programming models for concurrent and message-passing computation.

Publicaties

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

van den Heuvel, B. & Pérez, J. A., 7-okt.-2024, In: Logical Methods in Computer Science. 20, 4, blz. 6:1-6:103 103 blz.

Onderzoeksoutput: Article › › peer review

Around Classical and Intuitionistic Linear Processes

Jaramillo, J. C., Frumin, D. & Pérez, J. A., sep.-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (uitgave). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 blz. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

Onderzoeksoutput › › peer review

Minimal session types for the π-calculus

Arslanagić, A., Pérez, J. A. & Palamariuc, A. A., mrt.-2024, In: Information and Computation. 297, 67 blz., 105148.

Onderzoeksoutput: Article › › peer review

On the relative expressiveness of higher-order session processes

Kouzapas, D., Perez, J. A. & Yoshida, N., okt.-2019, In: Information and Computation. 268, 54 blz., 104433.

Onderzoeksoutput: Article › › peer review

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. (uitgave). Springer, blz. 176-210 35 blz.

Onderzoeksoutput › › peer review

Comparing session type systems derived from linear logic

van den Heuvel, B. & Pérez, J. A., jan.-2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 26 blz., 101004.

Onderzoeksoutput: Article › › peer review

Contrasting Deadlock-Free Session Processes

Jaramillo, J. C. & Pérez, J. A., 25-jun.-2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (uitgave). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29 blz. 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).

Onderzoeksoutput › › peer review

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

van den Heuvel, B. & Pérez, J. A., 11-dec.-2024, (Submitted) arXiv, 20 blz.

Onderzoeksoutput: Voordruk ›

Bit-Vector Typestate Analysis

Arslanagic, A., Subotić, P. & Pérez, J. A., sep.-2023, In: Formal Aspects of Computing. 35, 3, blz. 1-36 36 blz., 19.

Onderzoeksoutput: Article › › peer review

Monitoring Blackbox Implementations of Multiparty Session Protocols

van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-okt.-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (uitgave). Springer, blz. 66-85 20 blz. (Lecture Notes in Computer Science; vol. 14245).

Onderzoeksoutput › › peer review