Follow
Julio Cesar Carrasquel
Title
Cited by
Cited by
Year
Towards traffic-oriented spreading factor allocations in LoRaWAN systems
F Cuomo, JC Carrasquel Gamez, A Maurizio, L Scipione, M Campo, ...
2018 17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net), 1-8, 2018
512018
Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach
JC Carrasquel, IA Lomazova, IL Itkin
132019
Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets
JC Carrasquel, IA Lomazova
CEUR Workshop Proceedings. Proceedings of the ICPM Doctoral Consortium co …, 2019
102019
Checking Conformance between Colored Petri Nets and Event Logs⋆
JC Carrasquel, K Mecheraoui, IA Lomazova
LNCS 12602, 435-452, 2021
92021
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
K Mecheraoui, JC Carrasquel, IA Lomazova
https://arxiv.org/abs/2003.07291, 2020
82020
Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
JC Carrasquel, K Mecheraoui
Modeling and Analysis of Information Systems 28 (2), 146-168, 2021
7*2021
Pre-processing network messages of trading systems into event logs for process mining
JC Carrasquel, SA Chuburov, IA Lomazova
Tools and Methods of Program Analysis: 5th International Conference, TMPA …, 2021
72021
Modeling Trading Systems using Petri Net Extensions
JC Carrasquel, IA Lomazova, A Rivkin
62020
Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
JC Carrasquel, A Morales, ME Villapol
Труды института системного программирования РАН 30 (4), 107-128, 2018
62018
Java/PROSEGA: extensión de CPN Tools para la generación de Lenguajes de Autómatas y la reducción de Grafos de Estado a Máquinas de Estado Finito
J Carrasquel
Degree thesis, Faculty of Sciences, School of Computing, Central University …, 2015
22015
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
JC Carrasquel, IA Lomazova
International Conference on Software Testing, Machine Learning and Complex …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–11