Publications

Mis à jour le

Number of items: 26.

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

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. 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).

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).

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 Wed Sep 19 21:39:26 2018 CEST.