Tomas Uribe
Tomas Uribe
relational.ai
Email verificata su relational.ai
Titolo
Citata da
Citata da
Anno
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
1921996
Generating finite-state abstractions of reactive systems using decision procedures
MA Colˇn, TE Uribe
International Conference on Computer Aided Verification, 293-304, 1998
1651998
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
1382000
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
109*2006
GraphStep: A System Architecture for Sparse-Graph Algorithms
I Eslick, R Rubin, TE Uribe, TF Knight Jr, A DeHon
109*
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
1062005
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
106*1997
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
772007
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
762005
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
742003
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
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
691995
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
552003
Visual abstractions for temporal verification
Z Manna, A Browne, HB Sipma, TE Uribe
International Conference on Algebraic Methodology and Software Technology, 28-41, 1999
531999
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20