المؤلفون: Duret-Lutz, Alexandre, Renault, Etienne, Colange, Maximilien, Renkin, Florian, Gbaguidi, Alexandre, Schlehuber-Caissier, Philipp, Medioni, Thomas, Martin, Antoine, Dubois, Jérôme, Gillard, Clément, Lauko, Henrich

المصدر: Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computer Science and Game Theory

الوصول الحر: http://arxiv.org/abs/2206.11366Test

المؤلفون: Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam

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

الوصول الحر: http://arxiv.org/abs/2206.00251Test

المؤلفون: Jacobs, Swen, Bloem, Roderick, Colange, Maximilien, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Philipp J., Michaud, Thibaud, Sakr, Mouhammad, Sickert, Salomon, Tentrup, Leander, Walker, Adam

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

الوصول الحر: http://arxiv.org/abs/1904.07736Test

المؤلفون: Jacobs, Swen, Basset, Nicolas, Bloem, Roderick, Brenguier, Romain, Colange, Maximilien, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Michaud, Thibaud, Pérez, Guillermo A., Raskin, Jean-François, Sankur, Ocan, Tentrup, Leander

المصدر: EPTCS 260, 2017, pp. 116-143

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

الوصول الحر: http://arxiv.org/abs/1711.11439Test

المؤلفون: Behdenna, Abdelkader, Colange, Maximilien, Haziza, Julien, Gema, Aryo, Appé, Guillaume, Azencott, Chloé-Agathe, Nordor, Akpéli

المساهمون: European Union's Horizon 2020 research and innovation program

المصدر: BMC Bioinformatics ; volume 24, issue 1 ; ISSN 1471-2105

مصطلحات موضوعية: Applied Mathematics, Computer Science Applications, Molecular Biology, Biochemistry, Structural Biology

الإتاحة: https://doi.org/10.1186/s12859-023-05578-5Test

المؤلفون: Bouyer, Patricia, Colange, Maximilien, Markey, Nicolas

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

الوصول الحر: http://arxiv.org/abs/1602.00481Test

المؤلفون: Colange, Maximilien, Racordon, Dimitri, Buchs, Didier

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1

الوصول الحر: http://arxiv.org/abs/1506.05728Test

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

العلاقة: hal-01766948; https://hal.sorbonne-universite.fr/hal-01766948Test; https://hal.sorbonne-universite.fr/hal-01766948/documentTest; https://hal.sorbonne-universite.fr/hal-01766948/file/10.1007-978-3-319-89960-2_6.pdfTest

الإتاحة: https://hal.sorbonne-universite.fr/hal-01766948Test
https://hal.sorbonne-universite.fr/hal-01766948/documentTest

المؤلفون: Eramo, Romina, Marchand de Kerchove, Florent, Colange, Maximilien, Tucci, Michele, Ouy, Julien, Bruneliere, Hugo, Ruscio, Davide

المساهمون: University of L'Aquila Italy (UNIVAQ), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), 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)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), ClearSy Systems Engineering, European Project: 737494,H2020 ,H2020-ECSEL-2016-1-RIA-two-stage,MegaMaRt2(2017)

المصدر: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal.science/hal-02170550Test ; The Journal of Object Technology, 2019, The 15th European Conference on Modelling Foundations and Applications (ECMFA 2019), 18 (2), pp.1:1-22. ⟨10.5381/jot.2019.18.2.a1⟩.

مصطلحات موضوعية: Traceability, Model-Driven Engineering, Critical Systems, Design, Runtime, Interactions, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

العلاقة: info:eu-repo/grantAgreement// 737494/EU/MegaModelling at Runtime - scalable model-based framework for continuous development andruntime validation of complex systems/MegaMaRt2; hal-02170550; https://hal.science/hal-02170550Test; https://hal.science/hal-02170550/documentTest; https://hal.science/hal-02170550/file/ModelDrivenDesignRuntimeInteraction_ECMFA19.pdfTest

الإتاحة: https://doi.org/10.5381/jot.2019.18.2.a1Test
https://hal.science/hal-02170550Test
https://hal.science/hal-02170550/documentTest
https://hal.science/hal-02170550/file/ModelDrivenDesignRuntimeInteraction_ECMFA19.pdfTest

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

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