Emília Villani

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Integrating model checking and model based testing for industrial software development.
Computers in Industry, 2019

2017
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

2016
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

2015
A benchmarking process to assess software requirements documentation for space applications.
Journal of Systems and Software, 2015

2014
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

2013
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

2010
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

2006
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

2005
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

2003
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

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


  Loading...