Author of the publication

Anytime system level verification via parallel random exhaustive hardware in the loop simulation.

, , , , and . Microprocess. Microsystems, (2016)

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

From Boolean Functional Equations to Control Software, , , and . CoRR, (2011)CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems., and . HSCC, volume 4416 of Lecture Notes in Computer Science, page 399-412. Springer, (2007)On placing skips optimally in expectation., , , and . WSDM, page 15-24. ACM, (2008)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , and . IEEE Trans. Ind. Electron., 69 (8): 8566-8578 (2022)A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management., , , and . Appl. Artif. Intell., 35 (5): 353-372 (2021)System Level Formal Verification via Model Checking Driven Simulation., , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 296-312. Springer, (2013)Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 180-195. Springer, (2010)Computing Personalised Treatments through In Silico Clinical Trials., , , , , , , , , and . RCRA@FLoC, volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Linearizing Discrete-Time Hybrid Systems., , , , and . IEEE Trans. Autom. Control., 62 (10): 5357-5364 (2017)Simulator Semantics for System Level Formal Verification., , , , and . GandALF, volume 193 of EPTCS, page 86-99. (2015)