The case for experiment-oriented computing
2018 Foundations of Software Engineering | October 2018
Paulo Salem da Silva
Sr. Data & Applied Scientist
Publications
Publications by Year
-
-
User Interface Optimization using Genetic Programming with an Application to Landing Pages
ACM SIGCHI Symposium on Engineering Interactive Computing Systems | June 2017
-
Practical programming, validation and verification with finite-state machines: a library and its industrial application
2016 International Conference on Software Engineering | May 2016
-
Behaviorist Agent Architecture
Paulo Salem, Ana C. V. de Melo
2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) | November 2013
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version
Paulo Salem, Ana C V De Melo
SIMULATION | July 2013, Vol 89(8): pp. 977-1008
-
A formal environment model for multi-agent systems
Paulo Salem, Ana C. V. de Melo
2010 Formal Methods | November 2010
-
Reusing models in multi-agent simulation with software components
Paulo Salem, Ana C. V. de Melo
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | May 2008
Publications by Research Area
-
The case for experiment-oriented computing
2018 Foundations of Software Engineering | October 2018
User Interface Optimization using Genetic Programming with an Application to Landing Pages
ACM SIGCHI Symposium on Engineering Interactive Computing Systems | June 2017
Behaviorist Agent Architecture
Paulo Salem, Ana C. V. de Melo
2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) | November 2013
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version
Paulo Salem, Ana C V De Melo
SIMULATION | July 2013, Vol 89(8): pp. 977-1008
A formal environment model for multi-agent systems
Paulo Salem, Ana C. V. de Melo
2010 Formal Methods | November 2010
Reusing models in multi-agent simulation with software components
Paulo Salem, Ana C. V. de Melo
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | May 2008
-
The case for experiment-oriented computing
2018 Foundations of Software Engineering | October 2018
Practical programming, validation and verification with finite-state machines: a library and its industrial application
2016 International Conference on Software Engineering | May 2016
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version
Paulo Salem, Ana C V De Melo
SIMULATION | July 2013, Vol 89(8): pp. 977-1008
A formal environment model for multi-agent systems
Paulo Salem, Ana C. V. de Melo
2010 Formal Methods | November 2010
Reusing models in multi-agent simulation with software components
Paulo Salem, Ana C. V. de Melo
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | May 2008
-
User Interface Optimization using Genetic Programming with an Application to Landing Pages
ACM SIGCHI Symposium on Engineering Interactive Computing Systems | June 2017
Publications by Type
-
The case for experiment-oriented computing
2018 Foundations of Software Engineering | October 2018
User Interface Optimization using Genetic Programming with an Application to Landing Pages
ACM SIGCHI Symposium on Engineering Interactive Computing Systems | June 2017
Practical programming, validation and verification with finite-state machines: a library and its industrial application
2016 International Conference on Software Engineering | May 2016
Behaviorist Agent Architecture
Paulo Salem, Ana C. V. de Melo
2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) | November 2013
A formal environment model for multi-agent systems
Paulo Salem, Ana C. V. de Melo
2010 Formal Methods | November 2010
Reusing models in multi-agent simulation with software components
Paulo Salem, Ana C. V. de Melo
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems | May 2008
-
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version
Paulo Salem, Ana C V De Melo
SIMULATION | July 2013, Vol 89(8): pp. 977-1008