Velo - Vérification pour l'Environnement et le LOgiciel

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
====== AeLoS Internal Meetings ======

===== 2022 =====
  * 10/03/2022 Réunion, exposé Rodic {{ :aelos:presentation_rodic-seminaire-aelos-mar2022.pdf |pdf}}
  * 24/02/2022  Réunion plénière personnels Aelos salle 210 bât. 34 ({{:aelos:aelos-24fevrier2022.pdf |dans le rétro}})
  * 3/02/2022   Réunion
  * 27/01/2022 AG LS2N [[https://wiki.ls2n.fr/lib/exe/fetch.php?media=ag_-27_janvier_2022.pdf|pdf]]
  * 20/01/2022  Réunion

===== 2021 COVID Saison 2 =====
  * 16/12/2021 Réunion Exposé invité Mariem Graa " Analyse hybride du code pour détecter les violations de la confidentialité dans le système Android." {{ :aelos:resume_expose_mariem_graa.pdf |résume pdf}}
  * 25/11/2021 Réunion 
  * 28/10/2021 Réunion (exposé Christian (??)
  * 14/10/2021 Réunion
  * 30/09/2021-01/10/2022 Mise au vert LS2N [[
https://uncloud.univ-nantes.fr/index.php/s/eSNw8aREmkDdwA9|têtes à chapeaux]]
  * 23/09/2021 Réunion
  * 9/09/2021 Réunion - arrivée Guillaume Cantin
  * 8/07/2021 Réunion
  * 17/06/2021 Réunion Exposé Abdel  "Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems"  (MEDI'2021)
  * 3/06/2021 Réunion Visio
  * 20/05/2021 Réunion Etat et Perspectives de travail autour de Plug&Check.
  * 3-6 mai 2021 Visite HCERES [[https://wiki.ls2n.fr/doku.php?id=eval_hceres:eval_hceres_acc|wikiLS2N-HCERES]]
  * 29/04/2021 Réunion Visio Présentation et Exposés des étudiants de Master 1, en TER.
  * 8/04/2021 Réunion Visio
  * 25/03/2021 Réunion
  * 11/03/2021 AG LS2N [[https://wiki.ls2n.fr/lib/exe/fetch.php?media=ag2021.pdf|pdf]]
  * 11/02/2021 Réunion
  * 28/01/2021 Réunion Visio
  * 14/01/2021 Réunion de reprise [[https://univ-nantes-fr.zoom.us/j/2686742218|zoom]]
  * 06/01/2021 On prépare les nouveaux locaux [[https://uncloud.univ-nantes.fr/index.php/s/LijkonS4p3A9Kcd|souvenirs]]


===== 2020 COVID Saison 1 =====
  * 17/12/2020 Réunion annulée
  * 10/12/2020 Soutenance HDR Benoit "//Modélisation et Vérification de Systèmes Incertains//" [[https://stream.lifesizecloud.com/extension/4452281/cfe3f6b0-d21f-4212-9bbf-61dd75f8a6bc|lifesize]]  [[https://youtu.be/_YM6TCEl7D4|replay]]
  * 03/12/2020 [[https://univ-nantes-fr.zoom.us/j/2686742218|Zoom]] Meeting
  * 05/11/2020 [[https://univ-nantes-fr.zoom.us/j/2686742218|Zoom]] Meeting
  * 22/10/2020 Réunion - Exposé Pascal
     * //Approches d'étude biblio systematique : SLR, SMS, ... Systematic mapping, systematic studies... Ce sont des approches méthodologiques..pour faire l'etat de l'art/ related work/ des "surveys" , etc// 
     * Outil [[https://www.rayyan.ai/|Rayyan]] (pour faire SLR), libre, adopté pour le travail en cours 
  * 22/10/2020 Réunion //Covid19 oblige, c'était la première réunion en présentiel depuis le mois de Février 2020 !// 
  * 08/10/2020 Soutenance de thèse d'Abdou {{ :aelos:presentation-soutenance-abdou-2020v4.pdf |diapos}} + AG LS2N
  * 24/09/2020 Foulées BBQ
  * 08/07/2020 Rencontres Pôles/Direction
  * 02/07/2020 Soutenance de thèse de Dimitri (présentiel mais guichets fermés 7 personnes) [[http://videos.univ-nantes.fr/player/live/index.php?f=live0506|le live]]
  * 11/06/2020 Réunion //visio-café-conviviale// [[https://call.lifesizecloud.com/1010415|lifesize]]
  * 28/05/2020 Réunion reportée
  * 2/04/2020 Réunion [de reprise] camera café [[https://call.lifesizecloud.com/1010415|lifesize]]
  * 26/03/2020 Soutenance de thèse de Eva - reportée
  * 19/03/2020 Réunion annulée COVID - les réunions passent à distance
  * 5/03/2020 Réunion (présentation CA ?)
  * 13/02/2020 Réunion présentation des travaux de thèse de Fawzi {{ :aelos:ims.pptx |ppt}}
  * 23/01/2020 Réunion
  * 09/01/2020 Réunion (galette)

===== 2019 =====
  * Réunion 19/12/2019 salle 210 bât. 34 (calendrier)
  * 05/12/2019 (annulé)
  * Exposé 21/11/2019, salle 210 bât. 34: Pascal (après colloque MSR'19 à Angers) {{ :aelos:msr19-andre-1.0.pdf |pdf}}
  * Exposé 07/11/2019, salle 210 bât. 34: Eva (avant colloque MSR'19 à Angers) {{ :aelos:slide15-eva-msr2019.pdf|pdf}}
  * Exposé 17/10/2019, salle 210 bât. 34: Fawzi (après la conf Sohoma à Valence) {{ :aelos:fawzi-sohoma2019.pdf |pdf}}
  * Exposé 03/10/2019 (Gilles) {{:aelos:presga-03-10-2019.pdf |pdf}}
  * Réunion 19/09/2019
  * Exposé 04/07/2019 (Dimitry) {{:aelos:dimitri_antakly_ieaaie2019.pdf|pdf}} (prepa de conf : Graphical Event Model Learning and Verification for Security Assessment, IEA/AIE 2019)
  * Exposé 06/06/2019 (Eva) {{ :aelos:eva.pdf |pdf}}(prepa de conf : Parametric Statistical Model Checking of UAV Flight Plan. FORTE 2019)
  * Réunion 20/06/2019 -- reu ANNULEE pour cause de seminaire LS2N
  * Exposé 16/05/2019 (Christian) {{ :aelos:aelos_digitaltwin_avril2019.pdf|pdf}}
  * Exposé 25/04/2019 (Yannis/Pascal) {{:aelos:expose-aelos-transfo.jpg?linkonly|}}
  * Exposé 04/04/2019 (Abdou) {{ :aelos:presentation-seminaire-abdou.pdf |pdf}}
  * Exposé 21/03/2019 (Pascal) {{ :aelos:modelsward2019-extaelos.pdf |pdf}}
  * Réunion 07/03/2019 Séminaire LS2N de Kazunori Ueda
  * Réunion 07/02/2019
  * Exposé 24/01/2019 (Kadidiatou) {{:aelos:presentation240119-kadi.pdf|pdf}}
  * Exposé 10/01/2019 (Benoit) {{ :aelos:benoitlisbonne.pdf |pdf}}
 ===== 2018 =====
  * Réunion 13/12/2018 (Abdou reporté, X)
  * Exposé 29/11/2018 (Christian) {{ :aelos:correct_sdn_facs2018.pdf |pdf}}
  * Réunion 08/11/2018
  * Réunion 04/10/2018
  * Réunion 20/09/2018
  * Exposé 21/06/2018 (Jérôme) {{ :aelos:emit_a_system_for_monitoring_networks_of_mqtt_clients.pdf |pdf}}
  * Exposé 07/06/2018 (Syrine AOUADI) {{ :aelos:presentationaelos-syrine_aouadi.pptx |ppt}} (Mohammed el amin TEBIB) {{ :aelos:exposemeat.pdf |pdf}}
  * Exposé 19/04/2018 (Christian) {{ :aelos:sdn_modelling_christian_avril2018.pdf |pdf}}
  * Exposé 05/04/2018 (Pascal) {{:aelos:mde-lego.pdf|pdf}} [[https://youtu.be/n5HHUpllt78|video]]  [[https://www.youtube.com/playlist?list=PLin-nNM2KP_ic863pGS68GvPAICI9thWf|chaine video]]
  * Exposé 22/03/2018 (Abdramane Bah) {{:aelos:presentation-seminaire-22-03.pdf|pdf}}
  * Exposé 01/03/2018 (David Sferruzza) {{:aelos:mde-for-consistent-ws.zip|zip}}[[https://dsferruzza.gitlab.io/mde-for-consistent-ws|vue]][[https://hal.archives-ouvertes.fr/hal-01654287|HAL]]
  * Exposé 15/02/2018 (Ran Bao) {{:aelos:expose-15-02-2018-bao_ran.pdf|pdf}}
  * Exposé 01/02/2018 (Paulin Fournier) {{:aelos:expose-01-02-2018-paulinfournier.pdf|pdf}}
  * Réunion 18/01/2018 (galette)

===== 2017 =====
  * Réunion 14/12/2017 
  * Réunion GDR 07/12/2017 - [[http://lig-membres.imag.fr/idani/MTV2_MFDL/exposes.html|lien]]
  * Réunion 30/11/2017 - annulé -> HDR Charlotte ([[https://www.normalesup.org/~truchet/Docs/HDR/Truchet-HDR.pdf|lien]])
  * Réunion 16/11/2017 - Agile Tour
  * Réunion 09/11/2017 
  * Soutenance Thèse Mira Aboud 25/10/2017 ([[https://hal.archives-ouvertes.fr/tel-01688160|hal]])
  * Soutenance Thèse Nicolas David 20/10/2017 
  * Réunion 19/10/2017 
  * Soutenance Thèse Amine Aouadhi 28/09/2017 ([[https://hal.archives-ouvertes.fr/hal-01255753|hal]])
  * Réunion 28/09/2017 Présoutenance Thèse Nicolas David
  * Réunion 21/09/2017 Présoutenance Thèse Amine Aouadhi
  * Séminaire Gavy - 11/07/2017
     * Christian
     * Benoit
     * Gilles
  * Exposé 29/06/2017 (Dimitri Antakly) {{:aelos:presentation02-_analyse_comportementale_intelligente.pdf|pdf}}
  * Réunion 18/05/2017 
  * Exposé 04/05/2017 (Shuai Wang, Simula Research Laboratory) {{:aelos:presentation_nantes.pdf|pdf}} (Sagar Sen, Simula Research Laboratory) pdf
  * Exposé 27/04/2017 (Nicolas) {{:aelos:concur2017.pdf|pdf}}
  * Exposé 30/03/2017 (Amine) 
  * Exposé 16/03/2017 (Abdramane) {{ :aelos:interoperability-and-security.pdf |pdf}}
  * Exposé 01/03/2017 (Jérôme) Article Modelsward {{:aelos:slides-jerome-fev2017.pdf|pdf}}
  * Réunion 09/02/17 (Christian) {{:aelos:diapos_state-of-art_contract_2017.pdf|pdf}}
  * Gitlab, Damien V. [[https://gitlab.univ-nantes.fr/|Git UNantes]]

===== 2016 =====
  * gitlab, David S
  * Slides 15/12/16 (exposé Amine) 
  * Slides 05/12/16 (soutenance Jonathan) 
  * Slides 01/12/16 (pre-soutenance Jonathan) 
  * Réunion 17/11/16 (Benoit ou Amine)
  * Réunion 13/10/16
  * Slides 22/09/16 (Joost Noppen) {{:aelos:research_presentation.pdf|pdf}}
  * Slides 22/09/16 (Dominique Blouin - Telecom ParisTech) {{:aelos:seaa_2016_univ_nantes_22092016.pdf|pdf}}
  * Visite Carquefou 16/06/16 ([[http://forge.lina.univ-nantes.fr/aelossvn/InfoComm/PHOTOS/SeminaireExterne-16Juin2016/|photos]]) 
  * Slides 07/06/16 (Soutenance Mathieu) 
  * Réunion 02/06/16 (pre Soutenance Mathieu) 
  * Réunion 19/05/16 (Christian)
  * Réunion 28/04/16
  * Réunion 31/03/16 visite Olivier CARDIN, equipe ACSED de l'Irccyn
  * Réunion 03/03/16
  * Slides 04/02/16 (Jonathan)
  * Exposé 21/01/16 (Sagar Sen)

===== 2015 =====
  * Slides 10/12/15 (Dalila ?) 
  * Slides 26/11/15 (Jérôme) 
  * Slides Mise au vert des responsables d'équipe : {{:aelos:pres_aelos_19nov2015.pdf|presAeLoS-19nov2015}}  (Christian)
  * Slides 12/11/15 (David S.) 
  * Slides 15/10/15 (Nicolas David) {{:aelos:presentationpn2015.pdf|pdf}}
  * Slides 01/10/15 (??) 
  * Slides 10/09/15 (Joost Noppen) {{:aelos:research_presentationjoostnoppenseptember2015.pdf|pdf}}
  * Slides 25/06/15 (??) 
  * Slides 11/06/15 (??) 
  * Slides 29/05/15 (Exposé David Monniaux) 
  * Slides 28/05/15 Séminaire Pôle Science du Logiciel ?
  * Slides 21/05/15 (Christian A.) 
  * Slides 30/04/15 (séminaire du LINA - Anatole Lécuyer) 
  * Slides 30/04/15 (Mathieu P.) reporté
  * Slides 09/04/15 (??) 
  * Slides 26/03/15 (??) 
  * Slides 12/03/15 (Arnaud L.) reporté
  * Slides 26/02/15 (Dalila T.) reporté
  * Slides 29/01/15 (Amine O.) {{:aelos:amine_presentation.pdf|pdf}}
  * Présentation 22/01/15 (Jean-Philippe Gauthier de le société Eolane)
  * Slides 22/01/15 (Fatma Dhaou - Tunis) travaux de thèse {{:aelos:verification_formelle_de_la_relation_de_raffinement_des.pptx|pptx}}
  * Slides 15/01/15 (Pascal A.) {{:aelos:costotest_pa_15_01_2015.pdf|pdf}}

===== 2014 =====
  * Slides 11/12/14 (Tom Mens - ) Evolving software ecosystems {{:aelos:nantes201412-evolvingsoftwareecosystems_tommens.pdf|pdf}}
  * Slides 11/12/14 (Mathieu Goemine) {{:aelos:nantes201412_mathieugoemine.pdf|pdf}}
  * Slides 06/11/14 (Christian A.) {{:aelos:jca_move_distributed_control_isola14.pdf|pdf}}
  * Grand séminaire LINA - Guy Pujolle [[http://www.lina.univ-nantes.fr/?La-nebulisation-des-reseaux.html|La nébulisation des réseaux]]
  * Slides 23/10/2014 (Mathieu P.) {{:aelos:criteres_coherence.pdf|pdf}}
  * Slides 09/10/14 (??) 
  * Slides 25/09/14 (Jean-Marie M.) {{:aelos:2014-09-25_test_application_mobile.pdf|}}
  * Slides 11/09/14 (Benoit D.)
  * Slides 15/05/14 (??) 
  * Slides 05/05/14 (Abderrahim Ait-Wakrime, doctorant LIFO (Orléans)) {{:aelos:seminairelina_abdel.pdf|pdf}}
  * Slides 17/04/14 (Arnaud L.) {{:aelos:fesca2014_presentation.pdf|pdf}}
  * Slides 20/03/14 (Jean-Marie M.) {{:aelos:jmm-travail-thomas.pdf|pdf}}
  * Slides 20/02/14 (Christian A.) {{:aelos:diapo_eb_reachability.pdf|pdf}}
  * Slides 06/02/14 (Benoît D.) {{:aelos:bd_slides.pdf|pdf}}
  * Slides 23/01/14 (Pascal A.) {{:aelos:presentpa-23-01-14_2.pdf|pdf}}
  * Slides 09/01/14 (Matthieu P.) {{:aelos:present_mp_09_01_14.pdf|pdf}}

===== 2013 =====
  * Slides 12/07/13 (Gilles Dowek) [[http://www.lina.univ-nantes.fr/?L-enseignement-de-l-informatique.html|Galerie photos]] et [[http://comin-ocw.org/contents/lecture/20131212-gilles_dowek/|vidéo]]
  * Slides 12/12/13 (Jérôme Rocheteau) {{:aelos:howgreenarejavabestpractices_jeromerocheteau_12decembre2013.pdf|pdf}}
  * Slides 10/12/13 (Olga Kouchnarenko) {{:aelos:pdarandtest_olgakouchnarenko_10decembre2013.pdf|pdf}}
  * Slides 19/12/13 (JP) {{:aelos:presentation_-_reunion_aelos_12_2013.pdf|pdf}}
  * Slides 05/12/13 (OF) {{:aelos:amt_mottu_1.0.pdf|pdf}}
  * Slides 21/11/13 (AL) {{:aelos:presentation-al-21-11-2013.pdf|pdf}}
  * Slides 08/11/13 (1/2 journée automates probabilistes) {{:aelos:slides-jprob-bd.pdf|pdf}}
  * Slides 07/11/13 (BD) {{:aelos:slides-bd-07-11-2013.pdf|pdf}}
  * Slides 24/10/13 (journée modélisation) 
  * Slides 10/10/13 (CA) 
  * Slides 26/09/13 (JMM) {{:aelos:modevva13-mottu-1.0.pdf|pdf}}
  * Slides 12/09/13 (?) 
  * 
  * Slides 11/07/13 (AL) {{:aelos:presentaelos_27juin2013.pdf|pdf}}
  * Slides 13/06/13 (JMM)  {{:aelos:icmt13_slides_mottu.pdf|pdf}}
  * Slides 16/05/13 (MP)  {{:aelos:crdt_16_05_2013.pdf|}}
  * Slides 11/04/13 (PA)  {{:aelos:reverse_slides.pdf|pdf}}
  * Slides 21/03/13 (GA)  reporté
  * Slides 07/03/13  Loig Jézéquel
  * Slides 21/02/13  Mathieu Sassolas
  * Slides 21/02/13 (DH)  {{:aelos:presentation_lina_21.02.2013.pptx|pptx}}
  * Slides 07/02/13 (JMM)  {{:aelos:issre2013sen.pdf|pdf}}
  * Slides 17/01/13 (CJ) {{:aelos:cj_msc.pdf|pdf}}


===== 2012 =====

  * Slides 20/12/12 
  * Slides 22/11/12 
  * Slides 08/11/12 
  * Slides 25/10/12 
  * Slides 04/10/12 
  * Slides 17/09/12 (PA,GA) {{:aelos:contracts_slides.pdf|}}
  * Slides 30/08/12 (CJ) {{:aelos:claudejard1.pdf|}}
  * Séminaire équipe [[programmeSE2012]]
  * Slides 24/05/12 (PA/GA/JMM) Test et Génération de code
  * Slides 12/04/12 (MO) EMN {{aelos:meriem1.pdf|}}
  * Slides 12/04/12 (AG) [[resumeAG]]
  * Slides 29/03/12 (CJ) LINA [[resumeCJ1]]
  * Slides 22/03/12 (GS) {{aelos:gwen.pdf|}}
  * Slides 15/03/12 (PA/GA) {{:aelos:kml2java.pdf|}}



===== 2011 =====

  * Slides 08 (??) M. Messabihi
  * Slides 30/03/11 (RB) {{:aelos:presriadbelkhatir.ppt|}}
  * Slides 17/03/11 (OF) {{:aelos:presentation_aelos_of_v1.0.ppt|}}
  * Slides 17/02/11 (JMM) {{:aelos:2011-02-17_analyse_de_mutation_-_jmm.pdf|}}
  * Slides 10/02/11 (PA) {{:aelos:sca.pdf|}}
  * Slides MO ??
  * Slides 06/01/11  (CA) {{:aelos:kmelia_picalcul_janv2011_ca.pdf|}}

===== 2010 =====

  * Slides 16/12/10  (HKA) //à compléter//
  * Slides 25/11/10  (GA) //à compléter//
  * Slides 04/11/10  (AL) //à compléter//
  * Slides 07/10/10  (OF) //à compléter//
  * Slides 23/09/10  (??) //à compléter//

====== Coloss Internal Presentations ======

===== 2010 =====

  * Slides 29/06/10  (PA) {{:aelos:promotion.pdf|exposé}}{{:aelos:confractslidespoirriez.pdf|ConFract}}
  * Slides 17/06/10  (AL) 
  * Slides 28/05/10  (MM) {{:aelos:wcsi_slides.pdf|version modifiée}}
  * Slides 27/05/10  (GA) {{intranet:team:promotion_slides.pdf|}}
  * Slides 10/05/10  (CA) {{intranet:diapos_sc_eb.pdf|Capturing the semantics of SystemC in EventB}} [[http://example.com|capturing semantics example]]
  * Slides 27/04/10  (JMM) {{intranet:team:2010-avril-24-emploi_des_contrats_pour_le_test.pdf|}}

  * Slides 30/03/10  (PA, GA) {{intranet:team:gencode.pdf|}} + demo
  * Slides 18/03/10  (AL) 
  * Slides 04/03/10  (HHannousse, CA)  {{intranet:intro_rcos.pdf|rCos_vs_Kml (CA)}} 
  * Slides 21/01/10  (MM) 
  * Slides 07/01/10  (JMM) {{intranet:team:2010-janv-07-traceability.pdf|}}


===== 2009 =====

  * Slides 03/12/09 (PA) {{intranet:team:exposepa.zip|}}
  * Slides 25/11/09 (AL)
  * Slides 19/11/09 (Séminaire IL)
  * Slides 05/11/09 (GA) (FACS report)
  * Slides 20/10/09 (CA)  {{intranet:diapo_bip.pdf|BIP vs Kmelia + demo}}
  * Slides 08/10/09 (MM)
  * Slides 24/09/09 (JMM) 

====== Seminars Presentations ======

  * Slides Coloss 20/04/09 (OP) {{intranet:docs:slides-op.pdf|pdf}}
  * Slides Miles 16/01/09 (EM) {{intranet:docs:fmco2008-ericmadelaine.pdf|pdf}}


====== External Presentations ======

  * Slides Besançon 5/10 (AL) {{:intranet:team:slides_alanoix_06-05-2010.pdf|pdf}}
  * Slides GDR 03/10 (MM)
Velo - Vérification pour l'Environnement et le LOgiciel

Outils pour utilisateurs

Outils du site

Outils de la page
