Luis Urbina

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

University of Rostock, Germany (PHD)

Education History

University of Rostock, Germany

PHD

Publications

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Scalable Comput. Pract. Exp. 1 (2) (1998)
Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
Comparing Timed C/E Systems with Timed Automata (Abstract). HART (1997)
Carsta Petersohn, Luis Urbina
A Timed Semantics for the STATEMATE Implementation of Statecharts. FME (1997)
Luis Urbina
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). CP (1996)
Luis Urbina
Analysis of Hybrid Systems in CLP(R). CP (1996)
Luis Urbina, Günter Riedewald
A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. WLP (1995)
Luis Urbina
Analysis of Robotics Applications in CLP. WLP (1995)