[go: up one dir, main page]

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
662018
Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach
JC Carrasquel, IA Lomazova, IL Itkin
132019
Checking Conformance between Colored Petri Nets and Event Logs⋆
JC Carrasquel, K Mecheraoui, IA Lomazova
LNCS 12602, 435-452, 2021
122021
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
122019
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
92020
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
92018
Pre-processing network messages of trading systems into event logs for process mining
JC Carrasquel, SA Chuburov, IA Lomazova
International Conference on Tools and Methods for Program Analysis, 88-100, 2019
82019
Modeling Trading Systems using Petri Net Extensions
JC Carrasquel, IA Lomazova, A Rivkin
72020
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
6*2021
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
12021
The system can't perform the operation now. Try again later.
Articles 1–11