default search action
Emília Villani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Aline Dahleni Kraemer
, Emília Villani:
Framework for Offline Data-Driven Aircraft Fault Diagnosis. J. Aerosp. Inf. Syst. 21(4): 348-361 (2024) - [j11]Aline da C. Matheus, Wesley Rodrigues de Oliveira, Emília Villani:
A Safety-Oriented Motion Cueing Algorithm for a Serial Robotic Flight Simulator Using a Predictive Neural Network Reference Governor. IEEE Trans. Intell. Transp. Syst. 25(11): 15718-15731 (2024) - 2023
- [j10]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: 103850 (2023) - [c19]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: 1-6 - 2022
- [j9]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: 102237 (2022) - 2021
- [j8]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): 212-230 (2021) - [c18]Mario Henrique de Oliveira Coutinho da Silva, Thiago Fontes Macêdo, Cinthia de Carvalho Lourenço, Ivan de Souza Rehder
Mental Workload Assessment in Military Pilots Using Flight Simulators and Physiological Sensors. H-WORKLOAD 2021: 99-115 - 2020
- [c17]Aline da C. Matheus, Emília Villani, Wesley Rodrigues de Oliveira:
Black-box Identification of a Robotic Flight Simulator. ICARCV 2020: 1131-1136 - [c16]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: 1-6
2010 – 2019
- 2019
- [j7]Emília Villani
Integrating model checking and model based testing for industrial software development. Comput. Ind. 104: 88-102 (2019) - 2018
- [j6]Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio
From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. J. Aerosp. Inf. Syst. 15(5): 271-281 (2018) - 2017
- [j5]Samoel Mirachi, Valdir da Costa Guerra, Adilson Marques da Cunha
Applying agile methods to aircraft embedded software: an experimental analysis. Softw. Pract. Exp. 47(11): 1465-1484 (2017) - [c15]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: 155-161 - [c14]Mikael Asplund, Jakob Lovhall, Emília Villani:
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. PRDC 2017: 321-328 - 2016
- [j4]Guilherme Boulhosa Rodamilans, Emília Villani, Luís Gonzaga Trabasso
A comparison of industrial robots interface: force guidance system and teach pendant operation. Ind. Robot 43(5): 552-562 (2016) - [c13]Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio
An Approach for Verification of a Satellite Simulator - An Evolving System. LADC 2016: 176-182 - 2015
- [j3]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100: 103-116 (2015) - 2014
- [j2]Rodrigo Pastl Pontes, Paulo Claudino Véras, Ana Maria Ambrosio
Contributions of model checking and CoFI methodology to the development of space embedded software. Empir. Softw. Eng. 19(1): 39-68 (2014) - [c12]Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson:
On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. EDCC 2014: 23-34 - 2013
- [j1]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: 32-44 (2013) - [c11]Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa
On reliability analysis of leader election protocols for virtual traffic lights. DSN Workshops 2013: 1-12 - [c10]Mafijul Md. Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi, Daniel Skarin, Jonny Vinter
Towards Benchmarking of Functional Safety in the Automotive Industry. EWDC 2013: 111-125 - [c9]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: 68-77 - [c8]Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson:
Reliability Analysis of Consensus in Cooperative Transport Systems. ASCoMS@SAFECOMP 2013 - 2010
- [c7]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE 2010: 61-70 - [c6]Paulo C. Véras, Emília Villani, Ana Maria Ambrosio
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP 2010: 112-125
2000 – 2009
- 2006
- [c5]Emília Villani, Paulo E. Miyagi
A Hybrid Approach for Safety Analysis of Aircraft Systems. ADHS 2006: 389-394 - [c4]Emília Villani, R. A. Castro, F. M. Marques, Paulo Eigi Miyagi
Remote Monitoring and Control of Manufacturing System. BASYS 2006: 369-376 - 2005
- [c3]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 - 2003
- [c2]Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems. ADHS 2003: 87-92 - 2001
- [c1]Paulo Eigi Miyagi
Modeling of hybrid supervisory systems using UML and Petri nets. ETFA (2) 2001: 149-158
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-19 21:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: