Raul Monroy
Raul Monroy
Professor of Computer Science, Tecnologico de Monterrey, Campus Estado de Mexico
Verified email at tec.mx - Homepage
TitleCited byYear
Planning exploration strategies for simultaneous localization and mapping
B Tovar, L Muñoz-Gómez, R Murrieta-Cid, M Alencastre-Miranda, ...
Robotics and Autonomous Systems 54 (4), 314-331, 2006
1182006
A complexity result for the pursuit-evasion game of maintaining visibility of a moving evader
R Murrieta-Cid, R Monroy, S Hutchinson, JP Laumond
2008 IEEE International Conference on Robotics and Automation, 2657-2664, 2008
422008
Analyzing log files for postmortem intrusion detection
KA Garcia, R Monroy, LA Trejo, C Mex-Perera, E Aguirre
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2012
322012
Web attack detection using ID3
VH Garcia, R Monroy, M Quintana
IFIP World Computer Congress, TC 12, 323-332, 2006
322006
Proof plans for the correction of false conjectures
R Monroy, A Bundy, A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1994
311994
Hybrid method for detecting masqueraders using session folding and hidden markov models
R Posadas, C Mex-Perera, R Monroy, J Nolazco-Flores
Mexican International Conference on Artificial Intelligence, 622-631, 2006
302006
PBC4cip: A new contrast pattern-based classifier for class imbalance problems
O Loyola-González, MA Medina-Pérez, JF Martínez-Trinidad, ...
Knowledge-Based Systems 115, 100-109, 2017
242017
Formal support to security protocol development: A survey
JCL Pimentel, R Monroy
Computación y Sistemas 12 (1), 89-108, 2008
212008
A method for patching interleaving-replay attacks in faulty security protocols
JCL Pimentel, R Monroy, D Hutter
Electronic Notes in Theoretical Computer Science 174 (4), 117-130, 2007
182007
The Windows-Users and-Intruder simulations Logs dataset (WUIL): An experimental framework for masquerade detection mechanisms
JB Camiña, C Hernández-Gracidas, R Monroy, L Trejo
Expert Systems with Applications 41 (3), 919-930, 2014
162014
Proof-directed debugging and repair
LA Dennis, R Monroy, P Nogueira
Seventh Symposium on Trends in Functional Programming 2006, 131-140, 2006
162006
Masquerade attacks based on user's profile
INS Razo-Zapata, C Mex-Perera, RL Monroy
Journal of Systems and Software 85 (11), 2640-2651, 2012
152012
Towards a masquerade detection system based on user’s tasks
JB Camiña, J Rodríguez, R Monroy
International Workshop on Recent Advances in Intrusion Detection, 447-465, 2014
142014
Towards building a masquerade detection method based on user file system navigation
B Camiña, R Monroy, LA Trejo, E Sánchez
Mexican International Conference on Artificial Intelligence, 174-186, 2011
142011
Attribute reduction for effective intrusion detection
F Godínez, D Hutter, R Monroy
International Atlantic Web Intelligence Conference, 74-83, 2004
142004
On the automated correction of security protocols susceptible to a replay attack
R Monroy, D Hutter
European Symposium on Research in Computer Security, 594-609, 2007
132007
The use of abduction and recursion-editor techniques for the correction of faulty conjectures
R Monroy
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
132000
Bagging-TPMiner: a classifier ensemble for masquerader detection based on typical objects
MA Medina-Pérez, R Monroy, JB Camiña, M García-Borroto
Soft Computing 21 (3), 557-569, 2017
112017
Temporal and spatial locality: An abstraction for masquerade detection
JB Camina, R Monroy, LA Trejo, MA Medina-Pérez
IEEE transactions on information Forensics and Security 11 (9), 2036-2051, 2016
112016
Cluster validation using an ensemble of supervised classifiers
J Rodríguez, MA Medina-Pérez, AE Gutierrez-Rodríguez, R Monroy, ...
Knowledge-Based Systems 145, 134-144, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20