Official LSV Web Site

Slides of some recent talks

Paul Gastin

• Weighted Tiling Systems: Evaluation Complexity.
  Recent Advances of Quantitative Models in Computer Science, International Colloquium dedicated to Professor Werner Kuich on the occasion of his 80th birthday, June 22 - 23, 2021.
  Slides, Talk video.
• Modular descriptions of regular functions.
  8th International Conference on Algebraic Informatics (CAI'19), June 30 - July 04, 2019.
  Slides.
• Fast algorithms for handling diagonal constraints in Timed Automata.
  ANR TickTac: Kickoff meeting, April 04 - 05, 2019.
  Slides.
• Regular transducer expressions for two-way deterministic transducers.
  Weighted Automata: Theory and Applications (WATA'18), May 22 - 26, 2018.
  Journées GDR Informatique Mathématique, Hommage à Maurice Nivat, Avril 3 - 6, 2018.
  Slides.
• Gossiping in Message-Passing Systems.
  Seminar talk at Quantitative Logics and Automata (QuantLA), Leipzig, April 24, 2018.
  
• Formal methods for the verification of distributed algorithms.
  Cours à l'École de Printemps d'Informatique Théorique (EPIT'17), Porquerolles, May 14-19, 2017.
  Slides.
• Analysing timed systems using tree automata.
  Seminar talk at Laboratoire d'informatique fondamentale (LIF), Marseille, September 29, 2016.
  Seminar talk at Laboratoire Spécification et Vérification (LSV), Cachan, October 4, 2016.
  Invited talk at the workshop AVERTS: ALGORITHMIC VERIFICATION OF REAL-TIME SYSTEMS, Chennai, December 16, 2016.
  Slides.
• A+ years of weighted logics for weighted automata.
  Invited talk at the workshop on Model Theory, Automorphism Groups, and Weighted Automata (MoTAGWA), Dresden, June 17, 2016.
  Slides.
• Formal methods for the verification of distributed algorithms.
  Invited talk at Distributed Runtime Verification (DRV'16), Bertinoro, May 16-20, 2016.
  Slides.
• Formal methods for the verification of distributed algorithms.
  Invited talk at INFINITY'15, Bangalore, December 15, 2015.
  Slides.
• Weighted Automata: Highlighted Excerpts.
  Tutorial at HIGHLIGHTS'15, Prague, September 15, 2015.
  Slides.
• Gossip: Maintening latest information beyond channel bounds.
  Invited talk at ALFA'15, Bordeaux, June 15 - 17, 2015.
  Talk at FRIDA'15, Grenoble, June 5, 2015.
  Slides.
• 10 years of weighted logics for weighted automata.
  Invited talk at AutoMathA, Leipzig, May 6 - 9, 2015.
  Slides.
• Reasoning about distributed systems: WYSIWYG.
  Invited talk at IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), New Delhi, December 15 - 17, 2014.
  Slides.
  See also the Slides of the talk at the seminar of LaBRI on March 1st, 2016.
• Specification and Verification of Quantitative Properties: Expressions, Logics, and Automata.
  Weighted Automata: Theory and Applications (WATA'14), May 5 - 9, 2014.
  Slides.
• (Hybrid) Probabilistic Rational Expressions.
  Dagstuhl Seminar Quantitative Models: Expressiveness, Analysis, and New Applications, January 20-24, 2014.
  Slides.
• Specification and Verification of Quantitative Properties: Expressions, Logics, and Automata.
  Seminar IIT Bombay, 15 January 2014.
  Slides.
• Decidability of Concurrent Systems with Data Structures.
  Workshop on Automata, Logic, Formal languages, and Algebra (ALFA'13), Riga, 7 July 2013.
  Slides.
• Automates : Applications et Algorithmique.
  Rencontres Algorithmique et Programmation, CIRM, Marseille, 6-10 Mai 2013.
  Slides.
• Evaluation of Weighted Specifications over Nested Words.
  Invited talk for the opening of the reaserch training group Quantitative Logics and Automata (QuantLA), Leipzig, April 30, 2013.
  Slides.
• Adding Pebbles to Weighted Automata.
  International Conference on Implementation and Applications of Automata (CIAA'12), July 17 - July 20, 2012.
  Slides.
• Efficient computations with pebbles.
  Weighted Automata: Theory and Applications (WATA'12), May 29 - June 2, 2012.
  Slides.
• Weighted automata with pebbles and weighted FO logic with transitive closures.
  Seminar at Dagstuhl Advances and Applications of Automata on Words and Trees, December 13-17, 2010.
  Slides et Printable version.
• Rudiments de Calculabilité et de Complexité.
  Séminaire Informatique et sciences du numérique, 2 juin, 2010.
  Présentation et version imprimable.
• Tutorial on Quantitative Logics and Weighted Automata.
  Weighted Automata: Theory and Applications (WATA'10), May 3-7, 2010.
  Slides.
• Reconciling Weighted MSO and Probabilistic CTL.
  ACTS II, February 1st, 2010 and
  Seminar at Dagstuhl Quantitative Models: Expressiveness and Analysis, January 17-22, 2010.
  Slides and Printable version.
• Weighted versus Probabilistic Logics.
  Invited conference at DLT'09, June 30, 2009.
  Slides and Printable version.
• Distributed Timed Automata with Independently Evolving Clocks.
  Séminaire au LIAFA, April 6, 2009.
  Slides and Printable version.
• How to get decidability of distributed synthesis?
  Séminaire à Bordeaux, LaBRI, March 12, 2009.
  Slides and Printable version.
• How to get decidability of distributed synthesis for asynchronous systems.
  Workshop on Automata, Concurrency and Timed Systems, CMI, Chennai, January 29-31, 2009.
  Slides and Printable version.
• Testing with asynchronous communication.
  Groupe de travail Tempo, LSV, Cachan, October 29, 2008.
  Slides and Printable version.
• Local safety and local liveness for distributed systems.
  Developments and New Tracks in Trace Theory, DNTTT'08, Cremona, October 9-11, 2008.
  Slides and Printable version.
• Distributed Timed Automata with Independently Evolving Clocks.
  CONCUR'08, Toronto, August 29-22, 2008.
  Slides and Printable version.
• Distributed Timed Automata with Independently Evolving Clocks.
  Logic and Algorithms Workshop, Edinburgh, July 21-25, 2008.
  Slides and Printable version.
• Local testing of MSCs.
  Meeting ANR DOTS, Bordeaux, January 31, 2008.
  Slides and Printable version.
• Refinements and Abstractions of Signal-Event (Timed) Languages.
  Workshop on Recent Advances in Timed Systems, December 11-12, 2006, Pre-FSTTCS 2006 workshop.
  Slides and Printable version.
• Distributed synthesis for synchronous systems.
  Seminar on December 6th, 2006, Chennai Mathematical Institute.
  Slides and Printable version.
• Refinements and Abstractions of Signal-Event (Timed) Languages.
  In 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006).
  Slides and Printable version.
• A fresh look at testing for synchronous communication.
  Seminar on June 28th, 2006, Logic and Algorithms program, Isaac Newton Institute for Mathematical Sciences.
  Slides and Printable version.
• Distributed synthesis: synchronous and asynchronous semantics.
  In 34th Spring School in Theoretical Computer Science (EPIT 2006) on Games in semantics and verification.
  Slides and Printable version.
• Refinements and Abstractions of Signal-Event (Timed) Languages.
  In 22nd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2006), Special Session on Timed Systems.
  Slides and Printable version.
• Basics of Model Checking.
  In 6th Summer School on MOdelling and VErifying parallel Processes (MOVEP 2004).
  Slides and Printable version.

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact