( en | de | ru )

 

Disambiguation of "Mari, Federico"

Author of the publication

copydeleteadd this publication to your clipboard
System Level Formal Verification via Model Checking Driven Simulation.

, , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 296-312. Springer, (2013)

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.

Mari Pajala

Andrea Mari

Inka Mari

Mari Hrkać

Mari Laanemets

 

Other publications of authors with the same name

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)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)Linearizing Discrete-Time Hybrid Systems., , , , and . IEEE Trans. Autom. Control., 62 (10): 5357-5364 (2017)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)On placing skips optimally in expectation., , , and . WSDM, page 15-24. ACM, (2008)Computing Personalised Treatments through In Silico Clinical Trials., , , , , , , , , and . RCRA@FLoC, volume 2271 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)System Level Formal Verification via Model Checking Driven Simulation., , , , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 296-312. Springer, (2013)Simulator Semantics for System Level Formal Verification., , , , and . GandALF, volume 193 of EPTCS, page 86-99. (2015)