( en | de | ru )

 

Disambiguation of "Aiello, M. Anthony"

Author of the publication

copydeleteadd this publication to your clipboard
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.

, , , , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 420-426. (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. You can also use the button next to the name to display some publications already assigned to the person.

Anthony M Whitbread

Kiara Aiello

Michael Vincent Aiello

Maria-Therese Aiello

Anthony Ngororano

 

Other publications of authors with the same name

Assured Reconfiguration of Fail-Stop Systems., , and . DSN, page 2-11. IEEE Computer Society, (2005)Input Space Partitioning to Enable Massively Parallel Proof., , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 139-145. (2017)Arguing Software Compliance with ISO 26262., , , and . ISSRE Workshops, page 226-231. IEEE Computer Society, (2014)Proving Model Equivalence in Model Based Design., , , and . ISSRE Workshops, page 18-21. IEEE Computer Society, (2014)Proving Critical Properties of Simulink Models., , , and . HASE, page 189-196. IEEE Computer Society, (2016)SCT: A Safety Case Toolkit., , , and . ISSRE Workshops, page 216-219. IEEE Computer Society, (2014)Practical Application of SPARK to OpenUxAS., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 751-761. Springer, (2019)A Comprehensive Safety Lifecycle., , , and . SAFECOMP Workshops, volume 9338 of Lecture Notes in Computer Science, page 38-49. Springer, (2015)Call Me Back, I Have a Type Invariant., , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 325-336. Springer, (2019)SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements., , , , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 420-426. (2017)