Tomás E. Uribe

Publication Activity (10 Years)

Years Active: 1992-2007
Publications (10 Years): 0

Publications

Tomás E. Uribe, Steven Cheung
Automatic analysis of firewall and network intrusion detection system configurations. J. Comput. Secur. 15 (6) (2007)
Pauline M. Berry, Melinda T. Gervasio, Bart Peintner, Tomás E. Uribe, Neil Yorke-Smith
Multi-Criteria Evaluation in User-Centric Distributed Scheduling Agents. AAAI Spring Symposium: Distributed Plan and Schedule Management (2006)
Pauline Berry, Bart Peintner, Ken Conley, Melinda T. Gervasio, Tomás E. Uribe, Neil Yorke-Smith
Deploying a personalized time management agent. AAMAS (2006)
Michael DeLorimier, Nachiket Kapre, Nikil Mehta, Dominic Rizzo, Ian Eslick, Raphael Rubin, Tomás E. Uribe, Thomas F. Knight Jr., André DeHon
GraphStep: A System Architecture for Sparse-Graph Algorithms. FCCM (2006)
Pauline M. Berry, Cory Albright, Emma Bowring, Ken Conley, Kenneth Nitz, Jonathan P. Pearce, Bart Peintner, Shahin Saadati, Milind Tambe, Tomás E. Uribe, Neil Yorke-Smith
Conflict negotiation among personal calendar agents. AAMAS (2006)
José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
Design and Implementation of the CALO Query Manager. AAAI (2006)
Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe
Active preference learning for personalized calendar scheduling assistance. IUI (2005)
Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt
A Personalized Time Management Assistant: Research Directions. AAAI Spring Symposium: Persistent Assistants: Living and Working with AI (2005)
José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. OTM Workshops (2005)
Tomás E. Uribe, Steven Cheung
Automatic analysis of firewall and network intrusion detection system configurations. FMSE (2004)
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe
Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI (2003)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) (2003)
Kim Barker, Jim Blythe, Gary C. Borchardt, Vinay K. Chaudhri, Peter Clark, Paul R. Cohen, Julie Fitzgerald, Kenneth D. Forbus, Yolanda Gil, Boris Katz, Jihie Kim, Gary W. King, Sunil Mishra, Clayton T. Morrison, Kenneth S. Murray, Charley Otstott, Bruce W. Porter, Robert Schrag, Tomás E. Uribe, Jeffrey M. Usher, Peter Z. Yeh
A Knowledge Acquisition Tool for Course of Action Analysis. IAAI (2003)
Joshua Levy, Hassen Saïdi, Tomás E. Uribe
Combining Monitors for Runtime System Verification. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop (2002)
Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253 (1) (2001)
Tomás E. Uribe
Combinations of Model Checking and Theorem Proving. FroCoS (2000)
Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. 16 (3) (2000)
Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. Formal Methods Syst. Des. 15 (1) (1999)
Michael Colón, Tomás E. Uribe
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV (1998)
Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
Visual Abstractions for Temporal Verification. AMAST (1998)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification (1998)
Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
Visual Verification of Reactive Systems. TACAS (1997)
Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
Deductive Verification of Real-Time Systems Using STeP. ARTS (1997)
Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe
A Practical Integration of First-Order Reasoning and Decision Procedures. CADE (1997)
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering (1997)
Henny Sipma, Tomás E. Uribe, Zohar Manna
Deductive Model Checking. CAV (1996)
Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV (1996)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe
STeP: The Stanford Temporal Prover. TAPSOFT (1995)
Tomás E. Uribe, Mark E. Stickel
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL (1994)
Tomás E. Uribe
Sorted Unification Using Set Constraints. CADE (1992)
Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. CADE (1992)