المؤلفون: Lynda Ait Oubelli, Béatrice Larzul, Judicaël Bedouet, Benoît Chausserie-Laprée, Romain Kervarc, Yamine Ait Ameur

المساهمون: Centre National d'Études Spatiales - CNES (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique (Toulouse) (Toulouse INP), Centre National d'Études Spatiales [Toulouse] (CNES), Institut National Polytechnique de Toulouse - INPT (FRANCE)

المصدر: Computer Languages, Systems and Structures
Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.358-385. ⟨10.1016/j.cl.2018.08.001⟩

مصطلحات موضوعية: Computer Networks and Communications, Computer science, Data model evolution, Complex system, DATA MODEL COMPARISON, Context (language use), 02 engineering and technology, COMPOSITE EVOLUTION OPERATORS, Field (computer science), Data modeling, Data conservation, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Data model comparison, DATA MIGRATION, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], DATA MODEL EVOLUTION, 020207 software engineering, Modélisation et simulation, Data migration, Data science, Model driven engineering (MDE), MODEL DRIVEN ENGENEERING, Data model, Scalability, Composite evolution operators, Engineering design process, Software, DATA CONSERVATION

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::046c80af0a3b02d287fc6ec32ed2e35f
https://doi.org/10.1016/j.cl.2018.08.001

المؤلفون: Romain Kervarc, Romain Rincé, Philippe Leray

المساهمون: 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 Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, Data User Knowledge (DUKe), 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)

المصدر: 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018, Luxembourg, Luxembourg. pp.147-163, ⟨10.1007/978-3-319-99906-7_10⟩
Rules and Reasoning ISBN: 9783319999050
RuleML+RR

مصطلحات موضوعية: Structure (mathematical logic), Theoretical computer science, Markov chain, Computer science, Data stream mining, Complex event processing, 02 engineering and technology, Automaton, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Graphical model, Combinatorial explosion, Event (probability theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e236767f51d312732bdd3ea829f62c7
https://hal.archives-ouvertes.fr/hal-01891691/file/rule_ml_final.pdf

المؤلفون: Romain Kervarc, Philippe Leray, Romain Rincé

المساهمون: 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), ONERA - The French Aerospace Lab [Palaiseau], ONERA-Université Paris Saclay (COmUE)

المصدر: 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017)
30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), 2017, Arras, France. ⟨10.1007/978-3-319-60045-1_15⟩
Advances in Artificial Intelligence: From Theory to Practice ISBN: 9783319600444
IEA/AIE (2)

مصطلحات موضوعية: Theoretical computer science, Computer science, Slice sampling, Inference, 02 engineering and technology, Complex Event Processing, Random search, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Temporal Logic, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, SAT solver, Local search (optimization), Markov logic network, Chronicles, Markov chain, business.industry, First-Order Logic, Local search, WalkSAT, 020201 artificial intelligence & image processing, business, Boolean satisfiability problem, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e79d9c5055d8aa4880d38411ba6bf9e8
https://hal.archives-ouvertes.fr/hal-01532492

المؤلفون: Stéphanie Lala, Ariane Piel, Sylvain Bertrand, Jean Bourrely, Romain Kervarc

المساهمون: ONERA - The French Aerospace Lab [Palaiseau], ONERA-Université Paris Saclay (COmUE)

المصدر: NASA Formal Methods
NASA Formal Methods, 9690, p. 3-18, 2016, ⟨10.1007/978-3-319-40648-0_1⟩
Lecture Notes in Computer Science ISBN: 9783319406473
NFM

مصطلحات موضوعية: Theoretical computer science, 010504 meteorology & atmospheric sciences, Atlas (topology), Computer science, business.industry, Complex system, PROBALISTIQUE, ANALYSE PERFORMANCE, 01 natural sciences, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], 0103 physical sciences, Temporal logic, Artificial intelligence, Architecture, business, 010303 astronomy & astrophysics, 0105 earth and related environmental sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d87208103137a6477fbbcd3c419a21f4
https://hal.archives-ouvertes.fr/hal-01429800

المؤلفون: Jean Bourrely, Claire Quillien, Romain Kervarc

المساهمون: ONERA - The French Aerospace Lab [Palaiseau], ONERA-Université Paris Saclay (COmUE)

المصدر: Mathematics and Computers in Simulation
Mathematics and Computers in Simulation, Elsevier, 2016, 81, p. 717-730. ⟨10.1016/j.matcom.2010.09.007⟩

مصطلحات موضوعية: PERFORMANCE SYSTEME, MODELE STOCHASTIQUE, Numerical Analysis, 021103 operations research, Theoretical computer science, General Computer Science, Computer science, Applied Mathematics, 0211 other engineering and technologies, Complex system, LOGIQUE TEMPORELLE, 02 engineering and technology, Theoretical Computer Science, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Formalism (philosophy of mathematics), Tree structure, Modeling and Simulation, LOGIQUE, SYSTEME COMPLEXE, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Temporal logic, Analysis method

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fd185e77b8ce5ab1a93b174fb362f23
https://doi.org/10.1016/j.matcom.2010.09.007

المؤلفون: Christine Choppy, Patrice Carle, Ariane Piel, Romain Kervarc

المصدر: APSEC (1)

مصطلحات موضوعية: Hazard (logic), Nondeterministic algorithm, Event (computing), business.industry, Computer science, Distributed computing, Pattern recognition (psychology), Complex event processing, Coloured Petri net, Context (language use), Artificial intelligence, Petri net, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a54812ecafa8e46457f654675d12bf27
https://doi.org/10.1109/apsec.2013.51

المؤلفون: Ariane Piel, Christine Choppy, Patrice Carle, Romain Kervarc

المصدر: APSEC

مصطلحات موضوعية: Theoretical computer science, Computer science, Formal specification, Formal language, Coloured Petri net, Petri net, Grammar systems theory, Formal methods, Semantics, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::83d2724bda66bb86e7e27d3b00bad999
https://doi.org/10.1109/apsec.2012.47

المؤلفون: Stephanie Prudhomme, Sebastien Merit, Romain Kervarc, Catherine Jolly, Sylvain Bertrand, Therese Donath

المصدر: 2012 IEEE Aerospace Conference.

مصطلحات موضوعية: Space technology, Earth observation, Vulnerability assessment, Computer science, Vulnerability, Satellite, Space (commercial competition), Space debris, Remote sensing, Vulnerability (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::961f355525dbe29942e29cf663622365
https://doi.org/10.1109/aero.2012.6187073

المؤلفون: Patrice Carle, Christine Choppy, Romain Kervarc

المصدر: 2012 IEEE Aerospace Conference.

مصطلحات موضوعية: Activity recognition, Context model, Engineering, High-level architecture, Exploit, business.industry, Component (UML), Systems engineering, Context (language use), business, Aerospace, Data modeling

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::220914ce94707c55dd3a6b414e9ebd72
https://doi.org/10.1109/aero.2012.6187330

المؤلفون: Patrice Carle, Romain Kervarc, Christine Choppy

المصدر: TASE

مصطلحات موضوعية: Computer science, business.industry, Semantics (computer science), Event (computing), Petri net, Modular design, computer.software_genre, GeneralLiterature_MISCELLANEOUS, Operational semantics, Denotational semantics, Pattern recognition (psychology), Artificial intelligence, business, computer, Natural language processing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b3947efab651f086ba2ca6f86e9912cd
https://doi.org/10.1109/tase.2011.24