Janette Cardoso

According to our database, Janette Cardoso authored at least 22 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework.

Janette Cardoso, Pierre Siron

Proceedings of the Principles of Modeling, 2018

2017

Toward a formalism to study the scheduling of cyber-physical systems simulations.

Henrick Deschamps, Gerlando Cappello, Janette Cardoso, Pierre Siron

Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

2016

Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes.

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso

Proceedings of the ICEIS 2016, 2016

Uncertain Marking for Dealing with Partial Parallelization in Business Processes.

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso

Proceedings of the ICEIS 2016, 2016

2014

Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures.

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso

Proceedings of the ICEIS 2014, 2014

2013

Distributed Simulation of Heterogeneous and Real-Time Systems.

Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler

Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

2012

From Imprecise Probability Laws to Fault Tree Analysis.

Christelle Jacob, Didier Dubois, Janette Cardoso

Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Possibilistic WorkFlow nets to deal with non-conformance in process execution.

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net.

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso

Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012

Evaluating the Uncertainty of a Boolean Formula with Belief Functions.

Christelle Jacob, Didier Dubois, Janette Cardoso

Proceedings of the Advances in Computational Intelligence, 2012

2011

Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation.

Christelle Jacob, Didier Dubois, Janette Cardoso

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

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

Proceedings of the Advances in Soft Computing, 2011

2007

A Group Learning Management Method for Intelligent Tutoring Systems.

Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi

Informatica (Slovenia), 2007

2005

Interpretation of UML Sequence Diagrams as Causality Flows.

Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

A Causality-based Semantics for UML Sequence Diagrams.

Omar Tahir, Christophe Sibertin-Blanc, Janette Cardoso

Proceedings of the IASTED International Conference on Software Engineering, 2005

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.

Xiaoyu Mao, Janette Cardoso, Robert Valette

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

MathTutor: A Multi-Agent Intelligent Tutoring System.

Janette Cardoso, Guilherme Bittencourt, Luciana Frigo, Eliane Pozzebon, Adriana Postal

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

2001

La spécification de protocoles d'interaction par réseaux de Petri.

Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi

Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

2000

Communication Protocols as First-class Components of Multiagent Systems.

Christophe Sibertin-Blanc, Chihab Hanachi, Janette Cardoso

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1999

Possibilistic Petri nets.

Janette Cardoso, Robert Valette, Didier Dubois

IEEE Trans. Syst. Man Cybern. Part B, 1999

On possibilistic timed safe Petri nets.

Sandra A. Sandri, Janette Cardoso

Int. J. Intell. Syst., 1999

1989

Petri nets with uncertain markings.

Janette Cardoso, Robert Valette, Didier Dubois

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989