2007 |
28 | EE | Tomás E. Uribe,
Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations.
Journal of Computer Security 15(6): 691-715 (2007) |
2006 |
27 | | 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 |
26 | EE | 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: 1467-1468 |
25 | EE | Pauline Berry,
Bart Peintner,
Ken Conley,
Melinda T. Gervasio,
Tomás E. Uribe,
Neil Yorke-Smith:
Deploying a personalized time management agent.
AAMAS 2006: 1564-1571 |
2005 |
24 | EE | 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: 90-97 |
23 | EE | 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: 30-32 |
2004 |
22 | EE | Tomás E. Uribe,
Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations.
FMSE 2004: 66-74 |
2003 |
21 | EE | 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: 128-130 |
20 | | 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: 43-50 |
19 | | Bill MacCartney,
Sheila A. McIlraith,
Eyal Amir,
Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases.
IJCAI 2003: 89-98 |
2002 |
18 | EE | 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: 158-178 |
17 | EE | Joshua Levy,
Hassen Saïdi,
Tomás E. Uribe:
Combining Monitors for Runtime System Verification.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
2001 |
16 | EE | Nikolaj Bjørner,
Zohar Manna,
Henny Sipma,
Tomás E. Uribe:
Deductive verification of real-time systems using STeP.
Theor. Comput. Sci. 253(1): 27-60 (2001) |
2000 |
15 | | Tomás E. Uribe:
Combinations of Model Checking and Theorem Proving.
FroCos 2000: 151-170 |
14 | | 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 in System Design 16(3): 227-270 (2000) |
1999 |
13 | | Henny Sipma,
Tomás E. Uribe,
Zohar Manna:
Deductive Model Checking.
Formal Methods in System Design 15(1): 49-74 (1999) |
1998 |
12 | EE | Zohar Manna,
Anca Browne,
Henny Sipma,
Tomás E. Uribe:
Visual Abstractions for Temporal Verification.
AMAST 1998: 28-41 |
11 | | Michael Colón,
Tomás E. Uribe:
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.
CAV 1998: 293-304 |
1997 |
10 | | Nikolaj Bjørner,
Zohar Manna,
Henny Sipma,
Tomás E. Uribe:
Deductive Verification of Real-Time Systems Using STeP.
ARTS 1997: 22-43 |
9 | | Nikolaj Bjørner,
Mark E. Stickel,
Tomás E. Uribe:
A Practical Integration of First-Order Reasoning and Decision Procedures.
CADE 1997: 101-115 |
8 | | 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: 273-292 |
1996 |
7 | | Henny Sipma,
Tomás E. Uribe,
Zohar Manna:
Deductive Model Checking.
CAV 1996: 208-219 |
6 | | 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: 415-418 |
1995 |
5 | | 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: 793-794 |
4 | | Anuchit Anuchitanukul,
Zohar Manna,
Tomás E. Uribe:
Differential BDDs.
Computer Science Today 1995: 218-233 |
1994 |
3 | | Tomás E. Uribe,
Mark E. Stickel:
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure.
CCL 1994: 34-49 |
1992 |
2 | | Tomás E. Uribe:
Sorted Unification Using Set Constraints.
CADE 1992: 163-177 |
1 | | 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: 721-725 |