Julio Cesar Carrasquel Gamez
- Research Assistant:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Visiting Lecturer:Faculty of Computer Science / Big Data and Information Retrieval School
- Postgraduate Student:Faculty of Computer Science / School of Software Engineering
- Julio Cesar Carrasquel Gamez has been at HSE University since 2018.
Responsibilities
- Research on analysis of software systems and business processes using event logs and formal models (Process mining and Petri nets)
Recent research works and presentations in conferences
- Checking Conformance between Colored Petri Nets and Event Logs (AIST-2020) [Slides] [Paper] [Talk] ("Best Paper" Award - Process Mining Track)
- Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems (MACSPro-2020) [Paper]
- Modeling Trading Systems using Petri Net Extensions (PNSE-2020) [Slides] [Paper] [Talk]
Teaching Activity
Lecturer for seminars
- Introduction to Programming (Programming in C++). Bachelor's Program in Data Science and Business Analytics (January-June, 2021) [Workshop site in Github]
- Lecturer for seminars of the course "Algorithms and Data Structures 2". Bachelor's Program in Data Science and Business Analytics (September-December, 2020).
Research tasks
- Development of new methods for the validation of software systems using high-level classes of Petri net models. Conformance checking for validating data- and agent-related aspects of software systems.
- Experimental evaluation of the developed methods using the study case of trading systems.
- Definition of a new modeling notation for describing the management of data and the interaction of agents in trading systems.
Education
- 2018
Master's in Engineering in Computer Science
Sapienza University of Rome - 2015
Degree in Computer Science
Центральный университет Венесуэлы

Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2020-2021)
Postgraduate Studies
3rd year of study
Approved topic of thesis: Formal modelling and validation of stock trading systems behavior: a Petri net approach
Academic Supervisor: Lomazova, Irina A.
Conferences
- 2020International Workshop on Petri Nets and Software Engineering (PNSE-2020) - a satellite event of 41st International Conference on Application and Theory of Petri nets and Concurrency (Онлайн). Presentation: Modeling Trading Systems using Petri Net Extensions
- AIST, the 9th International Conference on Analysis of Images, Social Networks and Texts (online). Presentation: Checking Conformance between Colored Petri Nets and Event Logs
- Modeling and Analysis of Complex Systems and Processes MACSPro'2020 (Венеция). Presentation: Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
- 2019Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Presentation: Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach
- International Conference on Process Mining (ICPM 2019) (Doctoral Consortium Track) (Ахен). Presentation: Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets
- International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019) (Тбилиси). Presentation: Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining
- 2018Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018) (Capri Island). Presentation: Towards traffic-oriented spreading factor allocations in LoRaWAN systems
- Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Presentation: Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
20211
20204
- Preprint Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A. Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems / Cornell University. Series Computer Science "arxiv.org". 2020.
- Chapter Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A. Compositional conformance checking of nested petri nets and event logs of multi-agent systems, in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020) / Ed. by Alexander Shapoval, V. Popov, I. Makarov. Vol. 2795. CEUR Workshop Proceedings, 2020. P. 34-45.
- Chapter Carrasquel Gamez J. C., Lomazova I. A., Rivkin A. Modeling Trading Systems using Petri Net Extensions, in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020) Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020. P. 118-137.
- Chapter Carrasquel Gamez J. C., Chuburov S. A., Lomazova I. A. Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining, in: Proceedings of the International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019). Springer, 2020. (in press)
20192
- Chapter Julio C. Carrasquel, Lomazova I. A. Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets, in: ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings. CEUR-WS.org, 2019. Ch. 4. P. 1-12.
- Chapter Carrasquel Gamez J. C., Lomazova I. A., Itkin I. L. Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 92-103.
20182
- Article Carrasquel Gamez J. C., Morales A., Villapol M. E. Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 4. P. 107-128. doi
- Chapter Cuomo F., Carrasquel Gamez J. C., Maurizio A., Scipione L., Campo M., Caponi A., Bianchi G., Rossini G., Pisani P. Towards Traffic-oriented Spreading Factor allocations in LoRaWAN systems, in: 2018 17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net), June 20-22, 2018, Capri Island, Italy. New Jersey : IEEE, 2018. P. 1-8. doi
Employment history
Research Affiliations
- PAIS Process-Aware Information Systems Laboratory (November 2018 - Present). Higher School of Economics. Moscow, Russia.
- DIET Deparment of Information, Electronic and Communication Engineering (July 2017 - January 2018). La Sapienza University of Rome. Rome, Italy.
- ICARO Mobile, Wireless and Distributed Networks Laboratory (January 2015 - August 2015). Central University of Venezuela. Caracas, Venezuela.
Industrial/Work Experience
- INTECS Solutions SpA (January 2017 - April 2017). Rome, Italy. Embedded Software Practitioner/Traineeship. Responsibilities: Development of a tank water-level & temperature monitoring system using ultra low-power microcontrollers. A report of the developed system is available here: Tank water-level & temperature monitoring embedded system
(PDF, 1,85 Мб) - Bee Concept Solutions (January 2016 - May 2016). Caracas, Venezuela. Java Software Engineer. Responsibilities: Development of a payment notification module within a B2B platform covering all tasks throughout the software development process. The web application framework was Struts (based in Java).
- Wincor Nixdorf International (nowadays Diebold Nixdorf, August 2013 - May 2015). Caracas, Venezuela. Android and Desktop Solutions Developer. Responsibilities: Development of mobile (Android) and desktop (JavaFX) software clients, as consumers of RESTful services within a service-oriented architecture (SOA) for providing banking and financial services.
PAIS Laboratory intern
Khalil Mecheraoui, an Algerian intern at the Laboratory of Process-Aware Information Systems (PAIS), talks about his internship grant, his work at the laboratory, and the presentation at MACS’Pro conference.