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

 Channel list

 Types of videos

  •  Audio (74)
  •  Other (3909)
  •  Colloque (196)
  •  Conferences (2704)
  •  Documentaries (37)
  •  Institutional movie (115)
  •  Promotional movie (141)
  •  Interview (154)
  •  Students work (348)
  •  relation presse (2)
  •  Learning resources (3681)
  •  Tutorials (358)

 Filters

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

 Types
 Disciplines
 Tags
 University course
  1. Home
  2. Videos

22 videos found

 Audio  Video  Statistics views
Loading…
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…
00:35:19
OptiTrust : User-Guided Source-to-Source Transformations (with Formal Guarantees)
OptiTrust : User-Guided Source-to-Source T…
00:20:38
Un arbre de syntaxe pour programmes annotés avec leurs invariants et leurs preuves
Un arbre de syntaxe pour programmes annoté…
Loading…

 

Université intégrée

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

POD video platform of Université intégrée - Release 3.8.0 - 11655 videos available [ 272 days, 1:37:39 ]

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