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 | 54 | 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 |
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 | 10 | 2019 |
Checking Conformance between Colored Petri Nets and Event Logs⋆ JC Carrasquel, K Mecheraoui, IA Lomazova LNCS 12602, 435-452, 2021 | 8 | 2021 |
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 | 8 | 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 | 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 | 7 | 2021 |
Modeling Trading Systems using Petri Net Extensions JC Carrasquel, IA Lomazova, A Rivkin | 6 | 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 | 6 | 2018 |
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 | | 2021 |