output
20122025
most citedMesoNet: a Compact Facial Video Forgery Detection Network

1.8k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

3 papers · 1 filter

cs.SE2021★ 4 cited

Parametric schedulability analysis of a launcher flight control system under reactivity constraints

Étienne André, Emmanuel Coquard, Laurent Fribourg +2

The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a…

cs.SE2021★ 1 cited

Architecture-Guided Test Resource Allocation Via Logic

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits +4

We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree represe…

cs.SE2019★ 4 cited

Time4sys2imi: A tool to formalize real-time system models under uncertainty

Étienne André, Jawher Jerray, Sahar Mhiri

Time4sys is a formalism developed by Thales, realizing a graphical specification for real-time systems. However, this formalism does not allow to perform formal analyses for real-t…