Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Raul Monroy
Raúl Monroy Borja
2010 – today
- 2012
[j11]- [j10]Iván S. Razo-Zapata, J. Carlos Mex-Perera, Raúl Monroy Borja: Masquerade attacks based on user's profile. Journal of Systems and Software 85(11): 2640-2651 (2012)
- [j9]Karen A. García, Raul Monroy, Luis A. Trejo, J. Carlos Mex-Perera, Eduardo Aguirre-Bermúdez: Analyzing Log Files for Postmortem Intrusion Detection. IEEE Transactions on Systems, Man, and Cybernetics, Part C 42(6): 1690-1704 (2012)
- 2011
- [c26]Benito Camiña, Raul Monroy, Luis A. Trejo, Erika Sánchez: Towards Building a Masquerade Detection Method Based on User File System Navigation. MICAI (1) 2011: 174-186
- 2010
- [c25]Israel Becerra, Rafael Murrieta-Cid, Raul Monroy: Evader surveillance under incomplete information. ICRA 2010: 5511-5518
- [c24]Raul Monroy: Some Encounters on the Productive Use of a Failed Proof Attempt or a Counterexample. MICAI (1) 2010: 1-12
2000 – 2009
- 2009
- [j8]Raul Monroy, Alan Bundy, Ian Green: On Process Equivalence = Equation Solving in CCS. J. Autom. Reasoning 43(1): 53-80 (2009)
- [c23]Dieter Hutter, Raul Monroy: On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154
- [e2]Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos A. Reyes García (Eds.): MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings. Lecture Notes in Computer Science 5845, Springer 2009, ISBN 978-3-642-05257-6
- 2008
- [j7]Juan Carlos López Pimentel, Raul Monroy: Formal Support to Security Protocol Development: A Survey. Computación y Sistemas 12(1) (2008)
- [c22]Rafael Murrieta-Cid, Raul Monroy, Seth Hutchinson, Jean-Paul Laumond: A Complexity result for the pursuit-evasion game of maintaining visibility of a moving evader. ICRA 2008: 2657-2664
- 2007
- [j6]Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. Electr. Notes Theor. Comput. Sci. 174(4): 117-130 (2007)
- [c21]Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter: On the Automated Correction of Security Protocols Susceptible to a Replay Attack. ESORICS 2007: 594-609
- 2006
- [j5]Benjamín Tovar, Lourdes Muñoz-Gómez, Rafael Murrieta-Cid, Moises Alencastre-Miranda, Raul Monroy, Seth Hutchinson: Planning exploration strategies for simultaneous localization and mapping. Robotics and Autonomous Systems 54(4): 314-331 (2006)
- [c20]Fernando Godínez, Dieter Hutter, Raul Monroy: On the Use of Word Networks to Mimicry Attack Detection. ETRICS 2006: 423-435
- [c19]Víctor H. García, Raul Monroy, Maricela Quintana: Web Attack Detection Using ID3. IFIP PPAI 2006: 323-332
- [c18]Anna V. Álvarez, Karen A. García, Raul Monroy, Luis A. Trejo, Jesús Vázquez: A Tool for Managing Security Policies in Organisations. IWSEC 2006: 378-388
- [c17]Román Posadas, J. Carlos Mex-Perera, Raul Monroy, Juan Arturo Nolazco-Flores: Hybrid Method for Detecting Masqueraders Using Session Folding and Hidden Markov Models. MICAI 2006: 622-631
- [c16]Rafael Murrieta-Cid, Raul Monroy: A Hybrid Segmentation Method Applied to Color Images and 3D Information. MICAI 2006: 789-799
- 2005
- [c15]Fernando Godínez, Dieter Hutter, Raul Monroy: Audit File Reduction Using N-Gram Models. Financial Cryptography 2005: 336-340
- [c14]Fernando Godínez, Dieter Hutter, Raul Monroy: On the Role of Information Compaction to Intrusion Detection. ISSADS 2005: 83-97
- [c13]Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala, Seth Hutchinson, Raul Monroy, Moises Alencastre-Miranda, Lourdes Muñoz-Gómez, Ricardo Swain Oropeza: A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach. MICAI 2005: 990-1000
- 2004
- [j4]Raul Monroy, Rosa Saab, Fernando Godínez: On Modelling an Immune System. Computación y Sistemas 7(4) (2004)
- [c12]Fernando Godínez, Dieter Hutter, Raul Monroy: Attribute Reduction for Effective Intrusion Detection. AWIC 2004: 74-83
- [c11]Juan Carlos López Pimentel, Raul Monroy: A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. IBERAMIA 2004: 364-374
- [c10]
- [c9]Fernando Godínez, Dieter Hutter, Raul Monroy: Service Discrimination and Audit File Reduction for Effective Intrusion Detection. WISA 2004: 99-113
- [e1]Raul Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Juan Humberto Sossa Azuela (Eds.): MICAI 2004: Advances in Artificial Intelligence, Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings. Lecture Notes in Computer Science 2972, Springer 2004, ISBN 3-540-21459-3
- 2003
- [j3]Raul Monroy: Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. Autom. Softw. Eng. 10(3): 247-269 (2003)
- [c8]Raul Monroy, Maya Carrillo: On Automating the Formulation of Security Goals under the Inductive Approach. Applied Informatics 2003: 1020-1025
- 2002
- [c7]
- 2001
- [j2]Raúl Monroy Borja, Alan Bundy: On the Correction of Faulty Formulae. Computación y Sistemas 5(1) (2001)
- [c6]
- 2000
- [j1]Raul Monroy, Alan Bundy, Ian Green: Planning Proofs of Equations in CCS. Autom. Softw. Eng. 7(3): 263-304 (2000)
- [c5]Raul Monroy: The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures. ASE 2000: 91-100
- [c4]Raul Monroy, Alan Bundy, Ian Green: Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI 2000: 1-12
1990 – 1999
- 1998
- [c3]Raul Monroy, Alan Bundy, Ian Green: Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. ECAI 1998: 393-397
- [c2]
- 1994
- [c1]Raul Monroy, Alan Bundy, Andrew Ireland: Proof Plans for the Correction of False Conjectures. LPAR 1994: 54-68
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-13 22:08 CEST by the dblp team