HALathon 2021 UPPA

Les communications que vous pouvez déposer

• Avec actes : Si colloque au moins annuel dont les actes sont publiés par le même éditeur (collection ou revue).

• Sans actes (donc non-publiée, vous êtes pleinement propriétaire des droits) :

  • Texte de votre communication en Document principal

  • Support de présentation (slides) en annexe

Références complètes

1. Samia Bachir, Laurent Gallon, Philippe Aniorte, Angel Abénia. A Model Driven Method to Design Educational Cyber Physical Systems. 16th International Conference on Software Technologies (ICSOFT 2021), Jul 2021, Online, France. ⟨hal-03201659⟩
2. Samia Bachir, Laurent Gallon, Angel Abénia, Philippe Aniorte, Valentin Lubon. Enseignement à Distance en Situtation d'Urgence : Retour d'Experiences du Premier Confinement. Congrès national de la recherche des IUT (CNRIUT 2021), Jun 2021, Lyon, France. ⟨hal-03201668⟩
3. Laurent Gallon, Françoise Dubergey, Clément Pétriat. Utilisation de robots de téléprésence au service d'élèves empêchés (projet PIA E-FRAN PERSEVERONS). Forun Educavox 2018, May 2018, Bordeaux, France. ⟨hal-02410426⟩
4. Denisse Muñante Arzapalo, Vanea Chiprianov, Laurent Gallon, Philippe Aniorte. A Model-Driven Security Requirements Approach to Deduce Security Policies Based on OrBAC. Information Security and Cryptology - 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers, Dec 2014, Beijing, China. pp.150--169, ⟨10.1007/978-3-319-16745-9_9⟩. ⟨hal-01908073⟩
5. Laurent Gallon. Immersion dans un TP en téléprésence. WPRT 2014 : 3ème Workshop pédagogique Réseaux & Télécoms, Nov 2014, Saint Pierre de la Réunion, France. ⟨hal-01092970⟩
6. Denisse Muñante Arzapalo, Vanea Chiprianov, Laurent Gallon, Philippe Aniorte. A model-driven security requirements approach ot deduce security policies based on OrBAC. INSCRYPT 2014 : The 10th International Conference on Information Security and Cryptology, Dec 2014, Beijing, China. ⟨hal-01092963⟩
7. Denisse Muñante Arzapalo, Laurent Gallon, Philippe Aniorte. MoDELO: a MOdel-Driven sEcurity poLicy approach based on Orbac. SARSSI 2013 : 8ème conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France. ⟨hal-01092971⟩
8. Denisse Muñante Arzapalo, Laurent Gallon, Philippe Aniorte. An approach based on Model-driven Engineering to define Security Policies using the access control model OrBAC. FARES 2013 : The Eight International Workshop on Frontiers in Availability, Reliability and Security. In conjonction with the 8th ARES Conference (ARES 2013), Sep 2013, Regensburg, Germany. ⟨hal-01092973⟩
9. Denisse Muñante, Laurent Gallon, Philippe Aniorte. An Approach Based on Model-Driven Engineering to Define Security Policies Using Orbac. Availability, Reliability and Security (ARES), 2013 Eighth International Conference On, 2013, Unknown, Unknown Region. pp.324-332. ⟨hal-01912862⟩
10. Sandy Rahme, Laurent Gallon, Yann Labit, Frédéric Gouaisbaut. Détection de Dénis de Service (DdS) dans une architecture TCP par un observateur glissant. CIFA 2012 : Conférence Internationale Francophone d'Automatique, Jul 2012, Grenoble, France. ⟨hal-01092976⟩
11. Laurent Gallon, Jean Jacques Bascou. Using CVSS in attack graphs. The Sixth International Conference on Availability, Reliability and Security (ARES 2011), Aug 2011, Vienna, Austria. ⟨hal-00632582⟩
12. Laurent Gallon. Vulnerabilities segregation using CVSS framework. 4th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2011), Feb 2011, France. ⟨hal-00538860⟩
13. Laurent Gallon, Jean Jacques Bascou. CVSS attack graphs. The7th International Conference on Signal Image Tehcnology & Internet Based Systems (SITIS 2011), Nov 2011, Dijon, France. ⟨hal-00633615⟩
14. Angel Abénia, Patrick Charrin, Laurent Gallon. Simulation d'un réseau téléphonique commuté basé sur Asterisk. Colloque "Les 2èmes cahiers pédagogiques des R&T", Nov 2010, Kourou, France. ⟨hal-00634061⟩
15. Laurent Gallon. Simulation d'un provider ToIP basé sur Asterisk. Colloque "Les 2èmes cahiers pédagogiques des R&T", Nov 2010, Kourou, France. ⟨hal-00634056⟩
16. Laurent Gallon. On the impact of environmental metrics on CVSS scores. 2010 IEEE International Conference on PrivAcy, Security, riSk And Trust (PASSAT10) - Symposium on Secure Computing (SecureCom-10), Aug 2010, Minneapolis, United States. ⟨10.1109/SocialCom.2010.146⟩. ⟨hal-00521641⟩
17. Patrick Charrin, Angel Abénia, Laurent Gallon. Une plateforme pédagogique pour illustrer les différentes architectures de ToIP. Colloque "Les 2èmes cahiers pédagogiques des R&T", Nov 2010, Kourou, France. ⟨hal-00634060⟩
18. Julien Aussibal, Laurent Gallon. A new distributed IDS based on CVSS framework. Fourth International Conference on signal_image technology and Internet based systems (SITIS 2008), Nov 2008, Bali, Indonesia. ⟨hal-00349397⟩
19. Angel Abénia, Laurent Gallon. Interconnexion de systèmes ToIP hétérogènes. WPRT 2007 : 1Er Workshop pédagogique Réseaux et Télécoms, Nov 2007, Saint Pierre de la Réunion, France. ⟨hal-01092978⟩
20. Alban Gabillon, Laurent Gallon. Availability constraints for avionic data buses. First International Conference on Availability, Reliability and Security ARES 2006, Apr 2006, Vienne, Austria. ⟨hal-00349398⟩
21. Laurent Gallon, Alban Gabillon. Analyse du protocole de bus embarqué avionique ARINC 629 BP. 6ème conférence francophone sur la modélisation et la simulation (MOSIM 2006), Apr 2006, Rabat, Maroc. ⟨hal-00349425⟩
22. Laurent Gallon, Julien Aussibal. Analyse spectrale d'outils classiques de DDoS.. In Actes le la conférence CRISIS 2005, Oct 2005, France. pp.;. ⟨hal-00408654⟩
23. Laurent Gallon, Julien Aussibal. Analyse spectrale d'outils classiques de DDoS. 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes (CRISIS'2005), Oct 2005, Bourges, France. ⟨hal-00349426⟩
24. Silvia Farraposo, K. Boudaoud, Laurent Gallon, Philippe Owezarski. Some Issues raised by DoS Attacks and the TCP/IP Suite. 4ème conférence sur la Sécurité et les Architectures Réseau (SAR'2005), Oct 2005, Batz sur mer, France. ⟨hal-00349447⟩
25. Alban Gabillon, Laurent Gallon. An availability model for avionic data buses. WISP 2003, Jun 2003, Eindhoven, European Union. ⟨hal-00349399⟩
26. Guy Juanole, Slim Abdellatif, Laurent Gallon. Nouveaux concepts sur les transitions du modèle RdPTS : priorités dynamiques et attributs temporels dynamiques. 1ère Conférence International Francophone d'Automatique (CIFA'2000), Jul 2000, Lille, France. pp.976-981. ⟨hal-00349401⟩
27. Isabelle Augé-Blum, Laurent Gallon, Guy Juanole. La problématique de l'initialisation du protocole CSMA/CA ARINC 629 CP : modélisation et validation.. Real Time Systems (RTS'98), Jan 1998, Paris, France. pp.217-233. ⟨hal-00349449⟩
28. Guy Juanole, Laurent Gallon. Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d'automate quotient quantifié. Modélisation et Vérification des Processus Parallèles (MOVEP'98), Jul 1998, Nantes, France. pp.93-107. ⟨hal-00349448⟩
29. Laurent Gallon, Isabelle Blum, Guy Juanole. Modelling and analysis of the ARINC specification 629 CP MAC layer protocol. 2nd IEEE International Workshop on Factory Communication Systems (WFCS'97), Oct 1997, Barcelona, Spain. p 91-100, ⟨10.1109/WFCS.1997.634288⟩. ⟨hal-00349404⟩
30. Guy Juanole, Laurent Gallon. Concept of quantified abstract quotient automaton and its advantage. IFIP International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV'97), 1997, Osaka, Japan. pp.223-238, ⟨10.1007/978-0-387-35271-8_14⟩. ⟨hal-00349403⟩
31. Guy Juanole, Laurent Gallon. Le modèle réseaux de Petri temporisés stochastiques et son adéquation aux systèmes distribués temps critique. Congrès AFCET "Modélisation des Systèmes Réactifs" MSR'96, Mar 1996, Brest, France. pp.301-308. ⟨hal-00349450⟩
32. Guy Juanole, Laurent Gallon. Formal modeling and analysis of a critical time communication protocol. 1st IEEE Workshop on Factory Communication Systems (WFCS'95), Oct 1995, Lausanne, Switzerland. pp.107-115, ⟨10.1109/WFCS.1995.482656⟩. ⟨hal-00349418⟩
33. Guy Juanole, Laurent Gallon. Critical Time Distributed Systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets. 8th International IFIP Conference on formal Description Techniques for Distributed Systems and Communications Protocols (FORTE/PSTV'95), Oct 1995, Montréal, Canada. pp.349-364, ⟨10.1007/978-0-387-34945-9_26⟩. ⟨hal-00349417⟩

---

Des remarques, des corrections ou des questions ? Contactez-nous ::: hal@univ-pau.fr ::: (Gaëlle, Marina, Julien) ::: HALathon, mode d'emploi :::

---