decembre 2008
| Jeudi 18 | / 14:00 / | Barbara Jobstmann | EPFL | Specification-Driven Synthesis and Repair | |
| Lundi 15 | / 13:30 / | Ananda Basu | Verimag | THÈSE : Component-based Modeling of Heterogeneous Real Time Systems in BIP | |
| Jeudi 11 | / 14:00 / | Felix Klaedtke | ETZ Zurich | Alternation Elimination Constructions with an Application to PSL Extended with Past Operators |
novembre 2008
| Jeudi 13 | / 14:00 / | Jerome Feret | LIENS | Réduction de sémantiques différentielles pour réseaux d'interactions entre protéines par Interprétation Abstraite. |
octobre 2008
|
/ |
Jasmin Fisher | Computational Biology Group, Microsoft Research Cambridge, UK |
|
||
| Mercredi 29 | / 14:00 / | Dejan Nickovic | Verimag | THÈSE : Checking Timed and Hybrid Properties: Theory and Applications | |
| Jeudi 16 | / 14:00 / | Sergio Yovine | Verimag | Séminaire labo : Quelques axes de recherche sur l'implantation de systèmes embarqués soumis aux contraintes non-fonctionnelles |
septembre 2008
| Jeudi 25 | / 14:00 / | Leandro Buss Becker | Université Fédérale de Santa Catarina, Florianopolis, Brésil | Modeling and Deploying Distributed Embedded Control Systems | |
| Mercredi 24 | / 10:00 / | Steven P. Miller | Rockwell Collins | Formal Methods for Critical Systems | |
| Vendredi 19 | / 10:30 / | Loic Strus | Verimag | THÈSE : Contrôle de qualité de service optimal d'application multimédia | |
| Jeudi 18 | / 14:00 / | Nicolas Halbwachs | Verimag | Séminaire labo : Interprétation abstraite dans l'équipe Synchrone |
juillet 2008
| Mardi 15 | / 14:00 / | Florian Hölzl | Technische Universität München | Modeling distributed, timed, reactive systems with FOCUS and AutoFOCUS 3 (From theory to practice) | |
| Mardi 1 | / 14:00 / | Mohamad Sawan | Ecole Polytechnique de Montreal | Wireless multi-channel stimulation and sensing from the cortex: Design, test and validation challenges |
juin 2008
| Jeudi 12 | / 14:00 / | Avshalom Eli | Visiting Professor/UJF | Quantum Measurement: Riddles and Insights into the Micro-World | |
| Jeudi 05 | / 14:00 / | Ananda Basu | Verimag | Distributed Semantics and Implementation for Systems with Interaction and Priority |
may 2008
| Mardi 06 | / 17:15 / | Pierre Corbineau | Radboud Universiteit Nijmegen, Pays-Bas | A Declarative Language For The Coq Proof Assistant | |
| Mardi 06 | / 16:00 / | Ouassila Labbani | ENS Lyon | Modélisation à haut niveau des applications de traitement systématique à parallélisme massif : Introduction du contrôle et interopérabilité de modèles | |
| Mardi 06 | / 14:00 / | Julien DeAntoni | INRIA Bretagne - équipe Triskell | Utilisation de modèles pour raisonner sur les systèmes temps réels embarqués | |
| Mardi 06 | / 10:00 / | Lobna Kriaa | TIMA | Modélisation des systèmes hétérogènes sur puce : simulation et analyse des performances | |
| Lundi 05 | / 16:00 / | Cecile Braunstein | University of Paris VI | SAT-based fault localization in a Abstraction Refinement Framework |
avril 2008
mars 2008
decembre 2007
| Jeudi 20 | / 13:30 / | Moez Krichen | Verimag | THÈSE : Model Based Testing for Real-Time Systems. | |
| Mercredi 19 | / 14:00 / | Yussef Bouzouzou | Verimag | Accélération des simulations de systèmes sur puce au niveau transactionnel | |
| Jeudi 13 | / 14:00 / | Aaron Bradley | CU Boulder (currently EPFL) | Reasoning about Arrays | |
| Jeudi 6 | / 15:00 / |
|
ENS Lyon |
CANCELLED |
|
| Jeudi 6 | / 14:00 / | Matthieu Moy | Verimag | An introduction to (distributed) version control with the example of Git |
novembre 2007
| Mercredi 14 | / 14:00 / | Mario Sudholt | INRIA, LINA | Flexible and Safe Pointcut/Advice Bindings | |
| Mercredi 14 | / 10:00 / | Shmuel Katz | Technion | Detecting Semantic Interference Among Aspects | |
| Mardi 13 | / 16:00 / | David Stauch | Verimag | THÈSE : Larissa, an Aspect-Oriented Language for Reactive Systems | |
| Lundi 12 | / 16:00 / | Boris Kopf | ETH Zürich | Formal Models for Side-Channel Attacks |
Octobre 2007
| Vendredi 26 | / 15:00 / | Susan Horwitz | University of Wisconsin-Madison | Better Debugging via Output Tracing and Callstack-Sensitive Slicing | |
| Vendredi 26 | / 14:00 / | Thomas Reps | University of Wisconsin and GrammaTech, Inc | WYSINWYX: What You See Is Not What You eXecute | |
| Jeudi 25 | / 14:00 / | Laure Gonnord | Verimag | THÈSE : Accélération abstraite pour l'amélioration de la précision en analyse des relations linéaires | |
| Lundi 15 | / 14:30 / | Tarik Nahhal | Verimag | THÈSE : Model-Based Testing of Hybrid Systems | |
| Vendredi 12 | / 14:00 / | Ramzi Salah | Verimag | THÈSE : On Timing Analysis of Large Systems |
juin 2007
| Lundi 25 | / 14:00 / | Alexandre Donze | Verimag | THÈSE : Trajectoires pour la Vérification et la Commande de Systèmes Continus et Hybrides |
may 2007
| Jeudi 10 | / 14:00 / | Gregory Batt | Verimag | Vérification de réseaux de régulation génique en présence d'incertitudes sur les paramêtres | |
| Mercredi 2 | / 14:00 / | FU Yuxi | Shanghai Jiaotong University | On the Expressiveness of Pi Calculus | |
| Jeudi 3 | / 14:00 / | FU Yuxi | Shanghai Jiaotong University | Fair Ambient |
avril 2007
| Jeudi 19 | / 14:00 / | Romain Janvier | INRIA Sophia-Antipolis | Vers une certification des preuves de sécurité des algorithmes cryptographiques |
mars 2007
| Jeudi 29 | / 14:00 / | Simon Bliudze | Verimag | The Algebra of Connectors --- Structuring Interaction in BIP | |
| lundi 26 | / 14:00 / | Claude Helmstetter | Verimag | THÈSE : Validation de modèles de systèmes sur puce en présence d'ordonnancements indéterministes et de temps imprécis | |
| jeudi 15 | / 14:00 / | Loïc Strus | Verimag | Using Speed Diagrams for Symbolic Quality Management |
fevrier 2007
| Jeudi 22 | / 14:00 / | Arnaud Sangnier | LSV, ENS Cachan | Towards Model-Checking Pointer Systems | |
| Jeudi 15 | / 14:00 / | Maria Sorea | EADS | Dubious Witnesses and Spurious Counterexamples | |
| Jeudi 8 | / 14:00 / | ac.at/people/lkovacs/"> Laura Kovacs | Research Institute for Symbolic Computation (RISC) Linz, Austria | Using Symbolic Summation and Polynomial Algebra for Automated Generation of Polynomial Invariants in Theorema | |
| Vendredi 2 | / 14:00 / | John Plaice | University of New South Wales, Sydney, Australia | La programmation cartésienne: Le langage de programmation TransLucid |
++++
janvier 2007
| Jeudi 25 | / 14:00 / |
|
EADS |
CANCELLED |
|
| Mercredi 17 | / 14:00 / | Norman Scaife | LASMEA | Vision and control applications in the Hume Language | |
| jeudi 11 | / 14:00 / | David Monniaux | LIENS | Analyseur Astree : realisations et perspectives | |
| vendredi 5 | / 14:00 / | Jean-Charles Tournier | University of New Mexico | Developpement a base de composants - Des systemes hautes performances aux reseaux de capteurs |
decembre 2006
| jeudi 21 | / 14:00 / | Grigore Rosu | Urbana-Champaign University | Monitoring-based Programming and Analysis | |
| mardi 19 | / 10:00 / | Philippe Clauss | Universite Louis Pasteur de Strasbourg | Maximisation symbolique de polynomes definis sur des ensembles convexes et applications a l'estimation du besoin memoire des programmes | |
| lundi 18 | / 10:00 / | Cesar Sanchez | Stanford University | Deadlock Avoidance for Distributed Real-Time and Embedded Systems | |
| lundi 18 | / 14:00 / | Ismail Assayad | Verimag | THÈSE: A Scalable Framework for Modelling and Performance Analysis of Multiprocessor Embedded Systems |
novembre 2006
| jeudi 23 | / 14:00 / | Adam Rogalewicz | Brno University of Technology | Abstract Regular Tree Model Checking of Complex Dynamic Data Structures | |
| mercredi 15 | / 14:00 / | Christos Sofronis | Verimag | THÈSE: Embedded Code Generation from High-level Heterogeneous Components |
Octobre 2006
| Mercredi 11 | / 14:00 / | Laurent Mazare | Verimag | THÈSE: Computational Soundness of Symbolic Models for Cryptographic Protocols | |
| Lundi 2 | / 14:00 / | Abdelkarim-Aziz Kerbaa | Verimag | THÈSE: Strategies d'Ordonnancement Conditionnelles Utilisant des Automates Temporises |
Septembre 2006
| Jeudi 28 | / 14:00 / | Graham Steel | University of Edinburgh | Formal Analysis of Security APIs | |
| Lundi 25 | / 14:00 / | Marc Duranton | Philips Research | Challenges in programming high performance embedded streaming applications | |
| Vendredi 22 | / 11:00 / | Georgios Fainekos | University of Pennsylvania Philadelphia | Robustness of Temporal Logic Specifications (and an application to verification using simulation) | |
| Jeudi 14 | / 14:00 / | Edith Elkind | University of Liverpool | How to buy a subgraph: game theory meets algorithm design | |
| Lundi 11 | / 14:00 / | Romain Janvier | Verimag | THÈSE: Liens entre modeles symboliques et computationnels pour les protocoles cryptographiques utilisant des hachages | |
| Jeudi 7 | / 14:00 / | Cedric Fournet | Microsoft Research | Verified Interoperable Implementations of Security Protocols |
Juin 2006
| Jeudi 29 | / 14:00 / | Tristan LeGall | IRISA | Verification de protocoles de communication / Interpretation abstraite des langages reguliers | |
| Jeudi 15 | / 10:00 / | Jacques Combaz | Verimag/STMicroelectronics | THÈSE: Conception de Systemes Adaptatifs Surs et Optimaux | |
| Jeudi 1 | / 14:00 / | Bruno Berstel | ILOG SA | Using Constraint Programming to Analyze Rule Programs |
May 2006
| Jeudi 4 | / 14:00 / | Jean-Philippe Babau | INSA Lyon | Formalisation et structuration des architecture operationnelle pour les systemes embarques temps reels |
Avril 2006
| Jeudi 27 | / 14:00 / | Philippe Audebaud | INRIA Sophia | Verification formelle d'algorithmes probabilistes dans Coq | |
| Vendredi 14 | / 14:00 / | Goran Frehse | Verimag | Les Systemes Hybrides dans la Conception des Systemes Embarques | |
| Vendredi 14 | / 15:00 / | Antoine Girard | Verimag | Methodes Algorithmiques pour l'Analyse de Systemes Hybrides |
Avril 2006
| Jeudi 6 | / 14:00 / | Renaud Lachaize | Institute of Computer Science - Foundation for Research and Technology Hellas | Systemes flexibles pour applications communicantes |
Mars 2006
| Jeudi 23 | / 14:00 / | Franck Cassez | IRCCyN - UMR CNRS 6597 | Sensor Minimization Problems in Fault Diagnosis | |
| Jeudi 16 | / 14:00 / | Mark Greenstreet | University of British Columbia | Surfing Interconnect |
Fevrier 2006
| Jeudi 16 | / 14:00 / | Mathieu Baudet | Laboratoire Specification et Verification - ENS Cachan | Protecting security protocols against guessing attacks: towards computationally-sound, automatic analyses. | |
| Jeudi 9 | / 14:00 / | Gregor Goessler | INRIA Rhone-Alpes Projet Pop-Art | Construction basee sur composants de systemes reactifs en Prometheus | |
| Mercredi 8 | / 10:00 / | David Teller | University of Sussex | Ressources + pi-calcul = controle |
Janvier 2006
| Mercredi 18 | / 14:00 / | Moni Naor | Weizmann Institute of Science | Spam fighting and The Complexity of Pebbling Graphs |
Decembre 2005
| Vendredi 9 | / 15:00 / | Stephen Edwards | Columbia University | SHIM: A Deterministic Model for Heterogeneous Embedded Systems | |
| Vendredi 9 | / 10:30 / | Matthieu Moy | Verimag / ST Microelectronics | THÈSE: Techniques et outils pour la verification de Systemes-sur-Puce au niveau transaction | |
| Jeudi 8 | / 14:00 / | Katerina Pokozy | Universita degli Studi di Trento | Analysis of UML specifications using formal methods techniques |
Novembre 2005
| Jeudi 24 | / 14:00 / | Amir Pnueli | New York University | Abstraction-Aided Verification of Procedural Programs | |
| Mardi 22 | / 10:00 / | Daniel Mery | LORIA | Characterizing Provability in BI's Pointer Logic through Resource Graphs | |
| Lundi 14 | / 14:30 / | Jan Mikac | Verimag | THÈSE: Raffinements et preuves de systemes Lustre | |
| Jeudi 3 | / 14:00 / | Christos Sofronis | Verimag | Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers |
Octobre 2005
| Vendredi 28 | / 14:00 / | Adrian Curic | Verimag | THÈSE: Implementing Lustre Programs on Distributed Platforms with Real-time Constrains | |
| Jeudi 27 | / 14:00 / | Gilles Grimaud | RD2P/POPS | Pre-deploiement et gestion des memoires dans JITS | |
| Jeudi 20 | / 14:00 / | Franck Cassez | IRCCYN | Optimal Strategies in Priced Timed Game Automata | |
| Jeudi 13 | / 14:00 / | Oded Maler | Verimag | On Optimal and Reasonable Control in the Presence of Adversaries | |
| Mardi 4 | / 15:15 / | Cyril Pachon | Verimag | THESE : Une approche basee sur les modeles pour le test de robustesse |
Septembre 2005
| Vendredi 2 | / 10:00 / | Chaker Nakhli | Verimag | THESE : Approche Fondee sur les Modeles pour Java Temps-Reel |
Juillet 2005
| Mercredi 13 | / 14:00 / | Kanchi Gopinath | Indian Institute of Science | Improved Probabilistic Models for 802.11 Protocol Verification | |
| Lundi 11 | / 14:00 / | Ferucio Laurentiu Tiplea | University of Iasi | Abstractions of Data Types | |
| Mardi 5 | / 14:00 / | Rajeev Alur | University of Pennsylvania | The Benefits of Exposing Calls and Returns |
Juin 2005
| Mercredi 1 | / 12:30 / | Benoit Meister | LSIIT | Methodes polyedriques en nombres entiers pour les nids de boucles | K. Gopinath | Indian Institute of Science | Improved Probabilistic Models for 802.11 Protocol Verification | -->
May 2005
| Mercredi 18 | / 14:00 / | David Merchat | Verimag | THÈSE: Reduction du nombre de variables en analyse de relations lineaires |
Avril 2005
| Jeudi 14 | / 14:00 / | Claude Jard | ENS Cachan | Depliage symbolique de reseaux de Petri temporels pour le diagnostic temporise de systemes repartis |
Mars 2005
| Jeudi 31 | / 14:00 / | Mila Majster-Cederbaum | Institut fuer Informatik, Universitaet Manheim | Towards the hierarchical verification of reactive systems | |
| Mercredi 16 | / 10:00 / | Lionel Morel | Verimag | THÈSE: Exploitation des structures regulieres et des specifications locales pour le developpement correct de systemes reactifs de grande taille | |
| Mardi 15 | / 14:00 / | Antoine Girard | University of Pennsylvania | Approximation metrics for discrete and continuous systems | |
| Jeudi 3 | / 14:00 / | Katell Morin-Allory | IRISA/TIMA | Verification formelle dans le Modele Polyedrique |
Fevrier 2005
| Jeudi 24 | / 14:00 / | Yu ZHANG | LSV | Verification of cryptographic protocols via logical relations | |
| Jeudi 17 | / ANNULE / | Katell Morin-Allory | IRISA/TIMA | Verification formelle dans le Modele Polyedrique |
