Manuel Maarek

Orcid: 0000-0001-6233-6341

According to our database1, Manuel Maarek authored at least 28 papers between 2003 and 2025.

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
Other 

Links

Online presence:

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

Integrating Canvas and GitLab to Enrich Learning Processes.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

2023
Communicating on Security within Software Development Issue Tracking.
CoRR, 2023

Introducing and Interfacing with Cybersecurity - A Cards Approach.
CoRR, 2023

2022
Context matters: Methods for Bitcoin tracking.
Digit. Investig., 2022

Aligning a Serious Game, Secure Programming and CyBOK-Linked Learning Outcomes.
Proceedings of the IEEE European Symposium on Security and Privacy, 2022

The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection.
Proceedings of the EICC 2022: European Interdisciplinary Cybersecurity Conference, Barcelona, Spain, June 15, 2022

2020
Development of a Web Platform for Code Peer-Testing.
CoRR, 2020

Software Testing as Medium for Peer Feedback.
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

Tracking Mixed Bitcoins.
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
Observing the Uptake of a Language Change Making Strings Immutable.
Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018

Co-created Design of a Serious Game Investigation into Developer-Centred Security.
Proceedings of the Games and Learning Alliance - 7th International Conference, 2018

2017
Attack Modeling for System Security Analysis - (Position Paper).
Proceedings of the Computer Safety, Reliability, and Security, 2017

2015
Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.
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

Narrative Structure of Mathematical Texts.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Restoring Natural Language as a Computerised Mathematics Input Method.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005
Toward an Object-Oriented Structure for Mathematical Text.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004
Flexible Encoding of Mathematics on the Computer.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003
MathLang: Experience-driven Development of a New Mathematical Language.
Proceedings of the Mathematical Knowledge Management Symposium, 2003


  Loading...