POD
Menu
  • Lives
  • Configuration
  • Log in

 10 Channels

  • International127 videos
  • La formation360 videos
  • Orientation and Professional Integration76 videos
  • Pédagogies innovantes616 videos
  • Presse83 videos
  • Research2487 videos
  • Ressources humaines35 videos
  • Student life7 videos
  • Tutorials102 videos
  • University399 videos

 Types of videos

  •  Colloque (277)
  •  Conferences (1931)
  •  Documentaries (60)
  •  Institutional movie (203)
  •  Interview (158)
  •  Learning resources (5715)
  •  Other (4443)
  •  Promotional movie (153)
  •  relation presse (7)
  •  Students work (438)
  •  Tutorials (467)
  1. Home
  2. Videos

1665 videos found  Audio  Video Statistics views

00:19:34
Applying a user-centered approach to the study of interactive properties
Applying a user-centered approach to the s…
00:32:43
Traceability of the compilation process
Traceability of the compilation process
00:30:50
SSA Translation Is an Abstract Interpretation
SSA Translation Is an Abstract Interpretat…
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…
More
Loading…

 Filters

Types
Disciplines
Tags
University course

 

Université intégrée

  • Legal notices
  • Esup Portal
  • Pod Project

POD video platform of Université intégrée - Release 3.1.1 - 13849 videos availables [ 309 days, 4:19:57 ]

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