BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × The Netherlands
2 × USA
Collaborated with:
Z.Manna M.Colón N.Bjørner H.Sipma L.d.Alfaro M.E.Stickel A.M.Frisch M.K.Mitchell H.B.Sipma A.Browne E.Y.Chang A.Kapur H.Devarajan J.Lee
Talks about:
system (4) procedur (3) reactiv (3) deduct (2) verif (2) decis (2) step (2) use (2) constraint (1) framework (1)

Person: Tomás E. Uribe

DBLP DBLP: Uribe:Tom=aacute=s_E=

Contributed to:

CAV 19981998
CADE 19971997
TACAS 19971997
CAV 19961996
CADE 19921992

Wrote 8 papers:

CAV-1998-ColonU #abstraction #finite #generative #using
Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures (MC, TEU), pp. 293–304.
CADE-1997-BjornerSU #first-order #integration #reasoning
A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
TACAS-1997-AlfaroM #verification #visual notation
Visual Verification of Reactive Systems (LdA, ZM, HBS, TEU), pp. 334–350.
CAV-1996-BjornerBCCKMSU #named #realtime #verification
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.
CAV-1996-SipmaUM #deduction #model checking
Deductive Model Checking (HS, TEU, ZM), pp. 208–219.
CADE-1992-Uribe #constraints #set #unification #using
Sorted Unification Using Set Constraints (TEU), pp. 163–177.
CADE-1992-UribeFM #automation #framework #overview #proving
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems (TEU, AMF, MKM), pp. 721–725.
TAPSOFT-1995-MannaBBCCADKLSU #named #proving
STeP: The Stanford Temporal Prover (ZM, NB, AB, EYC, MC, LdA, HD, AK, JL, HS, TEU), pp. 793–794.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.