Publications

Mis à jour le

Number of items: 31.

Article

Cardoso, Janette and Chaudemar, Jean-Charles and Hamez, Alexandre and Hugues, Jérôme and Siron, Pierre. PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués. (2014) Génie Logiciel (108). 29-34. ISSN 1265-1397

Lasnier, Gilles and Cardoso, Janette and Pagetti, Claire and Siron, Pierre. Environnement de coopération de simulation pour la conception de systèmes cyber-physiques. (2013) Journal Européen des Systèmes Automatisés (JESA), 47 (1-3). 13-27. ISSN 1269-6935

Kreinovitch, Vladik and Jacob, Christelle and Dubois, Didier and Cardoso, Janette and Ceberio, Martine. Failure analysis of a complex system based on partial information about subsystems, with potential applications to aircraft maintenance. (2012) Applied and Computational Mathematics, 11 (2). 165-179.

Pozzebon, Eliane and Cardoso, Janette and Bittencourt, Guilherme and Chihab, Hanachi. A group learning management method for intelligent tutoring systems. (2007) Informatica, 3 (2). 191-199. ISSN 0350-5596

Conference or Workshop Item

Deschamps, Henrick and Cappello, Gerlando and Cardoso, Janette and Siron, Pierre. Coincidence Problem in CPS Simulations: the R-ROSACE Case Study. (2018) In: 9th European Congress Embedded Real Time Software and Systems ERTS² 2018, 31 January 2018 - 2 February 2018 (Toulouse, France).

Deschamps, Henrick and Cappello, Gerlando and Cardoso, Janette and Siron, Pierre. Coincidence Problem in CPS Simulations: the R-ROSACE Case Study. (2018) In: Journées FAC - Formalisation des Activités Concurrentes, 4 April 2018 - 5 April 2018 (Toulouse, France). (Unpublished)

Deschamps, Henrick and Cappello, Gerlando and Cardoso, Janette and Siron, Pierre. Implementation of a Cyber-Physical Systems simulation components allocation tool. (2018) In: The 2018 European Simulation and Modelling Conference, 24 October 2018 - 26 October 2018 (Ghent, Belgium).

Deschamps, Henrick and Cappello, Gerlando and Cardoso, Janette and Siron, Pierre. Toward a formalism to study the scheduling of cyber-physical systems simulations. (2017) In: 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 18 October 2017 - 20 October 2017 (Roma, Italy).

Lasnier, Gilles and Cardoso, Janette and Siron, Pierre and Pagetti, Claire and Derler, Patricia. Distributed Simulation of Heterogeneous and Real-time Systems. (2017) In: Journées FAC - Formalisation des Activités Concurrentes, 29 March 2017 - 30 March 2017 (Toulouse, France). (Unpublished)

Deschamps, Henrick and Tauran, Bastien and Cardoso, Janette and Siron, Pierre. Distributing Cyber-Physical Systems Simulation: The Satellite Constellation Case. (2017) In: 5th Federated and Fractionated Satellite Systems Workshop, 2 November 2017 - 3 November 2017 (Toulouse, France).

Michel, Clément and Cardoso, Janette and Siron, Pierre. Time Management of Heterogeneous Distributed Simulation. (2017) In: The 31st European Simulation and Modelling Conference (ESM'2017), 25 October 2017 - 27 October 2017 (Lisbon, Portugal).

De Rezende, Leiliane Pereira and Julia, Stéphane and Cardoso, Janette. Possibilistic WorkFlow nets for dealing with cancellation regions in business processes. (2016) In: 18th International Conference on Enterprise Information Systems (ICEIS 2016), 25 April 2016 - 28 April 2016 (Roma, Italy).

De Rezende, Leiliane Pereira and Julia, Stéphane and Cardoso, Janette. Uncertain Marking for Dealing with Partial Parallelization in Business Processes. (2016) In: 18th International Conference on Enterprise Information Systems (ICEIS 2016), 25 April 2016 - 28 April 2016 (Roma, Italy).

Li, Yanxuan and Cardoso, Janette and Siron, Pierre. Adding time-step time management to a distributed Ptolemy-HLAcerti framework. (2015) In: 11th Biennial Ptolemy Miniconference, 16 October 2015 (Berkeley, United States).

Côme, David and Cardoso, Janette and Siron, Pierre. Scalable and reusable models for HLA-Ptolemy cosimulation framework. (2015) In: Eleventh Biennial Ptolemy Miniconference, 16 October 2015 (Berkeley, United States).

De Rezende, Leiliane Pereira and Julia, Stéphane and Cardoso, Janette. Possibilistic interorganizationalworkflow net for the recovery problem concerning communication failures. (2014) In: International Conference on Enterprise Information Systems ICEIS 2014, 27 April 2014 - 30 April 2014 (Lisbon, Portugal).

Hugues, Jérôme and Cardoso, Janette. CESEC Chair – Training Embedded System Architects for the Critical Systems Domain. (2013) In: 2013 Workshop on Embedded and Cyber-Physical Systems Education, 3 October 2013 (Montreal, Canada).

Lasnier, Gilles and Cardoso, Janette and Siron, Pierre and Pagetti, Claire and Derler, Patricia. Distributed Simulation of Heterogeneous and Real-time Systems. (2013) In: 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications - IEEE/ACM DS-RT 2013, 30 October 2013 - 1 November 2013 (Delft, Netherlands).

Jacob, Christelle and Dubois, Didier and Cardoso, Janette. Evaluating the Uncertainty of a Boolean Formula with Belief Functions. (2012) In: 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, 9 July 2012 - 13 July 2012 (Catania, Italy).

Jacob, Christelle and Dubois, Didier and Cardoso, Janette. From imprecise probability laws to fault tree analysis. (2012) In: 6th International Conference on Scalable Uncertainty Management (SUM) 2012, 17 September 2012 - 19 September 2012 (Marbug, Germany).

Pereira de Rezende, Leiliane and Julia, Stéphane and Cardoso, Janette. Inconsistency recovery in Business Processes using a possibilistic WorkFlow net. (2012) In: 31st International Conference of the Chilean Computer Science Society, SCCC 2012, 12 November 2012 - 16 November 2012 (Valparaiso, Chile).

Pereira de Rezende, Leiliane and Julia, Stéphane and Cardoso, Janette. Possibilistic WorkFlow nets to deal with non-conformance in Process Execution. (2012) In: IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, 14 October 2012 - 17 October 2012 (Seoul, Korea, Republic Of).

Kreinovich, Vladik and Jacob, Christelle and Dubois, Didier and Cardoso, Janette and Ceberio, Martine and Batyrshin, Ildar. Estimating Probability of Failure of a Complex System Based on Inexact Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance. (2011) In: 10th Mexican Int. Conf. on Artificial Intelligence (MICAI), 26 November 2011 - 4 December 2011 (Puebla, Mexico).

Cardoso, Janette and Derler, Patricia and Eidson, John and Lee, Edward A.. Network Latency and Packet Delay Variation in Cyber-physical Systems. (2011) In: IEEE 1st International Workshop on Network Science (NSW), 22 June 2011 - 24 June 2011 (West Point, New York, United States).

Jacob, Christelle and Dubois, Didier and Cardoso, Janette. Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation. (2011) In: SUM 2011 - 5th International Conference Scalable Uncertainty Management, 10 October 2011 - 12 October 2011 (Dayton, OH, United States).

Adeline, Romain and Darfeuil, Pierre and Humbert, Sophie and Cardoso, Janette and Seguin, Christel. Toward a methodology for the AltaRica modelling of multi-physical systems. (2010) In: European Conference on Safety and Reliability - ESREL 2010, 05-09 Sept 2010, Rhodes, Greece .

Adeline, Romain and Cardoso, Janette and Darfeuil, Pierre and Humbert, Sophie and Seguin, Christel. Toward a validation process for model based safety analysis. (2010) In: ERTS² 2010 - Embedded Real Time Software and Systems, 19 May 2010 - 21 May 2010 (Toulouse, France).

Book Section

Cardoso, Janette and Siron, Pierre. Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. (2018) In: Principles of Modeling. Springer International Publishing Switzerland, 122-142. ISBN 978-3-319-95245-1

Cardoso, Janette and Lee, Edward A. and Liu, Jie and Zheng, Haiyang. Continuous-Time Models. (2013) In: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014, Berkeley, 315-354. ISBN 978-1304421067

Cardoso, Janette and Derler, Patricia and Eidson, John and Lee, Edward A. and Matic, Slobodan and Zhao, Yang and Zou, Jia. Modeling Timed Systems. (2013) In: System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014., Berkeley, 357-393. ISBN 978-1304421067

HDR

Cardoso, Janette. Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués. (2007) [HDR]

This list was generated on Fri Mar 29 14:02:28 2024 CET.