Tomás E. Uribe

According to our database, Tomás E. Uribe authored at least 31 papers between 1992 and 2007.

Collaborative distances:

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

2007

Automatic analysis of firewall and network intrusion detection system configurations.

Tomás E. Uribe, Steven Cheung

J. Comput. Secur., 2007

2006

GraphStep: A System Architecture for Sparse-Graph Algorithms.

Michael DeLorimier, Nachiket Kapre, Nikil Mehta, Dominic Rizzo, Ian Eslick, Raphael Rubin, Tomás E. Uribe, Thomas F. Knight Jr., André DeHon

Proceedings of the 14th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2006), 2006

Deploying a personalized time management agent.

Pauline Berry, Bart Peintner, Ken Conley, Melinda T. Gervasio, Tomás E. Uribe, Neil Yorke-Smith

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Conflict negotiation among personal calendar agents.

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

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Multi-Criteria Evaluation in User-Centric Distributed Scheduling Agents.

Pauline M. Berry, Melinda T. Gervasio, Bart Peintner, Tomás E. Uribe, Neil Yorke-Smith

Proceedings of the Distributed Plan and Schedule Management, 2006

Design and Implementation of the CALO Query Manager.

José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang

Proceedings of the Proceedings, 2006

2005

Integration of Heterogeneous Knowledge Sources in the CALO Query Manager.

José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Active preference learning for personalized calendar scheduling assistance.

Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe

Proceedings of the 10th International Conference on Intelligent User Interfaces, 2005

A Personalized Time Management Assistant: Research Directions.

Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt

Proceedings of the Persistent Assistants: Living and Working with AI, 2005

2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases.

Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe

Proceedings of the IJCAI-03, 2003

A Knowledge Acquisition Tool for Course of Action Analysis.

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

Proceedings of the Fifteenth Conference on Innovative Applications of Artificial Intelligence, 2003

Dependable Intrusion Tolerance: Technology Demo.

Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Combining Monitors for Runtime System Verification.

Joshua Levy, Hassen Saïdi, Tomás E. Uribe

Proceedings of the Runtime Verification 2002, 2002

An Architecture for an Adaptive Intrusion-Tolerant Server.

Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe

Proceedings of the Security Protocols, 2002

2001

Deductive verification of real-time systems using STeP.

Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Theor. Comput. Sci., 2001

2000

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial.

Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe

Formal Methods Syst. Des., 2000

Combinations of Model Checking and Theorem Proving.

Tomás E. Uribe

Proceedings of the Frontiers of Combining Systems, 2000

1999

Deductive Model Checking.

Henny Sipma, Tomás E. Uribe, Zohar Manna

Formal Methods Syst. Des., 1999

1998

Abstraction-based deductive-algorithmic verification of reactive systems.

Tomás E. Uribe

PhD thesis, 1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe

Proceedings of the International Workshop Tool Support for System Specification, 1998

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.

Michael Colón, Tomás E. Uribe

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Visual Abstractions for Temporal Verification.

Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Visual Verification of Reactive Systems.

Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Abstraction and Modular Verification of Infinite-State Reactive Systems.

Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

A Practical Integration of First-Order Reasoning and Decision Procedures.

Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe

Proceedings of the Automated Deduction, 1997

1996

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.

Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

STeP: The Stanford Temporal Prover.

Zohar Manna, Nikolaj S. 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

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Differential BDDs.

Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Ordered Binary Decision Diagrams and the Davis-Putnam Procedure.

Tomás E. Uribe, Mark E. Stickel

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1992

An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.

Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell

Proceedings of the Automated Deduction, 1992

Sorted Unification Using Set Constraints.

Tomás E. Uribe

Proceedings of the Automated Deduction, 1992