Pavel Gonzalez

According to our database, Pavel Gonzalez authored at least 8 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Intensity-Based Identification of Reflective Surfaces for Occupancy Grid Map Modification.

Alicia Mora, Adrián Prados, Pavel Gonzalez, Luis Moreno, Ramón Barber

IEEE Access, 2023

2022

Multi-LiDAR Mapping for Scene Segmentation in Indoor Environments for Mobile Robots.

Pavel Gonzalez, Alicia Mora, Santiago Garrido, Ramón Barber, Luis Moreno

Sensors, 2022

2018

Head-up Displays (HUD) in driving.

Marcos Maroto, Enrique Caño, Pavel Gonzalez, Diego Villegas

CoRR, 2018

2015

Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

2014

Model checking GSM-based multi-agent systems.

Pavel Gonzalez

PhD thesis, 2014

2013

Model Checking GSM-Based Multi-Agent Systems.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

2012

Automated Verification of Quantum Protocols using MCMAS

Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Verifying GSM-Based Business Artifacts.

Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012