Author of the publication

Integration of correct-by-construction BIP models into the MetroII design space exploration flow.

, , , and . ICCD, page 490-491. IEEE Computer Society, (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.

No persons found for author name Simalatsar, Alena
add a person with the name Simalatsar, Alena
 

Other publications of authors with the same name

UMTS MPSoC design evaluation using a system level design framework., , , , and . DATE, page 478-483. IEEE, (2009)Medical guidelines reconciling medical software and electronic devices: Imatinib case-study., and . BIBE, page 19-24. IEEE Computer Society, (2012)Parameterized SVM for personalized drug concentration prediction., , and . EMBC, page 5789-5792. IEEE, (2013)Cascaded PID controller for anaesthesia delivery., , and . EMBC, page 533-536. IEEE, (2016)TAT-based formal representation of medical guidelines: Imatinib case-study., and . EMBC, page 5078-5081. IEEE, (2012)Representation of Medical Guidelines with a Computer Interpretable Model., , , , and . International Journal on Artificial Intelligence Tools, (2014)Integration of correct-by-construction BIP models into the MetroII design space exploration flow., , , and . ICCD, page 490-491. IEEE Computer Society, (2012)metroII: A design environment for cyber-physical systems., , , , , , and . ACM Trans. Embedded Comput. Syst., 12 (1s): 49:1-49:31 (2013)Modeling of Reconfigurable Medical Ultrasonic Applications in BIP., and . MCPS, volume 36 of OASIcs, page 66-79. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol., , , and . Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)