Virginia Papailiopoulou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FMICS | Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. | Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis |
| 2010 | ICST | Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller. | Laya Madani, Virginia Papailiopoulou, Ioannis Parissis |
| 2008 | FMICS | Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. | Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis |