publicações selecionadas
-
artigo académico
- Experiences on teaching Alloy with an automated assessment platform. Computational Methods in Applied Sciences. 2021
-
artigo de conferência
- Experiences on Teaching Alloy with an Automated Assessment Platform. Computational Methods in Applied Sciences. 2020
- Sequence mining for automatic generation of software tests from GUI event traces. Computational Methods in Applied Sciences. 2020
- Evolution of collective fairness in hybrid populations of humans and agents. AAAI Conference on Artificial Intelligence. 2019
- Multiplayer ultimatum games and collective fairness in networked communities 2018
- The role of execution errors in populations of ultimatum bargaining agents. Computational Methods in Applied Sciences. 2017
- Dynamics of fairness in groups of autonomous learning agents. Computational Methods in Applied Sciences. 2016
- Execution errors enable the evolution of fairness in the ultimatum game. Frontiers in Artificial Intelligence and Applications. 2016
- Learning to be fair in multiplayer Ultimatum Games. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2016
- Specifying UML protocol state machines in Alloy. Computational Methods in Applied Sciences. 2012
- Test case generation from mutated task models 2011
-
artigo de revista
- Structural power and the evolution of collective fairness in social networks. Antibiotics. 2017
- Evolutionary dynamics of group fairness. Journal of Theoretical Biology. 2015
- Model-based user interface testing with Spec Explorer and ConcurTaskTrees. Electronic Notes in Theoretical Computer Science. 2008
-
documento