Javier Martinez Silva

A new Requirements Engineering approach for Manufacturing based on Petri Nets

Javier Martinez Silva, Raul Javales, José Reinaldo Silva, 2019 .

Requirements Engineering at a Glance: Comparing GORE and UML methods in the design of automated systems

Javier Martinez Silva, José Reinaldo Silva, Arianna Zoila Olivera Salmon, 2018 .

Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing

Javier Martinez Silva, José Reinaldo Silva, 2015 .

Fault diagnosis based on Petri Nets: the case study of a hydropower plant

Gilberto Francisco Martha de Souza, Javier Martinez Silva, José Reinaldo Silva, 2016 .

FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850

Javier Martinez Silva, José Reinaldo Silva, Miguel Angel Orellana Postigo, 2018 .

FORMAL REQUIREMENTS FOR MICROGRID USING KAOS AND REFERENCE ARCHITECTURE

Javier Martinez Silva, José Reinaldo Silva, Miguel Angel Orellana Postigo, 2019 .

Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis

Javier Martinez Silva, Tiago Stegun Vaquero, José Reinaldo Silva, 2020, Knowledge Engineering Tools and Techniques for AI Planning.

A new hierarchical approach to requirement analysis of problems in automated planning

Javier Martinez Silva, José Reinaldo Silva, 2019, Eng. Appl. Artif. Intell..

Applying goal-oriented requirement engineering and refence architecture for microgrid systems

Javier Martinez Silva, Miguel Angel Orellana Postigo, José Reinaldo Silva, 2020 .

New Trends in Residential Automation

Camelia Avram, Javier Martinez Silva, José Reinaldo Silva, 2018 .