Étienne André
@etienneandre.bsky.social
Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
Journée des référent(e)s développement durable du @cnrsinformatics.bsky.social ce jour au siège du CNRS à Paris.
Focus de notre groupe de travail : l'organisation vertueuse d'évènements scientifiques 🤓
Focus de notre groupe de travail : l'organisation vertueuse d'évènements scientifiques 🤓
September 30, 2025 at 1:05 PM
Journée des référent(e)s développement durable du @cnrsinformatics.bsky.social ce jour au siège du CNRS à Paris.
Focus de notre groupe de travail : l'organisation vertueuse d'évènements scientifiques 🤓
Focus de notre groupe de travail : l'organisation vertueuse d'évènements scientifiques 🤓
Soutenances finales du Master P2S (programmation, sûreté et sécurité) à l'@univ-spn.bsky.social, pendant une immense #pannedecourant touchant la Seine-Saint-Denis.
Bravo à la résilience de nos étudiant(e)s qui ont réussi à s'adapter en temps réel ! 🔌👍
Bravo à la résilience de nos étudiant(e)s qui ont réussi à s'adapter en temps réel ! 🔌👍
September 12, 2025 at 8:58 AM
Soutenances finales du Master P2S (programmation, sûreté et sécurité) à l'@univ-spn.bsky.social, pendant une immense #pannedecourant touchant la Seine-Saint-Denis.
Bravo à la résilience de nos étudiant(e)s qui ont réussi à s'adapter en temps réel ! 🔌👍
Bravo à la résilience de nos étudiant(e)s qui ont réussi à s'adapter en temps réel ! 🔌👍
I’m absolutely thrilled to be joining Nantes Université 💛💚
I will be teaching in the Faculty of Science and Technology (FST), and joining the real-time systems team of LS2N, at the Centrale Nantes campus.
Excited to start this new chapter, while continuing to build on existing collaborations 🤓
I will be teaching in the Faculty of Science and Technology (FST), and joining the real-time systems team of LS2N, at the Centrale Nantes campus.
Excited to start this new chapter, while continuing to build on existing collaborations 🤓
September 2, 2025 at 11:59 AM
I’m absolutely thrilled to be joining Nantes Université 💛💚
I will be teaching in the Faculty of Science and Technology (FST), and joining the real-time systems team of LS2N, at the Centrale Nantes campus.
Excited to start this new chapter, while continuing to build on existing collaborations 🤓
I will be teaching in the Faculty of Science and Technology (FST), and joining the real-time systems team of LS2N, at the Centrale Nantes campus.
Excited to start this new chapter, while continuing to build on existing collaborations 🤓
Second invited speaker at SynCoP this year: Srivathsan (from Chennai Mathematical Institute 🇮🇳), on Canonical synthesis of one-clock deterministic timed automata 🤓
August 25, 2025 at 12:54 PM
Second invited speaker at SynCoP this year: Srivathsan (from Chennai Mathematical Institute 🇮🇳), on Canonical synthesis of one-clock deterministic timed automata 🤓
SynCoP 2025 also featured 3 contributed talks by Benoît Barbot (@upecofficiel.bsky.social), Mikael Bisgaard Dahlsen-Jensen (@au.dk) and David Julien (@nantesuniv.bsky.social).
lipn.univ-paris13.fr/SynCoP2025/
lipn.univ-paris13.fr/SynCoP2025/
August 25, 2025 at 12:05 PM
SynCoP 2025 also featured 3 contributed talks by Benoît Barbot (@upecofficiel.bsky.social), Mikael Bisgaard Dahlsen-Jensen (@au.dk) and David Julien (@nantesuniv.bsky.social).
lipn.univ-paris13.fr/SynCoP2025/
lipn.univ-paris13.fr/SynCoP2025/
Delighted to have Orna Kupferman as the first keynote speaker of the SynCoP 2025 workshop (co-organized with Swen Jacobs), part of CONFEST 2025 in Aarhus 🇩🇰.
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
August 25, 2025 at 11:43 AM
Delighted to have Orna Kupferman as the first keynote speaker of the SynCoP 2025 workshop (co-organized with Swen Jacobs), part of CONFEST 2025 in Aarhus 🇩🇰.
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
Topic: Synthesis of Privacy-Preserving Systems. 🔐🤫
lipn.univ-paris13.fr/SynCoP2025/
Third and last keynote speaker at the Petri Nets 2025 international conference: Marco Montali (from @unibz.bsky.social), who talked about Automated Reasoning for Data-Aware Petri Nets.
petrinets25.github.io/web/speakers/
petrinets25.github.io/web/speakers/
June 27, 2025 at 8:55 AM
Third and last keynote speaker at the Petri Nets 2025 international conference: Marco Montali (from @unibz.bsky.social), who talked about Automated Reasoning for Data-Aware Petri Nets.
petrinets25.github.io/web/speakers/
petrinets25.github.io/web/speakers/
We are delighted to announce that the best paper award of the Petri Nets 2025 conference is awarded to Tanguy Dubois,
Kim Guldstrand Larsen and Jiří Srba for their paper "Statistical Model Checking of Stochastic Timed-Arc Petri Nets".
Congratulations!
link.springer.com/chapter/10.1...
Kim Guldstrand Larsen and Jiří Srba for their paper "Statistical Model Checking of Stochastic Timed-Arc Petri Nets".
Congratulations!
link.springer.com/chapter/10.1...
June 27, 2025 at 7:14 AM
We are delighted to announce that the best paper award of the Petri Nets 2025 conference is awarded to Tanguy Dubois,
Kim Guldstrand Larsen and Jiří Srba for their paper "Statistical Model Checking of Stochastic Timed-Arc Petri Nets".
Congratulations!
link.springer.com/chapter/10.1...
Kim Guldstrand Larsen and Jiří Srba for their paper "Statistical Model Checking of Stochastic Timed-Arc Petri Nets".
Congratulations!
link.springer.com/chapter/10.1...
Second keynote speaker of Petri Nets 2025: @patriciabouyer.bsky.social from LMF (ENS Paris-Saclay) talking about Probabilistic and Statistical Verification of Infinite Markov Chains.
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
June 26, 2025 at 7:10 AM
Second keynote speaker of Petri Nets 2025: @patriciabouyer.bsky.social from LMF (ENS Paris-Saclay) talking about Probabilistic and Statistical Verification of Infinite Markov Chains.
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
It is our greatest pleasure to organize the 46th Petri Nets international conference this week in @campuscondorcet.bsky.social, @univ-spn.bsky.social, organized by @lipnlab.bsky.social and MeFoSyLoMa.
First keynote speaker is Dirk Beyer from LMU München.
petrinets25.github.io/web/
First keynote speaker is Dirk Beyer from LMU München.
petrinets25.github.io/web/
June 25, 2025 at 7:19 AM
It is our greatest pleasure to organize the 46th Petri Nets international conference this week in @campuscondorcet.bsky.social, @univ-spn.bsky.social, organized by @lipnlab.bsky.social and MeFoSyLoMa.
First keynote speaker is Dirk Beyer from LMU München.
petrinets25.github.io/web/
First keynote speaker is Dirk Beyer from LMU München.
petrinets25.github.io/web/
Demonstration of the "blind bartender with boxing gloves" at the PeNGE workshop, satellite of Petri Nets 2025 🍻🤓
www.fernuni-hagen.de/penge/penge2...
www.fernuni-hagen.de/penge/penge2...
June 24, 2025 at 11:00 AM
Demonstration of the "blind bartender with boxing gloves" at the PeNGE workshop, satellite of Petri Nets 2025 🍻🤓
www.fernuni-hagen.de/penge/penge2...
www.fernuni-hagen.de/penge/penge2...
Attending FORTE 2025 in Lille, with my co-author Bineet Ghosh that I have just met… for the first time 🤓
www.discotec.org/2025/programme
www.discotec.org/2025/programme
June 17, 2025 at 12:22 PM
Attending FORTE 2025 in Lille, with my co-author Bineet Ghosh that I have just met… for the first time 🤓
www.discotec.org/2025/programme
www.discotec.org/2025/programme
J'assiste aujourd'hui à la journée du LS2N consacrée à Jean-Raymond Abrial et ses contributions notamment à LTR, Z et B.
velo.wiki.ls2n.fr/doku.php?id=...
velo.wiki.ls2n.fr/doku.php?id=...
May 27, 2025 at 12:53 PM
J'assiste aujourd'hui à la journée du LS2N consacrée à Jean-Raymond Abrial et ses contributions notamment à LTR, Z et B.
velo.wiki.ls2n.fr/doku.php?id=...
velo.wiki.ls2n.fr/doku.php?id=...
Spending two days at @labo-loria.bsky.social (Nancy) to discuss opacity properties with Sarah Dépernet and Engel Lefaucheux.
Notice that the blue sky satisfies the opacity property: such a beautiful weather could indistinctly have been spotted in Paris, Rennes or Nantes 🤓
Notice that the blue sky satisfies the opacity property: such a beautiful weather could indistinctly have been spotted in Paris, Rennes or Nantes 🤓
April 30, 2025 at 9:03 AM
Spending two days at @labo-loria.bsky.social (Nancy) to discuss opacity properties with Sarah Dépernet and Engel Lefaucheux.
Notice that the blue sky satisfies the opacity property: such a beautiful weather could indistinctly have been spotted in Paris, Rennes or Nantes 🤓
Notice that the blue sky satisfies the opacity property: such a beautiful weather could indistinctly have been spotted in Paris, Rennes or Nantes 🤓
This morning, we were scouting the Petri Nets 2025 site at campus Condorcet.
You may not want to believe it, but we will provide BOTH Wi-Fi 📶 and electricity 🔌 for laptops 🤓
You may not want to believe it, but we will provide BOTH Wi-Fi 📶 and electricity 🔌 for laptops 🤓
April 28, 2025 at 10:59 AM
This morning, we were scouting the Petri Nets 2025 site at campus Condorcet.
You may not want to believe it, but we will provide BOTH Wi-Fi 📶 and electricity 🔌 for laptops 🤓
You may not want to believe it, but we will provide BOTH Wi-Fi 📶 and electricity 🔌 for laptops 🤓
Le petit jeu du jour : trouver « Paris » dans la plateforme Etamine 🤓
April 24, 2025 at 12:01 PM
Le petit jeu du jour : trouver « Paris » dans la plateforme Etamine 🤓
The results of image-to-image translation using the latest version of ChatGPT are truly stunning! 🤯☔️
April 17, 2025 at 6:57 PM
The results of image-to-image translation using the latest version of ChatGPT are truly stunning! 🤯☔️
Réunion de l'ANR BisoUS au LORIA à Nancy 🤓
April 17, 2025 at 7:46 AM
Réunion de l'ANR BisoUS au LORIA à Nancy 🤓
Kick-off meeting of ANR TAPAS (Time-Aware Proof ASsistants), online due to the geographic diversity of participants (Toulouse, Paris, Nancy, Saclay, Nice, Sherbrooke) 🤓
April 14, 2025 at 7:23 AM
Kick-off meeting of ANR TAPAS (Time-Aware Proof ASsistants), online due to the geographic diversity of participants (Toulouse, Paris, Nancy, Saclay, Nice, Sherbrooke) 🤓
Seeing from the total absence of connection between my work and their journal, I wonder whether they contact me as a doctor, or as a potential patient 😵💫
April 11, 2025 at 7:06 AM
Seeing from the total absence of connection between my work and their journal, I wonder whether they contact me as a doctor, or as a potential patient 😵💫
I have received two such spam/scam/phishing attempts in just three days—one for ATVA and another for ICECCS.
Be cautious if you receive emails from individuals impersonating the PC chair of a conference where you're serving as a PC member.
Be cautious if you receive emails from individuals impersonating the PC chair of a conference where you're serving as a PC member.
April 10, 2025 at 7:14 AM
I have received two such spam/scam/phishing attempts in just three days—one for ATVA and another for ICECCS.
Be cautious if you receive emails from individuals impersonating the PC chair of a conference where you're serving as a PC member.
Be cautious if you receive emails from individuals impersonating the PC chair of a conference where you're serving as a PC member.
Just presented our work "Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets" at the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025) in Catania 🤓
Featuring some April fishes 🐟
Featuring some April fishes 🐟
April 1, 2025 at 3:27 PM
Just presented our work "Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets" at the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025) in Catania 🤓
Featuring some April fishes 🐟
Featuring some April fishes 🐟
Who, ChatGPT 🇺🇸 or LeChat 🇫🇷, answers better to questions regarding complexities in timed automata?
Answer: none of them ☠️
Answer: none of them ☠️
March 25, 2025 at 12:39 PM
Who, ChatGPT 🇺🇸 or LeChat 🇫🇷, answers better to questions regarding complexities in timed automata?
Answer: none of them ☠️
Answer: none of them ☠️
Problème : ChatGPT sait désormais très bien générer des lettres au ton plus authentique, avec leurs petites fautes et autres tournures imparfaites. Exemple ci-dessous (générée par moi-même en prévision du recrutement du M2 P2S).
March 13, 2025 at 3:11 PM
Problème : ChatGPT sait désormais très bien générer des lettres au ton plus authentique, avec leurs petites fautes et autres tournures imparfaites. Exemple ci-dessous (générée par moi-même en prévision du recrutement du M2 P2S).