Skip to Main content Skip to Navigation
Help


...
tel-00284605v1  Habilitation à diriger des recherches
Christian Le Provost. Contribution à l'étude des marées dans les mers littorales : application à la Manche
Modélisation et simulation. Université Joseph-Fourier - Grenoble I; Institut National Polytechnique de Grenoble - INPG, 1974
...
tel-01964458v1  Theses
Karama Kanoun. Evaluation de la sûreté de fonctionnement des systèmes de sécurité - Application à la commande des postes à très haute tension
Performance et fiabilité [cs.PF]. Institut National Polytechnique de Toulouse (INP Toulouse), 1980. Français
...
hal-02016370v1  Conference papers
Karama KanounJean-Claude Laprie. Dependability Modeling of Safety Systems,
10th International Symposium on Fault-Tolerant Computing, Oct 1980, Tokyo, Japan
hal-00409962v1  Journal articles
Claude H. MoogJose Cury. Comments on Localization of Disturbances and Output Decomposition in Decentralized Linear Multivariable Systems
International Journal of Control, Taylor & Francis, 1981, 34 (6), pp.1221-1223
hal-00409983v1  Journal articles
Jose CuryP. GuerchetClaude H. Moog. Disturbance Decoupling Problem in Decentralized Linear Multivariable Systems
International Journal of Control, Taylor & Francis, 1982, 35 (6), pp.957-964
hal-01979721v1  Journal articles
Karama KanounJean-Claude Laprie. Dependability Modeling of Safety Systems
Microelectronics Reliability, Elsevier, 1982, 22 (3), pp.996-1126
hal-00409977v1  Journal articles
P. GuerchetClaude H. MoogJose Cury. Computation of a Decentralized Disturbance Decoupling Control for a Distillation Column
International Journal of Systems Science, Taylor & Francis, 1983, 14 (1), pp.75-85
...
hal-00968326v1  Conference papers
Christophe Sibertin-Blanc. HIGH LEVEL PETRI NETS WITH DATA STRUCTURE
6th European Workshop on Application and Theory of Petri Nets, Jul 1985, Espoo, Finland. pp.141-168
...
hal-01986880v1  Conference papers
Thierry SabourinKarama Kanoun. Analyse des défaillances et modélisation du comportement du logiciel d'un autocommutateur téléphonique.
5ème Colloque International de Fiabilité et de maintenabilité, pp.92-97., Oct 1986, Biarritz, France
...
hal-02016428v1  Conference papers
Jean ArlatKarama Kanoun. Modelling and dependability evaluation of safety systems in control and monitoring applications
5th International Workshop on Trends in Safe Real Time Computer Systems (SAFECOMP'86), Oct 1986, Sarlat, France
...
hal-01151751v1  Journal articles
Dimitri BertsekasDidier El Baz. Distributed Asynchronous Relaxation Methods for Convex Network Flow Problems
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 1987, 25 (1), pp.74-85. ⟨10.1137/0325006⟩
...
hal-01986883v1  Conference papers
Karama KanounThierry Sabourin. Software dependability of a telephone switching system.
17th International Symposium on Fault Tolerant Computing, FTCS-17, pp.236-241,, Jul 1987, Pittsburgh, United States
hal-01979793v1  Book sections
Malik GhallabRachid AlamiRaja Chatila. Dealing with Time in Planning and Execution Monitoring
Robotics Research 4, Bolles and Roth (Eds.) p.431-444, MIT Press,, 1988
hal-01906791v1  Journal articles
A. CoudeM. GaioF. Legay. Morphology of Clew Bay, Western Ireland, 25 Years after...Application to Aerial Photographs of Geomorphological Data Acquisition by Digital Camera
Bulletin (Centre de Geomorphologie deCaen), Centre de géomorphologie de Caen., 1989, 36, pp.135-138
hal-01984358v1  Journal articles
Karama KanounIrith Pomeranz. Guest Editors' Introduction
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 1989, Special Issue on Fault-Tolerant Computing, 47 (1)
...
tel-01964462v1  Theses
Karama Kanoun. Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation
Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français
...
inria-00075343v1  Reports
Catherine BellonPatrick BoscHenri Prade. Le "BOUM" du flou au Japon
[Rapport de recherche] RR-1215, INRIA. 1990
...
hal-01978863v1  Journal articles
Jean ArlatKarama KanounJean-Claude Laprie. DEPENDABILITY MODELING AND EVALUATION OF SOFTWARE-FAULT TOLERANT SYSTEMS
IEEE Transactions on Computers. Special Issue on Fault-Tolerant Computing, 1990, 39, pp.504 - 513
hal-01437279v1  Conference papers
Christophe ChoquetGuy GouardèresB. Malsallez. Le génie didacticiel au service de l'entreprise
3èmes Journées Internationales du Génie Logiciel et de ses Applications, 1990, Toulouse, France
...
hal-01152707v1  Journal articles
Didier El Baz. M-functions and parallel asynchronous algorithms
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 1990, 27 (1), pp. 136-140
...
tel-01288987v1  Theses
Matthieu Herrb. Vision en mouvement pour la robotique mobile
Robotique [cs.RO]. Université Paul Sabatier Toulouse, 1990. Français
hal-01972612v1  Conference papers
E. López-MelladoRachid Alami. A failure recovery scheme for assembly workcells
IEEE International Conference on Robotics and Automation, May 1990, Cincinnati, United States. ⟨10.1109/ROBOT.1990.126067⟩
hal-01972622v1  Conference papers
P. FreedmanRachid Alami. Repetitive sequencing: from workcell tasks to workcell cycles
IEEE International Conference on Robotics and Automation, May 1990, Cincinnati, United States. ⟨10.1109/ROBOT.1990.126294⟩
hal-00851871v1  Conference papers
Jean-Claude LaprieChristian BeounesMohamed KaânicheKarama Kanoun. The transformation approach to the modeling and evaluation of the reliability and availability growth
The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, ⟨10.1109/FTCS.1990.89390⟩