المؤلفون: Vacheret, Romain, Pérez, Francisca, Ziadi, Tewfik, Hillah, Lom

المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Universidad San Jorge

المصدر: ISSN: 0950-5849.

مصطلحات موضوعية: fault localization, topic modeling, information retrieval fault localization, spectrum-based fault localization, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: hal-04622459; https://hal.sorbonne-universite.fr/hal-04622459; https://hal.sorbonne-universite.fr/hal-04622459/document; https://hal.sorbonne-universite.fr/hal-04622459/file/IST23_FaultL_TM.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-04622459
https://hal.sorbonne-universite.fr/hal-04622459/document
https://hal.sorbonne-universite.fr/hal-04622459/file/IST23_FaultL_TM.pdf
https://doi.org/10.1016/j.infsof.2024.107499

المؤلفون: Xu, Hao, Baarir, Souheib, Ziadi, Tewfik, Essodaigui, Siham, Bossu, Yves, Hillah, Lom Messan

المساهمون: RENAULT, Laboratoire de Recherche de l'EPITA (LRE), Ecole Pour l'Informatique et les Techniques Avancées (EPITA), Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Meritis

المصدر: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS)
https://cnrs.hal.science/hal-04518663
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.197-206, ⟨10.1109/ICECCS59891.2023.00032⟩

مصطلحات موضوعية: Knowledge compilation, Product line, Variability model, Value Symmetries, Space vehicles, Knowledge engineering, Computational modeling, Parallel processing, Robustness, Space exploration, Complexity theory, [INFO]Computer Science [cs]

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

Relation: hal-04518663; https://cnrs.hal.science/hal-04518663; https://cnrs.hal.science/hal-04518663/document; https://cnrs.hal.science/hal-04518663/file/ICECCS.pdf

الاتاحة: https://cnrs.hal.science/hal-04518663
https://cnrs.hal.science/hal-04518663/document
https://cnrs.hal.science/hal-04518663/file/ICECCS.pdf
https://doi.org/10.1109/ICECCS59891.2023.00032

المؤلفون: Kordon, Fabrice, Linard, Alban, Beccuti, Marco, Buchs, Didier, Fronc, Łukasz, Hillah, Lom-Messan, Hulin-Hubard, Francis, Legond-Aubry, Fabrice, Lohmann, Niels, Marechal, Alexis, Paviot-Adet, Emmanuel, Pommereau, Franck, Rodríguez, César, Rohr, Christian, Thierry-Mieg, Yann, Wimmel, Harro, Wolf, Karsten

مصطلحات موضوعية: Computer Science - Software Engineering

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

المؤلفون: Kordon, Fabrice, Hillah, Lom Messan, Hulin-Hubard, Francis, Jezequel, Loïg, Paviot-Adet, Emmanuel

المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre - Département de Mathématiques et Informatique, Université Paris Nanterre (UPN), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), 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)

المصدر: ISSN: 1433-2779.

مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: hal-03251314; https://hal.sorbonne-universite.fr/hal-03251314; https://hal.sorbonne-universite.fr/hal-03251314/document; https://hal.sorbonne-universite.fr/hal-03251314/file/sttt-mcc15-19.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-03251314
https://hal.sorbonne-universite.fr/hal-03251314/document
https://hal.sorbonne-universite.fr/hal-03251314/file/sttt-mcc15-19.pdf
https://doi.org/10.1007/s10009-021-00615-1

المؤلفون: Amparore, Elvio, Berthomieu, Bernard, Ciardo, Gianfranco, Dal Zilio, Silvano, Gallà, Francesco, Hillah, Lom Messan, Hulin-Hubard, Francis, Jensen, Peter Gjøl, Jezequel, Loïg, Kordon, Fabrice, Le Botlan, Didier, Liebke, Torsten, Meijer, Jeroen, Miner, Andrew, Paviot-Adet, Emmanuel, Srba, Jiří, Thierry-Mieg, Yann, van Dijk, Tom, Wolf, Karsten

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 50-68 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030175016 9783030175023

الاتاحة: http://dx.doi.org/10.1007/978-3-030-17502-3_4
http://link.springer.com/content/pdf/10.1007/978-3-030-17502-3_4

المؤلفون: Xu, Hao, Baarir, Souheib, Ziadi, Tewfik, Essodaigui, Siham, Bossu, Yves, Messan Hillah, Lom

المساهمون: RENAULT, Ecole Pour l'Informatique et les Techniques Avancées (EPITA), Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Meritis

المصدر: SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing ; https://cnrs.hal.science/hal-04518666 ; SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1486-1489, ⟨10.1145/3555776.3577830⟩

مصطلحات موضوعية: knowledge compilation, product line, variability model, value symmetries, [INFO]Computer Science [cs]

جغرافية الموضوع: Tallinn, Estonia

Time: Tallinn, Estonia

Relation: hal-04518666; https://cnrs.hal.science/hal-04518666

الاتاحة: https://cnrs.hal.science/hal-04518666
https://doi.org/10.1145/3555776.3577830

المؤلفون: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom, Paviot-Adet, Emmanuel, Jezequel, Loïg, Hulin-Hubard, Francis, Amparore, Elvio, Beccuti, Marco, Berthomieu, Bernard, Evrard, Hugues, Jensen, Peter, Gjøl, Le Botlan, Didier, Liebke, Torsten, Meijer, Jeroen, Srba, Jiří, Thierry-Mieg, Yann, van de Pol, Jaco, Wolf, Karsten

المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Universität des Saarlandes Saarbrücken = Saarland University Saarbrücken, Université Paris Nanterre (UPN), Université Paris Descartes - Paris 5 (UPD5), 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), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification Cachan (LSV), É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), Università degli studi di Torino = University of Turin (UNITO), Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Imperial College London, Department of Computer Science Aalborg, Aalborg University Denmark (AAU), Institut für Informatik Rostock, Universität Rostock, University of Twente, Faculty of Informatics Brno (FI / MUNI), Masaryk University Brno (MUNI)

المصدر: ISSN: 1867-7193 ; LNCS Transactions on Petri Nets and Other Models of Concurrency ; https://inria.hal.science/hal-01917492 ; LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩.

مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

الاتاحة: https://inria.hal.science/hal-01917492
https://inria.hal.science/hal-01917492v1/document
https://inria.hal.science/hal-01917492v1/file/ToPNoC-mcc2017.pdf
https://doi.org/10.1007/978-3-662-58381-4_9

المؤلفون: Kindler, Ekkart, Egilsson, Pétur, Ingi, Hillah, Lom Messan

المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre (UPN), Robert Lorenz, Johannes Metzger

المصدر: Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018 ; https://hal.sorbonne-universite.fr/hal-03565053 ; Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Oct 2018, Augsburg, Germany. pp.13-20 ; https://orbit.dtu.dk/en/publications/using-the-event-coordination-notation-for-validation

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

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

Relation: hal-03565053; https://hal.sorbonne-universite.fr/hal-03565053; https://hal.sorbonne-universite.fr/hal-03565053/document; https://hal.sorbonne-universite.fr/hal-03565053/file/awpn18-lorenz-metzger-OPUS.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-03565053
https://hal.sorbonne-universite.fr/hal-03565053/document
https://hal.sorbonne-universite.fr/hal-03565053/file/awpn18-lorenz-metzger-OPUS.pdf

المؤلفون: Ziadi, Tewfik, Hillah, Lom Messan

المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

المصدر: International Conference on Engineering of Complex Computer Systems ; https://hal.science/hal-01879394 ; International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia

مصطلحات موضوعية: Software Product Line, Bytecode, Analysis, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Melbourne, Australia

Relation: hal-01879394; https://hal.science/hal-01879394; https://hal.science/hal-01879394/document; https://hal.science/hal-01879394/file/ICECCS2018.pdf

الاتاحة: https://hal.science/hal-01879394
https://hal.science/hal-01879394/document
https://hal.science/hal-01879394/file/ICECCS2018.pdf

المؤلفون: Hillah, Lom Messan, Kordon, Fabrice

المساهمون: Université Paris Nanterre (UPN), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), University of Zaragoza

المصدر: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017
38th International Conference, PETRI NETS 2017
https://hal.sorbonne-universite.fr/hal-01492419
38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135

مصطلحات موضوعية: Benchmark, Verification Tools, Petri nets, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Zaragoza, Spain

Relation: hal-01492419; https://hal.sorbonne-universite.fr/hal-01492419; https://hal.sorbonne-universite.fr/hal-01492419/document; https://hal.sorbonne-universite.fr/hal-01492419/file/PNR2017_HillahEtAl.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01492419
https://hal.sorbonne-universite.fr/hal-01492419/document
https://hal.sorbonne-universite.fr/hal-01492419/file/PNR2017_HillahEtAl.pdf

المؤلفون: Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Delamaro, Marcio, de Rosa, Fabio, Garcia, Vinicius, Lonetti, Francesca, Maesano, Ariele-Paolo, Maesano, Libero, Marchetti, Eda, Miranda, Breno, Vincenzi, Auri, Iyoda, Juliano

المساهمون: Université Paris Nanterre (UPN), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Ustore, CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” Pisa (CNR, National Research Council of Italy, Universidade de São Paulo = University of São Paulo (USP), Simple Engineering France (SEF), Universidade Federal de Pernambuco Recife (UFPE), Universidade Federal de São Carlos São Carlos (UFSCar)

المصدر: 15th International Conference on Software Engineering and Formal Methods (SEFM 2017)
https://hal.sorbonne-universite.fr/hal-01538157
15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy

مصطلحات موضوعية: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO]Computer Science [cs]

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

Time: Trento, Italy

Relation: hal-01538157; https://hal.sorbonne-universite.fr/hal-01538157; https://hal.sorbonne-universite.fr/hal-01538157/document; https://hal.sorbonne-universite.fr/hal-01538157/file/SEFM2017-HillahEtAll.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01538157
https://hal.sorbonne-universite.fr/hal-01538157/document
https://hal.sorbonne-universite.fr/hal-01538157/file/SEFM2017-HillahEtAll.pdf

المؤلفون: Linard, Alban, Barbot, Benoît, Buchs, Didier, Colange, Maximilien, Démoulins, Clément, Hillah, Lom Messan, Martin, Alexis

المساهمون: Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Centre Universitaire d'Informatique, Université de Genève = University of Geneva (UNIGE), Laboratoire de Recherche et de Développement de l'EPITA (LRDE), Ecole Pour l'Informatique et les Techniques Avancées (EPITA), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke

المصدر: CEUR-WS.org ; Petri Nets and Software Engineering (PNSE 2016) ; https://hal.sorbonne-universite.fr/hal-01353944 ; Petri Nets and Software Engineering (PNSE 2016), Jun 2016, Toruń, Poland. pp.287-306 ; http://pn2016.mat.umk.pl/

مصطلحات موضوعية: formalism, modularity, metamodeling, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.6: Petri nets, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Toruń, Poland

الاتاحة: https://hal.sorbonne-universite.fr/hal-01353944
https://hal.sorbonne-universite.fr/hal-01353944v1/document
https://hal.sorbonne-universite.fr/hal-01353944v1/file/pnse16-7-linard.pdf

المؤلفون: Hillah, Lom Messan, Maesano, Ariele-Paolo, Maesano, Libero, de Rosa, Fabio, Kordon, Fabrice, Wuillemin, Pierre-Henri

المساهمون: Université Paris Nanterre - Département de Mathématiques et Informatique, Université Paris Nanterre (UPN), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Simple Engineering France (SEF), DECISION, ACM, European Project: 318786,EC:FP7:ICT,FP7-ICT-2011-8,MIDAS(2012)

المصدر: Symposium on Applied Computing (SAC) ; https://hal.sorbonne-universite.fr/hal-01306954 ; Symposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610

مصطلحات موضوعية: test planning, service testing, test automation, test generation, test prior-itization, test scheduling, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

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

Relation: info:eu-repo/grantAgreement/EC/FP7/318786/EU/Model and Inference Driven, Automated testing of Services architectures/MIDAS; hal-01306954; https://hal.sorbonne-universite.fr/hal-01306954; https://hal.sorbonne-universite.fr/hal-01306954/document; https://hal.sorbonne-universite.fr/hal-01306954/file/SAC2016-HillahEtAl-InitialSubmission.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01306954
https://hal.sorbonne-universite.fr/hal-01306954/document
https://hal.sorbonne-universite.fr/hal-01306954/file/SAC2016-HillahEtAl-InitialSubmission.pdf

المؤلفون: Hillah, Lom Messan, Maesano, Ariele-Paolo, de Rosa, Fabio, Kordon, Fabrice, Wuillemin, Pierre-Henri, Fontanelli, Riccardo, Di Bona, Sergio, Guerri, Davide, Maesano, Libero

المساهمون: Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre (UPN), DECISION, Simple Engineering France (SEF), Dedalus S.p.A, This research has been conducted in the context of the MIDAS project (EC FP7 Project Number 318786) partially funded by the European Commission., European Project: 318786,EC:FP7:ICT,FP7-ICT-2011-8,MIDAS(2012)

المصدر: ISSN: 1433-2779.

مصطلحات موضوعية: Test scheduling, Test automation, Model-based test generation, Service testing, Test prioritisation, Test planning, [INFO]Computer Science [cs]

Relation: info:eu-repo/grantAgreement/EC/FP7/318786/EU/Model and Inference Driven, Automated testing of Services architectures/MIDAS; hal-01397009; https://hal.sorbonne-universite.fr/hal-01397009; https://hal.sorbonne-universite.fr/hal-01397009/document; https://hal.sorbonne-universite.fr/hal-01397009/file/Hillah_2016_Automation_and.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01397009
https://hal.sorbonne-universite.fr/hal-01397009/document
https://hal.sorbonne-universite.fr/hal-01397009/file/Hillah_2016_Automation_and.pdf
https://doi.org/10.1007/s10009-016-0440-3

المؤلفون: Hillah, Lom Messan, Maesano, Ariele-Paolo, de Rosa, Fabio, Maesano, Libero, Lettere, Marco, Fontanelli, Riccardo

المساهمون: Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), DECISION, Simple Engineering France (SEF), Dedalus S.p.A, Fraunhofer Fokus, Axel Rennoch, European Project: 318786,EC:FP7:ICT,FP7-ICT-2011-8,MIDAS(2012)

المصدر: Workshop on System Testing and Validation ; 10th Workshop on System Testing and Validation ; https://hal.sorbonne-universite.fr/hal-01240254 ; 10th Workshop on System Testing and Validation, Fraunhofer Fokus, Oct 2015, Sophia Antipolis, France ; https://www.fokus.fraunhofer.de/go/stv15

مصطلحات موضوعية: service testing, test generation, probabilistic reasoning, reactive planning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

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

Relation: info:eu-repo/grantAgreement/EC/FP7/318786/EU/Model and Inference Driven, Automated testing of Services architectures/MIDAS; hal-01240254; https://hal.sorbonne-universite.fr/hal-01240254; https://hal.sorbonne-universite.fr/hal-01240254/document; https://hal.sorbonne-universite.fr/hal-01240254/file/SQC_STV15_FunctionalTesting_20150918.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01240254
https://hal.sorbonne-universite.fr/hal-01240254/document
https://hal.sorbonne-universite.fr/hal-01240254/file/SQC_STV15_FunctionalTesting_20150918.pdf

المؤلفون: Xu, Hao, Baarir, Souheib, Ziadi, Tewfik, Hillah, Lom Messan, Essodaigui, Siham, Bossu, Yves

المساهمون: RENAULT, Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre (UPN)

المصدر: 25th ACM International Systems and Software Product Line Conference - Volume B
https://hal.sorbonne-universite.fr/hal-03618184
25th ACM International Systems and Software Product Line Conference - Volume B, Sep 2021, Leicester, United Kingdom. pp.86-90, ⟨10.1145/3461002.3473948⟩

مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

جغرافية الموضوع: United Kingdom

Time: Leicester, United Kingdom

Relation: hal-03618184; https://hal.sorbonne-universite.fr/hal-03618184

الاتاحة: https://hal.sorbonne-universite.fr/hal-03618184
https://doi.org/10.1145/3461002.3473948

المؤلفون: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom Messan, Paviot-Adet, Emmanuel, Jezequel, Loïg, Rodríguez, César, Hulin-Hubard, Francis

المساهمون: Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Construction of verified concurrent systems (CONVECS ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Université Paris Nanterre - Département de Mathématiques et Informatique, Université Paris Nanterre (UPN), 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'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification Cachan (LSV), É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)

المصدر: ISSN: 1867-7193 ; LNCS Transactions on Petri Nets and Other Models of Concurrency ; https://inria.hal.science/hal-01361274 ; LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩ ; http://link.springer.com/chapter/10.1007/978-3-662-53401-4_12.

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

Relation: hal-01361274; https://inria.hal.science/hal-01361274; https://inria.hal.science/hal-01361274/document; https://inria.hal.science/hal-01361274/file/main.pdf

الاتاحة: https://inria.hal.science/hal-01361274
https://inria.hal.science/hal-01361274/document
https://inria.hal.science/hal-01361274/file/main.pdf
https://doi.org/10.1007/978-3-662-53401-4_12

المؤلفون: Ziadi, Tewfik, Almeida da Silva, Marcos Aurélio, Hillah, Lom Messan, Ziane, Mikal

المساهمون: Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre - Département de Mathématiques et Informatique, Université Paris Nanterre (UPN), Institut Universitaire de Technologie Paris Descartes (IUT - Paris Descartes), Université Paris Descartes - Paris 5 (UPD5)

المصدر: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
https://hal.science/hal-00626831
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Apr 2011, Las Vegas, United States. pp.107 - 116, ⟨10.1109/ICECCS.2011.18⟩

مصطلحات موضوعية: [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

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

Relation: hal-00626831; https://hal.science/hal-00626831; https://hal.science/hal-00626831/document; https://hal.science/hal-00626831/file/paper.pdf

الاتاحة: https://hal.science/hal-00626831
https://hal.science/hal-00626831/document
https://hal.science/hal-00626831/file/paper.pdf
https://doi.org/10.1109/ICECCS.2011.18

المؤلفون: Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Maesano, Libero, Iyoda, Juliano

المساهمون: Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre (UPN), Ustore, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (ISTI), Consiglio Nazionale delle Ricerche [Roma] (CNR), Simple Engineering France (SEF), Universidade Federal de Pernambuco [Recife] (UFPE), EUBrasilCloudFORUM, CNR Istituto di Scienza e Tecnologie dell’Informazione 'A. Faedo' [Pisa] (CNR | ISTI), National Research Council of Italy | Consiglio Nazionale delle Ricerche (CNR), HILLAH, Lom Messan

المصدر: Cloudscape Brazil and Workshop on Cloud Networks 2017
Cloudscape Brazil and Workshop on Cloud Networks 2017, EUBrasilCloudFORUM, Jul 2017, São Paulo, Brazil

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15193ca30190ba8f2be349311e75f0d1
https://hal.sorbonne-universite.fr/hal-01559443

المؤلفون: Hillah, Lom Messan, Assad, Rodrigo, Bertolino, Antonia, Delamaro, Marcio, De Rosa, Fabio, Garcia, Vinicius, Lonetti, Francesca, Maesano, Ariele-Paolo, Maesano, Libero, Marchetti, Eda, Miranda, Breno, Vincenzi, Auri, Iyoda, Juliano

المصدر: Software Engineering and Formal Methods ; Lecture Notes in Computer Science ; page 388-393 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319661964 9783319661971

الاتاحة: http://dx.doi.org/10.1007/978-3-319-66197-1_26
http://link.springer.com/content/pdf/10.1007/978-3-319-66197-1_26