Dependability of on board applications: an approach through the control system, IEEE -AVCS ,
Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991. ,
DOI : 10.1109/32.75415
Comparison of two fuzzy modelling approaches applied to the rainfall-runoff relationship, 11th IFAC Symposium on System Identification, SYSID'97, 1997. ,
Conception and implementation of a cycloconverter digital control based on a MC 68332 microcontroller system IEEE MEPCON, pp.4-6, 1997. ,
Conception et réalisation de la commande numérique rapprochée d'un convertisseur électromécanique: application au cycloconvertisseur triphasé, Thèse de Doctorat de l'INPL, 1997. ,
Une méthode de vérification d'interopérabilité temporelle , Colloque francophone RENPAR, 1997. ,
Vérification de propriétés temporelles à la volée, Colloque francophone RENPAR'10, 1998. ,
Sensor network design for failure detection and isolation, IFAC Conference on Control of Industrial Systems, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00311228
A method for the conception of control systems for hybrid processes using Petri Nets ,
On Fault Tolerance and Worst-Case Response Time Analysis in CAN, 23nd IFAC/IFIP Workshop on Real-Time Programming, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00098456
Structural equivalence between direct residuals based on parity space and indirect residuals based on unknown input observers, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS'97, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00971516
Temporal Logic fo Real-Time Systems, Advanced Software Development Series, 1989. ,
Aide à la conception de stratégies de diagnostic et de reconfiguration dédiée aux systèmes hybrides, 1997. ,
Sûreté d' un processus hybride par reconfiguration de sa commande ,
Inverting mode failure recovery: application to the drive of a DC generator supplied by a three-phase thyristor converter, Proceedings of International Conference on Control Applications, pp.28-29, 1995. ,
DOI : 10.1109/CCA.1995.555734
Real-time communications using TDMA-based multi-access protocol, Computer Communications, vol.20, issue.6, pp.435-448, 1997. ,
DOI : 10.1016/S0140-3664(97)00045-5
DEPENDABLE DISTRIBUTED COMPUTER CONTROL SYSTEMS: ANALYSIS OF THE DESIGN STEP ACTIVITIES, Proceedings of IFAC -DCCS' 95, 1997. ,
DOI : 10.1016/B978-0-08-042593-1.50024-9
Validating Real-Time Applications distributed over CAN : an Interoperability Verification, 4th International CAN Conference, ICC'97, 1997. ,
VACANS-a tool for the validation of CAN-based applications, Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97, 1997. ,
DOI : 10.1109/WFCS.1997.634323
Time in distributed systems cooperation and communication models, Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, 1996. ,
DOI : 10.1109/FTDCS.1995.524967
Formal Verification of Time Constrained Communications, Proceedings of ISCA International Conference on Parallel and Distributed Computing Systems, pp.138-143, 1996. ,
Vérification formelle de propriétés temporelles d'une application distribuée temps réel, Conférence Real-Time Systems'97, éditions Teknéa, 1997. ,
Modèles de coopération et de communication entre processus temps réel répartis : expression de contraintes de temps pour la vérification de propriétés temporelles, 1996. ,