175659761
2014-01-20
2024-03-13T17:33:41
Distributed data management with a declarative rule-based language Webdamlog / par Antoine Emilien ; sous la direction de Sege Abiteboul, Université Paris-Sud, 2013 [Thèse en Informatique]
https://appliweb.dgri.education.fr/rnsr, 20210107 : Établissement tutelle référent : Ecole normale supérieure Paris-Saclay. Établissements tutelles : CNRS, université Paris-Saclay. Année de création : 1997
http://www.lsv.fr/, 20210107
199812967H
000000012063800X
Laboratoire Spécification et Vérification (Gif-sur-Yvette, Essonne ; 1997-2020)
LSV
UMR 8643
UMR8643
Unité mixte de recherche 8643
Laboratoire Spécification et Vérification (Gif-sur-Yvette, Essonne ; 1997-2020)
1997
1997
2020
2020
Adresse : 4 avenue des Sciences, 91190 Gif-sur-Yvette
École normale supérieure Paris-Saclay
Centre national de la recherche scientifique
Université Paris-Saclay
Laboratoire Méthodes formelles
Specification and verification of quantitative properties : expressions, logics, and automata / Benjamin Monmege ; sous la direction de Paul Gastin / , 2013
Qualitative analysis of synchronizing probabilistic systems / Mahsa Shirmohammadi ; sous la direction de Laurent Doyen et de Thierry Massart / , 2014
Directed homotopy and homology theories for geometric models of true concurrency / Jérémy Dubut ; sous la direction de Jean Goubault-Larrecq et de Éric Goubault / , 2017
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique / Anthony Lick ; sous la direction de Sylvain Schmitz / , 2019
Proof of security protocols revisited / Guillaume Scerri ; sous la direction de Hubert Comon-Lundh / , 2015
Subwords : automata, embedding problems, and verification / Prateek Karandikar ; sous la direction de Philippe Schnoebelen et de Narayan Kumar / , 2015
Analyse automatique de propriétés d'équivalence pour les protocoles cryptographiques / Rémy Chretien ; sous la direction de Stéphanie Delaune / , 2016
Vérification automatique de la protection de la vie privée : entre théorie et pratique / Lucca Hirschi ; sous la direction de Stéphanie Delaune et de David Baelde / , 2017
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants / Marie Fortin ; sous la direction de Paul Gastin / , 2020
Supervision en transport multimodal / Simon Theissing ; sous la direction de Stefan Haar / , 2016
Integrating rewriting, tableau and superposition into SMT / Guillaume Bury ; sous la direction de Gilles Dowek et de David Delahaye / , 2019
The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids / Nathan Grosshans ; sous la direction de Luc Segoufin et de Pierre McKenzie / , 2018
Automate sur les structures temporisée / Samy Jaziri ; sous la direction de Patricia Bouyer-Decitre / , 2019
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques / Antoine Dallon ; sous la direction de Stéphanie Delaune et de Véronique Cortier / , 2018
Stratégies randomisées dans les jeux concurrents / Daniel Stan ; sous la direction de Nicolas Markey / , 2017
Vues et requêtes sur les graphes de données : déterminabilité et réécritures / Nadime Francis ; sous la direction de Luc Segoufin / , 2015
Applying Formal Methods to Autonomous Vehicle Control / Yann Duplouy ; sous la direction de Serge Haddad / , 2018
Algorithmique et complexité des systèmes à compteurs / Michael Blondin ; sous la direction de Alain Finkel / , 2016
Verification of Stochastic Timed Automata / Pierre Carlier ; sous la direction de Patricia Bouyer-Decitre et de Thomas Brihaye / , 2017
Distributed data management with a declarative rule-based language webdamlog / Emilien Antoine ; sous la direction de Serge Abiteboul / , 2013
Reasoning with separation logics : complexity, expressive power, proof systems / Alessio Mansutti ; sous la direction de Stéphane P. Demri et de Etienne Lozes / , 2020
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants / Charlie Jacomme ; sous la direction de Hubert Comon-Lundh et de Steve Kremer / , 2020
Semantics of Strategy Logic / Patrick Gardy ; sous la direction de Patricia Bouyer-Decitre et de Nicolas Markey / , 2017
Motifs de flot d'Information dans les jeux à information imparfaite / Marie Van Den Bogaard ; sous la direction de Laurent Doyen / , 2016
On Effective Representations of Well Quasi-Orderings / Simon Halfon ; sous la direction de Philippe Schnoebelen / , 2018
Un cas remarquable de systèmes linéaires : les systèmes monotones : résolution et application à la vérification formelle de programmes / Guy Alain Narboni ; sous la direction de Laurent Fribourg / , 2001
Preuves symboliques de propriétés d'indistinguabilité calculatoire / Adrien Koutsos ; sous la direction de Hubert Comon-Lundh / , 2019
Jeux stochastiques sur des graphes avec des applications à l'optimisation des smart-grids / Mauricio GONZáLEZ GóMEZ ; sous la direction de Patricia Bouyer-Decitre et de Nicolas Markey et de Samson Lasaulce / , 2019
Reachability games with counters : decidability and algorithms / Julien Reichert ; sous la direction de Dietmar Berwanger et de Laurent Doyen / , 2015
Une base de connaissance personnelle intégrant les données d'un utilisateur et une chronologie de ses activités / David Montoya ; sous la direction de Serge Abiteboul / , 2017
Specification and verification of quantitative properties : expressions, logics, and automata / Benjamin Monmege [ Cachan, Ecole normale supérieure ]
Qualitative analysis of synchronizing probabilistic systems / Mahsa Shirmohammadi [ Cachan, Ecole normale supérieure ]
Proof of security protocols revisited / Guillaume Scerri [ Cachan, Ecole normale supérieure ]
Subwords : automata, embedding problems, and verification / Prateek Karandikar [ Cachan, Ecole normale supérieure ]
Distributed data management with a declarative rule-based language webdamlog / Emilien Antoine [ Paris 11 ]
Reachability games with counters : decidability and algorithms / Julien Reichert [ Cachan, Ecole normale supérieure ]
Un cas remarquable de systèmes linéaires : les systèmes monotones : résolution et application à la vérification formelle de programmes / Guy Alain Narboni [ Cachan, Ecole normale supérieure ]
Integrating rewriting, tableau and superposition into SMT / Guillaume Bury [ Sorbonne Paris Cité ]
Directed homotopy and homology theories for geometric models of true concurrency / Jérémy Dubut [ Université Paris-Saclay (ComUE) ]
Stratégies randomisées dans les jeux concurrents / Daniel Stan [ Université Paris-Saclay (ComUE) ]
On Effective Representations of Well Quasi-Orderings / Simon Halfon [ Université Paris-Saclay (ComUE) ]
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques / Antoine Dallon [ Université Paris-Saclay (ComUE) ]
Jeux stochastiques sur des graphes avec des applications à l’optimisation des smart-grids / Mauricio GONZáLEZ GóMEZ [ Université Paris-Saclay (ComUE) ]
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique / Anthony Lick [ Université Paris-Saclay (ComUE) ]
Vérification automatique de la protection de la vie privée : entre théorie et pratique / Lucca Hirschi [ Université Paris-Saclay (ComUE) ]
The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids / Nathan Grosshans [ Université Paris-Saclay (ComUE) ]
Applying Formal Methods to Autonomous Vehicle Control / Yann Duplouy [ Université Paris-Saclay (ComUE) ]
Semantics of Strategy Logic / Patrick Gardy [ Université Paris-Saclay (ComUE) ]
Motifs de flot d'Information dans les jeux à information imparfaite / Marie Van Den Bogaard [ Université Paris-Saclay (ComUE) ]
Preuves symboliques de propriétés d’indistinguabilité calculatoire / Adrien Koutsos [ Université Paris-Saclay (ComUE) ]
Automate sur les structures temporisée / Samy Jaziri [ Université Paris-Saclay (ComUE) ]
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants / Marie Fortin [ université Paris-Saclay ]
Algorithmique et complexité des systèmes à compteurs / Michael Blondin [ Université Paris-Saclay (ComUE) ]
Une base de connaissance personnelle intégrant les données d'un utilisateur et une chronologie de ses activités / David Montoya [ Université Paris-Saclay (ComUE) ]
Supervision en transport multimodal / Simon Theissing [ Université Paris-Saclay (ComUE) ]
Verification of Stochastic Timed Automata / Pierre Carlier [ Université Paris-Saclay (ComUE) ]
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants / Charlie Jacomme [ université Paris-Saclay ]
Analyse automatique de propriétés d’équivalence pour les protocoles cryptographiques / Rémy Chretien [ Université Paris-Saclay (ComUE) ]
Reasoning with separation logics : complexity, expressive power, proof systems / Alessio Mansutti [ université Paris-Saclay ]
Vues et requêtes sur les graphes de données : déterminabilité et réécritures / Nadime Francis [ Université Paris-Saclay (ComUE) ]