Michael Winikoff

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 43

Top Venues

AAMAS

Auton. Agents Multi Agent Syst.

EMAS@AAMAS

CoRR

Publications

Michael Winikoff
30 Years of Engineering Multi-Agent Systems: What and Why? AAMAS (2024)
Sebastian Rodriguez, John Thangarajah, Michael Winikoff
A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems. AAMAS (2023)
Michael Winikoff, Galina Sidorenko
Evaluating a Mechanism for Explaining BDI Agent Behaviour. AAMAS (2023)
Michael Winikoff, Galina Sidorenko
Evaluating a Mechanism for Explaining BDI Agent Behaviour. EXTRAAMAS (2023)
Myrthe L. Tielman, M. Birna van Riemsdijk, Michael Winikoff
What Can I Do to Help You? HHAI (2023)
Sebastian Rodriguez, John Thangarajah, Michael Winikoff, Dhirendra Singh
Testing Requirements via User and System Stories in Agent Systems. AAMAS (2022)
Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum
Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract). IJCAI (2022)
Michael Winikoff, Julija Sardelic
Artificial Intelligence and the Right to Explanation as a Human Right. IEEE Internet Comput. 25 (2) (2021)
Jürgen Dix, Brian Logan, Michael Winikoff
Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. 35 (2) (2021)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Michael Winikoff, Jocelyn Cranefield, Jane Li, Cathal Doyle, Alexander Richter
The Advent of Digital Productivity Assistants: The Case of Microsoft MyAnalytics. HICSS (2021)
Sebastian Rodriguez, John Thangarajah, Michael Winikoff
User and System Stories: An Agile Approach for Managing Requirements in AOSE. AAMAS (2021)
Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS (2021)
Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum
Why bad coffee? Explaining BDI agent behaviour with valuings. Artif. Intell. 300 (2021)
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
Towards a Framework for Certification of Reliable Autonomous Systems. CoRR (2020)
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR (2019)
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS (2019)
Michael Winikoff
Towards Deriving Verification Properties. CoRR (2019)
Tobias Ahlbrecht, Michael Winikoff
Explaining Aggregate Behaviour in Cognitive Agent Simulations Using Explanation. EXTRAAMAS@AAMAS (2019)
Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS (2019)
Jürgen Dix, Brian Logan, Michael Winikoff
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9 (3) (2019)
Michael Winikoff, Louise A. Dennis, Michael Fisher
Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS (2018)
Michael Winikoff, Virginia Dignum, Frank Dignum
Why Bad Coffee? Explaining Agent Plans with Valuings. SAFECOMP Workshops (2018)
Michael Winikoff, Nitin Yadav, Lin Padgham
A new Hierarchical Agent Protocol Notation. Auton. Agents Multi Agent Syst. 32 (1) (2018)
Michael Winikoff, Nitin Yadav, Lin Padgham
A new Hierarchical Agent Protocol Notation. AAMAS (2018)
Michael Winikoff
Towards Trusting Autonomous Systems. EMAS@AAMAS (2017)
Michael Winikoff
BDI agent testability revisited. Auton. Agents Multi Agent Syst. 31 (5) (2017)
Manjula Devananda, Stephen Cranefield, Michael Winikoff, Hywel Lloyd
Workload Prediction Model of a Primary Health Centre. ECIS (2017)
Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum
No Pizza for You: Value-based Plan Selection in BDI Agents. IJCAI (2017)
Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland
Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. 31 (3) (2017)
Manjula Devananda, Stephen Cranefield, Hywel Lloyd, Michael Winikoff
Patient Information Model to Support Population-level Workload Analysis. ACIS (2017)
Michael Winikoff
BDI Agent Testability Revisited (JAAMAS Extended Abstract). AAMAS (2017)
Michael Winikoff
Debugging Agent Programs with Why?: Questions. AAMAS (2017)
Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS (2016)
Michael Winikoff
How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract). AAMAS (2016)
Hoa Khanh Dam, Alexander Egyed, Michael Winikoff, Alexander Reder, Roberto E. Lopez-Herrejon
Consistent merging of model versions. J. Syst. Softw. 112 (2016)
Akin Günay, Michael Winikoff, Pinar Yolum
Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract. AAMAS (2016)
Michael Winikoff
How Testable are BDI Agents? An Analysis of Branch Coverage. EMAS@AAMAS (2016)
Michael Winikoff
How Testable Are BDI Agents? An Analysis of Branch Coverage. AAMAS Workshops (Selected Papers) (2016)
Nitin Yadav, Lin Padgham, Michael Winikoff
A Tool for Defining Agent Protocols in HAPN: (Demonstration). AAMAS (2015)
Michael Winikoff, Stephen Cranefield
On the Testability of BDI Agent Systems (Extended Abstract). IJCAI (2015)
Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS (2015)
Akin Günay, Michael Winikoff, Pinar Yolum
Dynamically generated commitment protocols in open systems. Auton. Agents Multi Agent Syst. 29 (2) (2015)
Michael Winikoff
Novice programmers' faults & failures in GOAL programs. AAMAS (2014)
Michael Winikoff, Stephen Cranefield
On the Testability of BDI Agent Systems. J. Artif. Intell. Res. 51 (2014)
Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah
Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI (2014)
Beatriz López, Aditya K. Ghose, Bastin Tony Roy Savarimuthu, Mariusz Nowostawski, Michael Winikoff, Stephen Cranefield
Towards Energy-aware Optimisation of Business Processes. SMARTGREENS (2014)
Lavindra de Silva, Michael Winikoff, Wei Liu
Extending Agents by Transmitting Protocols in Open Systems. CoRR (2014)
Christopher Cheong, Michael Winikoff
A comparison of two agent interaction design approaches. Multiagent Grid Syst. 9 (1) (2013)
Sharmila Savarimuthu, Michael Winikoff
Mutation operators for cognitive agent programs. AAMAS (2013)
Minjie Hu, Michael Winikoff, Stephen Cranefield
A process for novice programming using goals and plans. ACE (2013)
Akin Günay, Michael Winikoff, Pinar Yolum
Generating and ranking commitment protocols. AAMAS (2013)
Hoa Khanh Dam, Michael Winikoff
Towards a next-generation AOSE methodology. Sci. Comput. Program. 78 (6) (2013)
Sharmila Savarimuthu, Michael Winikoff
Mutation Operators for the Goal Agent Language. EMAS@AAMAS (2013)
Michael Winikoff, Nirmit Desai, Alan Liu
Principles and Practice of Multi-Agent Systems. Multiagent Grid Syst. 8 (2) (2012)
Akin Günay, Michael Winikoff, Pinar Yolum
Commitment Protocol Generation. DALT (2012)
Michael Winikoff
Challenges and Directions for Engineering Multi-agent Systems CoRR (2012)
Michael Winikoff
An Integrated Formal Framework for Reasoning about Goal Interactions. DALT (2011)
Michael Winikoff, Hanno-Felix Wagner, Thomas Young, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland
Agent-Based Container Terminal Optimisation. MATES (2011)
Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland, Hanno-Felix Wagner, Michael Winikoff, Thomas Young
Agent-based container terminal optimisation. AAMAS (2011)
Hoa Khanh Dam, Michael Winikoff
An agent-oriented approach to change propagation in software maintenance. Auton. Agents Multi Agent Syst. 23 (3) (2011)
Stephen Cranefield, Michael Winikoff, Wamberto Weber Vasconcelos
Modelling and Monitoring Interdependent Expectations. COIN@AAMAS&WI-IAT (2011)
Stephen Cranefield, Michael Winikoff
Verifying social expectations by model checking truncated paths. J. Log. Comput. 21 (6) (2011)
Swee-Kin Loke, June Tordoff, Michael Winikoff, Jenny McDonald, Peter Vlugter, Stephen B. Duffull
SimPharm: How pharmacy students made meaning of a clinical case differently in paper- and simulation-based workshops. Br. J. Educ. Technol. 42 (5) (2011)
Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff
Rich goal types in agent programming. AAMAS (2011)
Michael Winikoff
A formal framework for reasoning about goal interactions. AAMAS (2011)
Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk
A unified interaction-aware goal framework. ECAI (2010)
Hoa Khanh Dam, Michael Winikoff
Supporting change propagation in UML models. ICSM (2010)
Michael Winikoff
Future directions for agent-based software engineering. Int. J. Agent Oriented Softw. Eng. 3 (4) (2009)
Jason Khallouf, Michael Winikoff
The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation. Int. J. Agent Oriented Softw. Eng. 3 (1) (2009)
Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff
Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference (2009)
Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino
A Unified Graphical Notation for AOSE. AOSE (2008)
Lin Padgham, John Thangarajah, Michael Winikoff
Prometheus Design Tool. AAAI (2008)
Stephen Cranefield, Michael Winikoff
Verifying Social Expectations by Model Checking Truncated Paths. COIN@AAMAS&AAAI (2008)
M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff
Goals in agent systems: a unifying framework. AAMAS (2) (2008)
Khanh Hoa Dam, Michael Winikoff
Evaluating an Agent-Oriented Approach for Change Propagation. AOSE (2008)
Michael Winikoff, Stephen Cranefield
Eliciting Expectations for Monitoring Social Interactions. ICCNSM (2008)
Khanh Hoa Dam, Michael Winikoff
Cost-based BDI plan selection for change propagation. AAMAS (1) (2008)
Khanh Hoa Dam, Michael Winikoff
Generation of Repair Plans for Change Propagation. AOSE (2007)
Lin Padgham, John Thangarajah, Michael Winikoff
AUML protocols and code generation in the Prometheus design tool. AAMAS (2007)
Lin Padgham, John Thangarajah, Michael Winikoff
The Prometheus Design Tool - A Conference Management System Case Study. AOSE (2007)
Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff
Open Agent Systems??? AOSE (2007)
Duc Quang Pham, James Harland, Michael Winikoff
Modeling Agents' Choices in Temporal Linear Logic. DALT (2007)
Michael Winikoff
Defining syntax and providing tool support for Agent UML using a textual notation. Int. J. Agent Oriented Softw. Eng. 1 (2) (2007)
Michael Winikoff
Implementing commitment-based interactions. AAMAS (2007)
Michael Winikoff
Designing Commitment-Based Agent Interactions. IAT (2006)
Carles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff
Designing Institutional Multi-Agent Systems. AOSE (2006)
Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff
Component Agent Framework for domain-Experts (CAFnE) toolkit. AAMAS (2006)
Michael Winikoff
Implementing flexible and robust agent interactions using Distributed Commitment Machines. Multiagent Grid Syst. 2 (4) (2006)
Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff
Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems. AOSE (2006)
Khanh Hoa Dam, Michael Winikoff, Lin Padgham
An agent-oriented approach to change propagation in software evolution. ASWEC (2006)
Rafael H. Bordini, Mehdi Dastani, Michael Winikoff
Current Issues in Multi-Agent Systems Development. ESAW (2006)
Christopher Cheong, Michael Winikoff
Hermes: Implementing Goal-Oriented Agent Interactions. PROMAS (2005)
Lin Padgham, John Thangarajah, Michael Winikoff
Tool Support for Agent Development using the Prometheus Methodology. QSIC (2005)
Michael Winikoff
An AgentSpeak Meta-interpreter and Its Applications. PROMAS (2005)
Christopher Cheong, Michael Winikoff
Hermes: a methodology for goal oriented agent interactions. AAMAS (2005)
Lin Padgham, Michael Winikoff, David Poutakidis
Adding debugging support to the Prometheus methodology. Eng. Appl. Artif. Intell. 18 (2) (2005)
Toan Phung, Michael Winikoff, Lin Padgham
Learning Within the BDI Framework: An Empirical Analysis. KES (3) (2005)
John Thangarajah, Lin Padgham, Michael Winikoff
Prometheus design tool. AAMAS (2005)
Christopher Cheong, Michael Winikoff
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes. SELMAS (LNCS) (2005)

Michael Winikoff.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Winikoff