Luis Urbina

发表

Analyse hybrider Systeme in constraint logischer Programmierung

Luis Urbina, 1996 .

ON THE COMPOSITION OF CONDITION/EVENT SYSTEMS

Yassine Lakhnech, Ben Lukoschus, Luis Urbina, 1998 .

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

Stefan Kowalewski, Sebastian Engell, Ralf Huuck, 1997, HART.

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

Stefan Kowalewski, Sebastian Engell, Ralf Huuck, 1998, Scalable Comput. Pract. Exp..

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

Luis Urbina, Günter Riedewald, 1995, WLP.

Using Model-Checking for Timed Automata to Parameterize Logic Control Programs

Sebastian Engell, Ralf Huuck, Yassine Lakhnech, 1998 .

A Timed Semantics for the STATEMATE Implementation of Statecharts

Luis Urbina, Carsta Petersohn, L. Urbina, 1997, FME.

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

Luis Urbina, Luis Urbina, 1996, CP.

Analysis of Hybrid Systems in CLP(R)

Luis Urbina, Luis Urbina, 1996, CP.

Analysis of Robotics Applications in CLP

Luis Urbina, 1995, WLP.