Anca Goron

According to our database, Anca Goron authored at least 8 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes.

Anca Goron, Carlos Iván Chesñevar

Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016

2015

Model checking as support for inspecting compliance to rules in flexible processes.

Ioan Alfred Letia, Anca Goron

J. Vis. Lang. Comput., 2015

2014

A formal approach for identifying assurance deficits in unmanned aerial vehicle software.

Adrian Groza, Ioan Alfred Letia, Anca Goron, Sergiu Zaporojan

Proceedings of the Progress in Systems Engineering, 2014

2011

Embedding value-based argumentation in persuasive dialogs.

Ioan Alfred Letia, Anca Goron

Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Using arguments on requirements for services.

Ioan Alfred Letia, Anca Goron

Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Towards Justifying Norm Compliance.

Ioan Alfred Letia, Anca Goron

Proceedings of the Coordination, 2011

2010

An Argumentation Approach to Incompletely Specified Software Services.

Ioan Alfred Letia, Anca Goron

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010