Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

27 résultats
Page :
triés par
Image document

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 : ⟩
Thèse tel-00607401v1
Image document

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
Communication dans un congrès hal-00607320v1
Image document

Programs, Properties, and Data: Exploring the Software Development Trilogy

 Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux
IEEE Software, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩
Article dans une revue hal-00783203v1
Image document

Validation of a Mixed-Signal Board ATPG Method: The TCB case study

 Valérie-Anne Nicolas , Bertrand Gilles , Laurent Tchamnda Nana
2008
Rapport hal-00607290v1
Image document

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
Communication dans un congrès hal-00607357v1

Service robotics, three case studies

 Yvon Autret , Valérie-Anne Nicolas , David Espes , Philippe Le Parc
Ryhti workshop, Sep 2012, Finland
Communication dans un congrès hal-00783749v1
Image document

Maintenance Testing of Mixed-Signal Boards: the FCB case study

 Valérie-Anne Nicolas , Bertrand Gilles , Laurent Lemarchand , Lionel Marcé , Bruno Castel
2005
Rapport hal-00607368v1
Image document

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
Communication dans un congrès hal-00783171v1
Image document

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
Communication dans un congrès hal-00607309v1

Verification of Scheduling Properties Based on Execution Traces

 Valérie-Anne Nicolas , Mounir Lallali , Stéphane Rubini , Frank Singhoff
Ada User Journal, 2018
Article dans une revue hal-01868846v1
Image document

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
Communication dans un congrès hal-00607376v1

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
Article dans une revue hal-01868845v1

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
Autre publication scientifique hal-00607284v1

Plate-forme de test pour les cartes hybrides

 Valérie-Anne Nicolas , Bertrand Gilles , Laurent Lemarchand , Lionel Marcé , Bruno Castel
2005
Autre publication scientifique hal-00783222v1
Image document

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
Communication dans un congrès hal-00770475v1
Image document

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
Communication dans un congrès hal-00607386v1
Image document

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
Communication dans un congrès hal-00783154v1
Image document

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
Communication dans un congrès hal-00783178v1
Image document

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
Communication dans un congrès hal-00607247v1

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
Article dans une revue hal-01869010v1

Rapport d'avancement intermédiaire à la société ISIS-MPP

 Bertrand Gilles , Valérie-Anne Nicolas , Bruno Castel
2004
Autre publication scientifique hal-00783230v1
Image document

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⟩
Article dans une revue hal-00783194v1
Image document

Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing: A Case Study

 Bertrand Gilles , Valérie-Anne Nicolas , Laurent Lemarchand , Lionel Marcé
2006
Rapport hal-00607343v1
Image document

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
Communication dans un congrès hal-00607349v1

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
Autre publication scientifique hal-00607263v1

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
Communication dans un congrès hal-01825157v1
Image document

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 de conférence hal-03778490v1
Page :