-
1Academic Journal
المؤلفون: Delfieu, David, Comlan, Maurice, Assogba, Narcisse
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Ecole nationale d'économie appliquée, ERLAB
المصدر: ISSN: 1756-8412 ; International Journal of Advanced Mechatronic Systems ; https://hal.science/hal-04702180 ; International Journal of Advanced Mechatronic Systems, 2024, 11 (2), pp.63-72. ⟨10.1504/IJAMECHS.2024.139172⟩.
مصطلحات موضوعية: Grafcet Arduino programmable logic controller code generation, Grafcet, Arduino, programmable logic controller, code generation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
2Academic Journal
المساهمون: Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)
المصدر: ISSN: 0890-5401.
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
-
3Conference
المؤلفون: Comlan, Maurice, Delfieu, David, Assogba, Narcisse
المساهمون: Université d’Abomey-Calavi = University of Abomey Calavi (UAC), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME) ; The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME) ; https://hal.science/hal-03562309 ; The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), Oct 2021, Mauritius, Mauritius. ⟨10.1109/ICECCME52200.2021.9590933⟩
مصطلحات موضوعية: Grafcet modeling, Arduino, Programmable Logic Controller, Code generator, Component, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
جغرافية الموضوع: Mauritius
-
4Dissertation/ Thesis
المؤلفون: Delfieu, David
مصطلحات موضوعية: [INFO:INFO_NI] Computer Science/Networking and Telecommunication, [SPI:AUTO] Engineering Sciences/Automatic, Système temps réel, Spécification, Modélisation, Vérification, Contrainte, Identification, Opérateur, Grammaire, Analyseur syntaxique, Théorie langage, Système événement discret, Contrainte temporelle
-
5Academic Journal
المؤلفون: Comlan, Maurice, Assogba, Narcisse, Delfieu, David
المصدر: International Journal of Advanced Mechatronic Systems ; volume 11, issue 2, page 63-72 ; ISSN 1756-8412 1756-8420
-
6Conference
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), STR (LS2N - équipe STR), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira
المصدر: LATA 2018 - 12th International Conference on Language and Automata Theory and Applications ; https://hal.science/hal-01766530 ; LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel. ⟨10.1007/978-3-319-77313-1_20⟩ ; http://grammars.grlmc.com/LATA2018/
-
7Academic Journal
المؤلفون: Delfieu, David, Comlan, Maurice
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Ecole Polytechnique d'Abomey Calavi (EPAC), Université d’Abomey-Calavi = University of Abomey Calavi (UAC)
المصدر: ISSN: 2664-9543 ; SCEE ; https://hal.science/hal-02454089 ; SCEE, 2019, 1 (2), pp.12-25 ; http://paper.ieti.net/scee/2019Volume1Issue2/paper_0202_2612.pdf.
مصطلحات موضوعية: Firing semantics, Embedded systems, Code generation, Microcontroller, Time Petri Nets, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
8Conference
المؤلفون: Comlan, Maurice, Delfieu, David, Sogbohossou, Médésu, Vianou, Antoine
المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Electrotechnique, de Télécommunication et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC)
المصدر: CoDIT 20017 ; (IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies ; https://hal.science/hal-01542101 ; (IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, Apr 2017, Barcelone, Spain. ⟨10.1109/codit.2017.8102625⟩
جغرافية الموضوع: Spain
Time: Barcelone, Spain
-
9Conference
المؤلفون: Comlan, Maurice, Delfieu, David, Sogbohossou, Médésu
المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), CNRS
المصدر: AFSEC ; GPL GDR ; https://hal.science/hal-01169369 ; GPL GDR, CNRS, Jun 2015, Bordeaux, France
-
10Conference
المؤلفون: Delfieu, David, Comlan, Maurice, Sogbohossou, Médésu
المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC)
المصدر: VALID'14 ; https://hal.science/hal-01111142 ; VALID'14, Oct 2014, Nice, France. pp.21-27
مصطلحات موضوعية: Branching process, Algebra, Unfolding, –Petri Nets, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Time: Nice, France
-
11Academic Journal
المؤلفون: Delfieu, David, Comlan, Maurice, Sogbohossou, Medesu
المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC)
المصدر: ISSN: 1942-261X ; International Journal On Advances in Systems and Measurements ; https://hal.science/hal-01111155 ; International Journal On Advances in Systems and Measurements, 2015, 8 (1&2), pp.85-203.
مصطلحات موضوعية: Petri Nets, Unfolding, Branching process, Algebra, ACL, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
12Conference
المؤلفون: Delfieu, David, Sogbohossou, Medesu
المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), University of Paris 13
المصدر: International Workshop pn Timing and Stochasticity in Petri nets and pther models of concurrency ; https://hal.science/hal-00631054 ; International Workshop pn Timing and Stochasticity in Petri nets and pther models of concurrency, Jun 2009, Paris, France. pp.31-45
-
13Academic Journal
المؤلفون: Delfieu, David, Sogbohossou, Médésu
المساهمون: Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC)
المصدر: Control, Decision and Information Technologies (CoDIT), 2013 International Conference on ; https://hal.science/hal-01111131 ; Control, Decision and Information Technologies (CoDIT), 2013 International Conference on, 2013, pp.625 - 634. ⟨10.1109/CoDIT.2013.6689616⟩
مصطلحات موضوعية: Petri Nets, Algebra, Branching process, Unfolding, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
14
-
15
المؤلفون: Delfieu, David, Comlan, Maurice
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS), Ecole Polytechnique d'Abomey Calavi (EPAC), University of Abomey Calavi (UAC), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
المصدر: SCEE
SCEE, Pr. Mohamed N. HARMAS, 2019, 1 (2), pp.12-25مصطلحات موضوعية: Microcontroller, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Embedded systems, Code generation, Time Petri Nets, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Firing semantics
-
16Conference
المؤلفون: Aloul, Fadi, Delfieu, David
المصدر: 2008 3rd International Design and Test Workshop ; page 236-236
-
17Book
المؤلفون: Sogbohossou, Medesu, Delfieu, David
المساهمون: Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée (LETIA), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS)
المصدر: https://hal.science/hal-01112529 ; 2008, IDT 2008.
الاتاحة: https://hal.science/hal-01112529
-
18Conference
المؤلفون: Traonouez, Louis-Marie, Delfieu, David, Roux, Olivier Henri
المساهمون: Threat Analysis and Mitigation for Information Security (TAMIS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS)
المصدر: 6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07)
https://hal.science/hal-01112533
6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, Franceمصطلحات موضوعية: ACTN, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
الاتاحة: https://hal.science/hal-01112533
-
19Book
المؤلفون: SAHRAOUI, Abd-El-Kader, DELFIEU, David
المصدر: Real-Time Programming 1992 ; page 19-24 ; ISBN 9780080418940
-
20Academic Journal
المؤلفون: Delfieu, David, Molinaro, Pierre, Roux, Olivier H.
المصدر: IFAC Proceedings Volumes ; volume 33, issue 7, page 123-128 ; ISSN 1474-6670