Emilia Villani
Emilia Villani
Adresse e-mail validée de ita.br
Citée par
Citée par
Modelling and analysis of hybrid supervisory systems: a Petri net approach
E Villani, PE Miyagi, R Valette
Springer Science & Business Media, 2007
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
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
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
Abordagem híbrida para modelagem de sistemas de ar condicionado em edifícios inteligentes.
E Villani
Universidade de São Paulo, 2000
System safety assessment based on STPA and model checking
AL Dakwat, E Villani
Safety science 109, 130-143, 2018
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
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
Modelagem e análise de sistemas supervisórios híbridos.
E Villani
Universidade de São Paulo, 2004
A comparison of industrial robots interface: force guidance system and teach pendant operation
GB Rodamilans, E Villani, LG Trabasso, WR de Oliveira, R Suterio
Industrial Robot: An International Journal, 2016
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
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
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
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
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
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 (1), 39-68, 2014
A method to improve the use of 6-dof robots as machine tools.
L Furtado, E Villani, L Trabasso, R Sutério
International Journal of Advanced Manufacturing Technology 92, 2017
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
A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm
F Junqueira, E Villani, PE Miyagi
2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 8 pp …, 2005
Object oriented approach for cane sugar production: modelling and analysis
E Villani, JC Pascal, PE Miyagi, R Valette
Control Engineering Practice 12 (10), 1279-1289, 2004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20