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 |