( en | de | ru )

 

Disambiguation of "Titolo, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.

, , , , , , , , , and . FMAS, volume 329 of EPTCS, page 23-30. (2020)

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.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Busia

 

Other publications of authors with the same name

Abstract Analysis of Universal Properties for tccp., , , and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 163-178. Springer, (2015)A Temporal Differential Dynamic Logic Formal Embedding., , , and . CPP, page 162-176. ACM, (2024)Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis., , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 213-229. Springer, (2017)An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs., , , and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 516-537. Springer, (2018)Eliminating Unstable Tests in Floating-Point Programs., , , and . LOPSTR, volume 11408 of Lecture Notes in Computer Science, page 169-183. Springer, (2018)Automatic Generation of Guard-Stable Floating-Point Code., , , and . IFM, volume 12546 of Lecture Notes in Computer Science, page 141-159. Springer, (2020)An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages.. University of Udine, Italy, (2014)A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts., , , and . FMCAD, page 237-246. IEEE, (2023)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project., , , , , , , , , and . FMAS, volume 329 of EPTCS, page 23-30. (2020)Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0., , , , and . FM (2), volume 14934 of Lecture Notes in Computer Science, page 20-38. Springer, (2024)