@FMICS_conf profile picture
FMICS 2023 @FMICS_conf

28th International Conference on Formal Methods for Industrial Critical Systems

Joined October 2022
  • Tweets 29
  • Following 123
  • Followers 55
13 Photos and videos
FMICS 2023@FMICS_conf
27 Aug 2024
The Proceedings of FMICS2024 are online: link.springer.com/book/10.10…

Formal Methods for Industrial Critical Systems

link.springer.com
2
40
FMICS 2023@FMICS_conf
12 Aug 2024
The programme of FMICS 2024 is online: fmics.inria.fr/2024/index.ht…
27
FMICS 2023@FMICS_conf
26 Apr 2024
Two invited speakers at FMICS 2024: Byron Cook (AMAZON) Thierry Lecomte (CLEARSY)
63
FMICS 2023@FMICS_conf
26 Apr 2024
Deadline extension for FMICS 2024: abstracts: May 4th full papers: May 8
3
4
364
FMICS 2023@FMICS_conf
22 Jan 2024
The call for papers for FMICS 2024 is published: fmics.inria.fr/2024
3
4
848
FMICS 2023 retweeted
Davide Basile@davidebasile
22 Sep 2023
presenting the paper entitled "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" at @FMICS_conf doi.org/10.1007/978-3-031-43… youtu.be/2FqSeTWvVrk
2
2
280
FMICS 2023 retweeted
FMT Lab ISTI CNR@fmt_lab
22 Sep 2023
Alessandro presenting the paper entitled "The 4SECURail Case Study on Rigorous Standard Interface Specifications" at @FMICS_conf doi.org/10.1007/978-3-031-43…
1
2
154
FMICS 2023 retweeted
Laura Titolo@laura_titolo
22 Sep 2023
CONFEST social dinner @FMICS_conf
1
7
258
FMICS 2023@FMICS_conf
22 Sep 2023
@FMICS_conf is over! Thanks to all the participants, authors, keynote speakers, PC members, and chairs! See you next year!
1
2
123
FMICS 2023@FMICS_conf
22 Sep 2023
Alessandro Fantechi presenting his paper on the 4SECURail case study
1
6
213
FMICS 2023@FMICS_conf
22 Sep 2023
@FMICS_conf Best paper award: Djurre van der Wal, Marcus Gerhold and Marielle Stoelinga Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
2
105
FMICS 2023@FMICS_conf
22 Sep 2023
Imran Riaz Hasrat presenting his paper Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control
1
57
FMICS 2023@FMICS_conf
22 Sep 2023
Davide Basile presenting his work on formal verification in the railway industry
2
2
249
FMICS 2023@FMICS_conf
21 Sep 2023
Fantastic keynote talk by Anna Slobodova from Intel on formal verification of microprocessors
1
7
205
FMICS 2023@FMICS_conf
21 Sep 2023
Aziz Sfar presenting his work on Testing Logical Diagrams in power plants at @fmics2023
2
75
FMICS 2023@FMICS_conf
21 Sep 2023
Nicolás Poza presenting his work on Statistical Model Checking for P at @FMICS_conf
1
61
FMICS 2023@FMICS_conf
21 Sep 2023
Great talk by Reza Soltani on Optimal spare management via statistical model checking at @FMICS_conf
2
83
FMICS 2023@FMICS_conf
21 Sep 2023
Chris Johannsen presenting his work on encoding temporal specifications at @FMICS_conf
2
54
FMICS 2023 retweeted
FMT Lab ISTI CNR@fmt_lab
21 Sep 2023
Replying to @FMICS_conf
@FMICS_conf day 2 Alessandro is chairing the session
2
1
118
FMICS 2023@FMICS_conf
21 Sep 2023
We have stared the day with a great invited talk by Jaco Van De Pol on how to use SAT and QBF solvers for encoding planning problems and games
7
113
Load more