selected publications
-
academic article
- ecoSense: Minimize Participants’ Total 3G Data Cost in Mobile Crowdsensing Using Opportunistic Relays. IEEE Transactions on Systems Man and Cybernetics Systems. 47:965-978. 2016
- EEMC. ACM Transactions on Intelligent Systems and Technology. 6:1-26. 2015
- The Ideal Voting Interface: Classifying Usability. JeDEM - eJournal of eDemocracy and Open Government. 6:182-196. 2014
-
chapter
- Inclusion4EU: Co-Designing a Framework for Inclusive Software Design and Development. Studies in health technology and informatics. 2023
- Modelling an E-Voting Domain for the Formal Development of a Software Product Line: When the Implicit Should Be Made Explicit. Springer eBooks. 3-18. 2020
- Cyber-Physical Systems Engineering: An Introduction. Lecture notes in computer science. 407-410. 2018
- On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. Lecture notes in computer science. 425-430. 2018
- Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. Lecture notes in computer science. 124-138. 2017
- On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. Lecture notes in computer science. 604-618. 2014
- Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. Lecture notes in computer science. 570-572. 2014
- Feature Interactions in a Software Product Line for E-voting. IOS Press eBooks. 2009
- Weaving a Formal Methods Education with Problem-Based Learning. Communications in computer and information science. 460-472. 2008
-
conference paper
- Minding the gap: computing ethics and the political economy of big tech. . 2022
- Technical debt is an ethical issue. HAL (Le Centre pour la Communication Scientifique Directe). 2022
- MEASURING THE LONGITUDINAL IMPACT OF TEACHING PROGRAMMING ETHICS TO FIRST YEAR STUDENTS. INTED proceedings. 844-847. 2022
- The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. . 297-303. 2022
- Formalising the Requirements of an E-Voting Software Product Line Using Event-B. . 78-84. 2018
- A preliminary study on a DualVote and Prêt à Voter hybrid system. . 2012
- Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. . 66-75. 2011
- Dual vote : a novel user interface for e-voting systems. HAL (Le Centre pour la Communication Scientifique Directe). 2010
- Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. . 58-64. 2008
- Formal methods : never too young to start. . 2008
- Formal verification of tamper-evident storage for e-voting. . 329-338. 2007