Emília Villani

According to our database, Emília Villani authored at least 29 papers between 2001 and 2023.

Collaborative distances:

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

2023

3D scanning method for robotized inspection of industrial sealed parts.

Kleber Roberto da Silva Santos, Wesley Rodrigues de Oliveira, Emília Villani, Augusto Dttmann

Comput. Ind., May, 2023

Photorealistic Simulation Approach for Verification of an Aerial Digital Photogrammetry System.

Caue Ferreira, Cesar L. Silva, Carlos A. Eguti, Wesley Rodrigues de Oliveira, Emília Villani

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Comparison of visual servoing technologies for robotized aerospace structural assembly and inspection.

Kleber Roberto da Silva Santos, Emília Villani, Wesley Rodrigues de Oliveira, Augusto Dttman

Robotics Comput. Integr. Manuf., 2022

2021

Developing Critical Aerospace Embedded Systems with Distributed Teams Using Agile Methodologies.

Samoel Mirachi, Emília Villani, Marcelo José Ruv Lemes

J. Aerosp. Inf. Syst., May, 2021

Mental Workload Assessment in Military Pilots Using Flight Simulators and Physiological Sensors.

Mario Henrique de Oliveira Coutinho da Silva, Thiago Fontes Macêdo, Cinthia de Carvalho Lourenço, Ivan de Souza Rehder, Ana Angélica da Costa Marchiori, Mateus Pereira Cesare, Raphael Gomes Cortes, Moacyr Machado Cardoso Junior, Emília Villani

Proceedings of the Human Mental Workload: Models and Applications, 2021

2020

Neural Network to Control a Multiple Angles Kicker in RoboCup Small Size League.

Francisco A. B. Azevedo, Daniela Vacarini, Emília Villani, Marcos R. O. A. Máximo

Proceedings of the Latin American Robotics Symposium, 2020

Black-box Identification of a Robotic Flight Simulator.

A. C. Matheus, Emília Villani, Wesley Rodrigues de Oliveira

Proceedings of the 16th International Conference on Control, 2020

2019

Integrating model checking and model based testing for industrial software development.

Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio

Comput. Ind., 2019

2018

From Natural Language Standard Documents to State Machines: Advantages and Drawbacks.

Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio, Emília Villani

J. Aerosp. Inf. Syst., May, 2018

2017

Applying agile methods to aircraft embedded software: an experimental analysis.

Samoel Mirachi, Valdir da Costa Guerra, Adilson Marques da Cunha, Luiz Alberto Vieira Dias, Emília Villani

Softw. Pract. Exp., 2017

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination.

Mikael Asplund, Jakob Lovhall, Emília Villani

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Manufacture Equipment Retrofit to Allow Usage in the Industry 4.0.

Diego Hernandez Arjoni, Fernando Silveira Madani, Guilherme Ikeda, Gustavo de Melo Carvalho, Loredana B. Cobianchi, Luiz F. L. R. Ferreira, Emília Villani

Proceedings of the 2nd International Conference on Cybernetics, Robotics and Control, 2017

2016

A comparison of industrial robots interface: force guidance system and teach pendant operation.

Guilherme Boulhosa Rodamilans, Emília Villani, Luís Gonzaga Trabasso, Wesley Rodrigues de Oliveira, Ricardo Suterio

Ind. Robot, 2016

An Approach for Verification of a Satellite Simulator - An Evolving System.

Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

2015

A benchmarking process to assess software requirements documentation for space applications.

Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira

J. Syst. Softw., 2015

2014

Contributions of model checking and CoFI methodology to the development of space embedded software.

Rodrigo Pastl Pontes, Paulo Claudino Véras, Ana Maria Ambrosio, Emília Villani

Empir. Softw. Eng., 2014

On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols.

Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013

A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector.

José Marcos Silva Anjos, Guilherme Kisseloff Coracini, Emília Villani

Adv. Eng. Softw., 2013

Reliability Analysis of Consensus in Cooperative Transport Systems.

Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the SAFECOMP 2013, 2013

Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion.

Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Towards Benchmarking of Functional Safety in the Automotive Industry.

Mafijul Md. Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi, Daniel Skarin, Jonny Vinter, Fredrik Törner, Andreas Käck, Mattias Nyberg, Emília Villani, Johan Haraldsson, Patrik Isaksson, Johan Karlsson

Proceedings of the Dependable Computing - 14th European Workshop, 2013

On reliability analysis of leader election protocols for virtual traffic lights.

Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2010

Benchmarking Software Requirements Documentation for Space Application.

Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira

Proceedings of the Computer Safety, 2010

Errors on Space Software Requirements: A Field Study and Application Scenarios.

Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

2006

Remote Monitoring and Control of Manufacturing System.

Emília Villani, R. A. Castro, F. M. Marques, Paulo Eigi Miyagi

Proceedings of the Information Technology For Balanced Manufacturing Systems, 2006

A Hybrid Approach for Safety Analysis of Aircraft Systems.

Emília Villani, Paulo E. Miyagi

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm.

Fabrício Junqueira, Emília Villani, Paulo Eigi Miyagi

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2003

Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.

Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi, Robert Valette

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2001

Modeling of hybrid supervisory systems using UML and Petri nets.

Paulo Eigi Miyagi, Emília Villani, Newton Maruyama

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001