Seguir
Emilia Villani
Emilia Villani
E-mail confirmado em ita.br
Título
Citado por
Citado por
Ano
Modelling and analysis of hybrid supervisory systems: a Petri net approach
E Villani, PE Miyagi, R Valette
Springer Science & Business Media, 2007
1022007
Analysis of the indoor GPS system as feedback for the robotic alignment of fuselages using laser radar measurements as comparison
G Mosqueira, J Apetz, KM Santos, E Villani, R Suterio, LG Trabasso
Robotics and Computer-Integrated Manufacturing 28 (6), 700-709, 2012
732012
System safety assessment based on STPA and model checking
AL Dakwat, E Villani
Safety science 109, 130-143, 2018
662018
A Petri net-based object-oriented approach for the modelling of hybrid productive systems
E Villani, JC Pascal, PE Miyagi, R Valette
Nonlinear Analysis: Theory, Methods & Applications 62 (8), 1394-1418, 2005
422005
Manufacture equipment retrofit to allow usage in the industry 4.0
DH Arjoni, FS Madani, G Ikeda, GM Carvalho, LB Cobianchi, ...
2017 2nd international conference on Cybernetics, Robotics and Control (CRC …, 2017
342017
A method to improve the use of 6-dof robots as machine tools
LFF Furtado, E Villani, LG Trabasso, R Sutério
The International Journal of Advanced Manufacturing Technology 92, 2487-2502, 2017
322017
A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector
JMS Anjos, GK Coracini, E Villani
Advances in Engineering Software 55, 32-44, 2013
302013
Integrating model checking and model based testing for industrial software development
E Villani, RP Pontes, GK Coracini, AM Ambrósio
Computers in Industry 104, 88-102, 2019
292019
Relevant factors for the energy consumption of industrial robots
RR Garcia, AC Bittencourt, E Villani
Journal of the Brazilian Society of Mechanical Sciences and Engineering 40, 1-15, 2018
282018
On reliability analysis of leader election protocols for virtual traffic lights
N Fathollahnejad, E Villani, R Pathan, R Barbosa, J Karlsson
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
282013
Petri net approach for modelling system integration in intelligent buildings
PE Miyagi, E Villani, GDB Gustin, N Maruyama, DJ Santos Filho
Journal of the Brazilian Society of Mechanical Sciences 24, 341-350, 2002
262002
Abordagem híbrida para modelagem de sistemas de ar condicionado em edifícios inteligentes.
E Villani
Universidade de São Paulo, 2000
252000
A comparison of industrial robots interface: force guidance system and teach pendant operation
GB Rodamilans, E Villani, LG Trabasso, WR Oliveira, R Suterio
Industrial Robot: An International Journal 43 (5), 552-562, 2016
232016
Modelagem e análise de sistemas supervisórios híbridos.
E Villani
Universidade de São Paulo, 2004
222004
Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry
AJC De Aguiar, E Villani, F Junqueira
Robotics and Computer-Integrated Manufacturing 27 (5), 929-941, 2011
192011
Hybrid stochastic approach for the modelling and analysis of fire safety systems
E Villani, PI Kaneshiro, PE Miyagi
Nonlinear Analysis: Theory, Methods & Applications 65 (6), 1123-1149, 2006
192006
Landing system verification based on petri nets and a hybrid approach
E Villani, PE Miyagi, R Valette
IEEE Transactions on Aerospace and Electronic Systems 42 (4), 1420-1436, 2006
182006
Contributions of model checking and CoFI methodology to the development of space embedded software
RP Pontes, PC Véras, AM Ambrosio, E Villani
Empirical Software Engineering 19, 39-68, 2014
162014
Errors on space software requirements: A field study and application scenarios
PC Véras, E Villani, AM Ambrosio, N Silva, M Vieira, H Madeira
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
152010
Development of a robotic end-effector of drilling and fasteners inserter for aircraft structures
CCA Eguti, LG Trabasso, E Villani, GK Coracini, LFF Furtado
SAE Technical Paper, 2012
142012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20