Janette Cardoso

22 papers B 2C 2Misc 1Journal 3Unranked 14
YearRankTypeTitle / Venue / Authors
2018 — conf
Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework.
Principles of Modeling
Janette Cardoso, Pierre Siron
2017 C conf
Toward a formalism to study the scheduling of cyber-physical systems simulations.
DS-RT
Henrick Deschamps, Gerlando Cappello, Janette Cardoso, Pierre Siron
2016 — conf
Possibilistic WorkFlow Nets for Dealing with Cancellation Regions in Business Processes.
ICEIS (2)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2016 — conf
Uncertain Marking for Dealing with Partial Parallelization in Business Processes.
ICEIS (2)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2014 — conf
Possibilistic Interorganizational Workflow Net for the Recovery Problem Concerning Communication Failures.
ICEIS (1)
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2013 C conf
Distributed Simulation of Heterogeneous and Real-Time Systems.
DS-RT
Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler
2012 — conf
Evaluating the Uncertainty of a Boolean Formula with Belief Functions.
IPMU (3)
Christelle Jacob, Didier Dubois, Janette Cardoso
2012 — conf
From Imprecise Probability Laws to Fault Tree Analysis.
SUM
Christelle Jacob, Didier Dubois, Janette Cardoso
2012 — conf
Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net.
SCCC
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2012 B conf
Possibilistic WorkFlow nets to deal with non-conformance in process execution.
SMC
Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso
2011 — conf
Estimating Probability of Failure of a Complex System Based on Inexact Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance.
MICAI (2)
Vladik Kreinovich, Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio, Ildar Z. Batyrshin
2011 — conf
Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation.
SUM
Christelle Jacob, Didier Dubois, Janette Cardoso
2007 J jnl
A Group Learning Management Method for Intelligent Tutoring Systems.
Informatica (Slovenia)
Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi
2005 — conf
A Causality-based Semantics for UML Sequence Diagrams.
IASTED Conf. on Software Engineering
Omar Tahir, Christophe Sibertin-Blanc, Janette Cardoso
2005 B conf
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.
ATVA
Xiaoyu Mao, Janette Cardoso, Robert Valette
2005 — conf
Interpretation of UML Sequence Diagrams as Causality Flows.
ISSADS
Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso
2004 Misc conf
MathTutor: A Multi-Agent Intelligent Tutoring System.
AIAI
Janette Cardoso, Guilherme Bittencourt, Luciana Frigo, Eliane Pozzebon, Adriana Postal
2001 — conf
La spécification de protocoles d'interaction par réseaux de Petri.
JFIADSMA
Christophe Sibertin-Blanc, Janette Cardoso, Chihab Hanachi
2000 — conf
Communication Protocols as First-class Components of Multiagent Systems.
ICMAS
Christophe Sibertin-Blanc, Chihab Hanachi, Janette Cardoso
1999 J jnl
On possibilistic timed safe Petri nets.
Int. J. Intell. Syst.
Sandra A. Sandri, Janette Cardoso
1999 J jnl
Possibilistic Petri nets.
IEEE Trans. Syst. Man Cybern. Part B
Janette Cardoso, Robert Valette, Didier Dubois
1989 — conf
Petri nets with uncertain markings.
Applications and Theory of Petri Nets
Janette Cardoso, Robert Valette, Didier Dubois