An Argumentation Approach to Incompletely Specified Software Services. - Ioan Alfred Letia; Anca Goron (SYNASC, 2010)

Towards Justifying Norm Compliance. - Ioan Alfred Letia; Anca Goron (COIN@AAMAS&WI-IAT, 2011)

Using arguments on requirements for services. - Ioan Alfred Letia; Anca Goron (ICCP, 2011)

Embedding value-based argumentation in persuasive dialogs. - Ioan Alfred Letia; Anca Goron (ICCP, 2011)

A formal approach for identifying assurance deficits in unmanned aerial vehicle software. - Adrian Groza; Ioan Alfred Letia; Anca Goron; Sergiu Zaporojan (ICSEng, 2014)

Model checking as support for inspecting compliance to rules in flexible processes. - Ioan Alfred Letia; Anca Goron (J. Vis. Lang. Comput., 2015)

HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes. - Anca Goron; Carlos Iván Chesñevar (ICEGOV, 2016)

Assuring safety in air traffic control systems with argumentation and model checking. - Sergio Alejandro Gómez; Anca Goron; Adrian Groza; Ioan Alfred Letia (Expert Syst. Appl., 2016)