Elisangela Rodrigues Vieira

According to our database, Elisangela Rodrigues Vieira authored at least 4 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Challenges of a Validation Process Based on Models: An Industrial Case Study.

Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois

Bell Labs Tech. J., 2012

2009

Network Monitoring with Real-Time Properties: A Step Forward.

Dario Vieira, Elisangela Rodrigues Vieira

Proceedings of the Software Engineering Research, 2009

2007

Towards an Automated Test Generation with Delayed Transitions for Timed Systems.

Elisangela Rodrigues Vieira, Ana R. Cavalli

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Specification of Timed EFSM Fault Models in SDL.

Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007