| 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 | 66 | 2018 |
| Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach JC Carrasquel, IA Lomazova, IL Itkin | 13 | 2019 |
| Checking Conformance between Colored Petri Nets and Event Logs⋆ JC Carrasquel, K Mecheraoui, IA Lomazova LNCS 12602, 435-452, 2021 | 12 | 2021 |
| 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 | 12 | 2019 |
| 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 | 9 | 2020 |
| 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 | 9 | 2018 |
| 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 | 8 | 2019 |
| Modeling Trading Systems using Petri Net Extensions JC Carrasquel, IA Lomazova, A Rivkin | 7 | 2020 |
| 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 | 2 | 2015 |
| 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 | 1 | 2021 |