Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multiple-signal duplicate detection for search evaluation., , , , , and . SIGIR, page 223-230. ACM, (2007)Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods., , , and . HSCC, volume 1790 of Lecture Notes in Computer Science, page 130-144. Springer, (2000)Analysis of Slope-Parametric Rectangular Automata.. Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 390-413. Springer, (1997)A procedure for reachability analysis of rectangular automata., and . ACC, page 1674-1678. IEEE, (2000)Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems., and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 377-388. Springer, (1995)Supervisory control of a rapid thermal multiprocessor., , , , and . IEEE Trans. Autom. Control., 38 (7): 1040-1059 (1993)HYTECH: A Model Checker for Hybrid Systems., , and . Int. J. Softw. Tools Technol. Transf., 1 (1-2): 110-122 (1997)Synthesizing Processes and Schedulers from Temporal Specifications., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 177-186. DIMACS/AMS, (1990)Schedulability Analysis of Acyclic Processes., and . RTSS, page 274-284. IEEE Computer Society, (1998)Hybrid controller synthesis for idle speed management of an automotive engine., , , , , and . ACC, page 1181-1185. IEEE, (2000)