Flux publications Open Science ISAE-SUPAERO

Cardoso Janette, Valette, Robert, Petri nets. 2024.

Petri nets

Cardoso Janette, Lee Edward A., Siron Pierre, Simulating Distributed Discret Event Systems. 2024.

Simulating Distributed Discret Event Systems

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

Coincidence Problem in CPS Simulations: the R-ROSACE Case Study

Deschamps Henrick, Cappello Gerlando, Cardoso Janette, Siron Pierre, Coincidence Problem in CPS Simulations : the R-ROSACE Case Study. 2018, Journées FAC - Formalisation des Activités Concurrentes, 2018-04-04 - 2018-04-05 (2018-04-05, Toulouse)

Coincidence Problem in CPS Simulations: the R-ROSACE Case Study

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

Implementation of a Cyber-Physical Systems simulation components allocation tool

Cardoso Janette, Siron Pierre, Ptolemy-HLA : A Cyber-Physical System Distributed Simulation Framework : Principles of Modeling. 2018« In :» Principles of Modeling. 978-3-319-95245-1

Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework : Principles of Modeling

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

Toward a formalism to study the scheduling of cyber-physical systems simulations : 2017 IEEE/ACM 21st International Symposium on Distributed Simulatio

Deschamps Henrick, Tauran Bastien, Cardoso Janette, Siron Pierre, Distributing Cyber-Physical Systems Simulation : The Satellite Constellation Case. 2017, 5th Federated and Fractionated Satellite Systems Workshop, 2017-11-02 - 2017-11-03 (2017-11-03, Toulouse)

Distributing Cyber-Physical Systems Simulation: The Satellite Constellation Case

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

Distributed Simulation of Heterogeneous and Real-time Systems

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

Time Management of Heterogeneous Distributed Simulation

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

Possibilistic WorkFlow nets for dealing with cancellation regions in business processes

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

Uncertain Marking for Dealing with Partial Parallelization in Business Processes

Côme David, Cardoso Janette, Siron Pierre, Scalable and reusable models for HLA-Ptolemy cosimulation framework. 2015, Eleventh Biennial Ptolemy Miniconference, 2015-10-16

Scalable and reusable models for HLA-Ptolemy cosimulation framework

Li Yanxuan, Cardoso Janette, Siron Pierre, Adding time-step time management to a distributed Ptolemy-HLAcerti framework. 2015, 11th Biennial Ptolemy Miniconference, 2015-10-16

Adding time-step time management to a distributed Ptolemy-HLAcerti framework

Cardoso Janette, Chaudemar Jean-Charles, Hamez Alexandre, Hugues Jérôme, 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

PRISE : une plate-forme de simulation distribuée pour l’ingénierie des systèmes embarqués

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

Possibilistic interorganizationalworkflow net for the recovery problem concerning communication failures

Lasnier Gilles, Cardoso Janette, Pagetti Claire, 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

Environnement de coopération de simulation pour la conception de systèmes cyber-physiques

Cardoso Janette, Lee Edward A., Liu Jie, Zheng Haiyang, Continuous-Time Models : System Design, Modeling, and Simulation using Ptolemy II. 2013« In :» System Design, Modeling, and Simulation using Ptolemy II. 978-1304421067

Continuous-Time Models : System Design, Modeling, and Simulation using Ptolemy II

Cardoso Janette, Derler Patricia, Eidson John, Lee Edward A., Matic Slobodan, Zhao Yang, Zou Jia, Modeling Timed Systems : System Design, Modeling, and Simulation using Ptolemy II. 2013« In :» System Design, Modeling, and Simulation using Ptolemy II. 978-1304421067

Modeling Timed Systems : System Design, Modeling, and Simulation using Ptolemy II

Hugues Jérôme, Cardoso Janette, CESEC Chair – Training Embedded System Architects for the Critical Systems Domain. 2013, 2013 Workshop on Embedded and Cyber-Physical Systems Education, 2013-10-03

CESEC Chair – Training Embedded System Architects for the Critical Systems Domain

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

Distributed Simulation of Heterogeneous and Real-time Systems

Kreinovich Vladik, Jacob Christelle, Dubois Didier, Cardoso Janette, 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

Failure analysis of a complex system based on partial information about subsystems, with potential applications to aircraft maintenance

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

Evaluating the Uncertainty of a Boolean Formula with Belief Functions

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

From imprecise probability laws to fault tree analysis

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

Possibilistic WorkFlow nets to deal with non-conformance in Process Execution

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

Inconsistency recovery in Business Processes using a possibilistic WorkFlow net

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

Network Latency and Packet Delay Variation in Cyber-physical Systems

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

Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation

Kreinovich Vladik, Jacob Christelle, Dubois Didier, Cardoso Janette, Ceberio Martine, 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, 10th Mexican Int. Conf. on Artificial Intelligence (MICAI), 2011-11-26 - 2011-12-04 (2011-12-04, Puebla)

Estimating Probability of Failure of a Complex System Based on Inexact Information about Subsystems and Components, with Potential Applications to Air

Adeline Romain, Darfeuil Pierre, Humbert Sophie, Cardoso Janette, Seguin Christel, Toward a methodology for the AltaRica modelling of multi-physical systems. 2010, European Conference on Safety and Reliability - ESREL 2010

Toward a methodology for the AltaRica modelling of multi-physical systems

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

Toward a validation process for model based safety analysis

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

A group learning management method for intelligent tutoring systems

Cardoso Janette, Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués. 2007.

Les aspects temporels qualitatifs et quantitatifs dans les systèmes embarqués