According to our database1, Emília Villani authored at least 23 papers between 2001 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Latin American Robotics Symposium, 2020
Proceedings of the 16th International Conference on Control, 2020
Integrating model checking and model based testing for industrial software development.
Comput. Ind., 2019
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
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
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
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
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
Proceedings of the Dependable Computing - 14th European Workshop, 2013
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013
Proceedings of the Computer Safety, 2010
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
Proceedings of the Information Technology For Balanced Manufacturing Systems, 2006
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
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001