المؤلفون: Gauthier, Louis, Prevosto, Virgile, Signoles, Julien

المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024

Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Kosmatov, Nikolai^Aff24, Plaunov, Artjom^Aff25, Shankar, Subash^Aff25, Signoles, Julien^Aff26

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :423-455

المؤلفون: Bobot, François^Aff24, Maroneze, André^Aff24, Prevosto, Virgile^Aff24, Signoles, Julien^Aff24

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :341-401

المؤلفون: Benjamin, Thibaut^{Aff24, Aff25}, Signoles, Julien^Aff24

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :263-303

المؤلفون: Maroneze, André^Aff24, Prevosto, Virgile^Aff24, Signoles, Julien^Aff24

المساهمون: Abraham, Erika, Editorial Board Member^Aff1, Beyersdorff, Olaf, Editorial Board Member^Aff2, Blanchette, Jasmin, Editorial Board Member^Aff3, Biere, Armin, Editorial Board Member^Aff4, Buss, Sam, Editorial Board Member^Aff5, England, Matthew, Editorial Board Member^Aff6, Fleuriot, Jacques, Editorial Board Member^Aff7, Fontaine, Pascal, Editorial Board Member^Aff8, Gurfinkel, Arie, Editorial Board Member^Aff9, Heule, Marijn, Editorial Board Member^Aff10, Kahle, Reinhard, Editorial Board Member^Aff11, Kolaitis, Phokion, Editorial Board Member^Aff12, Kolokolova, Antonina, Editorial Board Member^Aff13, Matthes, Ralph, Editorial Board Member^Aff14, Mahboubi, Assia, Editorial Board Member^Aff15, Nordström, Jakob, Editorial Board Member^Aff16, Panangaden, Prakash, Editorial Board Member^Aff17, Rozier, Kristin Yvonne, Editorial Board Member^Aff18, Studer, Thomas, Editorial Board Member^Aff19, Tinelli, Cesare, Editorial Board Member^Aff20, Kosmatov, Nikolai, editor^Aff21, Prevosto, Virgile, editor^Aff22, Signoles, Julien, editor^Aff23

المصدر: Guide to Software Verification with Frama-C : Core Components, Usages, and Applications. :81-130

المؤلفون: Clouet, Myriam, Antignac, Thibaud, Arnaud, Mathilde, Pedroza, Gabriel, Signoles, Julien

المصدر: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) EUROSPW Security and Privacy Workshops (EuroS&PW), 2022 IEEE European Symposium on. :203-211 Jun, 2022

Relation: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)

المؤلفون: Benajmin, Thibaut^Aff9, Signoles, Julien^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Prevosto, Virgile, editor^Aff7, Seceleanu, Cristina, editor^Aff8

المصدر: Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. 14066:168-186

المؤلفون: Clouet, Myriam^Aff9, Antignac, Thibaud^Aff10, Arnaud, Mathilde^Aff9, Signoles, Julien^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Prevosto, Virgile, editor^Aff7, Seceleanu, Cristina, editor^Aff8

المصدر: Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. 14066:68-93

المؤلفون: Jacquemin, Maxime, Maurica, Fonenantsoa, Kosmatov, Nikolai, Signoles, Julien, Védrine, Franck

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

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

المؤلفون: Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliés, Francalanza, Adrian, Krstić, Srđan, Lourenço, JoHao M., Nickovic, Dejan, Pace, Gordon J., Rufino, Jose, Signoles, Julien, Traytel, Dmitriy, Weiss, Alexander

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

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