Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test
Valérie-Anne Nicolas
Génie logiciel [cs.SE]. Université Rennes 1, 1998. Français.
⟨NNT : ⟩
Theses
tel-00607401v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Laurent Lemarchand
7th IEEE Latin-American Test Workshop, LATW 2006 , Mar 2006, Buenos Aires, Argentina. p.19
Conference papers
hal-00607320v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Programs, Properties, and Data: Exploring the Software Development Trilogy
Daniel Le Métayer
,
Valérie-Anne Nicolas
,
Olivier Ridoux
Journal articles
hal-00783203v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validation of a Mixed-Signal Board ATPG Method: The TCB case study
Valérie-Anne Nicolas
,
Bertrand Gilles
,
Laurent Tchamnda Nana
2008
Reports
hal-00607290v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Maintenance-Oriented Board testing Approach
Valérie-Anne Nicolas
,
Bertrand Gilles
,
Laurent Lemarchand
,
Bruno Castel
3rd IEEE International East-West Design & Test Workshop, EWDTW'05 , Sep 2005, Odessa, Ukraine. p.143
Conference papers
hal-00607357v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Rapport d'avancement intermédiaire à la société ISIS-MPP
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Bruno Castel
2004
Other publications
hal-00783230v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a Formal Approach for the Regeneration of PILOT Control System
Laurent Tchamnda Nana
,
Valérie-Anne Nicolas
,
Lionel Marcé
SCI'2002, The 6th World Multiconference on Systemics, Cybernetics and Informatics, IEEE Computer Society Venezuela , Jul 2002, Orlando, Florida, United States
Conference papers
hal-00783178v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On Introducing Built-In Test for Software Components in AADL Models
Valérie-Anne Nicolas
IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'10 , Sep 2010, St. Petersburg, Russia. p.179
Conference papers
hal-00607247v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.
José Rufino
,
António Casimiro
,
Antónia Lopes
,
Frank Singhoff
,
Stéphane Rubini
,
et al.
Ada User Journal , 2018
Journal articles
hal-01869010v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Real-Time System Monitoring driven by Scheduling Analysis
Stéphane Rubini
,
Valérie-Anne Nicolas
,
Frank Singhoff
,
José Rufino
Ada User Journal , 2018, 39 (4), pp.282--286
Journal articles
hal-01868845v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verification of Scheduling Properties Based on Execution Traces
Valérie-Anne Nicolas
,
Mounir Lallali
,
Stéphane Rubini
,
Frank Singhoff
Ada User Journal , 2018
Journal articles
hal-01868846v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validation d'une méthode de génération de données de test pour des cartes hybrides
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Laurent Tchamnda Nana
2008
Other publications
hal-00607284v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Une plate-forme pour le test de cartes hybrides
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Lionel Marcé
MAJECSTIC 2003 , Oct 2003, Marseille, France. p.26
Conference papers
hal-00607376v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Maintenance Testing of Mixed-Signal Boards
Laurent Lemarchand
,
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Lionel Marce
,
Bruno Castel
2nd IEEE Electronic System Test Workshop, ESTW05 , Nov 2005, Austin, United States
Conference papers
hal-00770475v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Validation of a Mixed-Signal Board ATPG Method
Valérie-Anne Nicolas
,
Bertrand Gilles
,
Laurent Tchamnda Nana
6th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'08 , Oct 2008, Lviv, Ukraine
Conference papers
hal-00783154v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Plate-forme de test pour les cartes hybrides
Valérie-Anne Nicolas
,
Bertrand Gilles
,
Laurent Lemarchand
,
Lionel Marcé
,
Bruno Castel
2005
Other publications
hal-00783222v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Une plate-forme de test pour les cartes hybrides
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Lionel Marcé
plateforme AFIA 2003 , Jul 2003, Laval, France. p.17
Conference papers
hal-00607386v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Maintenance Testing of Mixed-Signal Boards: the FCB case study
Valérie-Anne Nicolas
,
Bertrand Gilles
,
Laurent Lemarchand
,
Lionel Marcé
,
Bruno Castel
2005
Reports
hal-00607368v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Implementing an Automatic Functional Test Pattern Generation for Mixed-Signal Boards in a Maintenance Context
Bertrand Gilles
,
Laurent Tchamnda Nana
,
Valérie-Anne Nicolas
5th IEEE International East-West Design & Test Symposium, EWDTS'07 , Sep 2007, Erevan, Armenia. p.171
Conference papers
hal-00607309v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Modeling and Generation of Test Patterns for Mixed-Signal Boards: Dealing With Basic Signals
Bertrand Gilles
,
Laurent Tchamnda Nana
,
Valérie-Anne Nicolas
6th IEEE International Board Test Workshop, BTW'07 , Sep 2007, Fort Collins, Colorado, United States
Conference papers
hal-00783171v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Service robotics, three case studies
Yvon Autret
,
Valérie-Anne Nicolas
,
David Espes
,
Philippe Le Parc
Ryhti workshop , Sep 2012, Finland
Conference papers
hal-00783749v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Retour d'expérience sur un projet de recherche appliquée dans le domaine de l'automatisation de la génération de données de test
Valérie-Anne Nicolas
2010
Other publications
hal-00607263v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Increasing the autonomy of an underwater ROV
Marko Vukšić
,
Tonko Kovacevic
,
Barbara Džaja
,
Predrag Đukić
,
Slaven Šitić
,
et al.
Sea Tech Week , Sep 2022, Brest, France
Poster communications
hal-03778490v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing: A Case Study
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Laurent Lemarchand
,
Lionel Marcé
2006
Reports
hal-00607343v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a New Modelling of Mixed-Signal Boards For Maintenance Testing
Bertrand Gilles
,
Valérie-Anne Nicolas
,
Laurent Lemarchand
,
Lionel Marcé
,
Bruno Castel
11th IEEE International Mixed-Signal Testing Workshop, IMSTW'05 , Jun 2005, Cannes, France. p.90
Conference papers
hal-00607349v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL
Frank Singhoff
,
Stéphane Rubini
,
Hai Nam Tran
,
Jalil Boukhobza
,
Laurent Lemarchand
,
et al.
Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering , May 2018, Novgorod the Great, Russia
Conference papers
hal-01825157v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verification by Testing for Recursive Program Schemes
Daniel Le Métayer
,
Valérie-Anne Nicolas
,
Olivier Ridoux
Lecture Notes in Computer Science , 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272.
⟨10.1007/10720327_15⟩
Journal articles
hal-00783194v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More