Author of the publication

Model-based Testing and Monitoring for Hybrid Embedded Systems.

, , , and . IRI, page 487-492. IEEE Systems, Man, and Cybernetics Society, (2004)

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

SimTag: Exploiting tag bits similarity to improve the reliability of the data caches., , and . DATE, page 941-944. IEEE Computer Society, (2010)Code Generation from Hybrid Systems Models for Distributed Embedded Systems., , and . ISORC, page 166-173. IEEE Computer Society, (2005)U-Cache: A Cost-Effective Solution to the Synonym Problem., , , , , and . HPCA, page 243-252. IEEE Computer Society, (1995)TLB Index-Based Tagging for Reducing Data Cache and TLB Energy Consumption., , and . IEEE Trans. Computers, 66 (7): 1200-1211 (2017)Effective Emoticon Suggestion Technique Based on Active Emotional Input Using Facial Expressions and Heart Rate Signals., , , , and . Sensors, 23 (9): 4460 (2023)Generating Reliable Code from Hybrid-Systems Models., , , , and . IEEE Trans. Computers, 59 (9): 1281-1294 (2010)U-cache: A cost-effective solution to the virtual cache synonym problem., , and . Microprocess. Microsystems, 22 (1): 33-40 (1998)A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References., , , , , , and . OSDI, page 119-134. USENIX Association, (2000)Modular Code Generation from Hybrid Automata based on Data Dependency., and . IEEE Real Time Technology and Applications Symposium, page 160-. IEEE Computer Society, (2003)Distributed-code generation from hybrid systems models for time-delayed multirate systems., , , and . EMSOFT, page 210-213. ACM, (2005)