Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version).

G. Parthasarathy, T. Dardinier, B. Bonneau, P. Müller, und A. Summers. CoRR, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jim Summers

Alexander J Mrozek

Alexander J Wulf

Alexander J Schmidt

Alexander J Teague

Weitere Publikationen von Autoren mit dem selben Namen

Approaches to Polymorphism in Classical Sequent Calculus.A. Summers, und S. van Bakel. ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2006)Viper: A Verification Infrastructure for Permission-Based Reasoning.P. Müller, M. Schwerhoff, und A. Summers. Dependable Software Systems Engineering, Volume 50 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)The Relationship between Separation Logic and Implicit Dynamic Frames.M. Parkinson, und A. Summers. ESOP, Volume 6602 von Lecture Notes in Computer Science, Seite 439-458. Springer, (2011)Formally Validating a Practical Verification Condition Generator.G. Parthasarathy, P. Müller, und A. Summers. CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 704-727. Springer, (2021)Prusti: deductive verification for Rust (keynote).A. Summers. FTfJP@ECOOP, Seite 1. ACM, (2020)A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.R. Ge, R. Garcia, und A. Summers. IJCAR (1), Volume 14739 von Lecture Notes in Computer Science, Seite 419-438. Springer, (2024)Sound Automation of Magic Wands.T. Dardinier, G. Parthasarathy, N. Weeks, P. Müller, und A. Summers. CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 130-151. Springer, (2022)Permission Inference for Array Programs.J. Dohrau, A. Summers, C. Urban, S. Münger, und P. Müller. CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 55-74. Springer, (2018)Reframing the Liskov substitution principle through the lens of testing.E. Baniassad, und A. Summers. SPLASH-E, Seite 49-58. ACM, (2021)Local Reasoning for Global Graph Properties.S. Krishna, A. Summers, und T. Wies. ESOP, Volume 12075 von Lecture Notes in Computer Science, Seite 308-335. Springer, (2020)

BibSonomy

Disambiguierung von "Summers, Alexander J."