Follow
Tomas Uribe
Tomas Uribe
relational.ai
Verified email at relational.ai
Title
Cited by
Cited by
Year
STeP: Deductive-algorithmic verification of reactive and real-time systems
N Bjørner, A Browne, E Chang, M Colón, A Kapur, Z Manna, HB Sipma, ...
International Conference on Computer Aided Verification, 415-418, 1996
1911996
Generating finite-state abstractions of reactive systems using decision procedures
MA Colón, TE Uribe
International Conference on Computer Aided Verification, 293-304, 1998
1711998
Verifying temporal properties of reactive systems: A STeP tutorial
NS Bjørner, A Browne, MA Colón, B Finkbeiner, Z Manna, HB Sipma, ...
Formal Methods in System Design 16 (3), 227-270, 2000
1432000
Design and implementation of the CALO query manager
JL Ambite, VK Chaudhri, R Fikes, J Jenkins, S Mishra, M Muslea, T Uribe, ...
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (2), 1751, 2006
1202006
STeP: The stanford temporal prover
Z Manna, N Bjørner, A Browne, E Chang, M Colón, L de Alfaro, ...
Colloquium on Trees in Algebra and Programming, 793-794, 1995
1151995
Ordered binary decision diagrams and the Davis-Putnam procedure
TE Uribe, ME Stickel
International Conference on Constraints in Computational Logics, 34-49, 1994
1111994
GraphStep: A system architecture for sparse-graph algorithms
N Kapre, N Mehta, D Rizzo, I Eslick, R Rubin, TE Uribe, F Thomas Jr, ...
2006 14th Annual IEEE Symposium on Field-Programmable Custom Computing …, 2006
110*2006
GraphStep: A System Architecture for Sparse-Graph Algorithms
I Eslick, R Rubin, TE Uribe, TF Knight Jr, A DeHon
110*
Integration of heterogeneous knowledge sources in the CALO query manager
JL Ambite, VK Chaudhri, R Fikes, J Jenkins, S Mishra, M Muslea, T Uribe, ...
Lecture notes in computer science 3762, 30, 2005
1052005
Deductive verification of real-time systems using STeP
NS Bjorner, Z Manna, HB Sipma, TE Uribe
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT 1231, 22-43, 1997
105*1997
Deductive model checking
HB Sipma, TE Uribe, Z Manna
International Conference on Computer Aided Verification, 208-219, 1996
901996
Deploying a personalized time management agent
P Berry, B Peintner, K Conley, M Gervasio, T Uribe, N Yorke-Smith
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
822006
Active preference learning for personalized calendar scheduling assistance
MT Gervasio, MD Moffitt, ME Pollack, JM Taylor, TE Uribe
Proceedings of the 10th international conference on Intelligent user …, 2005
802005
Automatic analysis of firewall and network intrusion detection system configurations
TE Uribe, S Cheung
Journal of Computer Security 15 (6), 691-715, 2007
772007
An architecture for an adaptive intrusion-tolerant server
A Valdes, M Almgren, S Cheung, Y Deswarte, B Dutertre, J Levy, H Saidi, ...
International Workshop on Security Protocols, 158-178, 2002
742002
Practical partition-based theorem proving for large knowledge bases
B MacCartney, S McIlraith, E Amir, TE Uribe
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI), 2003
732003
STeP
N Bjørner, A Browne, E Chang, M Colon, A Kapur, Z Manna, HB Sipma, ...
The Stanford Temporal Prover, User’s Manual. Technical Report STAN-CS-TR-95 …, 1995
731995
Deductive verification of real-time systems using STeP
NS Bjørner, Z Manna, HB Sipma, TE Uribe
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997
641997
A Knowledge Acquisition Tool for Course of Action Analysis.
K Barker, J Blythe, GC Borchardt, VK Chaudhri, P Clark, PR Cohen, ...
IAAI, 43-50, 2003
582003
Combinations of model checking and theorem proving
TE Uribe
International Workshop on Frontiers of Combining Systems, 151-170, 2000
532000
The system can't perform the operation now. Try again later.
Articles 1–20