Emília Villani

According to our database1, Emília Villani authored at least 23 papers between 2001 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Neural Network to Control a Multiple Angles Kicker in RoboCup Small Size League.
Proceedings of the Latin American Robotics Symposium, 2020

Black-box Identification of a Robotic Flight Simulator.
Proceedings of the 16th International Conference on Control, 2020

Integrating model checking and model based testing for industrial software development.
Comput. Ind., 2019

Applying agile methods to aircraft embedded software: an experimental analysis.
Softw. Pract. Exp., 2017

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Manufacture Equipment Retrofit to Allow Usage in the Industry 4.0.
Proceedings of the 2nd International Conference on Cybernetics, Robotics and Control, 2017

A comparison of industrial robots interface: force guidance system and teach pendant operation.
Ind. Robot, 2016

An Approach for Verification of a Satellite Simulator - An Evolving System.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

A benchmarking process to assess software requirements documentation for space applications.
J. Syst. Softw., 2015

Contributions of model checking and CoFI methodology to the development of space embedded software.
Empir. Softw. Eng., 2014

On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector.
Adv. Eng. Softw., 2013

Reliability Analysis of Consensus in Cooperative Transport Systems.
Proceedings of the SAFECOMP 2013, 2013

Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Towards Benchmarking of Functional Safety in the Automotive Industry.
Proceedings of the Dependable Computing - 14th European Workshop, 2013

On reliability analysis of leader election protocols for virtual traffic lights.
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

Benchmarking Software Requirements Documentation for Space Application.
Proceedings of the Computer Safety, 2010

Errors on Space Software Requirements: A Field Study and Application Scenarios.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Remote Monitoring and Control of Manufacturing System.
Proceedings of the Information Technology For Balanced Manufacturing Systems, 2006

A Hybrid Approach for Safety Analysis of Aircraft Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

Modeling of hybrid supervisory systems using UML and Petri nets.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001