More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Emília Villani

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/KraemerV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/KraemerV24
Aline Dahleni Kraemer, Emília Villani:
Framework for Offline Data-Driven Aircraft Fault Diagnosis. J. Aerosp. Inf. Syst. 21(4): 348-361 (2024)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/MatheusOV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/MatheusOV24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/SantosOVD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/SantosOVD23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/case/FerreiraSEOV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/FerreiraSEOV23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/rcim/SantosVOD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rcim/SantosVOD22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/MirachiVL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/MirachiVL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hworkload/SilvaMLRMCCJV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hworkload/SilvaMLRMCCJV21
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: 99-115
2020
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icarcv/MatheusVO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icarcv/MatheusVO20
Aline da C. Matheus, Emília Villani, Wesley Rodrigues de Oliveira:
Black-box Identification of a Robotic Flight Simulator. ICARCV 2020: 1131-1136
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/larc/AzevedoVVM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/larc/AzevedoVVM20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/VillaniPCA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/VillaniPCA19
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: 88-102 (2019)
2018
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/GreghiMCAV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/GreghiMCAV18
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): 271-281 (2018)
2017
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/MirachiGCDV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MirachiGCDV17
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): 1465-1484 (2017)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/crc/ArjoniMICCFV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crc/ArjoniMICCFV17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/AsplundLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/AsplundLV17
Mikael Asplund, Jakob Lovhall, Emília Villani:
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. PRDC 2017: 321-328
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/irob/RodamilansVTOS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/irob/RodamilansVTOS16
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): 552-562 (2016)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/SilvaAVA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/SilvaAVA16
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: 176-182
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/VerasVAVM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/VerasVAVM15
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: 103-116 (2015)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/PontesVAV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/PontesVAV14
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): 39-68 (2014)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/FathollahnejadVPBK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/FathollahnejadVPBK14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aes/AnjosCV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aes/AnjosCV13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/FathollahnejadV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/FathollahnejadV13
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: 1-12
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdc/IslamSASVTKNVHIK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdc/IslamSASVTKNVHIK13
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: 111-125
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/FathollahnejadVPBK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/FathollahnejadVPBK13
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]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/safecomp/VillaniFPBK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VillaniFPBK13
Emília Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson:
Reliability Analysis of Consensus in Cooperative Transport Systems. ASCoMS@SAFECOMP 2013
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/VerasVASVM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/VerasVASVM10
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: 61-70
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/VerasVAPVM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VerasVAPVM10
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: 112-125

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/VillaniM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/VillaniM06
Emília Villani, Paulo E. Miyagi:
A Hybrid Approach for Safety Analysis of Aircraft Systems. ADHS 2006: 389-394
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip5-3/VillaniCMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip5-3/VillaniCMM06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/JunqueiraVM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/JunqueiraVM05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/VillaniPMV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/VillaniPMV03
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: 87-92
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/MiyagiVM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/MiyagiVM01
Paulo Eigi Miyagi, Emília Villani, Newton Maruyama:
Modeling of hybrid supervisory systems using UML and Petri nets. ETFA (2) 2001: 149-158

Coauthor Index

see FAQ

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.