المؤلفون: Bartocci, Ezio, Beyer, Dirk, Black, Paul E., Fedyukovich, Grigory, Garavel, Hubert, Hartmanns, Arnd, Huisman, Marieke, Kordon, Fabrice, Nagele, Julian, Sighireanu, Mihaela, Steffen, Bernhard, Suda, Martin, Sutcliffe, Geoff, Weber, Tjark, Yamada, Akihisa

المصدر: Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science. :3-24

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-396455
https://doi.org/10.1007/978-3-030-17502-3_1
https://uu.diva-portal.org/smash/get/diva2:1367841/FULLTEXT01.pdf

المؤلفون: André, Étienne, Arias, Jaime, Barbot, Benoît, Hulin-Hubard, Francis, Kordon, Fabrice, Le, Van-François, Petrucci, Laure

المساهمون: Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, 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), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Modélisation et Vérification (MoVe), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE25-0015,ProMiS,Mitigation formelle d'attaques via canaux auxiliaires par vérification paramétrée(2019), ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022)

المصدر: 45th International Conference on Application and Theory of Petri Nets and Concurrency
https://hal.science/hal-04610312
45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩

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

جغرافية الموضوع: Geneva, Switzerland

الاتاحة: https://hal.science/hal-04610312
https://doi.org/10.1007/978-3-031-61433-0_21

المؤلفون: 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

المؤلفون: Vallade, Vincent, Le Frioux, Ludovic, Baarir, Souheib, Sopena, Julien, Ganesh, Vijay, Kordon, Fabrice

المصدر: Theory and Applications of Satisfiability Testing – SAT 2020 ; Lecture Notes in Computer Science ; page 11-27 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030518240 9783030518257

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

المؤلفون: 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

المؤلفون: Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

المساهمون: Ludwig-Maximilians-Universität München

المصدر: International Journal on Software Tools for Technology Transfer ; volume 23, issue 6, page 879-881 ; ISSN 1433-2779 1433-2787

الاتاحة: http://dx.doi.org/10.1007/s10009-021-00631-1
https://link.springer.com/content/pdf/10.1007/s10009-021-00631-1.pdf
https://link.springer.com/article/10.1007/s10009-021-00631-1/fulltext.html

المؤلفون: 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, Jiri, Thierry-Mieg, Yann, van Dijk, Tom, Wolf, Karsten

المساهمون: Kordon, Fabrice, Huisman, Marieke, Steffen, Bernhard, Beyer, Dirk

المصدر: Amparore , E , Berthomieu , B , Ciardo , G , Dal Zilio , S , Gallà , F , Hillah , L M , Hulin-Hubard , F , Jensen , P G , Jezequel , L , Kordon , F , Le Botlan , D , Liebke , T , Meijer , J , Miner , A , Paviot-Adet , E , Srba , J , Thierry-Mieg , Y , van Dijk , T & Wolf , K 2019 , Presentation of the 9th Edition of the Model Checking Contest . in F Kordon , M Huisman ....

مصطلحات موضوعية: Competition, CTL formulas, LTL formulas, Model checking, Reachability formulas, State space

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

Relation: https://vbn.aau.dk/da/publications/87aaab98-d00a-45ec-b109-393e2856d232; urn:ISBN:9783030175016

الاتاحة: https://vbn.aau.dk/da/publications/87aaab98-d00a-45ec-b109-393e2856d232
https://doi.org/10.1007/978-3-030-17502-3_4
https://vbn.aau.dk/ws/files/320301900/Amparore2019_Chapter_PresentationOfThe9thEditionOfT.pdf
http://www.scopus.com/inward/record.url?scp=85064938998&partnerID=8YFLogxK

المؤلفون: Kordon, Fabrice, Leuschel, Michael, van de Pol, Jaco, Thierry-Mieg, Yann

المصدر: Lecture Notes in Computer Science ; Computing and Software Science ; page 393-419 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319919072 9783319919089

الاتاحة: http://dx.doi.org/10.1007/978-3-319-91908-9_20
http://link.springer.com/content/pdf/10.1007/978-3-319-91908-9_20

المؤلفون: Le Frioux, Ludovic, Baarir, Souheib, Sopena, Julien, Kordon, Fabrice

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 135-151 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030174613 9783030174620

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

المؤلفون: Amat, Nicolas, Amparore, Elvio, Berthomieu, Bernard, Bouvier, Pierre, Zilio, Silvano Dal, Hulin-Hubard, Francis, Jensen, Peter, Jezequel, Loig, Kordon, Fabrice, Li, Shuo, Paviot-Adet, Emmanuel, Petrucci, Laure, Srba, Jiří, Thierry-Mieg, Yann, Wolf, Karsten

المساهمون: Institute IMDEA Software Madrid, Università degli studi di Torino = University of Turin (UNITO), 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), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Kalray, LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Aalborg University Denmark (AAU), 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), Modélisation et Vérification (MoVe), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Tongji University, Université Paris Cité (UPCité), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, University of Rostock

المصدر: TOOLympics Challenge 2023 ; https://hal.science/hal-04764190 ; TOOLympics Challenge 2023, Apr 2023, Paris, France. pp.52-89, ⟨10.1007/978-3-031-67695-6_3⟩

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

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

الاتاحة: https://hal.science/hal-04764190
https://doi.org/10.1007/978-3-031-67695-6_3

المساهمون: Beyer, Dirk, Huisman, Marieke, Kordon, Fabrice, Steffen, Bernhard

مصطلحات موضوعية: Computer science, Computer logic, Software engineering, Mathematical logic, Computers, Computer system failures, Computer simulation, thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation

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

Relation: Lecture Notes in Computer Science

URL الوصول: http://library.oapen.org/handle/20.500.12657/23327

المؤلفون: Kordon, Fabrice, Linard, Alban, Buchs, Didier, Colange, Maximilien, Evangelista, Sami, Lampka, Kai, Lohmann, Niels, Paviot-Adet, Emmanuel, Thierry-Mieg, Yann, Wimmel, Harro

المصدر: Transactions on Petri Nets and Other Models of Concurrency: VI Lecture Notes in Computer Science. :169-196

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-174501
https://uu.diva-portal.org/smash/get/diva2:527426/FULLTEXT01.pdf

المؤلفون: 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

المؤلفون: Metin, Hakan, Baarir, Souheib, Colange, Maximilien, Kordon, Fabrice

المساهمون: 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), Laboratoire de Recherche et de Développement de l'EPITA (LRDE), Ecole Pour l'Informatique et les Techniques Avancées (EPITA)

المصدر: Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, ; Tools and Algorithms for the Construction and Analysis of Systems -- TACAS ; https://hal.sorbonne-universite.fr/hal-01766948 ; Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece

مصطلحات موضوعية: [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], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Tessaloniki, Greece

Relation: hal-01766948; https://hal.sorbonne-universite.fr/hal-01766948; https://hal.sorbonne-universite.fr/hal-01766948/document; https://hal.sorbonne-universite.fr/hal-01766948/file/10.1007-978-3-319-89960-2_6.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01766948
https://hal.sorbonne-universite.fr/hal-01766948/document
https://hal.sorbonne-universite.fr/hal-01766948/file/10.1007-978-3-319-89960-2_6.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

المؤلفون: Le Frioux, Ludovic, Baarir, Souheib, Sopena, Julien, Kordon, Fabrice

المساهمون: 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), Large-Scale Distributed Systems and Applications (Regal), 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)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: The 20th International Conference on Theory and Applications of Satisfiability Testing ; https://hal.science/hal-01540785 ; The 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩

مصطلحات موضوعية: Parallel, Satisfiability, Clause sharing, Portfolio, Cube and conquer, [INFO]Computer Science [cs]

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

Relation: hal-01540785; https://hal.science/hal-01540785; https://hal.science/hal-01540785/document; https://hal.science/hal-01540785/file/LeFrioux2017.pdf

الاتاحة: https://hal.science/hal-01540785
https://hal.science/hal-01540785/document
https://hal.science/hal-01540785/file/LeFrioux2017.pdf
https://doi.org/10.1007/978-3-319-66263-3_15

المؤلفون: Koutny, Maciej, Kordon, Fabrice, Moldt, Daniel

المساهمون: Newcastle University Newcastle, 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), Hamburg University of Applied Sciences Hamburg

المصدر: https://hal.sorbonne-universite.fr/hal-03926379 ; Springer Berlin, Heidelberg, 13220, 2022, Lecture Notes in Computer Science, 978-3-662-65302-9. ⟨10.1007/978-3-662-65303-6⟩.

مصطلحات موضوعية: architecture verification and validation, artificial intelligence, automata theory, computer programming, embedded systems, formal logic, graph theory, model checking, petri nets, programming languages, software architecture, software design, software engineering, software quality, verification, verification and validation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

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

الاتاحة: https://hal.sorbonne-universite.fr/hal-03926379
https://doi.org/10.1007/978-3-662-65303-6

المؤلفون: Kordon, Fabrice, Moldt, Daniel

المصدر: Science of Computer Programming ; volume 157, page 1-2 ; ISSN 0167-6423

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

المؤلفون: 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