Janette Cardoso

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 4

Top Topics

Business Processes

Inter Organizational

Boolean Formula

Workflow Systems

Top Venues

Publications

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