Author of the publication

Hybrid systems tools for compiling controllers for cyber-physical systems.

, and . Discret. Event Dyn. Syst., 22 (1): 101-119 (2012)

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

Is it DSS or OLTP: automatically identifying DBMS workloads., , , and . J. Intell. Inf. Syst., 30 (3): 249-271 (2008)Ultra-large scale services., and . CASCON, page 248-250. IBM / ACM, (2012)Heuristics for Improving Cryptographic Key Assignment in a Hierarchy., , and . AINA Workshops (1), page 531-536. IEEE Computer Society, (2007)Simulation and analysis of DC and RF performances degradation of NMOS transistors under hot carrier injection mechanism., , , , and . IECON, page 7969-7973. IEEE, (2017)Autonomic buffer pool configuration in PostgreSQL., , , and . SMC, page 53-58. IEEE, (2005)A New Remote Sensing Method to Estimate River to Ocean DOC Flux in Peatland Dominated Sarawak Coastal Regions, Borneo., , , , , , , , and . Remote. Sens., 12 (20): 3380 (2020)Hybrid systems tools for compiling controllers for cyber-physical systems., and . Discret. Event Dyn. Syst., 22 (1): 101-119 (2012)An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment., , , , , , and . DSN-S, page 42-48. IEEE, (2023)A framework for autonomic workload management in DBMSs., , , , and . it Inf. Technol., 56 (1): 22-32 (2014)Expanding motion programs under input constraints., and . ACC, page 2416-2421. IEEE, (2010)