Pierre, Laurence - UFR Informatique et Mathématiques Appliquées, Université Joseph Fourier Grenoble I

• Universit de Nice SophiaAntipolis Anne 2005/2006 Licence 3 MASS
• Universit Joseph Fourier Anne 2010/2011 Master 1 Informatique
• Specification of Communicating Processes in LOTOS and in VHDL : a Case Study
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• A Compositional Model for the Functional Verification of HighLevel Synthesis Results (*)
• Universit Joseph Fourier Anne 2010/2011 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• FORMAL PROOF OF APPLICATIONS DISTRIBUTED IN SYMMETRIC INTERCONNECTION NETWORKS
• InductionOriented Formal Verification in Symmetric Interconnection Networks
• http://www.msc-ge.com/ Architecture des systArchitecture des systmesmes
• Universit de Nice Sophia-Antipolis Anne 2006-2007 Master 2 STIC Systmes Embarqus
• Universit de Nice Sophia-Antipolis Anne 2006-2007 Master 2 STIC Systmes Embarqus
• UNSA Licence Informatique Annee 20032004
• UNSA Licence Informatique Annee 20022003
• An automatic generalization method for the inductive proof of replicated and parallel architectures
• UNSA Licence Informatique Annee 20032004
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Licence 3 MASS
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Licence 3 MASS
• UNSA Licence Informatique Annee 20022003
• UNSA Licence Informatique Annee 20022003
• G en eralisation de th eor emes inductifs pour la v eri cation d'architectures r eguli eres
• ISSN 1292-862 TIMA Lab. Research Reports
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• Refinement of Iterative Constructs in the B Method: a Case Study \Lambda (RCS Workshop, Grenoble, January 2002)
• UNSA Licence Informatique Annee 20022003
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Master 1 Informatique
• Mechanical Verification of Hypercube Algorithms Eric Gascard, Laurence Pierre
• UNSA Licence Informatique Annee 20022003
• Universit de Nice Sophia-Antipolis Anne 2005-2006 Master STIC 1re
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• A COMPOSITIONAL MODEL FOR THE FUNCTIONAL VERIFICATION OF HIGHLEVEL SYNTHESIS RESULTS Dominique BORRIONE * , Julia DUSHINA * , Laurence PIERRE **
• UNSA Licence Informatique Annee 20032004
• SophiaAntipolis Introduction
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Licence 3 MASS
• Licence Informatique 20022003 Notes C avanc Projet 1
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Re nement of Iterative Constructs in the B Method Ludmila Klenov
• http://www.msc-ge.com/ Master 2 Pro Gnie Informatique
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Universit Joseph Fourier Anne 2010/2011 Master 1 Informatique
• Intgration model-Intgration model-checkingchecking//theorem provingtheorem proving pour systmes avec variables non bornespour systmes avec variables non bornes
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• ACL2-Based Verification of NoC Communication Infrastructures
• CORRIGE TP 1 Exercice 1.
• Laurence PIERRE 1997/1998 1 Universit de Provence Licence d'Informatique
• Describing and Verifying Synchronous Circuits with the BoyerMoore Theorem Prover
• Universit de Nice Sophia-Antipolis Anne 2006-2007 Master STIC 1re
• (*) Laboratoire TIMA -46 Av. Flix Viallet -38031 Grenoble cedex -France (e-mail: name.surname@imag.fr) ACL2-based Verification of the Communications
• Model-Checking Systems with Unbounded Variables without Abstraction
• http://www.msc-ge.com/ Architecture des systmesArchitecture des systmes
• http://www.msc-ge.com/ Master 2 Pro Gnie Informatique
• Architecture des systArchitecture des systmesmes embarquembarquss......
• Universit Joseph Fourier Anne 2010-2011 Master 1 Informatique
• Universit Joseph Fourier Anne 2010/2011 Master 1 Informatique
• Universit Joseph Fourier Anne 2010/2011 Master 1 Informatique
• Universit Joseph Fourier Anne 2010/2011 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2006-2007 Master 2 STIC Systmes Embarqus
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Master 1 Informatique
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Licence 3 MASS
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Licence 3 MASS
• Universit de Provence Anne 2000/2001 Marseille Matrise d'Informatique
• Universit de Nice Sophia-Antipolis Anne 2006/2007 Licence 1 MASS
• Universit de Nice Sophia-Antipolis CORRECTION Licence 3 MASS
• CORRIGE TP 2 Exercice 1.
• Universit de Nice Sophia-Antipolis Anne 2005/2006 Licence 3 MASS
• Universit de Nice Sophia-Antipolis Anne 2006-2007 Licence 1 MASS
• First Steps toward the Mechanical Verification of Distributed Programs in Symmetric
• Universit Joseph Fourier Anne 2011/2012 Introduction au Systme
• Universit Joseph Fourier Anne 2011-2012 Introduction aux systmes d'exploitation
• Universit Joseph Fourier Anne 2011/2012 Introduction au Systme
• Universit Joseph Fourier Anne 2011/2012 Introduction au Systme
• Universit Joseph Fourier Anne 2011/2012 Introduction au Systme
• Universit Joseph Fourier Anne 2011/2012 Introduction au Systme
• Universit Joseph Fourier Anne 2011/2012 Master 1 Informatique