 |
 |
|
|
||
|---|---|---|
|
hal-00679150v1
Communication dans un congrès
Emmanuel Ramasso, Michele Rombaut, Noureddine Zerhouni. Classification of predictions: an approach combining similarity-based estimation and belief functions 2nd International Conference on Belief Functions (Belief 2012), May 2012, Compiègne, France. pp.n/a, 2012 |
||
|
hal-00719965v1
Communication dans un congrès
Emmanuel Ramasso, Michèle Rombaut, Noureddine Zerhouni. Prognostic by classification of predictions combining similarity-based estimation and belief functions 2nd International Conference on Belief Functions (Belief 2012), May 2012, Compiègne, France. pp.1-8, 2012 |
||
|
hal-00719583v1
Chapitre d'ouvrage
Emmanuel Ramasso, Michèle Rombaut, Noureddine Zerhouni. Prognostic by classification of predictions combining similarity-based estimation and belief functions. T. Denoeux & M.H. Masson. Belief Functions : Theory and Applications, AISC 164. Proceedings of the 2nd International Conference on Belif Functions. Compiègne - 9-11 May 2012, 164, Springer-Verlag Berlin Heidelberg 2012, pp.61-68, 2012, Advances in Intelligent and Soft Computing. Volume 164 2012, 978-3-642-29460-0. <10.1007/978-3-642-29461-7 7> |
||
|
hal-00690686v1
Communication dans un congrès
Emmanuel Ramasso, Michèle Rombaut, Noureddine Zerhouni. Joint predicition of observations and states : a partially supervised prognostics approach based on belief functions and K-nearest neighbours 4th International Conference of the European Research Consortium for Informatics and Mathematics, ERCIM'11 on Computing & Statistics jointly with the 5th CSDA International Conference on Computational and Financial Econometrics, CFE'11., Oct 2011, Londres, United Kingdom |
||
|
hal-01404749v1
Communication dans un congrès
Dacheng Zhang, Catherine Cadet, Nadia Yousfi-Steiner, Christophe Bérenguer. Some Improvements of Particle Filtering Based Prognosis for PEM Fuel Cells C. Emmanouilidis, B. Iung, M. Macchi & F. Pérès. 3rd IFAC AMEST Workshop on Maintenance Technologies for Performance Enhancement, Oct 2016, Biarritz, France. Proc. 3rd IFAC AMEST Workshop on Maintenance Technologies for Performance Enhancement, pp.168-173, Proc. 3rd IFAC AMEST Workshop on Maintenance Technologies for Performance Enhancement |
||
|
hal-01122912v1
Communication dans un congrès
Dacheng Zhang, Catherine Cadet, Nadia Yousfi-Steiner, Christophe Bérenguer. PHM-oriented degradation indicators for PEM fuel cells: What can be learnt from battery State of Charge estimation 6th International Conference on Fundamentals & Development of Fuel Cells, Feb 2015, Toulouse, France. Paper #190, 2015 |
||
|
hal-00284551v1
Communication dans un congrès
Kamal Medjaher, Amine Mechraoui, Noureddine Zerhouni. Diagnostic et pronostic de défaillances par réseaux bayésiens. 4èmes Journées Francophones sur les Réseaux Bayésiens, JFRB'2008., May 2008, Lyon, France. 1, pp.80-93, 2008 |
||
|
hal-01338054v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France |
||
|
hal-01338064v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. <10.1109/ICC.2012.6364938> |
||
|
hal-01338067v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A formal taxonomy of privacy in voting protocols [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011 |
||
|
hal-01338070v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. 2012, <10.1007/978-3-642-27901-0_13> |
||
|
hal-01233555v1
Article dans une revue
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. <10.3233/JCS-150535> |
||
|
hal-01238097v1
Article dans une revue
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus Journal of Theoretical Computer Science (TCS), Elsevier, 2015, <10.1016/j.tcs.2015.11.033> |
||
|
hal-00760013v1
Communication dans un congrès
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites Juan de Lara, Andrea Zisman. FASE 2012 - Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. Springer, 7212, pp.439-454, 2012, Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. <http://link.springer.com/chapter/10.1007%2F978-3-642-28872-2_30>. <10.1007/978-3-642-28872-2_30> |
||
|
hal-01337410v1
Communication dans un congrès
Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols 12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. 2015, <10.5220/0005544500650075> |
||
|
hal-01337411v1
Rapport
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015 |
||
|
hal-01338002v1
Communication dans un congrès
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus 16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, <10.1007/978-3-642-37075-5_4> |
||
|
hal-01337412v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Security Analysis of Traditional and Electronic Exams E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Revised Selected Papers, Aug 2014, Vienne, Austria. 2015, <10.1007/978-3-319-25915-4_16> |
||
|
hal-01338012v1
Rapport
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012 |
||
|
hal-01338020v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols Principles of Security and Trust - Second International Conference (POST 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, <10.1007/978-3-642-36830-1_13> |
||
|
hal-01337413v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. 2014, <10.5220/0005050901010112> |
||
|
hal-01338031v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols [Technical Report] TR-2012-17, VERIMAG. 2012 |
||
|
hal-01338037v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. 2012, <10.1007/978-3-642-33167-1_26> |
||
|
hal-01338039v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion [Research Report] VERIMAG. 2012 |
||
|
hal-01338057v1
Communication dans un congrès
Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols & Brandt's Protocol Revisited 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy |
||
|
hal-01338071v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011 |
||
|
hal-00079975v1
Communication dans un congrès
K. Dogheche, B. Cavallier, P. Delobelle, L. Hirsinger, S. Ballandras et al. Piezoelectric micro-machined ultrasonic transducer (pMUT) for energy harvesting Ultrasonics Symposium, 18-21 Sept., 2005, Rotterdam, Netherlands. IEEE, pp.939 - 942, 2005, Vol.2 |
||
|
hal-00953275v1
Communication dans un congrès
Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki et al. TASCCC - Project and Testing Tool (poster and demo) Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241, 2012 |
||
|
hal-00953273v1
Communication dans un congrès
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180, 2012 |
||
|
hal-00912639v1
Communication dans un congrès
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Eduardo Vega Baez et al. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool Benoit Baudry and Alessandro Orso. ICST'2013 - IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.431-438, 2013, <10.1109/ICST.2013.60> |
||
|
|
||
