Brendan P. Mahony
According to our database1,
Brendan P. Mahony
authored at least 23 papers
between 1992 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
1
1
1
1
1
2
1
1
1
4
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.
Eng. Appl. Artif. Intell., 2021
2020
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2018
Proceedings of the Formal Methods and Software Engineering, 2018
2008
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
2005
Int. J. Softw. Eng. Knowl. Eng., 2005
2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2002
Formal Aspects Comput., 2002
2001
Linking UML with Integrated Formal Techniques.
Proceedings of the Unified Modeling Language: Systems Analysis, 2001
2000
1999
Formal Aspects Comput., 1999
Proceedings of the Integrated Formal Methods, 1999
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the Forging New Links, 1998
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
1995
1992