Framework for Offline Data-Driven Aircraft Fault Diagnosis.

Emília Villani

Aline Dahleni Kraemer Emília Villani Framework for Offline Data-Driven Aircraft Fault Diagnosis. 348-361 2024 21 J. Aerosp. Inf. Syst. 4 https://doi.org/10.2514/1.i011253 https://www.wikidata.org/entity/Q128572525 db/journals/jacic/jacic21.html#KraemerV24

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. 15718-15731 2024 November 25 IEEE Trans. Intell. Transp. Syst. 11 https://doi.org/10.1109/TITS.2024.3442973 db/journals/tits/tits25.html#MatheusOV24 streams/journals/tits

Kleber Roberto da Silva Santos Wesley Rodrigues de Oliveira Emília Villani Augusto Dttmann 3D scanning method for robotized inspection of industrial sealed parts. 103850 2023 May 147 Comput. Ind. https://doi.org/10.1016/j.compind.2022.103850 db/journals/cii/cii147.html#SantosOVD23

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. 1-6 2023 CASE https://doi.org/10.1109/CASE56687.2023.10260425 conf/case/2023 db/conf/case/case2023.html#FerreiraSEOV23

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. 102237 2022 73 Robotics Comput. Integr. Manuf. https://doi.org/10.1016/j.rcim.2021.102237 db/journals/rcim/rcim73.html#SantosVOD22

Samoel Mirachi Emília Villani Marcelo José Ruv Lemes Developing Critical Aerospace Embedded Systems with Distributed Teams Using Agile Methodologies. 212-230 2021 May 18 J. Aerosp. Inf. Syst. 5 https://doi.org/10.2514/1.i010838 db/journals/jacic/jacic18.html#MirachiVL21

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. 99-115 2021 H-WORKLOAD https://doi.org/10.1007/978-3-030-91408-0_7 conf/hworkload/2021 db/conf/hworkload/hworkload2021.html#SilvaMLRMCCJV21 Aline da C. Matheus Emília Villani Wesley Rodrigues de Oliveira Black-box Identification of a Robotic Flight Simulator. 1131-1136 2020 ICARCV https://doi.org/10.1109/ICARCV50220.2020.9305337 conf/icarcv/2020 db/conf/icarcv/icarcv2020.html#MatheusVO20 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. 1-6 2020 LARS/SBR/WRE https://doi.org/10.1109/LARS/SBR/WRE51543.2020.9306941 conf/larc/2020 db/conf/larc/lars2020.html#AzevedoVVM20

Emília Villani Rodrigo Pastl Pontes Guilherme Kisseloff Coracini Ana Maria Ambrosio Integrating model checking and model based testing for industrial software development. 88-102 2019 104 Comput. Ind. https://doi.org/10.1016/j.compind.2018.08.003 db/journals/cii/cii104.html#VillaniPCA19

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. 271-281 2018 May 15 J. Aerosp. Inf. Syst. 5 https://doi.org/10.2514/1.i010525 db/journals/jacic/jacic15.html#GreghiMCAV18

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. 1465-1484 2017 47 Softw. Pract. Exp. 11 https://doi.org/10.1002/spe.2477 https://www.wikidata.org/entity/Q110570059 db/journals/spe/spe47.html#MirachiGCDV17

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. 155-161 2017 CRC https://doi.org/10.1109/CRC.2017.46 https://doi.ieeecomputersociety.org/10.1109/CRC.2017.46 conf/crc/2017 db/conf/crc/crc2017.html#ArjoniMICCFV17 Mikael Asplund Jakob Lovhall Emília Villani Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. 321-328 2017 PRDC https://doi.org/10.1109/PRDC.2017.57 https://doi.ieeecomputersociety.org/10.1109/PRDC.2017.57 conf/prdc/2017 db/conf/prdc/prdc2017.html#AsplundLV17

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. 552-562 2016 43 Ind. Robot 5 https://doi.org/10.1108/IR-02-2016-0074 db/journals/irob/irob43.html#RodamilansVTOS16

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. 176-182 2016 LADC https://doi.org/10.1109/LADC.2016.36 https://doi.ieeecomputersociety.org/10.1109/LADC.2016.36 conf/ladc/2016 db/conf/ladc/ladc2016.html#SilvaAVA16

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. 103-116 2015 100 J. Syst. Softw. https://doi.org/10.1016/j.jss.2014.10.054 db/journals/jss/jss100.html#VerasVAVM15

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. 39-68 2014 19 Empir. Softw. Eng. 1 https://doi.org/10.1007/s10664-012-9215-y db/journals/ese/ese19.html#PontesVAV14

Negin Fathollahnejad Emília Villani Risat Pathan Raul Barbosa Johan Karlsson On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. 23-34 2014 EDCC https://doi.org/10.1109/EDCC.2014.26 https://doi.ieeecomputersociety.org/10.1109/EDCC.2014.26 conf/edcc/2014 db/conf/edcc/edcc2014.html#FathollahnejadVPBK14

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. 32-44 2013 55 Adv. Eng. Softw. https://doi.org/10.1016/j.advengsoft.2012.09.004 db/journals/aes/aes55.html#AnjosCV13

Negin Fathollahnejad Emília Villani Risat Pathan Raul Barbosa Johan Karlsson On reliability analysis of leader election protocols for virtual traffic lights. 1-12 2013 DSN Workshops https://doi.org/10.1109/DSNW.2013.6615529 https://doi.ieeecomputersociety.org/10.1109/DSNW.2013.6615529 conf/dsn/2013w db/conf/dsn/dsn2013w.html#FathollahnejadV13 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. 111-125 2013 EWDC https://doi.org/10.1007/978-3-642-38789-0_10 conf/ewdc/2013 db/conf/ewdc/ewdc2013.html#IslamSASVTKNVHIK13 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. 68-77 2013 PRDC https://doi.org/10.1109/PRDC.2013.13 https://doi.ieeecomputersociety.org/10.1109/PRDC.2013.13 conf/prdc/2013 db/conf/prdc/prdc2013.html#FathollahnejadVPBK13 Emília Villani Negin Fathollahnejad Risat Pathan Raul Barbosa Johan Karlsson Reliability Analysis of Consensus in Cooperative Transport Systems. 2013 ASCoMS@SAFECOMP http://hal.archives-ouvertes.fr/SAFECOMP2013-ASCOMS/hal-00848076 conf/safecomp/2013ascoms db/conf/safecomp/ascoms2013.html#VillaniFPBK13 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. 61-70 2010 ISSRE https://doi.org/10.1109/ISSRE.2010.30 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2010.30 conf/issre/2010 db/conf/issre/issre2010.html#VerasVASVM10 Paulo C. Véras Emília Villani Ana Maria Ambrosio Rodrigo Pastl Pontes Marco Vieira Henrique Madeira Benchmarking Software Requirements Documentation for Space Application. 112-125 2010 SAFECOMP https://doi.org/10.1007/978-3-642-15651-9_9 conf/safecomp/2010 db/conf/safecomp/safecomp2010.html#VerasVAPVM10 Emília Villani Paulo E. Miyagi A Hybrid Approach for Safety Analysis of Aircraft Systems. 389-394 2006 ADHS https://doi.org/10.3182/20060607-3-IT-3902.00071 conf/adhs/2006 db/conf/adhs/adhs2006.html#VillaniM06 Emília Villani R. A. Castro F. M. Marques Paulo Eigi Miyagi Remote Monitoring and Control of Manufacturing System. 369-376 2006 BASYS https://doi.org/10.1007/978-0-387-36594-7_39 conf/ifip5-3/2006 db/conf/ifip5-3/basys2006.html#VillaniCMM06 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. 2005 conf/etfa/2005 ETFA https://doi.org/10.1109/ETFA.2005.1612621 db/conf/etfa/etfa2005.html#JunqueiraVM05 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. 87-92 2003 ADHS https://doi.org/10.1016/S1474-6670(17)36412-1 conf/adhs/2003 db/conf/adhs/adhs2003.html#VillaniPMV03 Paulo Eigi Miyagi Emília Villani Newton Maruyama Modeling of hybrid supervisory systems using UML and Petri nets. 149-158 2001 ETFA (2) https://doi.org/10.1109/ETFA.2001.997681 conf/etfa/2001-2 db/conf/etfa/etfa2001-2.html#MiyagiVM01 Ana Maria Ambrosio José Marcos Silva Anjos Diego Hernandez Arjoni Mikael Asplund Fatemeh Ayatolahi Denise Rotondi Azevedo Francisco A. B. Azevedo Raul Barbosa Ariadne Maria Brito Rizzoni Carvalho Gustavo de Melo Carvalho R. A. Castro Mateus Pereira Cesare Loredana B. Cobianchi Guilherme Kisseloff Coracini Raphael Gomes Cortes Adilson Marques da Cunha Luiz Alberto Vieira Dias Augusto DttmannAugusto Dttman Carlos A. Eguti Negin Fathollahnejad Caue Ferreira Luiz F. L. R. Ferreira Juliana Galvani Greghi Valdir da Costa Guerra Johan Haraldsson Guilherme Hiroji Anraku IkedaGuilherme Ikeda Patrik Isaksson Mafijul Md. Islam Moacyr Machado Cardoso Junior Fabrício Junqueira Andreas Käck Johan Karlsson Aline Dahleni Kraemer Marcelo José Ruv Lemes Cinthia de Carvalho Lourenço Jakob Lovhall Thiago Fontes Macêdo Fernando Silveira Madani Henrique Madeira Ana Angélica da Costa Marchiori F. M. Marques Eliane Martins Newton Maruyama Aline da C. Matheus Marcos Ricardo Omena de Albuquerque MáximoMarcos R. O. A. Máximo Samoel Mirachi Paulo E. MiyagiPaulo Eigi Miyagi Mattias Nyberg Wesley Rodrigues de Oliveira Jean-Claude Pascal Risat Mahmud PathanRisat Pathan Rodrigo Pastl Pontes Ivan de Souza Rehder Guilherme Boulhosa Rodamilans Behrooz Sangchoolie Kleber Roberto da Silva Santos Cesar L. Silva Mario Henrique de Oliveira Coutinho da Silva Nuno Silva Paulo Diego Barbosa Da Silva Daniel Skarin Ricardo Suterio Fredrik Törner Luís Gonzaga Trabasso Daniela Vacarini Robert Valette Paulo C. VérasPaulo Claudino Véras Marco Vieira Jonny Vinter