Diarmuid P. O'Donoghue

34 papers A 1B 2C 8Journal 8Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Evaluating LLM-Generated ACSL Annotations for Formal Verification. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2026	J	`jnl`	Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	J	`jnl`	A Short Survey on Formalising Software Requirements using Large Language Models. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	J	`jnl`	Formalising Software Requirements using Large Language Models. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	J	`jnl`	Leveraging LLMs for Formal Software Requirements - Challenges and Prospects. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	—	`conf`	Leveraging LLMs for Formal Software Requirements: Challenges and Prospects. OVERLAY Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2025	J	`jnl`	Working Document - Formalising Software Requirements with Large Language Models. CoRR Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan
2024	—	`conf`	Comparing Human and Machine Generated Text for Sentiment. KDIR WingYin Ha, Diarmuid P. O'Donoghue
2024	B	`conf`	Implicit Bias in Language Models - A Narrative Literature Review with Systematic Elements. CogSci Kevin Dirk Kiy, Dermot Lynott, Diarmuid P. O'Donoghue
2024	—	`conf`	Modeling Implicit Attitudes with Natural Language Data: A Comparison of Language Models. AICS Alexander Porshnev, Kevin Dirk Kiy, Diarmuid P. O'Donoghue, Manokamna Singh, Cai Wingfield, Dermot Lynott
2022	C	`conf`	Novelty Assurance by a Cognitively Inspired Analogy Approach to Uncover Hidden Similarity. ICCC Diarmuid P. O'Donoghue, Conor Brady, Shane Smullen, Gary Crowe
2021	C	`conf`	Creating new Program Proofs by Combining Abductive and Deductive Reasoning. ICCC Kuruvilla George Aiyankovil, Diarmuid P. O'Donoghue, Rosemary Monahan
2021	—	`conf`	Upcycling Formal Specifications for Similar Implementations with Arís. ICCBR Workshops Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue
2017	C	`conf`	Characteristics of Pro-c Analogies and Blends between Research Publications. ICCC Yalemisew M. Abgaz, Diarmuid P. O'Donoghue, Donny Hurley, Ehtzaz Chaudhry, Jian-Jun Zhang
2016	—	`conf`	Evaluation of Analogical Inferences Formed from Automatically Generated Representations of Scientific Publications. AICS Yalemisew M. Abgaz, Diarmuid P. O'Donoghue, Donny Hurley, Dmitry Smorodinnikov
2015	B	`conf`	An ancestor based extension to Differential Evolution (AncDE) for Single-Objective Computationally Expensive Numerical Optimization. CEC Rushikesh Sawant, Donagh Hatton, Diarmuid P. O'Donoghue
2015	C	`conf`	Stimulating and Simulating Creativity with Dr Inventor. ICCC Diarmuid P. O'Donoghue, Yalemisew M. Abgaz, Donny Hurley, Francesco Ronzano, Horacio Saggion
2014	C	`conf`	Can a Computationally Creative System Create Itself? Creative Artefacts and Creative Processes. ICCC Diarmuid P. O'Donoghue, James F. Power, Sian O'Briain, Feng Dong, Aidan Mooney, Donny Hurley, Yalemisew M. Abgaz, Charles Markham
2014	C	`conf`	Towards Dr Inventor: A Tool for Promoting Scientific Creativity. ICCC Diarmuid P. O'Donoghue, Horacio Saggion, Feng Dong, Donny Hurley, Yalemisew M. Abgaz, X. Zheng, Óscar Corcho, Jian J. Zhang, J. M. Careil, Babak Mahdian, Xia Zhao
2012	C	`conf`	A Creative Analogy Machine: Results and Challenges. ICCC Diarmuid P. O'Donoghue, Mark T. Keane
2011	—	`conf`	Explorations on template-directed genetic repair using ancient ancestors and other templates. GECCO (Companion) Donagh Hatton, Diarmuid P. O'Donoghue
2010	—	`conf`	Biologically inspired non-mendelian repair for constraint handling in evolutionary algorithms. GECCO (Companion) Amy FitzGerald, Diarmuid P. O'Donoghue
2009	—	`conf`	Genetic Repair Strategies Inspired by AICS Amy FitzGerald, Diarmuid P. O'Donoghue, Xinyu Liu
2008	A	`conf`	Genetic Repair for Optimization under Constraints Inspired by Arabidopsis Thaliana. PPSN Amy FitzGerald, Diarmuid P. O'Donoghue
2006	J	`jnl`	Seeing Things: Inventive Reasoning with Geometric Analogies and Topographic Maps. New Gener. Comput. Diarmuid P. O'Donoghue, Amy J. Bohan, Mark T. Keane
2006	J	`jnl`	Spatial inference with geometric proportional analogies. Artif. Intell. Rev. Emma-Claire Mullally, Diarmuid P. O'Donoghue
2005	—	`conf`	Geometric Proportional Analogies In Topographic Maps: Theory and Application. SGAI Conf. (Applications) Emma-Claire Mullally, Diarmuid P. O'Donoghue, Amy J. Bohan, Mark T. Keane
2004	—	`conf`	'surfing for knowledge' finding semantically similar Web clusters. ICWI David Cleary, Diarmuid P. O'Donoghue
2004	—	`conf`	Identifying and Evaluating a Generic Set of Superinstructions for Embedded Java Programs. ESA/VLSI Diarmuid P. O'Donoghue, James F. Power
2003	C	`conf`	Applications of cartographic structure matching. IGARSS Diarmuid P. O'Donoghue, Adam C. Winstanley, Leo Mulhare, Laura Keyes
2002	—	`conf`	Bigram analysis of Java bytecode sequences. PPPJ/IRE Diarmuid P. O'Donoghue, Aine Leddy, James F. Power, John Waldron
2002	—	`conf`	RADAR: Finding Analogies Using Attributes of Structure. AICS Brian P. Crean, Diarmuid P. O'Donoghue
1999	—	`conf`	VisualExpresso: Generating a Virtual Reality Internet. HPCN Europe David Cleary, Diarmuid P. O'Donoghue
1994	—	`conf`	Entity-Relationship Modelling for Semantic Networks. Applied Informatics Diarmuid P. O'Donoghue, J. Love