Alexander J. Summers
Orcid: 0000-0001-5554-9381
According to our database1,
Alexander J. Summers
authored at least 57 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language.
Proc. ACM Program. Lang., 2024
CoRR, 2024
CoRR, 2024
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).
CoRR, 2024
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version).
CoRR, 2024
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2023
2022
Dagstuhl Artifacts Ser., 2022
CoRR, 2022
CoRR, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Improving Linear Separability of Pulse Wave Laser Additive Manufacturing Classifiers with Rational Feature Engineering and Selection <sup>*</sup>.
Proceedings of the American Control Conference, 2022
2021
Proc. ACM Program. Lang., 2021
Proc. ACM Program. Lang., 2021
CoRR, 2021
Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Programming Languages and Systems, 2020
Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020
2019
Proc. ACM Program. Lang., 2019
Proc. ACM Program. Lang., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Dependable Software Systems Engineering, 2017
2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Programming Languages and Systems, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Dagstuhl Artifacts Ser., 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
2014
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014
2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the Verification, 2013
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
2012
Log. Methods Comput. Sci., 2012
2011
Soundness and principal contexts for a shallow polymorphic type system based on classical logic.
Log. J. IGPL, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011
2010
Proceedings of the Verification, 2010
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010
2009
J. Object Technol., 2009
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009
2008
Proceedings of the Types, Logics and Semantics for State, 03.02. - 08.02.2008, 2008
2007
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
2006
Proceedings of the Second International Workshop on Developments in Computational Models, 2006
Proceedings of the Programming Languages and Systems, 2006