Manuel Maarek
Orcid: 0000-0001-6233-6341
According to our database1,
Manuel Maarek
authored at least 28 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
2025
0
1
2
3
4
5
1
2
1
1
1
1
2
2
3
1
2
1
2
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Evaluating and validating the Serious Slow Game Jam methodology as a mechanism for co-designing serious games to improve understanding of cybersecurity for different demographics.
Comput. Stand. Interfaces, 2025
2024
Investigating the Proficiency of Large Language Models in Formative Feedback Generation for Student Programmers.
LLM4CODE@ICSE, 2024
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024
2023
2022
Proceedings of the IEEE European Symposium on Security and Privacy, 2022
Proceedings of the EICC 2022: European Interdisciplinary Cybersecurity Conference, Barcelona, Spain, June 15, 2022
2020
Proceedings of the United Kingdom & Ireland Computing Education Research Conference, 2020
Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies.
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2020
2019
Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Cryptocurrency Tainting Analysis.
CoRR, 2019
How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention.
Proceedings of the 2019 IEEE European Symposium on Security and Privacy Workshops, 2019
2018
Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018
Proceedings of the Games and Learning Alliance - 7th International Conference, 2018
2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Experience in using a typed functional language for the development of a security application.
Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014
2011
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties.
Commun. ACM, 2011
2010
Liability in software engineering: overview of the LISE approach and illustration on a case study.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2007
Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework
PhD thesis, 2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007
2005
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
2004
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004
2003
Proceedings of the Mathematical Knowledge Management Symposium, 2003