dblp.uni-trier.dewww.uni-trier.de

Tomás E. Uribe Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
28EETomá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
26EEPauline 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
25EEPauline 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
24EEMelinda 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
23EEJosé 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
22EETomás E. Uribe, Steven Cheung: Automatic analysis of firewall and network intrusion detection system configurations. FMSE 2004: 66-74
2003
21EEAlfonso 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
18EEAlfonso 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
17EEJoshua Levy, Hassen Saïdi, Tomás E. Uribe: Combining Monitors for Runtime System Verification. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
16EENikolaj 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
12EEZohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe: Visual Abstractions for Temporal Verification. AMAST 1998: 28-41
11EEMichael 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
9EENikolaj 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
7EEHenny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. CAV 1996: 208-219
6EENikolaj 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
5EEZohar 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
4EEAnuchit 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
2EETomás E. Uribe: Sorted Unification Using Set Constraints. CADE 1992: 163-177
1EETomá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

Coauthor Index

1Cory Albright [26]
2Luca de Alfaro [5]
3Magnus Almgren [18] [21]
4José Luis Ambite [23] [27]
5Eyal Amir [19]
6Anuchit Anuchitanukul [4]
7Kim Barker [20]
8Pauline M. Berry (Pauline Berry) [25] [26]
9Nikolaj Bjørner [5] [6] [9] [10] [14] [16]
10Jim Blythe (James Blythe) [20]
11Gary C. Borchardt [20]
12Emma Bowring [26]
13Anca Browne (I. A. Draghicescu) [5] [6] [12] [14]
14Edward Y. Chang [5] [6]
15Vinay K. Chaudhri [20] [23] [27]
16Steven Cheung [18] [21] [22] [28]
17Peter Clark [20]
18Paul R. Cohen [20]
19Michael Colón [5] [6] [8] [11] [14]
20Ken Conley [25] [26]
21Yves Deswarte [18] [21]
22Harish Devarajan [5]
23Bruno Dutertre [18] [21]
24Richard Fikes [23] [27]
25Bernd Finkbeiner [8] [14]
26Julie Fitzgerald [20]
27Kenneth D. Forbus [20]
28Alan M. Frisch [1]
29Melinda T. Gervasio [24] [25]
30Yolanda Gil [20]
31Jessica Jenkins [23] [27]
32Arjun Kapur [5] [6]
33Boris Katz [20]
34Jihie Kim [20]
35Gary W. King [20]
36Jaejin Lee [5]
37Joshua Levy [17] [18] [21]
38Bill MacCartney [19]
39Zohar Manna [4] [5] [6] [7] [8] [10] [12] [13] [14] [16]
40Sheila A. McIlraith [19]
41Sunil Mishra [20] [23] [27]
42Michael K. Mitchell [1]
43Michael D. Moffitt [24]
44Clayton T. Morrison [20]
45Kenneth S. Murray [20]
46Maria Muslea [23] [27]
47Kenneth Nitz [26]
48Charley Otstott [20]
49Jonathan P. Pearce [26]
50Bart Peintner [25] [26]
51Martha E. Pollack [24]
52Bruce W. Porter [20]
53Shahin Saadati [26]
54Hassen Saïdi [17] [18] [21]
55Robert Schrag [20]
56Henny B. Sipma (Henny Sipma) [5] [6] [7] [8] [10] [12] [13] [14] [16]
57Victoria Stavridou [18] [21]
58Mark E. Stickel [3] [9]
59Milind Tambe [26]
60Joseph M. Taylor [24]
61Jeffrey M. Usher [20]
62Alfonso Valdes [18] [21]
63Guizhen Yang [23] [27]
64Peter Z. Yeh [20]
65Neil Yorke-Smith [25] [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)