Carrasquel Julio Cesar

Publications in Math-Net.Ru

1. Object-centric replay-based conformance checking: unveiling desire lines and local deviations
   
   Model. Anal. Inform. Sist., 28:2 (2021),  146–168
2. Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification
   
   Proceedings of ISP RAS, 30:4 (2018),  107–128