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: Uribe:Tom=aacute=s_E=
Contributed to:
1998
1997
199719961992
1995Wrote 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.