Verimag Seminars

If you would like to be informed by email when a VERIMAG seminar is being held, please send an email to Stéphane Devismes.

To schedule a seminar, Verimag member should fill the online form. Otherwise, please contact Stéphane Devismes.

 /  ICAL  

Upcoming Seminars

Past Seminars

• 6 May 2013 - par Emmanuel Sifakis de Verimag/UJF : Towards efficient and secure shared memory applications (Thesis)
• 26 April 2013 - par Zhoulai Fu de IMDEA Madrid : Picking up your targets --- aggressive strong update beyond common sense
• 25 April 2013 - par Deshmukh Jyotirmoy de Toyota : Mining Temporal Requirements of an Industrial-Scale Control System
• 12 April 2013 - par Florent Garnier de VERIMAG : Verifying C-Programs memory faults freedom by mean of Abstract Interpretation and a-posteriori model verification
• 9 April 2013 - par Paraskevas Bourgos de Verimag / UJF : Rigorous Design Flow for Programming Manycore Platforms (Thesis)
• 22 March 2013 - par Karem Sakalla de University of Michigan Ann Arbor : Saucy3: Fast Symmetry Discovery in Graphs
• 19 March 2013 - par Sanjit Seshia de University of California, Berkeley : Integrating Induction and Deduction for Verification and Synthesis
• 18 March 2013 - par Wang Yi de Uppsala University : Scheduling and Analysis of Cyclic Mode-Switches
• 18 March 2013 - par Rolf Ernst de TU Braunschweig : Mixed critical system design and analysis
• 18 March 2013 - par Wang Yi de Uppsala University : Scheduling and Analysis of Cyclic Mode-Switches
• 6 March 2013 - par Marc Pouzet de UPMC / ENS : Zélus: A Synchronous Language with ODEs
• 21 February 2013 - par Valentin Perrelle de UJF / Verimag : Static Analysis of Programs Manipulating Arrays (Thesis)
• 31 January 2013 - par Ahlem Triki de Verimag : Seminaire doctorant
• 31 January 2013 - par Dario Socci de Verimag : Seminaire doctorant
• 24 January 2013 - par Raphael Jamet de Verimag : Seminaire doctorant
• 24 January 2013 - par Ayoub Nouri de Verimag : Seminaire doctorant
• 24 January 2013 - par Julien Henry de Verimag : Seminaire doctorant
• 16 January 2013 - par Prabhakar Pavithra de IMDEA, Spain : Approximation based Verification of Hybrid Systems
• 7 December 2012 - par Romain Testylier de UJF : Reachability analysis of nonlinear dynamical systems (Thesis)
• 6 December 2012 - par Irina Asavoae de University Alexandru Ioan Cuza, Iasi, Romania : Bounded Model Checking of Recursive Programs with Pointers in K Abstract
• 6 December 2012 - par Mihail Asavoae de University Alexandru Ioan Cuza, Iasi, Romania : Semantics-Based WCET Analysis
• 9 November 2012 - par Damien Massé de Université de Bretagne Occidentale (Brest) : Inférences de propriétés de terminaison par itération de stratégies
• 6 November 2012 - par Pascal Lafourcade de Verimag : Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks (HDR)
• 29 October 2012 - par Jean-François KEMPF de VERIMAG : On Computer-Aided Design-Space Exploration for Multi-Cores (Thesis)
• 24 October 2012 - par Selma Saidi de VERIMAG : Optimizing DMA Data Transfers for Embedded Multi-Cores (Thesis)
• 16 October 2012 - par Guillaume Brat de NASA Ames : An overview of formal methods for Aeronautics at NASA
• 2 October 2012 - par Artur Pietrek de VERIMAG : TIREX: a textual target-level intermediate representation for virtual execution environment, compiler information exchange and program analysis (Thesis)
• 14 September 2012 - par Rance Delong de SRI International : MILS and DMILS project
• 13 September 2012 - par Corneliu Popeea de Technical University of Munich : Synthesizing Software Verifiers from Proof Rules
• 12 July 2012 - par Roberto Bruttomesso de ATRENTA : Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms
• 5 July 2012 - par Pascal Cuoq de CEA : Collaboration d\'analyses dans Frama-C
• 26 June 2012 - par Gerardo Schneider de Chalmers | University of Gothenburg : Towards a Framework for Conflict Analysis of Normative Texts Written in Controlled Natural Language
• 26 June 2012 - par Eduardo Mazza de Verimag : A Formal Framework for Specifying and Analyzing Liabilities Using Log as Digital Evidence (Thesis)
• 21 June 2012 - par Jean-Christophe Filliâtre de CNRS / LRI : Combining Interactive and Automated Theorem Proving in Why3
• 7 June 2012 - par Gilles Muller de LIP6 : Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications
• 5 June 2012 - par Tesnim Abdellatif de Verimag : Rigorous Implementation of Real-time Systems (Thesis)
• 1 June 2012 - par Ian Mitchell de VERIMAG : Scalable approximation of the viability kernel and safe control synthesis for LTI systems using maximal reachability
• 31 May 2012 - par Pavol Cerny de IST Austria : Quantitative Abstraction Refinement
• 29 May 2012 - par Rajarshi RAY de Verimag : Reachability Analysis of Hybrid Systems Using Support Functions (Thesis)
• 25 May 2012 - par Johannes Reich de SPA : A System Perspective on Processes and Their Interactions.
• 11 May 2012 - par Xavier Urbain de ENSIIE : Démonstration automatique : techniques, outils et certification.
• 9 May 2012 - par Pierre Ganty de IMDEA (Madrid) : A Perfect Model for Bounded Verification
• 5 April 2012 - par Laura Kovacs de Technical University of Vienna : Playing in the Grey Area of Proofs
• 22 March 2012 - par Oded Maler de VERIMAG : Performance Evaluation of Schedulers in a Probabilistic Setting
• 12 March 2012 - par Nicolas Berthier de Université de Grenoble : Synchronous Programming of Device Drivers for Global Resource Control in Embedded Systems (Thesis)
• 8 March 2012 - par Goran Frehse de Verimag : Safety Analysis of Hybrid Systems with SpaceEx
• 5 March 2012 - par Sriram Rajamani de Microsoft Research : Program Analysis and Machine Learning: A Win-Win Deal
• 1 March 2012 - par Jerôme Leroux de LABRI : Vector Addition System Reachability Problem
• 23 February 2012 - par Franck Petit de LIP6 : Strength of Stabilization vs. Amount of Resources
• 10 February 2012 - par Laurent George de INRIA Rocquencourt / AOSTE Team INRIA : Robustesse temporelle dans les systèmes embarqués mono et multiprocesseur
• 9 February 2012 - par Jan Olaf Blech de Fortiss : Proof Assistant Based Certification for Modeling Languages and its Application to PLC Development
• 26 January 2012 - par Tom Henzinger de IST-Austria : Quantitative Reactive Modeling
• 19 January 2012 - par Christian von Essen de Verimag : Synthesizing Efficient Controllers
• 12 January 2012 - par Marion DAUBIGNARD de VERIMAG : Formal Methods for Concrete Security Proofs (Thesis)
• 18 November 2011 - par Giovanni Funchal de Verimag/STMicroelectronics : Contributions to Transaction-Level Modeling of Systems-on-a-Chip (Thesis)
• 14 November 2011 - par Philippe Suter de EPFL : Sets with Cardinality Constraints in Satisfiability Modulo Theories
• 4 October 2011 - par Julien Legriel de VERIMAG : Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems (Thesis)
• 15 September 2011 - par Balaji Raman de DCS, Verimag : On Buffering with Stochastic Guarantees in Resource-Constrained Media Players
• 21 July 2011 - par Pierre Ganty de IMDEA : Pattern-based Verification for Multithreaded Programs
• 30 June 2011 - par Nathalie Bertrand de IRISA : Determinizing timed automata.
• 28 June 2011 - par Francesco Logozzo de Microsoft Research : Practical program verification for the working programmer with CodeContracts and Abstract Interpretation
• 21 June 2011 - par VASSILIKI SFYRLA de VERIMAG/UJF : Modeling Synchronous Systems in BIP (Thesis)
• 26 May 2011 - par Jannik Dreier de VERIMAG : Privacy Properties for Voting Protocols: The completed picture
• 19 May 2011 - par Viktor Kuncak de EPFL : Towards Implicit Programming
• 18 May 2011 - par Jinyun XUE de Institute of Software, Chinese Academy of Science, : PAR Method and PAR Platform for Developing Reliable Software and Its New Development
• 16 March 2011 - par Fabio Somenzi de University of Colorado in Boulder : Clause Manipulation for Faster Satisfiability
• 3 March 2011 - par Hubert Garavel de INRIA : CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processe
• 3 February 2011 - par IMENE BEN HAFAIEDH de VERIMAG-UJF : Component-based Systems: from Design to Implementation (Thesis)
• 21 January 2011 - par Sophie Quinton de Verimag / UJF : Design, verification and implementation of systems of components (Thesis)
• 20 December 2010 - par John Plaice de University of New South Wales : Cartesian Programming (HDR defence) (HDR)
• 18 November 2010 - par Antoine GERBAUD de Synchrone/Asynchrone : Walker model for complex networks
• 5 November 2010 - par Moshe Vardi de Rice University : From Philosophical to Industrial Logics
• 28 October 2010 - par Mohamad Jaber de VERIMAG : Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP (Thesis)
• 22 September 2010 - par Mathias Péron de UJF / VERIMAG : Contributions to the Static Analysis of Programs Handling Arrays (Thesis)
• 15 September 2010 - par Tayeb BOUHADIBA de Verimag : 42, A Component-Based Approach to Virtual Prototyping of Heterogeneous Embedded Systems (Thesis)
• 27 August 2010 - par Manuel Garnacho de VERIMAG - DCS : Automatic and formal certification of critical systems by instrumentation of abstract interpreters (Thesis)
• 26 August 2010 - par Sébastien Bourdeauducq de Sharism at Work : Milkymist : un System-on-Chip libre et orienté video temps réel
• 8 July 2010 - par Sophie Quinton de Verimag : Achieving distributed control through model checking
• 1 July 2010 - par Jocelyne Troccaz de CNRS/TIMC : TBA
• 18 June 2010 - par Arshia Cont de IRCAM : Antescofo : A performance-synchronous language for computer music
• 17 June 2010 - par Karel Heurtefeux de Synchrone : Qualitative localization applied to routing and MAC layer in Wireless Sensor Networks
• 27 May 2010 - par Thanh Hung NGUYEN de Verimag : Constructive Verification for Component-based Systems (Thesis)
• 10 May 2010 - par Arnaud Sangnier de DISI, Università di Genova : Weak Time Petri Nets Strike back!
• 10 May 2010 - par Regis Gascon de Inria Sophia-Antipolis : Verification of quantitative properties on constraint automata
• 10 May 2010 - par Nadia El Mrabet de GREYC algo team - Université de Caen : Arithmétique des couplages, performance et résistance aux attaques par canaux cachés
• 10 May 2010 - par Christophe JOUBERT de Technical University of Valencia, Spain : Datalog-based Program Analysis with BES and RWL
• 7 May 2010 - par Alexandre DONZE de verimag : Model-based design and analysis of hybrid systems:simulation-based techniques, applications and perspectives
• 7 May 2010 - par Kevin Marquet de Verimag : Vérification automatique de modèles de systèmes sur puce
• 22 April 2010 - par Nikolay Kosmatov de CEA - LISI : All-Paths Test Generation for Programs with Internal Aliases in PathCrawler
• 7 April 2010 - par Mohamed Yassin CHKOURI de VERIMAG : Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified (Thesis)
• 1 April 2010 - par Claire Maiza de Compiler Design Lab, Saarland University : Static analysis of interferences in the cache memory in preemptive real-time systems
• 19 March 2010 - par Nicolas Blanc de ETH Zurich : Analyse statique de SystemC avec Scoot : de la Verification à la Simulation
• 9 March 2010 - par Thomas GAWLITZA de verimag : Combining Strategy Iteration with Semidefinite Programming for Abstract Interpretation
• 5 March 2010 - par Marc Poulhiès de VERIMAG - DCS : Design and Implementation of Component Based Systems. Towards a Unification of the Software Engineering and the System Paradigms. (Thesis)
• 4 March 2010 - par Ondrej Sery de Charles University Prague : Code analysis with Blast
• 16 February 2010 - par Bahareh Badban de University of Konstanz : Automated Invariant Generation for the Verification of Real-Time Systems
• 4 February 2010 - par Marius Bozga de Verimag : Component-Based Construction of Real-Time Systems (HDR)
• 29 January 2010 - par Dang Thao de VERIMAG : Methods and tools for Computer Aided Design of Embedded Systems (HDR)
• 14 January 2010 - par Arnaud Sangnier de Universite de Turin : Reversal-bounded counter machines revisited
• 19 November 2009 - par Matthias Althoff de Technische Universität München : Reachability Analysis of Nonlinear and Hybrid Systems with Zonotopes
• 19 November 2009 - par Bruce Krogh de Dept. of Electrical and Computer Engineering, Carn : Research Directions in Cyber-Physical Systems
• 12 November 2009 - par Florent Garnier de Vermimagg- Team DCS : A classification of randomized fair strategies for studying termination of term rewriting
• 9 November 2009 - par Yliès Falcone de Vérimag : Study and implementation of runtime validation techniques (Thesis)
• 29 October 2009 - par Stephane Demri de ENS CACHAN : The covering and boundedness problems for branching vector addition systems
• 28 October 2009 - par Colas Le Guernic de VERIMAG : Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics (Thesis)
• 21 October 2009 - par Aldric Degorre de Vérimag : On Some Quantitative Aspects of Formal Languages (Thesis)
• 24 September 2009 - par Bageshri KARKARE de Verimag : Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis.
• 15 September 2009 - par Dino Distefano de Queen Mary University, London : Compositional Shape Analysis by means of Bi-Abduction
• 25 June 2009 - par Scott Cotton de Verimag : On Some Problems in Satisfiability Solving (Thesis)
• 25 June 2009 - par Zvonimir Rakamaric de University of British Columbia : Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
• 19 June 2009 - par David Monniaux de CNRS / VERIMAG : Static analysis: from theory to practice (HDR)
• 14 May 2009 - par Florian Kammueller de Technische Universitat Berlin : ASPfun: un calcul pour des objets distribués
• 7 May 2009 - par Villard Jules de LSV, Cachan : Proving Copyless Message Passing
• 16 April 2009 - par Christophe Guillon de STMicroelectronics : Les représentations SSA et Psi-SSA
• 9 April 2009 - par Alexandre Donzé de VERIMAG : Calcul numérique d'ensembles atteignables pour les systèmes hybrides et applications
• 2 April 2009 - par Domagoj Babic de Fujitsu Labs America : Scalable and Precise Extended Static Checking
• 5 March 2009 - par Thomas Gawlitza de Technische Universität München : Precise Relational Invariants Through Strategy Iteration

Archives