POD
Menu
  • Lives
  • Configuration
  • Log in

 10 Channels

  • International127 videos
  • La formation359 videos
  • Orientation and Professional Integration76 videos
  • Pédagogies innovantes610 videos
  • Presse83 videos
  • Research2484 videos
  • Ressources humaines35 videos
  • Student life7 videos
  • Tutorials102 videos
  • University306 videos

 Types of videos

  •  Colloque (277)
  •  Conferences (1824)
  •  Documentaries (60)
  •  Institutional movie (193)
  •  Interview (156)
  •  Learning resources (5670)
  •  Other (4410)
  •  Promotional movie (151)
  •  relation presse (7)
  •  Students work (435)
  •  Tutorials (462)
  1. Home
  2. Videos

1655 videos found  Audio  Video Statistics views

00:36:57
A Functional Semantics for the Hybrid Systems Simulation Engine
A Functional Semantics for the Hybrid Syst…
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…
More
Loading…

 Filters

Types
Disciplines
Tags
University course

 

Université intégrée

  • Esup Portal
  • Pod Project

POD video platform of Université intégrée - Release 3.1.1 - 13642 videos availables [ 302 days, 17:48:16 ]

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