Luis Urbina

According to our database, Luis Urbina authored at least 8 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Scalable Comput. Pract. Exp., 1998

1997

Comparing Timed C/E Systems with Timed Automata (Abstract).

Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig

Proceedings of the Hybrid and Real-Time Systems, 1997

A Timed Semantics for the STATEMATE Implementation of Statecharts.

Carsta Petersohn, Luis Urbina

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

Analyse hybrider Systeme in constraint logischer Programmierung.

Luis Urbina

PhD thesis, 1996

The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R).

Luis Urbina

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Analysis of Hybrid Systems in CLP(R).

Luis Urbina

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming.

Luis Urbina, Günter Riedewald

Proceedings of the 11. Workshop Logische Programmierung, 1995

Analysis of Robotics Applications in CLP.

Luis Urbina

Proceedings of the 11. Workshop Logische Programmierung, 1995