Emília Villani
Instituto de Aeronáutica e Espaço(BR)
Publications by Year
Research Areas
Petri Nets in System Modeling, Aerospace and Aviation Technology, Formal Methods in Verification, Human-Automation Interaction and Safety, Software Reliability and Analysis Research
Most-Cited Works
- → Analysis of the indoor GPS system as feedback for the robotic alignment of fuselages using laser radar measurements as comparison(2012)69 cited
- → System safety assessment based on STPA and model checking(2018)65 cited
- → Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach(2007)47 cited
- → Relevant factors for the energy consumption of industrial robots(2018)37 cited
- → Integrating model checking and model based testing for industrial software development(2018)28 cited
- → Comparison of visual servoing technologies for robotized aerospace structural assembly and inspection(2021)28 cited
- → Manufacture Equipment Retrofit to Allow Usage in the Industry 4.0(2017)27 cited
- → A method to improve the use of 6-dof robots as machine tools(2017)27 cited
- → A Petri net-based object-oriented approach for the modelling of hybrid productive systems(2005)24 cited
- → Augmented reality for training formation flights: An analysis of human factors(2023)23 cited