Maria Christakis
Affiliations:- TU Wien, Faculty of Informatics, Vienna, Austria
According to our database1,
Maria Christakis
authored at least 63 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Dagstuhl Reports, March, 2023
CoRR, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems.
Datenbank-Spektrum, November, 2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
2021
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442).
Dagstuhl Reports, 2021
Dagstuhl Reports, 2021
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended).
CoRR, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the Static Analysis - 28th International Symposium, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
2019
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2019
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
2018
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2018
CoRR, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
2017
it Inf. Technol., 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011
2010
Proceedings of the Practical Aspects of Declarative Languages, 2010