According to our database1, Emília Villani authored at least 21 papers between 2001 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Integrating model checking and model based testing for industrial software development.
Computers in Industry, 2019
Applying agile methods to aircraft embedded software: an experimental analysis.
Softw., Pract. Exper., 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.
Industrial 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.
Journal of Systems and Software, 2015
Contributions of model checking and CoFI methodology to the development of space embedded software.
Empirical Software Engineering, 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.
Advances in Engineering Software, 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