Scholarly record
Academic publications
Preprints, peer-reviewed papers, proceedings, a doctoral thesis, and technical reports. Essays, blog posts, and less formal work remain in the separate Writings collection.
Section lens Publications in the Atlas A section-only view of 17 publications across the four modes.
Realization
Apply · Create
Invention
Explore · Create
- TinyTroupe: An LLM-powered Multiagent Persona Simulation Toolkit
- Practical Programming, Validation and Verification with Finite-State Machines: a Library and its Industrial Application
- Behaviorist Agent Architecture
- A Formal Environment Model for Multi-Agent Systems
- Reusing Models in Multi-Agent Simulation with Software Components
- A Simulation-Oriented Formalization for a Psychological Theory
- Verification of Behaviourist Multi-Agent Systems by Means of Formally Guided Simulations
- An Environment Specification Language for Multi-Agent Systems
Reflection
Apply · Consume
Inquiry
Explore · Consume
- The Case for Experiment-Oriented Computing
- User Interface Optimization Using Genetic Programming with an Application to Landing Pages
- On-the-fly Verification of Discrete Event Simulations by Means of Simulation Purposes: Extended Version
- An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations
- On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes
- Model Checking Merged Program Traces
- Verification of Behaviourist Multi-Agent Systems by Means of Formally Guided Simulations
01 · 2 records
Preprints and technical reports
Public manuscripts and technical reports outside the peer-reviewed publication sequence.
-
2025
TinyTroupe: An LLM-powered Multiagent Persona Simulation Toolkit
arXiv:2507.09788 · v3, revised June 2026 · 9 pages
- Generative AI
- Behavioral simulation
- Multi-agent systems
- LLM applications
-
2009
An Environment Specification Language for Multi-Agent Systems
Laboratoire de Recherche en Informatique, Université Paris-Sud 11 · Technical report
- Environments
- Multi-agent systems
- Formal methods
02 · 14 records
Peer-reviewed publications
Journal articles, conference papers, and peer-reviewed proceedings.
-
2018
The Case for Experiment-Oriented Computing
Proceedings of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering · 719–723, ACM
- Digital experimentation
- Software engineering
- Tools for thought
-
2017
User Interface Optimization Using Genetic Programming with an Application to Landing Pages
Proceedings of the ACM on Human-Computer Interaction · 1(EICS), 1–17
- Human-computer interaction
- Optimization
- Digital experimentation
-
2016
Practical Programming, Validation and Verification with Finite-State Machines: a Library and its Industrial Application
Proceedings of the 38th International Conference on Software Engineering Companion · ACM
- Formal methods
- Software verification
- Software tools
-
2013
On-the-fly Verification of Discrete Event Simulations by Means of Simulation Purposes: Extended Version
Simulation · 89(8), 977–1008, SAGE
- Simulation
- Software verification
- Formal methods
-
2013
Behaviorist Agent Architecture
Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology · IEEE Computer Society
- Agent architecture
- Behavioral simulation
- Multi-agent systems
-
2013
An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations
Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology · IEEE Computer Society
- Multi-agent systems
- Software verification
- Simulation
-
2011
On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes
Proceedings of the 2011 Spring Simulation Multiconference · Society for Modeling and Simulation International
- Simulation
- Software verification
- Formal methods
-
2011
A Formal Environment Model for Multi-Agent Systems
Formal Methods: Foundations and Applications · LNCS 6527, 64–79, Springer
- Environments
- Multi-agent systems
- Formal methods
-
2009
From Z Specifications to Java Implementations and Back
Proceedings of the Fifth European Conference on Model-Driven Architecture — Traceability Workshop · 49–58
- Formal methods
- Software engineering
- Software tools
-
2009
Model Checking Merged Program Traces
Electronic Notes in Theoretical Computer Science · 240, 97–112, Elsevier
- Software verification
- Formal methods
- Software engineering
-
2009
JZed-Gen: Towards Pragmatical Generation of Software from Z Specifications
Demonstration Track Proceedings of the Brazilian Symposium on Formal Methods · Tool demonstration paper
- Formal methods
- Software tools
- Software engineering
-
2008
Reusing Models in Multi-Agent Simulation with Software Components
Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems · 1137–1144
- Multi-agent systems
- Simulation
- Software engineering
-
2007
A Simulation-Oriented Formalization for a Psychological Theory
Fundamental Approaches to Software Engineering · LNCS 4422, 42–56, Springer
- Psychological modeling
- Simulation
- Formal methods
-
2005
An Ontology for Mobile Agents in the Context of Formal Verification
OTM Confederated International Conferences · LNCS 3761, 1500–1516, Springer
- Ontologies
- Multi-agent systems
- Software verification
03 · 1 record
Thesis
Doctoral research presented as a substantial long-form academic work.
-
2012
Verification of Behaviourist Multi-Agent Systems by Means of Formally Guided Simulations
Joint PhD thesis, University of São Paulo and Université Paris-Sud · February 2012
- Multi-agent systems
- Software verification
- Simulation
- Formal methods