Nombre de documents

16

CV de Étienne André


Communication dans un congrès7 documents

  • Etienne André, Thomas Chatain, César Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. 15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium. IEEE Computer Society Press. <hal-01242847>
  • Youcheng Sun, Giuseppe Lipari, André Étienne. Verification of Two Real-Time Systems Using Parametric Timed Automata. WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden. 2015, WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems. <https://waters2015.inria.fr/>. <hal-01240583>
  • Étienne André, Giuseppe Lipari, Hoàng Nguyễn, Youcheng Sun. Reachability Preservation Based Parameter Synthesis for Timed Automata. Klaus Havelund; Gerard Holzmann; Rajeev Joshi. NFM '15, Apr 2015, Pasadena, California, United States. Springer LNCS, 7th NASA formal methods symposium, 2015, Proceedings of the 7th NASA formal methods symposium. <http://nasaformalmethods.org/>. <hal-01121214>
  • Étienne André, Fabrice Kordon, Laure Petrucci. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. 25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. IEEE, pp.25-28, <10.1109/EAEEIE.2014.6879378>. <hal-01215588>
  • Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, et al.. CosyVerif: An Open Source Extensible Verification Environment. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. IEEE Computer Society Press, pp.33-36, 2013, <10.1109/ICECCS.2013.15>. <hal-00926165>
  • Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, et al.. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. Lindsay Groves; Jing Sun. 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. Springer Berlin Heidelberg, 8144, pp.199-214, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-41202-8_14>. <hal-00926126>
  • Étienne André, Thomas Chatain, Emmanuelle Encrenaz, Laurent Fribourg. An Inverse Method for Parametric Timed Automata. The Second Workshop on Reachability Problems in Computational Models (RP 2008), Sep 2008, Liverpool, United Kingdom. Elsevier, Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008), 223, pp.29-46, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2008.12.029>. <hal-01299163>

Article dans une revue6 documents

  • S. Lambert-Niclot, C. Allavena, M. Grude, P. Flandre, S. Sayon, et al.. Usefulness of an HIV DNA resistance genotypic test in patients who are candidates for a switch to the rilpivirine/emtricitabine/tenofovir disoproxil fumarate combination. Journal of Antimicrobial Chemotherapy, Oxford University Press (OUP), 2016, <10.1093/jac/dkw146>. <hal-01332106>
  • Étienne André, Thomas Chatain, César Rodriguez. Preserving Partial Order Runs in Parametric Time Petri Nets. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 16, pp.25. <10.1145/3012283>. <hal-01425696>
  • Emmanuelle Simon O'Brien, Rémi Legastelois, Hakim Houchi, Catherine Vilpoux, Stéphanie Alaux-Cantin, et al.. Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats.. Neuropsychopharmacology, Nature Publishing Group, 2011, 36 (7), pp.1518-30. <10.1038/npp.2011.37>. <inserm-00746162>
  • Emmanuelle Simon O'Brien, Rémi Legastelois, Hakim Houchi, Catherine Vilpoux, Stéphanie Alaux, et al.. Fluoxetine, desipramine, and the dual antidepressant milnacipran reduce alcohol self-administration and/or relapse in dependent rats. Neuropsychopharmacology, Nature Publishing Group, 2011, <10.1038/npp.2011.37>. <hal-00625929>
  • Étienne André, Emmanuelle Encrenaz, Laurent Fribourg, Thomas Chatain. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.819-836. <10.1142/S0129054109006905>. <hal-00772641>
  • Philippe Dumas, B. Bouffakhreddine, Claude Amra, O. Vatel, E. André, et al.. Quantitative Microroughness Analysis Down To The Nanometer-Scale. EPL - Europhysics Letters, European Physical Society/EDP Sciences/Società Italiana di Fisica/IOP Publishing, 1993, 22, pp.717-722. <hal-01324254>

Ouvrage (y compris édition critique et traduction)1 document

  • Étienne André, Romain Soulat. The Inverse Method. ISTE Ltd and John Wiley & Sons Inc, pp.176, 2013, Focus, 9781848214477. <hal-00785289>

Pré-publication, Document de travail1 document

  • Étienne André, Didier Lime. Liveness in L/U-Parametric Timed Automata. 2016. <hal-01304232>

Document associé à des manifestations scientifiques1 document

  • Etienne André, Mohamed Mahdi Benmoussa, Christine Choppy. Formalisation des diagrammes états-transitions UML concurrents. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. <hal-00876643>