Co-authors (10)

Conferences (4)

Keywords (37)

Embed

Subscribe

Academic

Virginia Papailiopoulou

Virginia Papailiopoulou,Institut Informatique et Mathématiques Appliquées de Grenoble,Software Engineering,Engineering,Programming Languages

Virginia Papailiopoulou

Institut Informatique et Mathématiques Appliquées de Grenoble

Publications: 6 | Citations: 2

Fields: Software Engineering, Engineering, Programming Languages

Collaborated with 10 co-authors from 2008 to 2011 | Cited by 3 authors

Cumulative Annual

Sort by:

Publications (6)

BibTeX | RIS | RefWorks Download

From design-time concurrency to effective implementation parallelism: The multi-clock reactive case

, , , , ,

Conference: Electronic System Level Synthesis Conference - ESLsyn , 2011

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller

, ,

Conference: International Conference on Software Testing, Verification, and Validation - ICST , pp. 489-497, 2010

Revisiting the SteamBoiler Case Study with Lutess: Modeling for Automatic Test Generation (Citations: 1)

, ,

Published in 2009.

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators (Citations: 1)

, , ,

Conference: Formal Methods for Industrial Critical Systems - FMICS , pp. 23-36, 2008

Automatic Test Generation for LUSTRE/SCADE Programs

,

Conference: Automated Software Engineering - ASE , pp. 517-520, 2008

Sort by:

Citations (2 times by 2 publications)

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller

, ,

Conference: International Conference on Software Testing, Verification, and Validation - ICST , pp. 489-497, 2010

Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs

, ,

Comments