Emília Villani

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 15

Top Topics

Embedded Software

Visual Servoing

Top Venues

J. Aerosp. Inf. Syst.

Empir. Softw. Eng.

Publications

Aline Dahleni Kraemer, Emília Villani
Framework for Offline Data-Driven Aircraft Fault Diagnosis. J. Aerosp. Inf. Syst. 21 (4) (2024)
Kleber Roberto da Silva Santos, Wesley Rodrigues de Oliveira, Emília Villani, Augusto Dttmann
3D scanning method for robotized inspection of industrial sealed parts. Comput. Ind. 147 (2023)
Caue Ferreira, Cesar L. Silva, Carlos A. Eguti, Wesley Rodrigues de Oliveira, Emília Villani
Photorealistic Simulation Approach for Verification of an Aerial Digital Photogrammetry System. CASE (2023)
Kleber Roberto da Silva Santos, Emília Villani, Wesley Rodrigues de Oliveira, Augusto Dttman
Comparison of visual servoing technologies for robotized aerospace structural assembly and inspection. Robotics Comput. Integr. Manuf. 73 (2022)
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
Mental Workload Assessment in Military Pilots Using Flight Simulators and Physiological Sensors. H-WORKLOAD (2021)
Samoel Mirachi, Emília Villani, Marcelo José Ruv Lemes
Developing Critical Aerospace Embedded Systems with Distributed Teams Using Agile Methodologies. J. Aerosp. Inf. Syst. 18 (5) (2021)
Francisco A. B. Azevedo, Daniela Vacarini, Emília Villani, Marcos R. O. A. Máximo
Neural Network to Control a Multiple Angles Kicker in RoboCup Small Size League. LARS/SBR/WRE (2020)
A. C. Matheus, Emília Villani, Wesley Rodrigues de Oliveira
Black-box Identification of a Robotic Flight Simulator. ICARCV (2020)
Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio
Integrating model checking and model based testing for industrial software development. Comput. Ind. 104 (2019)
Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio, Emília Villani
From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. J. Aerosp. Inf. Syst. 15 (5) (2018)
Mikael Asplund, Jakob Lovhall, Emília Villani
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. PRDC (2017)
Diego Hernandez Arjoni, Fernando Silveira Madani, Guilherme Ikeda, Gustavo de Melo Carvalho, Loredana B. Cobianchi, Luiz F. L. R. Ferreira, Emília Villani
Manufacture Equipment Retrofit to Allow Usage in the Industry 4.0. CRC (2017)
Samoel Mirachi, Valdir da Costa Guerra, Adilson Marques da Cunha, Luiz Alberto Vieira Dias, Emília Villani
Applying agile methods to aircraft embedded software: an experimental analysis. Softw. Pract. Exp. 47 (11) (2017)
Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo
An Approach for Verification of a Satellite Simulator - An Evolving System. LADC (2016)
Guilherme Boulhosa Rodamilans, Emília Villani, Luís Gonzaga Trabasso, Wesley Rodrigues de Oliveira, Ricardo Suterio
A comparison of industrial robots interface: force guidance system and teach pendant operation. Ind. Robot 43 (5) (2016)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100 (2015)
Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson
On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. EDCC (2014)
Rodrigo Pastl Pontes, Paulo Claudino Véras, Ana Maria Ambrosio, Emília Villani
Contributions of model checking and CoFI methodology to the development of space embedded software. Empir. Softw. Eng. 19 (1) (2014)
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
Towards Benchmarking of Functional Safety in the Automotive Industry. EWDC (2013)
Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson
On reliability analysis of leader election protocols for virtual traffic lights. DSN Workshops (2013)
José Marcos Silva Anjos, Guilherme Kisseloff Coracini, Emília Villani
A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector. Adv. Eng. Softw. 55 (2013)
Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson
Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. PRDC (2013)
Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson
Reliability Analysis of Consensus in Cooperative Transport Systems. ASCoMS@SAFECOMP (2013)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE (2010)
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP (2010)
Emília Villani, R. A. Castro, F. M. Marques, Paulo Eigi Miyagi
Remote Monitoring and Control of Manufacturing System. BASYS (2006)
Emília Villani, Paulo E. Miyagi
A Hybrid Approach for Safety Analysis of Aircraft Systems. ADHS (2006)
Fabrício Junqueira, Emília Villani, Paulo Eigi Miyagi
A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm. ETFA (2005)
Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi, Robert Valette
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems. ADHS (2003)
Paulo Eigi Miyagi, Emília Villani, Newton Maruyama
Modeling of hybrid supervisory systems using UML and Petri nets. ETFA (2) (2001)