POD
Main menu
  • Promoted playlists
  • Lives
  • Configuration
  • Log in

 Channel list

 Types of videos

  •  Other (4582)
  •  Colloque (281)
  •  Conferences (2043)
  •  Documentaries (60)
  •  Institutional movie (205)
  •  Promotional movie (154)
  •  Interview (166)
  •  Students work (469)
  •  relation presse (7)
  •  Learning resources (5796)
  •  Tutorials (488)
  1. Home
  2. Videos

47 videos found

 Audio  Video  Statistics views
00:34:08
A Formal Specification for Gated SSA
A Formal Specification for Gated SSA
00:28:04
Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération
Preuve formelle d'un analyseur flot de don…
00:23:44
Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis
Propriété du domaine borné pour la logique…
00:25:34
Execution-time opacity problems in (parametric) timed automata
Execution-time opacity problems in (parame…
00:24:48
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates
Formalizing an Efficient Runtime Assertion…
00:23:39
CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
CAISAR : Characterization and Verification…
00:18:25
An Iterative Formal Model-Driven Approach to Railway Systems Validation
An Iterative Formal Model-Driven Approach …
00:30:01
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Correlating Test Events With Monitoring Lo…
00:28:37
Enseignement de la vérification de systèmes réactifs paramétrés
Enseignement de la vérification de système…
00:26:52
Towards the verification of User Interface Description Languages
Towards the verification of User Interface…
00:31:36
Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C
Une sémantique des structures, unions et t…
00:30:53
Formally verified block optimizations by symbolic execution modulo invariants
Formally verified block optimizations by s…
More
Loading…

 Filters

The videos on the left are automatically sorted according to the filters selected. Check options to adjust results.

Types
Disciplines
Tags
University course

 

Université intégrée

  • Legal Notice
  • Accessibility: Partially compliant
  • Esup Portal
  • Esup-Pod Project

POD video platform of Université intégrée - Release 3.4.1 - 14203 videos availables [ 320 days, 7:15:58 ]

We use third party cookies to personalize content, manage session and analyze site traffic.