( en | de | ru )

 

Disambiguation of "Alimguzhin, Vadim"

Author of the publication

copydeleteadd this publication to your clipboard
On-the-Fly Control Software Synthesis.

, , , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 61-80. 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.

Vadim Vogelsang

Vadim Alekseev

Vadim Kopzon

Vadim Korotkov

Vadim Vitkovskiĭ

 

Other publications of authors with the same name

On model based synthesis of embedded control software., , , , and . EMSOFT, page 227-236. ACM, (2012)A Glimpse of SmartHG Project Test-bed and Communication Infrastructure., , , , , , , , , and 1 other author(s). DSD, page 225-232. IEEE Computer Society, (2015)Optimal personalised treatment computation through in silico clinical trials on patient digital twins., , , , , and . CoRR, (2021)A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software., , , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 43-60. Springer, (2013)Automatic control software synthesis for quantized discrete time hybrid systems., , , , and . CDC, page 6120-6125. IEEE, (2012)In Silico Clinical Trials through AI and Statistical Model Checking., , , , and . OVERLAY@AI*IA, volume 2509 of CEUR Workshop Proceedings, page 17-22. CEUR-WS.org, (2019)Reconciling interoperability with efficient Verification and Validation within open source simulation environments., , , and . Simul. Model. Pract. Theory, (2021)On-the-Fly Control Software Synthesis., , , , and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 61-80. Springer, (2013)AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials., , , , , and . OVERLAY, volume 2785 of CEUR Workshop Proceedings, page 59-64. CEUR-WS.org, (2020)Electricity Network Constraint Management using Individualised Demand Aware Price Policies., , , , and . OVERLAY, volume 2785 of CEUR Workshop Proceedings, page 71-76. CEUR-WS.org, (2020)