Publications de
Vladik Kreinovitch, Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio
Failure Analysis of a Complex System Based on Partial Information about Subsystems, with Potential Applications to Aircraft Maintenance
Dans : Applied and Computational Mathematics, Azerbaijan National Academy of Sciences, Numéro spécial Artificial Intelligence and Soft Computing, Vol. 11, N. 2, p. 165-179, 2012.
Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi
A Group Learning Management Method for Intelligent Tutoring Systems
Dans : Informatica: an International Journal of Computing and Informatics, International Press, Vol. 31 N. 2, p. 191-199, juin 2007.
Janette Cardoso, Christophe Sibertin-Blanc
An operational semantics for UML interaction: sequencing of actions and local control
Dans : Journal Européen des Systèmes Automatisés (APII-JESA), Lavoisier, Vol. 36 N. 7, p. 1015-1028, 2002.
Janette Cardoso, Robert Valette, Didier Dubois
Possibilistic Petri nets
Dans : IEEE Trans. on System, Man and Cybernetics, part B : Cybernetics, Vol. 29 N. 5, p. 200-206, octobre 1999.
Sandra Sandri, Janette Cardoso
On Possibilistic timed safe Petri nets
Dans : International Journal of Intelligent Systems, Special Issue “Threads in Fuzzy Petri Nets Research” (J. Peters, ed), ., Vol. 14 N. 7, p. 841-858, 1999.
Didier Dubois, Janette Cardoso, Robert Valette
Posibilistic Petri Nets
Dans : IEEE Trans. on Systems, Man and Cybernetics, part B, Vol. 29, p. 573-582, octobre 1999.
Christelle Jacob, Didier Dubois, Janette Cardoso
From Imprecise Probability Laws to Fault Tree Analysis. (regular paper)
Dans : International Conference on Scalable Uncertainty Management (SUM 2012), Marburg, 17/09/12-19/09/12, Eyke Huellermeier, Sebastian Link, Thomas Fober, Bernhard Seeger (Eds.), Springer, Lecture Notes in Computer Science 7520, p. 525-538, 2012.
Christelle Jacob, Didier Dubois, Janette Cardoso
Evaluating the Uncertainty of a Boolean Formula with Belief Functions (regular paper)
Dans : International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2012), Catane (Italie), 09/07/12-13/07/12, Springer, Communications in Computer and Information Science 299, p. 521-531, 2012.
Christelle Jacob, Didier Dubois, Janette Cardoso
Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation (regular paper)
Dans : International Conference on Scalable Uncertainty Management (SUM 2011), Dayton, Ohio, 10/10/11-13/10/11, Salem Benferhat, John Grant (Eds.), Springer, Lecture Notes in Computer Science 6929, p. 205-218, octobre 2011.
Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi
A Multi-Agent Architecture for Group Learning
Dans : IADIS International Conference e-Society (e-Society 2006), Dublin, Ireland, 13/07/06-16/07/06, Vol. 1, IADIS Digital Library, p. 60-67, juillet 2006.
Janette Cardoso, Xiaoyu Mao, Robert Valette
State Class Graph for Fuzzy Time Petri Nets
Dans : European Simulation and Modelling Conference (ESM 2006), Toulouse, 23/10/06-25/10/06, LAAS, (support électronique), octobre 2006.
L. Frigo, Janette Cardoso, Guilherme Bittencourt
Adaptive Interaction in Intelligent Tutoring Systems
Dans : CIAH-2005, International Workshop on Combining Intelligent and Adaptive Hypermedia Methods/Techniques in Web-based Education Systems, Salzburg-Autriche, 04/09/05-09/09/05, Ioannis Hatzilygeroudis (Editor), p. 33-38, septembre 2005.
Janette Cardoso, Xiaoyu Mao, Robert Valette
A Graph of Classes Preserving Quantitative Temporal Constrains considering unbounded transitions
Dans : PMCCS’05, 7th International Workshop onPerformability Modeling of Computer and Communication Systems, Torino-Italy, 23/09/05-24/09/05, ., septembre 2005.
Xiaoyu Mao, Janette Cardoso, Robert Valette
A new graph of classesfor the preservation of quantitative temporal constraints
Dans : ATVA’05,Third International Symposium on Automated Technology for Verification and Analysis, Taipei-Taiwan, 04/10/05-07/10/05, D.A. Peled, Y.-K. Tsay (Eds.), Springer Verlag, LNCS 3707, Berlin Heidelberg, p. 278-292, octobre 2005.
Janette Cardoso, Robert Valette, Xiaoyu Mao
Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives
Dans : RS-JESA, MSR – Modelisation de Systèmes Réactifs, grenoble, 05/10/05-07/10/05, Hermès, V.39, p. 191-206, octobre 2005.
Janette Cardoso, Sébastien Cousy, Guy Juanole
EXTENDING TIME PETRI NETS TO FUZZY TIME PETRI NETS:DEFINITION OF THE GRAPH OF FUZZY STATE CLASS
Dans : 16th IFAC World Congress, Prague, République Tchèque, 04/07/05-07/07/05, Ifac, juillet 2005.
Omar Tahir, Christophe Sibertin-Blanc, Janette Cardoso
A Causality-Based Semantics for UML Sequence Diagrams
Dans : 23rd IASTED International Conference on Software Engineering, Innsbruck, 15/02/05-17/02/05, Peter Kokol (Eds.), Acta Press,Innsbruck,Austria, p. 106-111, février 2005.
Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso
Interpretation of UML Sequence Diagrams as Causality Flows
Dans : IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005), Guadalajara-Mexique, 23/01/05-27/01/05, Vol. 3563, F. F. Ramos, R. V. Lrios, H. Unger (Eds.), Springer-Verlag, LNCS, p. 126-140, janvier 2005.
Résumé Accès : http://www.univ-tlse1.fr/irit/soc/articles/ISSADS’05.pdf
BibTeXJanette Cardoso, Guilherme Bittencourt, L. Frigo, Eliane Pozzebon, A. Postal
MathTutor: A Multi-Agent Intelligent Tutoring Systems
Dans : AIAI 2004 – First IFIP Conference on Artificial Intelligence Applications and Innovations (part of IFIP World Computer Congress WCC2004), Toulouse, 23/08/04-26/08/04, Kluwer Academic Publishers, p. 231-242, août 2004.
Résumé Accès : http://www-staff.it.uts.edu.au/~debenham/aiai/
BibTeXOmar Tahir, Janette Cardoso, Christophe Sibertin-Blanc
Génération automatique des Diagrammes d¿états-Transitions UML à partir des diagrammes de séquence
Dans : MSR 4eme Colloque Francophone sur la modélisation des systèmes réactifs, Metz-France, 06/10/03-08/10/03, Hermes-Lavoisier, p. 505-520, octobre 2003.
Omar Tahir, Christophe Sibertin-Blanc, Janette Cardoso
Une approche pour l¿intégration de Diagrammes de Séquence UML basée sur les RdP de haut niveau
Dans : FAC’03, Toulouse, IRIT, mars 2003.
Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi
La spécification de protocoles d’interaction par réseaux de Petri
Dans : Journées francophones pour l’intelligence artificielle distribuée et les systèmes multi-agents JFIADSMA’01, A. El Fallah Seghrouchni & L. Magnin (Eds), Montréal, Canada, 12/11/01-14/11/01, Hermes, p. 121-147, novembre 2001.
Janette Cardoso, Christophe Sibertin-Blanc, Chantal Soulé-Dupuy
Une sémantique formelle des diagrammes d’interaction d’UML via les réseaux de Petri
Dans : Colloque Francophone sur la Modélisation des Systèmes Réactifs MSR’01, G. Juanolle, R. Valette (Eds), Toulouse (France, 17/10/01-19/10/01, Hermes, p. 497-512, octobre 2001.
Janette Cardoso, Christophe Sibertin-Blanc
Ordering actions in sequence diagrams of UML
Dans : 23rd International Conference on Information Technology Interfaces, ITI 2001, ISBN 953-96769-3-2, ISSn 1330-1012, Pula, Croatia, 19/06/01-22/06/01, University Computing Centre Uniersity of Zagreb, J. Marohnica bb, 10000 Zagreb, Croatia, p. 3-14, juin 2001.
Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi
Les protocoles comme composants à part entière des systèmes coopératifs
Dans : NOTERE ‘2000, 3ème Colloque International sur les NOuvelles TEchnologies de la REpartition, Paris, 21/11/00-24/11/00, I. Demeure, E. Najm (Eds.), RERIR – Revue Electronique sur les Réseaux et l’Informatique Répartie – ISSN 1262-3261, novembre 2000.
Christophe Sibertin-Blanc, Chihab Hanachi, Janette Cardoso
Protocols as First-class Components of Multiagent Systems
Dans : Fourth International Conference on Multi-Agent Systems, ICMAS 2000, S. Kraus, H. Nakashima & M. Tambe (Eds.), Boston, MA, (USA), 10/07/00-12/07/00, IEEE Computer Society Press, p. 21-22, juillet 2000.
Sandra Sandri, Janette Cardoso
Possibilistic timed Petri nets
Dans : IEEE WCCI’98, Anchorage, Alaska, 04/05/98-09/05/98, ., p. 200-205, mai 1998.
Guilherme Bittencourt, Janette Cardoso, Luciano Caimi
A Frame-Based Representation for Fuzzy Petri Net
Dans : International IEEE Conference on Fuzzy Systems WCCI’98, Anchorage, Alaska, 4-9 mai, 1998, 04/05/98-09/05/98, CD-ROM, p. 210-215, mai 1998.
Janette Cardoso, Guilherme Bittencourt, Luciano Caimi
A rule-based tool for Fuzzy Petri net simulation
Dans : roceedings 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU’98), Paris, 06/07/98-10/07/98, EDK , ISBN 2-84254-013-1, p. 1618-1625, juillet 1998.
Robert Valette, Janette Cardoso, Didier Dubois
Monitoring manufacturing systems by means of Petri nets with imprecise markings
Dans : Proc. IEEE Inter. Symp. on Intelligent Control, Albany, N.Y., ., p. 233-238, janvier 1989.
Janette Cardoso, Robert Valette, Didier Dubois
Petri nets with uncertain markings
Dans : 10th Inter. Conf. on Applications and Theory of Petri Nets, Bonn, .
Robert Valette, Didier Dubois, Janette Cardoso
Représentation de l’état d’un atelier de fabrication avec prise en compte des incidents
Dans : Actes Congrès Automatique 88, Grenoble, 10/10/88-12/10/88.
Time Fuzzy Petri nets
Dans : Fuzziness in Petri nets. Janette Cardoso, Heloisa Camargo (Eds.) , Physica_Verlag, p. 115-145, 1999.
Janette Cardoso, Heloisa Camargo
Fuzziness in Petri nets, Physica-Verlag, Series Studies in Fuzziness, 1999.