Manuel Maarek - RankMe

33 papers Journal 12Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Empower New Code Citizens to Reflect and Communicate on Code Security. IEEE Secur. Priv. Manuel Maarek, Daisy Abbott, Olga Chatzifoti, Ryan Shah, Sheung Chi Chan, Hans-Wolfgang Loidl, Robert J. Stewart, Jamie Iona Ferguson, Sandy Louchart, Shenando Stals, Lynne Baillie
2025	J	`jnl`	Evaluating Serious Slow Game Jams as a Mechanism for Co-Designing Serious Games to Improve Understanding of Cybersecurity. Games Res. Pract. Shenando Stals, Lynne Baillie, Jamie Iona Ferguson, Daisy Abbott, Manuel Maarek, Ryan Shah, Sandy Louchart
2025	J	`jnl`	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 Shenando Stals, Lynne Baillie, Ryan Shah, Jamie Iona Ferguson, Manuel Maarek
2025	J	`jnl`	Navigating Pitfalls: Evaluating LLMs in Machine Learning Programming Education. CoRR Smitha S. Kumar, Michael A. Lones, Manuel Maarek, Hind Zantout
2025	J	`jnl`	Navigating the Landscape of Automated Feedback Generation Techniques for Programming Exercises. ACM Trans. Comput. Educ. Smitha S. Kumar, Michael A. Lones, Manuel Maarek, Hind Zantout
2024	—	`conf`	Integrating Canvas and GitLab to Enrich Learning Processes. SEET@ICSE Laura Schauer, Robert J. Stewart, Manuel Maarek
2024	—	`conf`	Investigating the Proficiency of Large Language Models in Formative Feedback Generation for Student Programmers. LLM4CODE@ICSE Smitha S. Kumar, Michael Adam Lones, Manuel Maarek, Hind Zantout
2023	J	`jnl`	Communicating on Security within Software Development Issue Tracking. CoRR Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl
2023	J	`jnl`	Introducing and Interfacing with Cybersecurity - A Cards Approach. CoRR Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti
2022	—	`conf`	Aligning a Serious Game, Secure Programming and CyBOK-Linked Learning Outcomes. EuroS&P Workshops Léon McGregor, Sheung Chi Chan, Szymon Wlodarczyk, Manuel Maarek
2022	J	`jnl`	Context matters: Methods for Bitcoin tracking. Digit. Investig. Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
2022	—	`conf`	The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection. EICC Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
2020	J	`jnl`	Development of a Web Platform for Code Peer-Testing. CoRR Manuel Maarek, Léon McGregor
2020	—	`conf`	Software Testing as Medium for Peer Feedback. UKICER Léon McGregor, Manuel Maarek
2020	—	`conf`	Tracking Mixed Bitcoins. DPM/CBT@ESORICS Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
2020	J	`jnl`	Tracking Mixed Bitcoins. CoRR Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
2020	—	`conf`	Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies. EuroS&P Workshops Aidah Ichario, Manuel Maarek
2019	—	`conf`	How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention. EuroS&P Workshops Manuel Maarek, Léon McGregor, Sandy Louchart, Ross McMenemy
2019	J	`jnl`	Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Cryptocurrency Tainting Analysis. CoRR Tin Tironsakkul, Manuel Maarek, Andrea Eross, Mike Just
2018	—	`conf`	Co-created Design of a Serious Game Investigation into Developer-Centred Security. GALA Manuel Maarek, Sandy Louchart, Léon McGregor, Ross McMenemy
2018	—	`conf`	Observing the Uptake of a Language Change Making Strings Immutable. PLATEAU@SPLASH Manuel Maarek
2017	—	`conf`	Attack Modeling for System Security Analysis - (Position Paper). SAFECOMP Workshops Abdullah Altawairqi, Manuel Maarek
2015	—	`conf`	Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. ICSE (2) Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
2015	—	`conf`	Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. ICSE (2) Jean-Frédéric Étienne, Manuel Maarek, Florent Anseaume, Véronique Delebarre
2014	—	`conf`	Experience in using a typed functional language for the development of a security application. F-IDE Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek
2011	J	`jnl`	Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin
2010	—	`conf`	Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin
2007	—	`—`	Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework Manuel Maarek
2007	—	`conf`	Narrative Structure of Mathematical Texts. Calculemus/MKM Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells
2007	—	`conf`	Restoring Natural Language as a Computerised Mathematics Input Method. Calculemus/MKM Fairouz Kamareddine, Robert Lamar, Manuel Maarek, J. B. Wells
2005	—	`conf`	Toward an Object-Oriented Structure for Mathematical Text. MKM Fairouz Kamareddine, Manuel Maarek, J. B. Wells
2004	—	`conf`	Flexible Encoding of Mathematics on the Computer. MKM Fairouz Kamareddine, Manuel Maarek, J. B. Wells
2003	—	`conf`	MathLang: Experience-driven Development of a New Mathematical Language. MKM Symposium Fairouz Kamareddine, Manuel Maarek, J. B. Wells