المؤلفون: Roxane, Jouseau, Sébastien, Salva, Chafik, Samir

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2312.08066

المؤلفون: Jarod Sue, Sébastien Salva, Laurent Provot

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Université Clermont Auvergne (UCA), Institut Universitaire de Technologie - Clermont-Ferrand (IUT Clermont-Ferrand), Université Clermont Auvergne [2017-2020] (UCA [2017-2020]), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)

المصدر: 13th International Conference on Knowledge Discovery and Information Retrieval
13th International Conference on Knowledge Discovery and Information Retrieval, Oct 2021, Online Streaming, France. pp.155-163, ⟨10.5220/0010652300003064⟩
KDIR

مصطلحات موضوعية: Computer science, business.industry, media_common.quotation_subject, Event (relativity), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], Conversation, Artificial intelligence, business, computer, Natural language processing, ComputingMilieux_MISCELLANEOUS, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a152e278ce61f742fcf8b85c91eb39b8
https://hal.uca.fr/hal-03444528

المؤلفون: Sébastien Salva, Elliott Blot

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)

المصدر: Communications in Computer and Information Science, vol. 1447, Software Technologies-15th International Conference, {ICSOFT} 2020, Online Event, July 7-9, 2020, Revised Selected Papers
Communications in Computer and Information Science, vol. 1447, Software Technologies-15th International Conference, {ICSOFT} 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 1447, Springer, pp.70-97, 2021, Software Technologies, 978-3-030-83007-6/978-3-030-83006-9. ⟨10.1007/978-3-030-83007-6_4⟩
Communications in Computer and Information Science, vol. 1447, Software Technologies-15th International Conference, 2020, Online Event, July 7-9, 2020, Revised Selected Papers, 1447, Springer, pp.70-97, 2021, Software Technologies, 978-3-030-83007-6/978-3-030-83006-9. ⟨10.1007/978-3-030-83007-6_4⟩
Communications in Computer and Information Science ISBN: 9783030830069
ICSOFT (Selected Papers)

مصطلحات موضوعية: Model checking, Computer science, media_common.quotation_subject, 02 engineering and technology, Audit, Model learning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, ENCODE, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Originality, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Rule of inference, Expert system, media_common, business.industry, Event (computing), 020206 networking & telecommunications, 020207 software engineering, IoT software systems, The Internet, business, Software engineering, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6097871e82ec21e9a33959001ec578f
https://hal.uca.fr/hal-03338612

المؤلفون: Valentin Landemaine, Olivier Cerdan, Thomas Grangeon, Rosalie Vandromme, Benoit Laignel, Olivier Evrard, Sébastien Salvador-Blanes, J. Patrick Laceby

المصدر: International Soil and Water Conservation Research, Vol 11, Iss 4, Pp 688-699 (2023)

مصطلحات موضوعية: European loess belt, Soil erosion, Saturation-excess runoff, WaterSed model, Engineering (General). Civil engineering (General), TA1-2040

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2095633923000254; https://doaj.org/toc/2095-6339

URL الوصول: https://doaj.org/article/42f4a123409b4c80aa0769df5b847d57

المؤلفون: Loukmen Regainia, Sébastien Salva

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)

المصدر: Software Quality Journal
Software Quality Journal, In press, ⟨10.1007/s11219-018-9438-2⟩
Software Quality Journal, Springer Verlag, In press, ⟨10.1007/s11219-018-9438-2⟩

مصطلحات موضوعية: Attack Defense Trees, 021110 strategic, defence & security studies, business.industry, Computer science, 0211 other engineering and technologies, 020207 software engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Software development process, Software, Test case, Security pattern, Knowledge base, Threat model, Security, 0202 electrical engineering, electronic engineering, information engineering, Test casegeneration, Web application, Concrete security, Safety, Risk, Reliability and Quality, Software engineering, business, Security patterns

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1c2bb1aac37ea04084b7fc7f25001af
https://doi.org/10.1007/s11219-018-9438-2

المؤلفون: Elliott Blot, Sébastien Salva

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)

المصدر: Testing Software and Systems-32nd IFIP WG 6.1 InternationalConference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings
Testing Software and Systems-32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, pp.3-19, 2020, ⟨10.1007/978-3-030-64881-7_1⟩
Testing Software and Systems ISBN: 9783030648800
ICTSS

مصطلحات موضوعية: Object-oriented programming, Speedup, Computer science, Event (computing), business.industry, Communicating Systems, media_common.quotation_subject, Mock, Code coverage, 020207 software engineering, Usability, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Quality Metrics, Model Learning, Metric (mathematics), Model learning, 0202 electrical engineering, electronic engineering, information engineering, Quality (business), Software engineering, business, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0e6e34275870023e8204d520df897bf
https://hal.uca.fr/hal-03048336

المؤلفون: Elliott Blot, Sébastien Salva

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])

المصدر: 15th International Conference on Software Technologies
15th International Conference on Software Technologies, Jul 2020, Lieusaint-Paris, France. pp.350-360, ⟨10.5220/0009872103500360⟩
ICSOFT

مصطلحات موضوعية: Model checking, Computer science, Event (computing), business.industry, Audit, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, IoT software systems, Expert system, Model Checking, Model Learning, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Component (UML), Software system, Expert System, Rule of inference, Software engineering, business, computer, Abstraction (linguistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::573a5f6fbf625003f6d5c17813876c77
https://hal.uca.fr/hal-03048356

المؤلفون: Elliott Blot, Sébastien Salva

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)

المصدر: 15th International Conference on Evaluation of Novel Approaches to Software Engineering
15th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2020, Prague, France. pp.27-38, ⟨10.5220/0009327400270038⟩
ENASE

مصطلحات موضوعية: Input/output, Dependency (UML), Computer science, Event (computing), 020207 software engineering, Dependency graphs, 02 engineering and technology, Model learning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], IOLTS, computer.software_genre, Human–computer interaction, 020204 information systems, Component (UML), Transition system, 0202 electrical engineering, electronic engineering, information engineering, Systems architecture, Web service, Reverse engineering, computer, Communicating systems, Abstraction (linguistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cbf88f273927714bb4aa517df3609c7
https://hal.uca.fr/hal-02884776/document

المؤلفون: Elliott Blot, Sébastien Salva

المساهمون: Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), Ecole Nationale Supérieure des Mines de St Etienne-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne)

المصدر: Software Quality Journal
Software Quality Journal, Springer Verlag, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩
Software Quality Journal, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩

مصطلحات موضوعية: Reverse engineering, Theoretical computer science, Exploit, Computer science, Formal models, Component-based Systems, Inference, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, computer.software_genre, Whole systems, Model Learning, 020204 information systems, Reverse Engineering, Model learning, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Cluster analysis, Merge (version control), computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6eb9e79ee34817a744e27d464fca7598
https://hal.uca.fr/hal-02458451/document

المؤلفون: William Durand, Sébastien Salva

المصدر: International Journal of Information System Modeling and Design. 8:43-72

مصطلحات موضوعية: business.industry, Computer science, 020207 software engineering, Context (language use), 02 engineering and technology, computer.software_genre, Automation, Expert system, Task (project management), Test (assessment), Software development process, Management of Technology and Innovation, 0202 electrical engineering, electronic engineering, information engineering, Production (economics), 020201 artificial intelligence & image processing, Passive testing, Software engineering, business, computer, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::908eb3367cc90722341c4d79236a5540
https://doi.org/10.4018/ijismd.2017010103