From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.

M. Moscato, L. Titolo, A. Dutle, и C. Muñoz. SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 213-229. Springer, (2017)

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.

Kurt Aaron

Siegfried Aaron

Else Aaron

Aaron Rosmarin

Aaron Bogan

Другие публикации лиц с тем же именем

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems.C. Muñoz, A. Narkawicz, и A. Dutle. FM, том 10951 из Lecture Notes in Computer Science, стр. 647-652. Springer, (2018)Unmanned aircraft systems in the national airspace system: a formal methods perspective.C. Muñoz, A. Dutle, A. Narkawicz, и J. Upchurch. ACM SIGLOG News, 3 (3): 67-76 (2016)Formal Verification of Termination Criteria for First-Order Recursive Functions.C. Muñoz, M. Ayala-Rincón, M. Moscato, A. Dutle, A. Narkawicz, A. Almeida, A. da Silva, и T. Ramos. J. Autom. Reason., 67 (4): 40 (декабря 2023)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.A. Dutle, C. Muñoz, E. Conrad, A. Goodloe, L. Titolo, I. Perez, S. Balachandran, D. Giannakopoulou, A. Mavridou, и T. Pressburger. FMAS, том 329 из EPTCS, стр. 23-30. (2020)Graph OdometryA. Dutle, и B. Kay. CoRR, (2012)On realizations of a joint degree matrix.É. Czabarka, A. Dutle, P. Erdös, и I. Miklós. Discret. Appl. Math., (2015)Proof Mate: An Interactive Proof Helper for PVS (Tool Paper).P. Masci, и A. Dutle. NFM, том 13260 из Lecture Notes in Computer Science, стр. 809-815. Springer, (2022)Formal verification of semi-algebraic sets and real analytic functions.J. Slagel, L. White, и A. Dutle. CPP, стр. 278-290. ACM, (2021)Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.T. Pressburger, A. Katis, A. Dutle, и A. Mavridou. REFSQ, том 13975 из Lecture Notes in Computer Science, стр. 295-308. Springer, (2023)The MINERVA Software Development Process.A. Narkawicz, C. Muñoz, и A. Dutle. AFM@NFM, том 5 из Kalpa Publications in Computing, стр. 93-108. EasyChair, (2017)

BibSonomy

Disambiguation