Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(10)
Ioannis Parissis
5
Laya Madani
2
Lydie Du Bousquet
1
Robert de Simone
1
Loic Besnard (Loïc Besnard)
1
Conferences
(4)
ASE
1
FMICS
1
ICST
1
ESLsyn
1
Keywords
(37)
Embed
Subscribe
Academic
Authors
Virginia Papailiopoulou
Virginia Papailiopoulou,Institut Informatique et Mathématiques Appliquées de Grenoble,Software Engineering,Engineering,Programming Languages
Edit
Virginia Papailiopoulou
Institut Informatique et Mathématiques Appliquées de Grenoble
Publications:
6
|
Citations:
2
Fields:
Software Engineering
,
Engineering
,
Programming Languages
View FAQ about top research areas and Fields of study
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
V. Papailiopoulou
,
D. Potop-Butucaru
,
Y. Sorel
,
R. de Simone
,
L. Besnard
,
J.-P. Talpin
Conference:
Electronic System Level Synthesis Conference - ESLsyn
, 2011
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
Laya Madani
,
Virginia Papailiopoulou
,
Ioannis Parissis
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
)
V. Papailiopoulou
,
B. Seljimi
,
I. Parissis
Published in 2009.
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
(
Citations: 1
)
Virginia Papailiopoulou
,
Laya Madani
,
Lydie Du Bousquet
,
Ioannis Parissis
Conference:
Formal Methods for Industrial Critical Systems - FMICS
, pp. 23-36, 2008
Automatic Test Generation for LUSTRE/SCADE Programs
Virginia Papailiopoulou
,
Ioannis Parissis
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
Laya Madani
,
Virginia Papailiopoulou
,
Ioannis Parissis
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
Virginia Papailiopoulou
,
Ajitha Rajan
,
Ioannis Parissis
Comments