2022
Poster communications
- titre
- Increasing the autonomy of an underwater ROV
- auteur
- Marko Vukšić, Tonko Kovacevic, Barbara Džaja, Predrag Đukić, Slaven Šitić, Hai Nam Tran, Vincent Rodin, Laurent Lemarchand, Valérie-Anne Nicolas, Alain Plantec, Stéphane Rubini, Frank Singhoff
- article
- Sea Tech Week, Sep 2022, Brest, France
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- A Real-Time System Monitoring driven by Scheduling Analysis
- auteur
- Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino
- article
- Ada User Journal, 2018, 39 (4), pp.282--286
- Accès au bibtex
-
- titre
- NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.
- auteur
- José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache
- article
- Ada User Journal, 2018
- Accès au bibtex
-
- titre
- Verification of Scheduling Properties Based on Execution Traces
- auteur
- Valérie-Anne Nicolas, Mounir Lallali, Stéphane Rubini, Frank Singhoff
- article
- Ada User Journal, 2018
- Accès au bibtex
-
Conference papers
- titre
- About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL
- auteur
- Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Jalil Boukhobza, Laurent Lemarchand, Pierre Dissaux, Valérie-Anne Nicolas, Alain Plantec, Jérôme Legrand, Mourad Dridi, Jean-Philippe Diguet
- article
- Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
- Accès au bibtex
-
2012
Conference papers
- titre
- Service robotics, three case studies
- auteur
- Yvon Autret, Valérie-Anne Nicolas, David Espes, Philippe Le Parc
- article
- Ryhti workshop, Sep 2012, Finland
- Accès au bibtex
-
2010
Conference papers
- titre
- On Introducing Built-In Test for Software Components in AADL Models
- auteur
- Valérie-Anne Nicolas
- article
- IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'10, Sep 2010, St. Petersburg, Russia. p.179
- Accès au texte intégral et bibtex
-
Other publications
- titre
- 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
- auteur
- Valérie-Anne Nicolas
- article
- 2010
- Accès au bibtex
-
2008
Conference papers
- titre
- Validation of a Mixed-Signal Board ATPG Method
- auteur
- Valérie-Anne Nicolas, Bertrand Gilles, Laurent Tchamnda Nana
- article
- 6th IEEE EAST-WEST DESIGN & TEST SYMPOSIUM EWDTS'08, Oct 2008, Lviv, Ukraine
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Validation d'une méthode de génération de données de test pour des cartes hybrides
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Laurent Tchamnda Nana
- article
- 2008
- Accès au bibtex
-
Reports
- titre
- Validation of a Mixed-Signal Board ATPG Method: The TCB case study
- auteur
- Valérie-Anne Nicolas, Bertrand Gilles, Laurent Tchamnda Nana
- article
- 2008
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- Implementing an Automatic Functional Test Pattern Generation for Mixed-Signal Boards in a Maintenance Context
- auteur
- Bertrand Gilles, Laurent Tchamnda Nana, Valérie-Anne Nicolas
- article
- 5th IEEE International East-West Design & Test Symposium, EWDTS'07, Sep 2007, Erevan, Armenia. p.171
- Accès au texte intégral et bibtex
-
- titre
- Modeling and Generation of Test Patterns for Mixed-Signal Boards: Dealing With Basic Signals
- auteur
- Bertrand Gilles, Laurent Tchamnda Nana, Valérie-Anne Nicolas
- article
- 6th IEEE International Board Test Workshop, BTW'07, Sep 2007, Fort Collins, Colorado, United States
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Laurent Lemarchand
- article
- 7th IEEE Latin-American Test Workshop, LATW 2006, Mar 2006, Buenos Aires, Argentina. p.19
- Accès au texte intégral et bibtex
-
Reports
- titre
- Timed Functional Modeling for Mixed-Signal Boards in Maintenance Testing: A Case Study
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Laurent Lemarchand, Lionel Marcé
- article
- 2006
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- Maintenance Testing of Mixed-Signal Boards
- auteur
- Laurent Lemarchand, Bertrand Gilles, Valérie-Anne Nicolas, Lionel Marce, Bruno Castel
- article
- 2nd IEEE Electronic System Test Workshop, ESTW05, Nov 2005, Austin, United States
- Accès au texte intégral et bibtex
-
- titre
- A Maintenance-Oriented Board testing Approach
- auteur
- Valérie-Anne Nicolas, Bertrand Gilles, Laurent Lemarchand, Bruno Castel
- article
- 3rd IEEE International East-West Design & Test Workshop, EWDTW'05, Sep 2005, Odessa, Ukraine. p.143
- Accès au texte intégral et bibtex
-
- titre
- Towards a New Modelling of Mixed-Signal Boards For Maintenance Testing
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Laurent Lemarchand, Lionel Marcé, Bruno Castel
- article
- 11th IEEE International Mixed-Signal Testing Workshop, IMSTW'05, Jun 2005, Cannes, France. p.90
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Plate-forme de test pour les cartes hybrides
- auteur
- Valérie-Anne Nicolas, Bertrand Gilles, Laurent Lemarchand, Lionel Marcé, Bruno Castel
- article
- 2005
- Accès au bibtex
-
Reports
- titre
- Maintenance Testing of Mixed-Signal Boards: the FCB case study
- auteur
- Valérie-Anne Nicolas, Bertrand Gilles, Laurent Lemarchand, Lionel Marcé, Bruno Castel
- article
- 2005
- Accès au texte intégral et bibtex
-
2004
Other publications
- titre
- Rapport d'avancement intermédiaire à la société ISIS-MPP
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Bruno Castel
- article
- 2004
- Accès au bibtex
-
2003
Conference papers
- titre
- Une plate-forme pour le test de cartes hybrides
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Lionel Marcé
- article
- MAJECSTIC 2003, Oct 2003, Marseille, France. p.26
- Accès au texte intégral et bibtex
-
- titre
- Une plate-forme de test pour les cartes hybrides
- auteur
- Bertrand Gilles, Valérie-Anne Nicolas, Lionel Marcé
- article
- plateforme AFIA 2003, Jul 2003, Laval, France. p.17
- Accès au texte intégral et bibtex
-
2002
Conference papers
- titre
- Towards a Formal Approach for the Regeneration of PILOT Control System
- auteur
- Laurent Tchamnda Nana, Valérie-Anne Nicolas, Lionel Marcé
- article
- SCI'2002, The 6th World Multiconference on Systemics, Cybernetics and Informatics, IEEE Computer Society Venezuela, Jul 2002, Orlando, Florida, United States
- Accès au texte intégral et bibtex
-
2000
Journal articles
- titre
- Verification by Testing for Recursive Program Schemes
- auteur
- Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
- article
- 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⟩
- Accès au texte intégral et bibtex
-
1998
Journal articles
- titre
- Programs, Properties, and Data: Exploring the Software Development Trilogy
- auteur
- Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
- article
- IEEE Software, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩
- Accès au texte intégral et bibtex
-
Theses
- titre
- Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test
- auteur
- Valérie-Anne Nicolas
- article
- Génie logiciel [cs.SE]. Université Rennes 1, 1998. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-