Skip to Main content Skip to Navigation


...
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-01979721v1  Journal articles
Karama KanounJean-Claude Laprie. Dependability Modeling of Safety Systems
Microelectronics Reliability, Elsevier, 1982, 22 (3), pp.996-1126
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-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⟩
hal-01972596v1  Conference papers
I. MazonRachid AlamiP. Violero. Automatic planning of pick and place operations in presence of uncertainties
IEEE International Workshop on Intelligent Robots and Systems (IROS), Jul 1990, Ibaraki, Japan. ⟨10.1109/IROS.1990.262366⟩
hal-02007256v1  Journal articles
Karama KanounMarta Bastos MartiniGeorges Moreira de Souza. Software reliability evaluation of the TROPICO-R switching system.
IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 1990, 39 (3), pp.369-379. ⟨10.1109/24.103020⟩
hal-00851764v1  Journal articles
Mohamed KaânicheKarama KanounSylvain Metge. Analyse des défaillances et suivi de la validation du logiciel d'un équipement de télécommunication
Annals of Telecommunications - annales des télécommunications, Springer, 1990, 45 (11-12), pp.657-670
hal-01969067v1  Book sections
Raja ChatilaRachid AlamiBernard DegallaixVictor PérébaskinePaul Gaborit et al.  An architecture for task interpretation and execution control for intervention robots: Preliminary experiments
The 2nd International} Symposium of Experimental Robotics, 190, Springer-Verlag, pp.207-221, 1991, Lecture Notes in Control and Information Sciences
hal-01982593v1  Book sections
Karama KanounJean ArlatL. BurrillYves CrouzetSusanne Graf et al.  Validation
D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
...
hal-02007235v1  Journal articles
Karama KanounMarta Bastos-MartiniGeorges Moreira de Souza. A method for software reliability analysis and prediction, application to the TROPICO-R switching system.
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1991, 17 (4), pp.334-344
hal-01969051v1  Conference papers
R.F. de CamargoRaja ChatilaRachid Alami. A distributed evolvable control architecture for mobile robots
Fifth International Conference on Advanced Robotics, Jun 1991, Pisa, Italy
hal-01969061v1  Conference papers
R. LauretteA. de Saint VincentRaja ChatilaV. PerebaskineRachid Alami. Supervision and control of the AMR intervention robot
Fifth International Conference on Advanced Robotics, Jun 1991, Pisa, Italy
...
tel-00010278v1  Theses
Pierre Lopez. Approche énergétique pour l'ordonnancement de tâches sous contraintes de temps et de ressources
Autre [cs.OH]. Université Paul Sabatier - Toulouse III, 1991. Français
...
hal-01985291v1  Conference papers
Karama KanounJean-Claude Laprie. THE ROLE OF TREND ANALYSIS IN SOFTWARE DEVELOPMENT AND VALIDATION
IFAC Int. Conf. on Safety, Security and Reliability (SAFECOMP'91), Nov 1991, Trondheim, Norway. pp.169 - 172
hal-01982567v1  Book sections
Jean ArlatKarama KanounJean-Claude Laprie. Dependability modeling of software fault-tolerant systems
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society, Press technology Series, pp.25-34, 1992
hal-01982576v1  Book sections
Jean-Claude LaprieJean ArlatChristian BeounesKarama Kanoun. Definition and analysis of hardware-and-software fault-tolerant architectures
Hoang Pham. Fault-tolerant software systems: techniques and applications, IEEE Computer Society Press technology Series, Los Alamitos, pp.5-17, 1992
...
tel-00142181v1  Theses
Mohamed Kaâniche. Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1992. Français
...
hal-01979370v1  Journal articles
Jean-Claude LaprieKarama Kanoun. X-ware reliability and availability modeling
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1992, 18 (2), pp.130-147
...
hal-01985247v1  Conference papers
Karama Kanoun. COLLECTE ET ANALYSE DE DONNÉES RELATIVES A LA SÛRETÉ DE FONCTIONNEMENT DU LOGICIEL
Journées nationales ISdF "Retour d'expérience et banques de données", Mar 1992, Paris, France
hal-01972642v1  Conference papers
B. Dacre-WrightJean-Paul LaumondRachid Alami. Motion planning for a robot and a movable object amidst polygonal obstacles
IEEE International Conference on Robotics and Automation, May 1992, Nice, France. ⟨10.1109/ROBOT.1992.220094⟩
hal-01969077v1  Conference papers
Raja ChatilaRachid AlamiBernard DegallaixH. Laruelle. Integrated planning and execution control of autonomous robot actions
IEEE International Conference on Robotics} and Automation, May 1992, Nice, France
hal-01969090v1  Conference papers
Georges GiraltRaja ChatilaRachid Alami. Task Level Programming And Robot Autonomy
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Jul 1992, Raleigh, United States
...
hal-00851763v1  Conference papers
Mohamed KaânicheKarama Kanoun. The discrete time hyperexponential model for software reliability growth evaluation
Third International Symposium on Software Reliability Engineering (ISSRE-1992), Oct 1992, Research Triangle Park, NC, United States. pp.64 - 75, ⟨10.1109/ISSRE.1992.285857⟩
hal-01969084v1  Conference papers
R.F. CamargoRaja ChatilaRachid Alami. Hardware and software architecture for execution control of an autonomous mobile robot
IEEE International Conference on Industrial Electronics, Control, Instrumentation, and Automation, Nov 1992, San Diego, United States
...
hal-01980099v1  Journal articles
Félix IngrandM.P. GeorgeffA.S. Rao. An architecture for real-time reasoning and system control
IEEE Expert, Institute of Electrical and Electronics Engineers (IEEE), 1992, 7 (6), pp.34-44. ⟨10.1109/64.180407⟩
hal-01982552v1  Book sections
Jean-Claude LaprieKarama KanounJean ArlatChristian Beounes. Definition and analysis of hardware-and-software fault-tolerant architectures
R.H. Thayer, A.D. McGettick. Software Engineering. A European Perspective, IEEE Computer Society Press, pp.256-268, 1993
...
hal-00462578v1  Book sections
Michel AurnagueLaure Vieu. A three-level approach to the semantics of space
Cornelia Zelinsky-Wibbelt. The semantics of prepositions: from mental processing to natural language processing, Mouton de Gruyter, pp.395-439, 1993, Natural Language Processing 3
hal-01969124v1  Book sections
Raja ChatilaRachid AlamiBernard DegallaixVictor PérébaskinePaul Gaborit et al.  An architecture for task interpretation and execution control for intervention robots: Preliminary experiments
Experimental Robotics III, 190, Springer-Verlag, pp.207-221, 1993, Lecture Notes in Control and Information Sciences
...
hal-02881246v1  Reports
Claudette CayrolMarie-Christine Lagasquie-Schiex. Comparaison de relations d'inférence non monotone : etude de complexité
[Rapport de recherche] 93-23, IRIT - Institut de recherche en informatique de Toulouse. 1993
...
hal-01981890v1  Conference papers
Félix IngrandVianney Coutance. Procedural Reasoning versus Blackboard Architecture for Real-Time Reasoning
Thirteenth International Conference on Artificial Intelligence, 1993, Avignon, France
hal-01908084v1  Conference papers
Eric AndonoffGilles HubertChristian Sallaberry. CHOLQ : Un Environnement d'interrogation de Bases de Données Orientées Objet
Software Engineering & Its Applications: Sixth International Conference, 1993, Paris La Défense, France
...
hal-00852434v1  Conference papers
Karama KanounMohamed KaânicheJean-Claude LaprieSylvain Metge. SoRel: A tool for reliability growth analysis and prediction from statistical failure data
The Twenty-Third International Symposium on Fault-Tolerant Computing (FTCS-23), Jun 1993, Toulouse, France. pp.654-659, ⟨10.1109/FTCS.1993.627370⟩
hal-01969120v1  Conference papers
Georges GiraltRaja ChatilaRachid Alami. Remote intervention, robot autonomy, and teleprogramming: generic concepts and real-world application cases
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Jul 1993, Tokyo, Japan
...
hal-01153597v1  Conference papers
Didier El Baz. Nonlinear systems of equations and parallel asynchronous iterative algorithms
Parallel Computing Conference, ParCO 2003, Sep 1993, Grenoble, France. pp.89-97
hal-00589106v1  Conference papers
Roselyne NguyenKamel SmaïliJean-Paul HatonGuy Pérennou. Integration of phonological knowledge in a continuous speech recognition system
European conference on speech communication and technology, Sep 1993, Berlin, Germany. pp.2191-2194
...
hal-01212234v1  Conference papers
Mohamed KaânicheKarama Kanoun. Software Failure Data Analysis of two Successive Generations of a Switching System
12th IFAC International Conference on Computer Safety, Reliability and Security (SAFECOMP'93), Oct 1993, Poznan, Poland. ⟨10.1007/978-1-4471-2061-2_24⟩
hal-01969115v1  Conference papers
Rachid AlamiRaja ChatilaBernard Espiau. Designing an Intelligent Control Architecture for Autonomous Robot
IEEE International Conference on Advanced Robotics (ICAR), Nov 1993, Tsukuba, Japan
...
hal-01986510v1  Conference papers
Karama KanounRam ChillaregeRavishankar IyerJean-Claude LaprieJohn Musa. Field failures and reliability in operation
4th International Symposium on Software Reliability Engineering, pp.122-126., Nov 1993, Denver, United States
...
hal-00851758v1  Conference papers
Karama KanounMohamed KaânicheJean-Claude Laprie. Experience in Software Reliability: From Data Collection to Quantitative Evaluation
Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. pp.234-245
...
hal-01978815v1  Book sections
Jean-Claude LaprieJean ArlatChristian BeounesKarama Kanoun. FAULT TOLERANT COMPUTING
Encyclopedia of Software Engineering, Vol.1, J.Marciniak, Ed.in Chief - Wiley Interscience, N°ISBN 0-471-54001-3, 1, pp.482 - 503, 1994
...
hal-01310030v1  Book sections
Rachid AlamiJean-Paul LaumondThierry Simeon. Two manipulation planning algorithms
Ken Goldberg, Dan Halperin, Jean-Claude Latombe, Randall Wilson. WAFR Proceedings of the workshop on Algorithmic foundations of robotics , A. K. Peters, Ltd. Natick, MA, USA, pp.109-125, 1994, ISBN:1-56881-045-8
...
hal-02881255v1  Reports
Claudette CayrolMarie-Christine Lagasquie-Schiex. Classification de relations d'inférence non-monotone : la prudence et les propriétés de déduction
[Rapport de recherche] 94-49, IRIT - Institut de recherche en informatique de Toulouse. 1994
hal-00857089v1  Conference papers
Patrick R. AmestoyMichel J. DaydéIain S. DuffJean-Yves l'ExcellentNicholas I. M. Gould et al.  Parallel Algorithms for Structured Systems of Linear Equations
Proceedings of the 14th IMACS World Congress on Computational and Applied Mathematics, 1994, Atlanta, pp.1058--1061
...
hal-01978842v1  Journal articles
Karama KanounJean-Claude Laprie. SOFTWARE RELIABILITY TREND ANALYSES: FROM THEORETICAL TO PRACTICAL CONSIDERATIONS
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 1994, 20, pp.740 - 747
...
tel-00012022v1  Theses
Marc Dacier. Vers une évaluation quantitative de la sécurité informatique
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1994. Français
hal-01908083v1  Conference papers
Eric AndonoffGilles HubertChristian Sallaberry. A Graphic Tool for Complex and Multimedia Database Querying
International Workshop on Information Technology (BIWIT'94), Biarritz, France, 07/02/1994-09/02/1994, Feb 1994, Biarritz, France. pp.195-207
hal-01979364v1  Conference papers
Rachid AlamiThierry Simeon. Planning robust motion strategies for a mobile robot
Proceedings of the 1994 IEEE International Conference on Robotics and Automation, May 1994, San Diego, United States
...
hal-01985267v1  Conference papers
S MetgeMartine AguéraJean ArlatSerge BachmannC. Bourdeau et al.  SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES
9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
...
hal-01976772v1  Conference papers
Karama Kanoun. DATA COLLECTION FOR SOFTWARE RELIABILITY DATABASES
2nd International Coference on Reliability, maintainability and Safety (ICRMS), Jun 1994, Pékin, China. pp.3 - 10
hal-01908082v1  Conference papers
Eric AndonoffGilles HubertChristian Sallaberry. OHQL : A Database Querying Environment Intended For Naive Users
2nd East-West International Conference on Human-Computer Interaction (EWHCI'94), St. Petersbourg, Russie, 02/08/1994-05/08/1994, Aug 1994, Saint-Pétersbourg, Russia. pp.119-128
hal-01969131v1  Conference papers
J. PerretCyril ProustRaja ChatilaRachid Alami. How to teleprogram a remote intelligent robot
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 1994, Munich, Germany
hal-02082558v1  Poster communications
Thierry ValéroJ.C. MeunierY.H. KerrMarc Le Bris. Hapex Sahel information system : from the field campaign to CD-ROM and WWW
Network services conference 94, Oct 1994, London, Royaume-Uni
...
hal-01979386v1  Conference papers
Rachid AlamiFrédéric RobertFélix IngrandSho'Ji Suzuki. A paradigm for plan-merging and its use for multi-robot cooperation
IEEE International Conference on Systems, Man and Cybernetics, Oct 1994, San Antonio, United States
hal-01982532v1  Book sections
Jean-Claude LaprieJean ArlatChristian BeounesKarama Kanoun. Architectural issues in software fault tolerance
M. Lyu. Software Fault Tolerance,, Willey, Chapitre 3, 1995
...
hal-01981902v1  Conference papers
Raja ChatilaFélix IngrandRachid Alami. Mission Planning and Execution Control for Intervention Robots
Undersea Robotics and Intelligent Control Workshop, 1995, Lisbon, Portugal