Elisangela Rodrigues Vieira

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Technical Challenges

Top Venues

Bell Labs Tech. J.

Publications

Elisangela Rodrigues Vieira, Dario Vieira, Jean-Pierre Gallois
Challenges of a Validation Process Based on Models: An Industrial Case Study. Bell Labs Tech. J. 17 (1) (2012)
Dario Vieira, Elisangela Rodrigues Vieira
Network Monitoring with Real-Time Properties: A Step Forward. SERA (selected papers) (2009)
Elisangela Rodrigues Vieira, Ana R. Cavalli
Towards an Automated Test Generation with Delayed Transitions for Timed Systems. RTCSA (2007)
Samrat S. Batth, Elisangela Rodrigues Vieira, Ana R. Cavalli, M. Ümit Uyar
Specification of Timed EFSM Fault Models in SDL. FORTE (2007)