Laurent Gallon

Maître de Conférences en Informatique à l'Université de Pau et des Pays de l'Adour (UPPA)
60 %
Libre accès
86
Documents

Domaines de recherche

Informatique [cs]

Compétences

Education 4.0 Modelisation MDE/MDA Telepresence robotics Computer science security

Publications

Publications

Deposit thumbnail

Educational Cyber–Physical Systems (ECPSs) for University 4.0

Laurent Gallon , Khouloud Salameh , Richard Chbeir , Samia Bachir , Philippe Aniorté

Information, 2024, 15 (12), pp.790. ⟨10.3390/info15120790⟩

Article dans une revue (data paper) hal-04969600v1
Deposit thumbnail

RDSC: Range-Based Device Spatial Clustering for IoT Networks

Fouad Achkouty , Laurent Gallon , Richard Chbeir

Sensors, 2024, 24, ⟨10.3390/s24175851⟩

Article dans une revue hal-04743870v1
Deposit thumbnail

Des robots pour maintenir les liens dans l'enseignement

Laurent Gallon , Julie Besombes , Simon Baert , Cédric Mayen , Baptiste Daspet

Ébullition(s) : le cahier illustré de la recherche, 2023, pp.62-69. ⟨10.59655/nf52122995490⟩

Article dans une revue hal-04946666v1
Deposit thumbnail

Resource Indexing and Querying in Large Connected Environments

Fouad Achkouty , Richard Chbeir , Laurent Gallon , Elio Mansour , Antonio Corral

Future internet, 2023, 16, ⟨10.3390/fi16010015⟩

Article dans une revue hal-04369491v1
Deposit thumbnail

La présence à distance dans les pratiques enseignantes : le cas des robots de téléprésence

Clément Dussarps , Anne Lehmans , Laurent Gallon , Françoise Dubergey , Angel Abénia

Éducation, Santé, Sociétés, 2020, 6, pp.123 - 138. ⟨10.17184/eac.9782813003805⟩

Article dans une revue hal-02937304v1
Deposit thumbnail

La présence à distance dans les pratiques enseignantes : le cas des robots de téléprésence

Clément Dussarps , Anne Lehmans , Laurent Gallon , Françoise Dubergey , Angel Abénia

Éducation, Santé, Sociétés, 2020

Article dans une revue halshs-02933757v1
Deposit thumbnail

Robotique pédagogique et persévérance scolaire

Laurent Gallon , Timothée Duron , Christophe Petitcollin , Frédéric Carrincazeaux , Bertrand Meynot et al.

Technologie, 2018

Article dans une revue hal-01908235v1
Deposit thumbnail

Robot de Téléprésence: Un Outil Numérique Utilisé Par Le Sapad Pour Rendre Présent l'élève Absent

Laurent Gallon , Françoise Dubergey , Maïté Negui

La nouvelle revue de l'adaptation et de la scolarisation, 2017, 3-4 (3), pp.157-171. ⟨10.3917/NRAS.079.0157⟩

Article dans une revue hal-01906803v1

Morphological trends of four Manila clam populations (Venerupis philippinarum) on the French Atlantic coast - Identified spatial patterns and their relationships with environmental variability.

N. Caill-Milly , Noëlle Bru , M. Barranger , Laurent Gallon , Frank d'Amico

Journal of Shellfish Research, 2014, 33 (2), pp.355--372

Article dans une revue hal-01201901v1
Deposit thumbnail

Morphological Trends of Four Manila Clam Populations (Venerupis philippinarum) on the French Atlantic Coast: Identified Spatial Patterns and Their Relationship to Environmental Variability

Nathalie Caill-Milly , Noelle Bru , Melanie Barranger , Laurent Gallon , Franck d'Amico

Journal of Shellfish Research, 2014, 33 (2), pp.355-372. ⟨10.2983/035.033.0205⟩

Article dans une revue hal-04499668v1
Deposit thumbnail

Une Caractérisation non gaussienne et à longue mémoire du trafic Internet et de ses anomalies

Pierre Borgnat , Patrice Abry , Guillaume Dewaele , Antoine Scherrer , Nicolas Larrieu et al.

Annals of Telecommunications - annales des télécommunications, 2007, 62 (11-12), pp.1401-1428

Article dans une revue ensl-00290745v1
Deposit thumbnail

Availability of ARINC 629 Avionic Data Bus

Alban Gabillon , Laurent Gallon

Journal of Networks, 2006, 1 (6)

Article dans une revue hal-00994697v1
Deposit thumbnail

Robots de téléprésence dans un contexte éducationnel

Laurent Gallon

CNRIUT 2025 Bayonne - Pays Basque, IUT Bayonne Pays Basque, Mar 2025, Bayonne, France

Communication dans un congrès hal-04970568v1

Communication dans la médiation numérique des apprentissages : les épreuves de l'empathie à distance

Anne Lehmans , Léa Degeuse , Laurent Gallon , Carine Gantheil

Congrès de la Société française des sciences de l'information et de la communication, Université de Rennes 2, Jun 2025, Rennes, France

Communication dans un congrès hal-05122303v1
Deposit thumbnail

Caractérisation d'usages de robots de téléprésence en milieu scolaire

Carine Gantheil , Laurent Gallon

EIAH 2023 - Atelier Éducation 4.0 : caractérisation des facteurs humains dans les parcours pédagogiques, IMT Atlantique, Jun 2023, Brest, France

Communication dans un congrès hal-04140010v1
Deposit thumbnail

Caractérisation d'usages de robots de téléprésence en milieu scolaire

Carine Gantheil , Laurent Gallon

EIAH 2023 - Atelier Education 4.0 : caractérisation des facteurs humains dans les parcours pédagogiques, LIUPPA Pau, Jun 2023, Brest (France), France

Communication dans un congrès hal-04313132v1
Deposit thumbnail

Détection de la persévérance en milieu scolaire

Timothée Duron , Laurent Gallon , Philippe Aniorté

EIAH 2023 - Atelier Education 4.0 : caractérisation des facteurs humains dans les parcours pédagogiques, LIUPPA Pau, Jun 2023, Brest (France), France

Communication dans un congrès hal-04313130v1
Deposit thumbnail

RILCE: Resource Indexing in Large Connected Environments

Fouad Achkouty , Elio Mansour , Laurent Gallon , Antonio Corral , Richard Chbeir

27th European Conference on Advances in Databases and Information Systems, Sep 2023, Barcelona, France. pp.13-22, ⟨10.1007/978-3-031-42941-5_2⟩

Communication dans un congrès hal-04254505v1
Deposit thumbnail

Orientation des lycéens dans le supérieur : immersion en téléprésence dans les enseignements universitaires

Timothée Duron , Laurent Gallon , Marine Rigal

CNRIUT2022, ADIUT, Jun 2022, Roanne, France

Communication dans un congrès hal-04231921v1
Deposit thumbnail

Detection and classification of dropout behavior

Timothée Duron , Laurent Gallon , Philippe Aniorte

FECS'22 - The 18th Int'l Conf on Frontiers in Education: Computer Science and Computer Engineering, Jul 2022, Las Vegas, United States

Communication dans un congrès hal-03834009v1
Deposit thumbnail

A telepresence robot for a better orientation at university

Laurent Gallon , Timothée Duron , Marine Rigal , Eve Péré , Valérie Mengelatte

FECS'22 - The 18th Int'l Conf on Frontiers in Education: Computer Science and Computer Engineering, Jul 2022, Las Vegas, United States

Communication dans un congrès hal-03834013v1
Deposit thumbnail

Système cyber-physique éducatif pour réaliser des Travaux Pratiques en comodalité synchrone

Laurent Gallon , Angel Abénia , Samia Bachir

CNRIUT2022, ADIUT, Jun 2022, Roanne, France

Communication dans un congrès hal-04231926v1
Deposit thumbnail

A Model Driven Method to Design Educational Cyber Physical Systems

Samia Bachir , Laurent Gallon , Philippe Aniorte , Angel Abénia

16th International Conference on Software Technologies (ICSOFT 2021), Jul 2021, Online, France

Communication dans un congrès hal-03201659v1
Deposit thumbnail

La présence à distance : analyse comparée des hybridations des espaces d’apprentissage avec les robots de téléprésence

Anne Lehmans , Clément Dussarps , Laurent Gallon

FractureS : Publics vulnérables et numérique: entre fractures, inclusions et innovations site du colloque FractureS, Jun 2021, BORDEAUX, France

Communication dans un congrès hal-03663222v1
Deposit thumbnail

La présence à distance : l'inclusion scolaire et universitaire avec les robots de téléprésence

Françoise Dubergey , Clément Dussarps , Laurent Gallon , Anne Lehmans

LUDOVIA#18, Aug 2021, Ax les Thermes, France

Communication dans un congrès hal-04799524v1
Deposit thumbnail

Enseignement à Distance en Situtation d'Urgence : Retour d'Experiences du Premier Confinement

Samia Bachir , Laurent Gallon , Angel Abénia , Philippe Aniorte , Valentin Lubon

Congrès national de la recherche des IUT (CNRIUT2021), Jun 2021, Lyon, France

Communication dans un congrès hal-03201668v1
Deposit thumbnail

Téléprésence en milieux d'apprentissage et accompagnement

Anne Lehmans , Clément Dussarps , Laurent Gallon

PRUNE : Perspectives des Usages du Numérique dans l'Education, Jul 2020, Poitiers, France

Communication dans un congrès hal-02898141v1
Deposit thumbnail

Using a Telepresence Robot in an Educational Contex

Laurent Gallon , Angel Abénia , Françoise Dubergey , Maïté Negui

15th Int’l Conf on Frontiers in Education : Computer Science and Computer Engineering (FECS 2019), Jul 2019, Las Végas, United States

Communication dans un congrès hal-02410364v1
Deposit thumbnail

Modélisation informatique de la persévérance scolaire

Timothée Duron , Laurent Gallon , Philippe Aniorte

Colloque du projet PIA3 E-FRAN Persévérons, INSPE Bordeaux, Jun 2019, Bordeaux, France

Communication dans un congrès hal-02410399v1
Deposit thumbnail

Robotique de téléprésence en éducation : quel impact sur la persévérance ?

Laurent Gallon , Françoise Dubergey

Colloque du projet PIA3 E-FRAN Persévérons, INSPE Bordeaux, Jun 2019, Bordeaux, France

Communication dans un congrès hal-02410395v1
Deposit thumbnail

Co-construction of Computer Science Knowledge-to-be-taught in a French Context

Vanea Chiprianov , Laurent Gallon , Timothée Duron

15th Int’l Conf on Frontiers in Education : Computer Science and Computer Engineering (FECS 2019), https://csce.ucmss.com/cr/books/2019/ConferenceReport?ConferenceKey=FEC, Jul 2019, Las Végas, United States

Communication dans un congrès hal-02410350v1
Deposit thumbnail

La présence à distance : sentiment d’inclusion et persévérance dans les apprentissages à l’aide des robots de téléprésence

Françoise Dubergey , Clément Dussarps , Laurent Gallon , Anne Lehmans , Angel Abénia

Colloque EMELCARA : Accompagnement, médiation et altérités : de l’inclusion prescrite à l’inclusion réelle, Aug 2019, Bordeaux, France

Communication dans un congrès hal-02410387v2
Deposit thumbnail

Towards Autonomic Educational Cyber Physical Systems

Samia Bachir , Laurent Gallon , Angel Abénia , Philippe Aniorte , Ernesto Expósito

16th IEEE Int’l Conf. On Ubiquitous Intelligence and Computing (UIC 2019), 2019 IEEE Smart World Congress, Aug 2019, LEICESTER, United Kingdom

Communication dans un congrès hal-02410339v1
Deposit thumbnail

Modelling Learner’s Perseverance in Education Software

Timothée Duron , Laurent Gallon , Philippe Aniorte

Information Systems Education Conference (ISECON 2019), Apr 2019, Galveston, United States

Communication dans un congrès hal-02410372v1

Utilisation de robots de téléprésence au service d'élèves empêchés (projet PIA E-FRAN PERSEVERONS)

Laurent Gallon , Françoise Dubergey , Clément Pétriat

Forun Educavox 2018, May 2018, Bordeaux, France

Communication dans un congrès hal-02410426v1
Deposit thumbnail

Environnements connectés pour robot de téléprésence

Laurent Gallon , Angel Abénia

WPRT 2018 : 4éme workshop pédagogique Réseaux et Télécoms, Nov 2018, Hendaye, France

Communication dans un congrès hal-01908227v1
Deposit thumbnail

Introducing Computational Thinking to K-5 in a French Context

Vanea Chiprianov , Laurent Gallon

21st Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2016), Jul 2016, Arequipa, Peru. ⟨10.1145/2899415.2899439⟩

Communication dans un congrès hal-01908224v1
Deposit thumbnail

Towards Security Software Engineering the Smart Grid as a System of Systems

Vanea Chiprianov , Laurent Gallon , Khouloud Salameh , Manuel Munier , Richard Chbeir et al.

System of System Conference, 2015, San Antonio, Texas, United States

Communication dans un congrès hal-01908428v1

A Model-Driven Security Requirements Approach to Deduce Security Policies Based on OrBAC

Denisse Muñante Arzapalo , Vanea Chiprianov , Laurent Gallon , Philippe Aniorte

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⟩

Communication dans un congrès hal-01908073v1

Immersion dans un TP en téléprésence

Laurent Gallon

WPRT 2014 : 3ème Workshop pédagogique Réseaux & Télécoms, Nov 2014, Saint Pierre de la Réunion, France

Communication dans un congrès hal-01092970v1
Deposit thumbnail

A Review of Security Requirements Engineering Methods with Respect to Risk Analysis and Model-Driven Engineering

Denisse Muñante , Vanea Chiprianov , Laurent Gallon , Philippe Aniorte

International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.79-93, ⟨10.1007/978-3-319-10975-6_6⟩

Communication dans un congrès hal-01403987v1
Deposit thumbnail

Challenges in Security Engineering of Systems-of-Systems

Vanea Chiprianov , Laurent Gallon , Manuel Munier , Philippe Aniorte , Vincent Lalanne

3ème Conférence en IngénieriE du Logiciel (CIEL'2014), Jun 2014, Paris, France. pp.137-151

Communication dans un congrès hal-01082097v1

A model-driven security requirements approach ot deduce security policies based on OrBAC

Denisse Muñante Arzapalo , Vanea Chiprianov , Laurent Gallon , Philippe Aniorte

INSCRYPT 2014 : The 10th International Conference on Information Security and Cryptology, Dec 2014, Beijing, China

Communication dans un congrès hal-01092963v1
Deposit thumbnail

Towards Modelling and Analysing Non-Functional Properties of Systems of Systems

Vanea Chiprianov , Katrina Falkner , Laurent Gallon , Manuel Munier

IEEE 9th International System of Systems Engineering Conference (SoSE'2014), Jun 2014, Stamford Grand, Adelaide, Australia. pp.289-294

Communication dans un congrès hal-01082408v1
Deposit thumbnail

The Systems-of-Systems Challenge in Security Engineering

Vanea Chiprianov , Laurent Gallon , Manuel Munier , Philippe Aniorte , Vincent Lalanne

Journées Nationales 2014 du GDR Génie de la Programmation et du Logiciel (GPL'2014), Jun 2014, Paris, France. pp.163-166

Communication dans un congrès hal-01082100v1
Deposit thumbnail

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Nicolas Belloir , Vanea Chiprianov , Manzoor Ahmad , Manuel Munier , Laurent Gallon et al.

ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32

Communication dans un congrès hal-01082400v1

An approach based on Model-driven Engineering to define Security Policies using the access control model OrBAC

Denisse Muñante Arzapalo , Laurent Gallon , Philippe Aniorte

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

Communication dans un congrès hal-01092973v1

MoDELO: a MOdel-Driven sEcurity poLicy approach based on Orbac

Denisse Muñante Arzapalo , Laurent Gallon , Philippe Aniorte

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

Communication dans un congrès hal-01092971v1

An Approach Based on Model-Driven Engineering to Define Security Policies Using Orbac

Denisse Muñante , Laurent Gallon , Philippe Aniorte

Availability, Reliability and Security (ARES), 2013 Eighth International Conference On, 2013, Unknown, Unknown Region. pp.324-332

Communication dans un congrès hal-01912862v1

Détection de Dénis de Service (DdS) dans une architecture TCP par un observateur glissant

Sandy Rahme , Laurent Gallon , Yann Labit , Frédéric Gouaisbaut

CIFA 2012 : Conférence Internationale Francophone d'Automatique, Jul 2012, Grenoble, France

Communication dans un congrès hal-01092976v1

Vulnerabilities segregation using CVSS framework

Laurent Gallon

4th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2011), Feb 2011, France

Communication dans un congrès hal-00538860v1

Using CVSS in attack graphs

Laurent Gallon , Jean Jacques Bascou

The Sixth International Conference on Availability, Reliability and Security (ARES 2011), Aug 2011, Vienna, Austria

Communication dans un congrès hal-00632582v1

CVSS attack graphs

Laurent Gallon , Jean Jacques Bascou

The7th International Conference on Signal Image Tehcnology & Internet Based Systems (SITIS 2011), Nov 2011, Dijon, France

Communication dans un congrès hal-00633615v1

Une plateforme pédagogique pour illustrer les différentes architectures de ToIP

Patrick Charrin , Angel Abénia , Laurent Gallon

Colloque "Les 2èmes cahiers pédagogiques des R&T", Nov 2010, Kourou, France

Communication dans un congrès hal-00634060v1

Simulation d'un provider ToIP basé sur Asterisk

Laurent Gallon

Colloque "Les 2èmes cahiers pédagogiques des R&T", Nov 2010, Kourou, France

Communication dans un congrès hal-00634056v1

Simulation d'un réseau téléphonique commuté basé sur Asterisk

Angel Abénia , Patrick Charrin , Laurent Gallon

Colloque "Les 2èmes cahiers pédagogiques des R&T", Nov 2010, Kourou, France

Communication dans un congrès hal-00634061v1

On the impact of environmental metrics on CVSS scores

Laurent Gallon

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⟩

Communication dans un congrès hal-00521641v1

A new distributed IDS based on CVSS framework

Julien Aussibal , Laurent Gallon

Fourth International Conference on signal_image technology and Internet based systems (SITIS 2008), Nov 2008, Bali, Indonesia

Communication dans un congrès hal-00349397v1

Interconnexion de systèmes ToIP hétérogènes

Angel Abénia , Laurent Gallon

WPRT 2007 : 1Er Workshop pédagogique Réseaux et Télécoms, Nov 2007, Saint Pierre de la Réunion, France

Communication dans un congrès hal-01092978v1
Deposit thumbnail

Base de traces d'anomalies légitimes et illégitimes

Julien Aussibal , Pierre Borgnat , Yann Labit , Guillaume Dewaele , Nicolas Larrieu et al.

SAR-SSI 2007 - 2nd Conference on Security in Network Architectures and Information Systems, Jun 2007, Annecy, France. 16 p

Communication dans un congrès hal-00349423v1

Analyse du protocole de bus embarqué avionique ARINC 629 BP

Laurent Gallon , Alban Gabillon

6ème conférence francophone sur la modélisation et la simulation (MOSIM 2006), Apr 2006, Rabat, Maroc

Communication dans un congrès hal-00349425v1

Availability constraints for avionic data buses

Alban Gabillon , Laurent Gallon

First International Conference on Availability, Reliability and Security ARES 2006, Apr 2006, Vienne, Austria

Communication dans un congrès hal-00349398v1
Deposit thumbnail

Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolution

Pierre Borgnat , Nicolas Larrieu , Philippe Owezarski , Patrice Abry , Julien Aussibal et al.

CFIP 2006 - 12ème Colloque Francophone sur l'Ingénierie des Protocoles, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. pp.1-12

Communication dans un congrès inria-00111928v1

Some Issues raised by DoS Attacks and the TCP/IP Suite

Silvia Farraposo , K. Boudaoud , Laurent Gallon , Philippe Owezarski

4ème conférence sur la Sécurité et les Architectures Réseau (SAR'2005), Oct 2005, Batz sur mer, France

Communication dans un congrès hal-00349447v1

Analyse spectrale d'outils classiques de DDoS.

Laurent Gallon , Julien Aussibal

In Actes le la conférence CRISIS 2005, Oct 2005, France. pp.;

Communication dans un congrès hal-00408654v1

Analyse spectrale d'outils classiques de DDoS

Laurent Gallon , Julien Aussibal

1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes (CRISIS'2005), Oct 2005, Bourges, France

Communication dans un congrès hal-00349426v1

An availability model for avionic data buses

Alban Gabillon , Laurent Gallon

WISP 2003, Jun 2003, Eindhoven, European Union

Communication dans un congrès hal-00349399v1
Deposit thumbnail

An Access Control Model for Tree Data Structures

Alban Gabillon , Manuel Munier , Jean Jacques Bascou , Laurent Gallon , Emmanuel Bruno

Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings, Sep 2002, Sao Paulo, Brazil. pp.117-135, ⟨10.1007/3-540-45811-5_9⟩

Communication dans un congrès hal-01912344v1

Nouveaux concepts sur les transitions du modèle RdPTS : priorités dynamiques et attributs temporels dynamiques

Guy Juanole , Slim Abdellatif , Laurent Gallon

1ère Conférence International Francophone d'Automatique (CIFA'2000), Jul 2000, Lille, France. pp.976-981

Communication dans un congrès hal-00349401v1

Analyses qualitatives et quantitatives basées sur des réseaux de Petri stochastiques et concept d'automate quotient quantifié

Guy Juanole , Laurent Gallon

Modélisation et Vérification des Processus Parallèles (MOVEP'98), Jul 1998, Nantes, France. pp.93-107

Communication dans un congrès hal-00349448v1

La problématique de l'initialisation du protocole CSMA/CA ARINC 629 CP : modélisation et validation.

Isabelle Augé-Blum , Laurent Gallon , Guy Juanole

Real Time Systems (RTS'98), Jan 1998, Paris, France. pp.217-233

Communication dans un congrès hal-00349449v1

Concept of quantified abstract quotient automaton and its advantage

Guy Juanole , Laurent Gallon

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⟩

Communication dans un congrès hal-00349403v1

Modelling and analysis of the ARINC specification 629 CP MAC layer protocol

Laurent Gallon , Isabelle Blum , Guy Juanole

2nd IEEE International Workshop on Factory Communication Systems (WFCS'97), Oct 1997, Barcelona, Spain. p 91-100, ⟨10.1109/WFCS.1997.634288⟩

Communication dans un congrès hal-00349404v1

Le modèle réseaux de Petri temporisés stochastiques et son adéquation aux systèmes distribués temps critique

Guy Juanole , Laurent Gallon

Congrès AFCET "Modélisation des Systèmes Réactifs" MSR'96, Mar 1996, Brest, France. pp.301-308

Communication dans un congrès hal-00349450v1

Critical Time Distributed Systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets

Guy Juanole , Laurent Gallon

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⟩

Communication dans un congrès hal-00349417v1

Formal modeling and analysis of a critical time communication protocol

Guy Juanole , Laurent Gallon

1st IEEE Workshop on Factory Communication Systems (WFCS'95), Oct 1995, Lausanne, Switzerland. pp.107-115, ⟨10.1109/WFCS.1995.482656⟩

Communication dans un congrès hal-00349418v1
Deposit thumbnail

Le modèle réseaux de Petri temporisés stochastiques: extensions et applications

Laurent Gallon

Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1997. Français. ⟨NNT : ⟩

Thèse tel-00132834v1