Modeling of hybrid supervisory systems using UML and Petri nets. - Paulo Eigi Miyagi; Emília Villani; Newton Maruyama (ETFA (2), 2001)

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 (ADHS, 2003)

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 (ETFA, 2005)

A Hybrid Approach for Safety Analysis of Aircraft Systems. - Emília Villani; Paulo E. Miyagi (ADHS, 2006)

Remote Monitoring and Control of Manufacturing System. - Emília Villani; R. A. Castro; F. M. Marques; Paulo Eigi Miyagi (BASYS, 2006)

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 (ISSRE, 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 (SAFECOMP, 2010)

On reliability analysis of leader election protocols for virtual traffic lights. - Negin Fathollahnejad; Emília Villani; Risat Pathan; Raul Barbosa; Johan Karlsson (DSN Workshops, 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 (EWDC, 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 (PRDC, 2013)

Reliability Analysis of Consensus in Cooperative Transport Systems. - Emília Villani; Negin Fathollahnejad; Risat Pathan; Raul Barbosa; Johan Karlsson (ASCoMS@SAFECOMP, 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)

On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. - Negin Fathollahnejad; Emília Villani; Risat Pathan; Raul Barbosa; Johan Karlsson (EDCC, 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)

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)

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 (LADC, 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)

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 (CRC, 2017)

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. - Mikael Asplund; Jakob Lovhall; Emília Villani (PRDC, 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)

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., 2018)

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)

Black-box Identification of a Robotic Flight Simulator. - Aline da C. Matheus; Emília Villani; Wesley Rodrigues de Oliveira (ICARCV, 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 (LARS/SBR/WRE, 2020)

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 (H-WORKLOAD, 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., 2021)

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)

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 (CASE, 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., 2023)

Framework for Offline Data-Driven Aircraft Fault Diagnosis. - Aline Dahleni Kraemer; Emília Villani (J. Aerosp. Inf. Syst., 2024)

A Safety-Oriented Motion Cueing Algorithm for a Serial Robotic Flight Simulator Using a Predictive Neural Network Reference Governor. - Aline da C. Matheus; Wesley Rodrigues de Oliveira; Emília Villani (IEEE Trans. Intell. Transp. Syst., 2024)