المؤلفون: Milan, Raphaële, Lagadec, Loïc, Bollengier, Théotime, Bossuet, Lilian, Teodorov, Ciprian

المساهمون: Laboratoire Hubert Curien (LabHC), Institut d'Optique Graduate School (IOGS)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Hardware ARchitectures and CAD tools (Lab-STICC_ARCAD), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)

المصدر: Rapid System Prototyping ; https://hal.science/hal-04373771 ; Rapid System Prototyping, Sep 2023, Hambourg, Germany

مصطلحات موضوعية: MBSE - Model-based systems engineering, System on Chip - SOC, Security Architecture, Security CAD Tool Model-Based Engineering Hardware Systems-on-Chip, Security, CAD Tool, Model-Based Engineering, Hardware, Systems-on-Chip, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Hambourg, Germany

Relation: hal-04373771; https://hal.science/hal-04373771; https://hal.science/hal-04373771/document; https://hal.science/hal-04373771/file/RSP_2023.pdf

الاتاحة: https://hal.science/hal-04373771
https://hal.science/hal-04373771/document
https://hal.science/hal-04373771/file/RSP_2023.pdf

المؤلفون: Hnaini, Hiba, Le Roux, Luka, Champeau, Joël, Teodorov, Ciprian

المساهمون: Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

المصدر: 7th International Conference on Information Systems Security and Privacy, ICISSP 2021
https://ensta-bretagne.hal.science/hal-03188864
7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩

مصطلحات موضوعية: Embedded systems, Formal methods, Information systems, Information use, Network security, Reservation systems, Risk analysis, Risk assessment, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Vienne - Virtual Online, Austria

Relation: hal-03188864; https://ensta-bretagne.hal.science/hal-03188864; https://ensta-bretagne.hal.science/hal-03188864/document; https://ensta-bretagne.hal.science/hal-03188864/file/103882.pdf

الاتاحة: https://ensta-bretagne.hal.science/hal-03188864
https://ensta-bretagne.hal.science/hal-03188864/document
https://ensta-bretagne.hal.science/hal-03188864/file/103882.pdf
https://doi.org/10.5220/0010388206940701

المؤلفون: Exelmans, Joeri, Teodorov, Ciprian, Vangheluwe, Hans

المساهمون: University of Antwerp (UA), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

المصدر: ISSN: 1619-1366.

مصطلحات موضوعية: Model-driven engineering, Live programming, Live modeling, Versioning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

الاتاحة: https://hal.science/hal-04745337
https://doi.org/10.1007/s10270-024-01212-x

المؤلفون: Jouault, Frédéric, Besnard, Valentin, Brun, Matthias, Le Calvar, Théo, Chhel, Fabien, Clavreul, Mickaël, Delatour, Jérome, Méré, Maxime, Pasquier, Matthias, Teodorov, Ciprian

المصدر: Science of Computer Programming ; volume 232, page 103050 ; ISSN 0167-6423

الاتاحة: http://dx.doi.org/10.1016/j.scico.2023.103050
https://api.elsevier.com/content/article/PII:S0167642323001326?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0167642323001326?httpAccept=text/plain

المؤلفون: Brumbulli, Mihal, Gaudin, Emmanuel, Teodorov, Ciprian

المساهمون: PragmaDev, Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

المصدر: 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020)
https://hal.science/hal-02441878
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France

مصطلحات موضوعية: BPMN, Model Checking, Verification, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]

جغرافية الموضوع: Toulouse, France

Relation: hal-02441878; https://hal.science/hal-02441878; https://hal.science/hal-02441878/document; https://hal.science/hal-02441878/file/20200129_paper.pdf

الاتاحة: https://hal.science/hal-02441878
https://hal.science/hal-02441878/document
https://hal.science/hal-02441878/file/20200129_paper.pdf

المؤلفون: Sun, Tithnara, Nicolas, Drouot, Bastien, Golra, Fahad, R, Champeau, Joël, Guerin, Sylvain, Le Roux, Luka, Mazo, Raul, Teodorov, Ciprian, Aertryck, Lionel, Van, Hostis, Bernard, L '

المساهمون: Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)

المصدر: ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy ; https://hal.science/hal-02502387 ; ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩ ; https://www.scitepress.org/ProceedingsDetails.aspx?ID=P3Jb2gqXcBo=&t=1

مصطلحات موضوعية: Cyber Security, Attack Surface Modeling, DSL, Modeling, Model Federation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

جغرافية الموضوع: Valetta, Malta

Relation: hal-02502387; https://hal.science/hal-02502387; https://hal.science/hal-02502387/document; https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf

الاتاحة: https://hal.science/hal-02502387
https://hal.science/hal-02502387/document
https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf
https://doi.org/10.5220/0008916203410348

المؤلفون: Golra, Fahad Rafique, Champeau, Joël, Teodorov, Ciprian

المساهمون: Process for Adaptative Software Systems (PASS), Télécom Bretagne-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)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-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)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-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)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

المصدر: 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019)
https://ensta-bretagne.hal.science/hal-02149584
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩

مصطلحات موضوعية: Simulation, Visualization, Business process, Modeling, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Rome, Italy

Relation: hal-02149584; https://ensta-bretagne.hal.science/hal-02149584; https://ensta-bretagne.hal.science/hal-02149584/document; https://ensta-bretagne.hal.science/hal-02149584/file/Golra2019.pdf

الاتاحة: https://ensta-bretagne.hal.science/hal-02149584
https://ensta-bretagne.hal.science/hal-02149584/document
https://ensta-bretagne.hal.science/hal-02149584/file/Golra2019.pdf
https://doi.org/10.1007/978-3-030-20618-5_3

المؤلفون: Le Roux, Luka, Teodorov, Ciprian

المساهمون: Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

المصدر: Software Engineering and Formal Methods ; 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 ; https://hal.science/hal-02434620 ; 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩

مصطلحات موضوعية: Model checking, [SPI]Engineering Sciences [physics], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Oslo, Norway

Relation: hal-02434620; https://hal.science/hal-02434620; https://hal.science/hal-02434620/document; https://hal.science/hal-02434620/file/LeRoux2019.pdf

الاتاحة: https://hal.science/hal-02434620
https://hal.science/hal-02434620/document
https://hal.science/hal-02434620/file/LeRoux2019.pdf
https://doi.org/10.1007/978-3-030-30446-1_28

المؤلفون: Besnard, Valentin, Teodorov, Ciprian, Jouault, Frédéric, Brun, Matthias, Dhaussy, Philippe

المساهمون: ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

المصدر: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019
https://hal.science/hal-02433749
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩

مصطلحات موضوعية: Embedded Systems, Model Interpretation, Monitoring, Observer Automata, [SPI]Engineering Sciences [physics], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Munich, Germany

Relation: hal-02433749; https://hal.science/hal-02433749; https://hal.science/hal-02433749/document; https://hal.science/hal-02433749/file/besnard2019.pdf

الاتاحة: https://hal.science/hal-02433749
https://hal.science/hal-02433749/document
https://hal.science/hal-02433749/file/besnard2019.pdf
https://doi.org/10.1109/MODELS.2019.000-5

المؤلفون: Clavreul, Mickaël, Jouault, Frédéric, Méré, Maxime, Brun, Matthias, Le Calvar, Théo, Pasquier, Matthias, Teodorov, Ciprian

المساهمون: ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA), STMicroelectronics, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), eRTOSgener, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

المصدر: IHM/GL-IHM ; https://hal.science/hal-04234501 ; IHM/GL-IHM, 2023, Troyes, France

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Troyes, France

Relation: hal-04234501; https://hal.science/hal-04234501

الاتاحة: https://hal.science/hal-04234501

المؤلفون: Pasquier, Matthias, Teodorov, Ciprian, Jouault, Frédéric, Brun, Matthias, Lagadec, Loïc

المساهمون: eRTOSgener, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA), Equipe Hardware ARchitectures and CAD tools (Lab-STICC_ARCAD)

المصدر: AFADL ; https://hal.science/hal-04234535 ; AFADL, Jun 2023, Rennes, France

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Rennes, France

Relation: hal-04234535; https://hal.science/hal-04234535

الاتاحة: https://hal.science/hal-04234535

المؤلفون: Pasquier, Matthias, Teodorov, Ciprian, Jouault, Frédéric, Brun, Matthias, Le Roux, Luka, Lagadec, Loïc

المساهمون: eRTOSgener, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA), Equipe Hardware ARchitectures and CAD tools (Lab-STICC_ARCAD)

المصدر: Software Language Engineering 2023 ; https://hal.science/hal-04234632 ; Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Lisbonne, Portugal

Relation: hal-04234632; https://hal.science/hal-04234632

الاتاحة: https://hal.science/hal-04234632

المؤلفون: Pasquier, Matthias, Teodorov, Ciprian, Jouault, Frédéric, Brun, Matthias, Lagadec, Loïc

المساهمون: eRTOSgener, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest Angers (ESEO), Laboratoire d'Etudes et de Recherche en Informatique d'Angers (LERIA), Université d'Angers (UA), Equipe Hardware ARchitectures and CAD tools (Lab-STICC_ARCAD)

المصدر: MODELS-C/MoDeVVa ; https://hal.science/hal-04234688 ; MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Västerås, Sweden

Relation: hal-04234688; https://hal.science/hal-04234688

الاتاحة: https://hal.science/hal-04234688

المؤلفون: Exelmans, Joeri, Teodorov, Ciprian, Heinrich, Robert, Egyed, Alexander, Vangheluwe, Hans

المصدر: ACM/IEEE International Conference on Model Driven Engineering Languages, and Systems (MODELS), OCT 01-06, 2023, Vasteras, Sweden ; 979-83-503-2498-3

مصطلحات موضوعية: Computer. Automation

Relation: info:eu-repo/semantics/altIdentifier/isi/001137051500053

الاتاحة: https://hdl.handle.net/10067/2038130151162165141

المؤلفون: Bounceur, Ahcène, Bezoui, Madani, Lounis, Massinissa, Euler, Reinhardt, Teodorov, Ciprian

المساهمون: Université de Brest (UBO), Université M'Hamed Bougara Boumerdes (UMBB), LIMED (Laboratoire d'Informatique MEdicale), Université Abderrahmane Mira Université de Béjaïa = University of Béjaïa = جامعة بجاية (UB), Lab-STICC_UBO_CID_DECIDE, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_ENSTAB_ CACS_MOCS, École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), ANR-14-CE24-0017,PERSEPTEUR,PlateformE viRtuelle 3D pour la Simulation des rEseaux de caPTEURs(2014)

المصدر: 15th IEEE Annual Consumer Communications & Networking Conference (CCNC)
https://ensta-bretagne.hal.science/hal-01804280
15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩

مصطلحات موضوعية: Wireless Sensor Network, IoT, Leader Election, Distributed algorithms, Dominating Tree Routing, Index Terms-Wireless Sensor Network, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Las Vegas, United States

الاتاحة: https://ensta-bretagne.hal.science/hal-01804280
https://ensta-bretagne.hal.science/hal-01804280v1/document
https://ensta-bretagne.hal.science/hal-01804280v1/file/dominating.pdf
https://doi.org/10.1109/CCNC.2018.8319292

المؤلفون: Leilde, Vincent, Ribaud, Vincent, Teodorov, Ciprian, Dhaussy, Philippe

المساهمون: Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Lab-STICC_UBO_CACS_MOCS, Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université de Brest (UBO)-Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique)

المصدر: 8th International Conference on Model and Data Engineering (MEDI 2018)
https://hal.science/hal-01933794
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39

مصطلحات موضوعية: Diagnosis, Organizing System, Problem Oriented Method, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Marrakesh, Morocco

Relation: hal-01933794; https://hal.science/hal-01933794; https://hal.science/hal-01933794/document; https://hal.science/hal-01933794/file/medi_2018.pdf

الاتاحة: https://hal.science/hal-01933794
https://hal.science/hal-01933794/document
https://hal.science/hal-01933794/file/medi_2018.pdf

المؤلفون: Leilde, Vincent, Ribaud, Vincent, Teodorov, Ciprian, Dhaussy, Philippe

المساهمون: Lab-STICC_ENSTAB_ CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Lab-STICC_UBO_CACS_MOCS, Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018)
https://hal.science/hal-01933792
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco

مصطلحات موضوعية: Problem Oriented Method, Diagnosis, Security Patterns, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Marrakesh, Morocco

Relation: hal-01933792; https://hal.science/hal-01933792; https://hal.science/hal-01933792/document; https://hal.science/hal-01933792/file/detect_2018.pdf

الاتاحة: https://hal.science/hal-01933792
https://hal.science/hal-01933792/document
https://hal.science/hal-01933792/file/detect_2018.pdf

المؤلفون: Allal Lamia, Belalem Ghalem, Dhaussy Philippe, Teodorov Ciprian

المصدر: Cybernetics and Information Technologies, Vol 16, Iss 1, Pp 3-18 (2016)

مصطلحات موضوعية: model checking, state explosion problem, sequential exploration, parallel exploration, Cybernetics, Q300-390

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1314-4081

URL الوصول: https://doaj.org/article/6cebb44fb8dd41ca86c14261613acfb9

المؤلفون: Leilde, Vincent, Ribaud, Vincent, Teodorov, Ciprian, Dhaussy, Philippe

المساهمون: Lab-STICC_ENSTAB_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBO_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017
https://hal.science/hal-01559688
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
http://sefm17.fbk.eu/

مصطلحات موضوعية: Diagnosis, Verification, Critical systems, Framework, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Trente, Italy

Relation: hal-01559688; https://hal.science/hal-01559688; https://hal.science/hal-01559688/document; https://hal.science/hal-01559688/file/SEFM_2017_paper_73.pdf

الاتاحة: https://hal.science/hal-01559688
https://hal.science/hal-01559688/document
https://hal.science/hal-01559688/file/SEFM_2017_paper_73.pdf

المؤلفون: Teodorov, Ciprian

المساهمون: Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Université de Bretagne Occidentale (UBO), Brest, Frank Singhoff

المصدر: https://hal.science/tel-04066483 ; Software Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023.

مصطلحات موضوعية: executable specifications, language monitoring, behavioral analysis, model-checking, debugging, spécifications exécutables, monitoring de langage, analyse comportamentale, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: tel-04066483; https://hal.science/tel-04066483; https://hal.science/tel-04066483/document; https://hal.science/tel-04066483/file/HDR_Teodorov.pdf

الاتاحة: https://hal.science/tel-04066483
https://hal.science/tel-04066483/document
https://hal.science/tel-04066483/file/HDR_Teodorov.pdf