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
1941996
Generating finite-state abstractions of reactive systems using decision procedures
MA Colón, TE Uribe
International Conference on Computer Aided Verification, 293-304, 1998
1601998
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
1372000
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
1162006
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
1091995
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
1032005
Ordered binary decision diagrams and the Davis-Putnam procedure
TE Uribe, ME Stickel
International Conference on Constraints in Computational Logics, 34-49, 1994
1031994
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
97*2006
GraphStep: A System Architecture for Sparse-Graph Algorithms
I Eslick, R Rubin, TE Uribe, TF Knight Jr, A DeHon
97*
Deductive model checking
HB Sipma, TE Uribe, Z Manna
International Conference on Computer Aided Verification, 208-219, 1996
891996
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
802006
Automatic analysis of firewall and network intrusion detection system configurations
TE Uribe, S Cheung
Journal of Computer Security 15 (6), 691-715, 2007
782007
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
771995
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
712005
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
712002
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
702003
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
551997
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
551997
Deductive model checking
HB Sipma, TE Uribe, Z Manna
Formal methods in system design 15 (1), 49-74, 1999
541999
Visual abstractions for temporal verification
Z Manna, A Browne, HB Sipma, TE Uribe
International Conference on Algebraic Methodology and Software Technology, 28-41, 1999
541999
The system can't perform the operation now. Try again later.
Articles 1–20