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