Tomás E. Uribe

34 papers A* 5A 7C 1Misc 1Journal 4Unranked 14

Year	Rank	Type	Title / Venue / Authors
2007	J	`jnl`	Automatic analysis of firewall and network intrusion detection system configurations. J. Comput. Secur. Tomás E. Uribe, Steven Cheung
2006	A	`conf`	Conflict negotiation among personal calendar agents. AAMAS 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
2006	A	`conf`	Deploying a personalized time management agent. AAMAS Pauline Berry, Bart Peintner, Ken Conley, Melinda T. Gervasio, Tomás E. Uribe, Neil Yorke-Smith
2006	A*	`conf`	Design and Implementation of the CALO Query Manager. AAAI José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
2006	Misc	`conf`	GraphStep: A System Architecture for Sparse-Graph Algorithms. FCCM Michael DeLorimier, Nachiket Kapre, Nikil Mehta, Dominic Rizzo, Ian Eslick, Raphael Rubin, Tomás E. Uribe, Thomas F. Knight Jr., André DeHon
2006	—	`conf`	Multi-Criteria Evaluation in User-Centric Distributed Scheduling Agents. AAAI Spring Symposium: Distributed Plan and Schedule Management Pauline M. Berry, Melinda T. Gervasio, Bart Peintner, Tomás E. Uribe, Neil Yorke-Smith
2005	—	`conf`	A Personalized Time Management Assistant: Research Directions. AAAI Spring Symposium: Persistent Assistants: Living and Working with AI Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt
2005	A	`conf`	Active preference learning for personalized calendar scheduling assistance. IUI Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe
2005	—	`conf`	Integration of Heterogeneous Knowledge Sources in the CALO Query Manager. OTM Workshops José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang
2004	—	`conf`	Automatic analysis of firewall and network intrusion detection system configurations. FMSE Tomás E. Uribe, Steven Cheung
2003	C	`conf`	A Knowledge Acquisition Tool for Course of Action Analysis. IAAI 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
2003	—	`conf`	Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2003	A*	`conf`	Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe
2002	—	`conf`	An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
2002	—	`conf`	Combining Monitors for Runtime System Verification. RV@FLoC Joshua Levy, Hassen Saïdi, Tomás E. Uribe
2001	J	`jnl`	Deductive verification of real-time systems using STeP. Theor. Comput. Sci. Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
2000	—	`conf`	Combinations of Model Checking and Theorem Proving. FroCoS Tomás E. Uribe
2000	J	`jnl`	Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
1999	J	`jnl`	Deductive Model Checking. Formal Methods Syst. Des. Henny Sipma, Tomás E. Uribe, Zohar Manna
1998	—	`—`	Abstraction-based deductive-algorithmic verification of reactive systems. Tomás E. Uribe
1998	—	`conf`	An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe
1998	A*	`conf`	Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures. CAV Michael Colón, Tomás E. Uribe
1998	—	`conf`	Visual Abstractions for Temporal Verification. AMAST Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
1997	A	`conf`	A Practical Integration of First-Order Reasoning and Decision Procedures. CADE Nikolaj S. Bjørner, Mark E. Stickel, Tomás E. Uribe
1997	—	`conf`	Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe
1997	—	`conf`	Deductive Verification of Real-Time Systems Using STeP. ARTS Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
1997	A	`conf`	Visual Verification of Reactive Systems. TACAS Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
1996	A*	`conf`	Deductive Model Checking. CAV Henny Sipma, Tomás E. Uribe, Zohar Manna
1996	A*	`conf`	STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
1995	—	`ch.`	Differential BDDs. Computer Science Today Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe
1995	—	`conf`	STeP: The Stanford Temporal Prover. TAPSOFT 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
1994	—	`conf`	Ordered Binary Decision Diagrams and the Davis-Putnam Procedure. CCL Tomás E. Uribe, Mark E. Stickel
1992	A	`conf`	An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. CADE Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
1992	A	`conf`	Sorted Unification Using Set Constraints. CADE Tomás E. Uribe