Anca Goron

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 3

Top Topics

Formal Verification

Reactive Systems

Top Venues

J. Vis. Lang. Comput.

Expert Syst. Appl.

Publications

Anca Goron, Carlos Iván Chesñevar
HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes. ICEGOV (2016)
Sergio Alejandro Gómez, Anca Goron, Adrian Groza, Ioan Alfred Letia
Assuring safety in air traffic control systems with argumentation and model checking. Expert Syst. Appl. 44 (2016)
Ioan Alfred Letia, Anca Goron
Model checking as support for inspecting compliance to rules in flexible processes. J. Vis. Lang. Comput. 28 (2015)
Adrian Groza, Ioan Alfred Letia, Anca Goron, Sergiu Zaporojan
A formal approach for identifying assurance deficits in unmanned aerial vehicle software. ICSEng (2014)
Ioan Alfred Letia, Anca Goron
Towards Justifying Norm Compliance. COIN@AAMAS&WI-IAT (2011)
Ioan Alfred Letia, Anca Goron
Embedding value-based argumentation in persuasive dialogs. ICCP (2011)
Ioan Alfred Letia, Anca Goron
Using arguments on requirements for services. ICCP (2011)
Ioan Alfred Letia, Anca Goron
An Argumentation Approach to Incompletely Specified Software Services. SYNASC (2010)