Petri nets with uncertain markings. - Janette Cardoso; Robert Valette; Didier Dubois (Applications and Theory of Petri Nets, 1989)

On possibilistic timed safe Petri nets. - Sandra A. Sandri; Janette Cardoso (Int. J. Intell. Syst., 1999)

Possibilistic Petri nets. - Janette Cardoso; Robert Valette; Didier Dubois (IEEE Trans. Syst. Man Cybern. Part B, 1999)

Communication Protocols as First-class Components of Multiagent Systems. - Christophe Sibertin-Blanc; Chihab Hanachi; Janette Cardoso (ICMAS, 2000)

La spécification de protocoles d'interaction par réseaux de Petri. - Christophe Sibertin-Blanc; Janette Cardoso; Chihab Hanachi (JFIADSMA, 2001)

MathTutor: A Multi-Agent Intelligent Tutoring System. - Janette Cardoso; Guilherme Bittencourt; Luciana Frigo; Eliane Pozzebon; Adriana Postal (AIAI, 2004)

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints. - Xiaoyu Mao; Janette Cardoso; Robert Valette (ATVA, 2005)

A Causality-based Semantics for UML Sequence Diagrams. - Omar Tahir; Christophe Sibertin-Blanc; Janette Cardoso (IASTED Conf. on Software Engineering, 2005)

Interpretation of UML Sequence Diagrams as Causality Flows. - Christophe Sibertin-Blanc; Omar Tahir; Janette Cardoso (ISSADS, 2005)

A Group Learning Management Method for Intelligent Tutoring Systems. - Eliane Pozzebon; Janette Cardoso; Guilherme Bittencourt; Chihab Hanachi (Informatica (Slovenia), 2007)

Estimating Probability of Failure of a Complex System Based on Inexact Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance. - Vladik Kreinovich; Christelle Jacob; Didier Dubois; Janette Cardoso; Martine Ceberio; Ildar Z. Batyrshin (MICAI (2), 2011)

Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation. - Christelle Jacob; Didier Dubois; Janette Cardoso (SUM, 2011)

Evaluating the Uncertainty of a Boolean Formula with Belief Functions. - Christelle Jacob; Didier Dubois; Janette Cardoso (IPMU (3), 2012)

Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net. - Leiliane Pereira de Rezende; Stéphane Julia; Janette Cardoso (SCCC, 2012)

Possibilistic WorkFlow nets to deal with non-conformance in process execution. - Leiliane Pereira de Rezende; Stéphane Julia; Janette Cardoso (SMC, 2012)

From Imprecise Probability Laws to Fault Tree Analysis. - Christelle Jacob; Didier Dubois; Janette Cardoso (SUM, 2012)

Distributed Simulation of Heterogeneous and Real-Time Systems. - Gilles Lasnier; Janette Cardoso; Pierre Siron; Claire Pagetti; Patricia Derler (DS-RT, 2013)

Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures. - Leiliane Pereira de Rezende; Stéphane Julia; Janette Cardoso (ICEIS (1), 2014)

Uncertain Marking for Dealing with Partial Parallelization in Business Processes. - Leiliane Pereira de Rezende; Stéphane Julia; Janette Cardoso (ICEIS (2), 2016)

Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes. - Leiliane Pereira de Rezende; Stéphane Julia; Janette Cardoso (ICEIS (2), 2016)

Toward a formalism to study the scheduling of cyber-physical systems simulations. - Henrick Deschamps; Gerlando Cappello; Janette Cardoso; Pierre Siron (DS-RT, 2017)

Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. - Janette Cardoso; Pierre Siron (Principles of Modeling, 2018)