Publications of
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
In : Applied and Computational Mathematics, Azerbaijan National Academy of Sciences, Special issue Artificial Intelligence and Soft Computing, Vol. 11, N. 2, pp. 165-179, 2012.
Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi
A Group Learning Management Method for Intelligent Tutoring Systems
In : Informatica: an International Journal of Computing and Informatics, International Press, Vol. 31 N. 2, pp. 191-199, June 2007.
Janette Cardoso, Christophe Sibertin-Blanc
An operational semantics for UML interaction: sequencing of actions and local control
In : Journal Européen des Systèmes Automatisés (APII-JESA), Lavoisier, Vol. 36 N. 7, pp. 1015-1028, 2002.
Janette Cardoso, Robert Valette, Didier Dubois
Possibilistic Petri nets
In : IEEE Trans. on System, Man and Cybernetics, part B : Cybernetics, Vol. 29 N. 5, pp. 200-206, October 1999.
Sandra Sandri, Janette Cardoso
On Possibilistic timed safe Petri nets
In : International Journal of Intelligent Systems, Special Issue “Threads in Fuzzy Petri Nets Research” (J. Peters, ed), ., Vol. 14 N. 7, pp. 841-858, 1999.
Didier Dubois, Janette Cardoso, Robert Valette
Posibilistic Petri Nets
In : IEEE Trans. on Systems, Man and Cybernetics, part B, Vol. 29, pp. 573-582, October 1999.
Christelle Jacob, Didier Dubois, Janette Cardoso
From Imprecise Probability Laws to Fault Tree Analysis. (regular paper)
In : 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, pp. 525-538, 2012.
Christelle Jacob, Didier Dubois, Janette Cardoso
Evaluating the Uncertainty of a Boolean Formula with Belief Functions (regular paper)
In : 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, pp. 521-531, 2012.
Christelle Jacob, Didier Dubois, Janette Cardoso
Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation (regular paper)
In : 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, pp. 205-218, October 2011.
Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi
A Multi-Agent Architecture for Group Learning
In : IADIS International Conference e-Society (e-Society 2006), Dublin, Ireland, 13/07/06-16/07/06, Vol. 1, IADIS Digital Library, pp. 60-67, July 2006.
Janette Cardoso, Xiaoyu Mao, Robert Valette
State Class Graph for Fuzzy Time Petri Nets
In : European Simulation and Modelling Conference (ESM 2006), Toulouse, 23/10/06-25/10/06, LAAS, (electronic medium), October 2006.
L. Frigo, Janette Cardoso, Guilherme Bittencourt
Adaptive Interaction in Intelligent Tutoring Systems
In : 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), pp. 33-38, September 2005.
Janette Cardoso, Xiaoyu Mao, Robert Valette
A Graph of Classes Preserving Quantitative Temporal Constrains considering unbounded transitions
In : PMCCS’05, 7th International Workshop onPerformability Modeling of Computer and Communication Systems, Torino-Italy, 23/09/05-24/09/05, ., September 2005.
Xiaoyu Mao, Janette Cardoso, Robert Valette
A new graph of classesfor the preservation of quantitative temporal constraints
In : 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, pp. 278-292, October 2005.
Janette Cardoso, Robert Valette, Xiaoyu Mao
Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives
In : RS-JESA, MSR – Modelisation de Systèmes Réactifs, grenoble, 05/10/05-07/10/05, Hermès, V.39, pp. 191-206, October 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
In : 16th IFAC World Congress, Prague, République Tchèque, 04/07/05-07/07/05, Ifac, July 2005.
Omar Tahir, Christophe Sibertin-Blanc, Janette Cardoso
A Causality-Based Semantics for UML Sequence Diagrams
In : 23rd IASTED International Conference on Software Engineering, Innsbruck, 15/02/05-17/02/05, Peter Kokol (Eds.), Acta Press,Innsbruck,Austria, pp. 106-111, February 2005.
Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso
Interpretation of UML Sequence Diagrams as Causality Flows
In : 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, pp. 126-140, January 2005.
Abstract URL : 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
In : 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, pp. 231-242, August 2004.
Abstract URL : 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
In : MSR 4eme Colloque Francophone sur la modélisation des systèmes réactifs, Metz-France, 06/10/03-08/10/03, Hermes-Lavoisier, pp. 505-520, October 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
In : FAC’03, Toulouse, IRIT, March 2003.
Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi
La spécification de protocoles d’interaction par réseaux de Petri
In : 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, pp. 121-147, November 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
In : 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, pp. 497-512, October 2001.
Janette Cardoso, Christophe Sibertin-Blanc
Ordering actions in sequence diagrams of UML
In : 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, pp. 3-14, June 2001.
Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi
Les protocoles comme composants à part entière des systèmes coopératifs
In : 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, November 2000.
Christophe Sibertin-Blanc, Chihab Hanachi, Janette Cardoso
Protocols as First-class Components of Multiagent Systems
In : 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, pp. 21-22, July 2000.
Sandra Sandri, Janette Cardoso
Possibilistic timed Petri nets
In : IEEE WCCI’98, Anchorage, Alaska, 04/05/98-09/05/98, ., pp. 200-205, May 1998.
Guilherme Bittencourt, Janette Cardoso, Luciano Caimi
A Frame-Based Representation for Fuzzy Petri Net
In : International IEEE Conference on Fuzzy Systems WCCI’98, Anchorage, Alaska, 4-9 mai, 1998, 04/05/98-09/05/98, CD-ROM, pp. 210-215, May 1998.
Janette Cardoso, Guilherme Bittencourt, Luciano Caimi
A rule-based tool for Fuzzy Petri net simulation
In : 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, pp. 1618-1625, July 1998.
Robert Valette, Janette Cardoso, Didier Dubois
Monitoring manufacturing systems by means of Petri nets with imprecise markings
In : Proc. IEEE Inter. Symp. on Intelligent Control, Albany, N.Y., ., pp. 233-238, January 1989.
Janette Cardoso, Robert Valette, Didier Dubois
Petri nets with uncertain markings
In : 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
In : Actes Congrès Automatique 88, Grenoble, 10/10/88-12/10/88.
Time Fuzzy Petri nets
In : Fuzziness in Petri nets. Janette Cardoso, Heloisa Camargo (Eds.) , Physica_Verlag, pp. 115-145, 1999.
Janette Cardoso, Heloisa Camargo
Fuzziness in Petri nets, Physica-Verlag, Series Studies in Fuzziness, 1999.