Abigail Parisaca Vargas

According to our database, Abigail Parisaca Vargas authored at least 4 papers between 2008 and 2021.

Collaborative distances:

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

2021

An ontology-based analysis method for assessing and improving the quality of hazard analysis results.

Abigail Parisaca Vargas

PhD thesis, 2021

2015

Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards.

Abigail Parisaca Vargas, Robin Bloomfield

Proceedings of the KEOD 2015, 2015

2009

Model Checking LTL Formulae in RAISE with FDR.

Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

A Translation from RSL to CSP.

Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008