Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2016

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017


Revue internationale à comité de lecture


[hal-01287170:1]
Aurélien Beaufort, Florence Curie, Florentina Moatar, Agnès Ducharne, E. Melin & Dominique Thiery, T-NET, a dynamic model for simulating daily stream temperature at the regional scale based on a network topology., Hydrological Processes, Wiley. 01. 2016. [URL]
[hal-01298229:1]
Tom Besson & Jérôme Durand-Lose, Abstract geometrical computation 9: Exact discretization of 3-speed rational signal machines, Journal of Cellular Automata, Old City Publishing. 2016. [URL]
[hal-01320488:1]
Mathias Bourgoin, Emmanuel Chailloux & Jean-Luc Lamotte, High Level Data Structures for GPGPU Programming in a Statically Typed Language, International Journal of Parallel Programming, Springer Verlag. 05. 2016. [URL]
[hal-01247495:1]
Luca Caviglione, Mauro Gaggero, Jean-François Lalande, Wojciech Mazurczyk & Marcin Urbanski, Seeing the Unseen: Revealing Mobile Malware Hidden Communications via Energy Consumption and Artificial Intelligence, IEEE Transactions on Information Forensics and Security, Vol. 11(4). Pp. 799-810, Institute of Electrical and Electronics Engineers. 04. 2016. [URL]
[hal-01369333:1]
Eric Goles Chacc & Pedro Montealegre, Naming Game Automata Network, Journal of Cellular Automata, Vol. 11(5-6). Pp. 497-521, Old City Publishing. 04. 2016. [URL]
[hal-01315324:1]
Eric Goles Chacc, Pedro Montealegre, Ville Salo & Ilkka Törmä, PSPACE-completeness of majority automata networks, Journal of Theoretical Computer Science (TCS), Vol. 609. Pp. 118-128, Elsevier. 01. 2016. [URL]
[hal-01369701:1]
Wilson A. Higashino, Cédric Eichler, Miriam Capretz, LUIZ F. BITTENCOURT & Thierry Monteil, Attributed Graph Rewriting for Complex Event Processing Self-Management, ACM Transactions on Autonomous and Adaptive Systems, Vol. 11(3). Pp. article ntextdegree 19, Association for Computing Machinery (ACM). 09. 2016. [URL]
[hal-01367979:1]
Christophe Paul, Anthony Perez & Stéphan Thomassé, Linear kernel for Rooted Triplet Inconsistency and other problems based on conflict packing technique, Journal of Computer and System Sciences, Vol. 82(2), Elsevier. 03. 2016. [URL]
[hal-01296432:1]
Cuong Quoc To, Benjamin Nguyen & Philippe Pucheral, Private and Scalable Execution of SQL Aggregates on a Secure Decentralized Architecture, ACM Transactions on Database Systems, to appear, Association for Computing Machinery. 2016. [URL]


Revue internationale sans comité de lecture


[hal-01355122:1]
Valérie Viet Triem Tong, Jean-François Lalande & Mourad Leslous, Challenges in Android Malware Analysis, ERCIM News, Special Theme: Cybersecurity(106). Pp. 42-43, ERCIM. 07. 2016. [URL]


Direction d'ouvrages scientifiques


[hal-01294131:1]
33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016), Nicolas Ollinger and Heribert Vollmer (Ed.). Orléans, France, LIPIcs, Vol. 47. 02. 2016. [URL]


Chapitres d'ouvrages scientifiques


[hal-01251455:1]
Jérôme Durand-Lose, Computing in Perfect Euclidean Frameworks, in Advances in Unconventional Computing, Andrew Adamatzky (Ed.), Springer. 2016. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-01431183:1]
Asma Guesmi, Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage, Thèse de Doctorat. Université d'Orléans. 07. 2016. [URL]
[tel-01445558:2]
Jean-François Lalande, Vers la sécurité mobile : caractérisation des attaques et contremesures, Université d'Orléans. Habilitation `a Diriger des Recherches. 11. 2016. [URL]


Conférence donnée sur invitation


[hal-01382045:1]
Jean-François Lalande, Contre-mesures logicielles contre les fautes induisant des sauts, in Workshop SERTIF : Simulation pour l'Evaluation de la RobusTesse des applications embarquées contre l'Injection de Fautes. Grenoble, France. 10. 2016. [URL]
[hal-01419182:1]
Jean-François Lalande, Malware à base de canaux auxiliaires, in Colloque International sur la Sécurité des Systèmes d'Information. Kénitra, Morocco. 12. 2016. [URL]


Communications avec actes dans un congrès international


[hal-01299067:1]
aadil bouchra, Abderrahim Ait Wakrime, abderrahim sekkaki & kzaz larbi, Automating Data Warehouse Design Using Ontology, in International Conference on Electrical and Information Technologies. Tangier, Morocco, International Conference on Electrical and Information Technologies. 05. 2016. [URL]
[hal-01299074:1]
Abderrahim Ait Wakrime, Said Jabbour & Amine Belabed, Web Service Composition As Minimal Unsatisfiability, in International Conference on Electrical and Information Technologies. Tangier, Morocco. 05. 2016. [URL]
[hal-01423641:1]
Blanchard Allan, Nikolai Kosmatov, Matthieu Lemerre & Frédéric Loulergue, Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs, in 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM). Raleigh, NC, United States. Pp. 6, IEEE. 2016. [URL]
[hal-01318432:1]
Blanchard Allan, Nikolai Kosmatov & Frédéric Loulergue, A CHR-Based Solver for Weak Memory Behaviors, in 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA). Saarbrücken, Germany. 07. 2016. [URL]
[hal-01367853:1]
Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michail Lampis, Mathieu Liedloff, Jérôme Monnot & Vangelis Paschos, Algorithmic Aspects of Upper Domination: A Parameterised Perspective, in 11th International Conference Algorithmic Aspects in Information and Management (AAIM). Bergamo, Italy, Lecture Notes in Computer Science, Vol. 9778. Pp. 113-124. 07. 2016. [URL]
[hal-01367856:1]
Cristina Bazgan, Ljiljana Brankovic, Katrin Casel, Henning Fernau, Klaus Jansen, Kim-Manuel Klein, Michail Lampis, Mathieu Liedloff, Jérôme Monnot & Vangelis Paschos, Upper Domination: Complexity and Approximation, in 27th International Workshop on Combinatorial Algorithms (IWOCA). Helsinki, Finland, Lecture Notes in Computer Science, Vol. 9843. Pp. 241-252. 08. 2016. [URL]
[hal-01320995:1]
Chérifa Ben Khelil, Denys Duchier, Yannick Parmentier, Chiraz Zribi & Fériel Ben Fraj, ArabTAG: from a Handcrafted to a Semi-automatically Generated TAG, in TAG+12: 12th International Workshop on Tree-Adjoining Grammars and Related Formalisms. Düsseldorf, Germany. 06. 2016. [URL]
[hal-01298378:1]
Tom Besson & Jérôme Durand-Lose, Exact discretization of 3-speed rational signal machines, in 22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Matthew Cook and Turlough Neary (Ed.). Zurich, Switzerland, Cellular Automata and Discrete Complex Systems, Vol. LNCS-9664. Pp. 63-76, Springer. 06. 2016. [URL]
[hal-01291393:1]
Yohan Boichut, Pierre Réty & Vivien Pelletier, Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems, in International Workshop on Rewriting Logic and its Applications. Eindhoven, Netherlands. 04. 2016. [URL]
[hal-01289023:1]
Luc Bouganim, Athanasia Katsouraki & Benjamin Nguyen, DatShA :A Data Sharing Algebra for access control plans, in 19th International Conference on Extending Database Technology (EDBT 2016). Bordeaux, France, Proceedings of the 19th International Conference on Extending Database Technology (short paper). 03. 2016. [URL]
[hal-01341954:1]
Thi-Bich-Hanh Dao, Christel Vrain, Khanh-Chuong Duong & Ian Davidson, A Framework for Actionable Clustering using Constraint Programming, in 22nd European Conference on Artificial Intelligence. The Hague, Netherlands, 22nd European Conference on Artificial Intelligence. 08. 2016. [URL]
[hal-01423633:1]
Pierre Fraigniaud, Ivan Rapaport, Ville Salo & Ioan Todinca, Distributed Testing of Excluded Subgraphs, in 30th International Symposium on Distributed Computing (DISC 2016), Cyril Gavoille and David Ilcinkas (Ed.). Paris, France, Lecture Notes in Computer Science, Vol. LNCS 9888. Pp. 342 - 356, Springer. 09. 2016. [URL]
[hal-01369334:1]
Eric Goles Chacc & Pedro Montealegre, A Fast Parallel Algorithm for the Robust Prediction of the Two-Dimensional Strict Majority Automaton, in 12th International Conference on Cellular Automata for Research and Industry, ACRI. Fès, Morocco, Vol. 9863. Pp. 166-175, Springer. 09. 2016. [URL]
[hal-01341960:1]
Tias Guns, Thi-Bich-Hanh Dao, Christel Vrain & Khanh-Chuong Duong, Repetitive Branch-and-Bound using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering, in 22nd European Conference on Artificial Intelligence. The Hague, Netherlands. 08. 2016. [URL]
[hal-01311917:1]
Nicolas Kiss, Jean-François Lalande, Mourad Leslous & Valérie Viet Triem Tong, Kharon dataset: Android malware under a microscope, in The Learning from Authoritative Security Experiment Results (LASER) workshop. San Jose, United States. Pp. 1-12, USENIX Association. 05. 2016. [URL]
[hal-01369335:1]
Pedro Montealegre & Ioan Todinca, Brief Announcement: Deterministic Graph Connectivity in the Broadcast Congested Clique, in PODC Principles of Distributed Computing. Chicago, United States. Pp. 245-247. 07. 2016. [URL]
[hal-01369337:1]
Pedro Montealegre & Ioan Todinca, On Distance-d Independent Set and other problems in graphs with few minimal separators., in Graph-Theoretic Concepts in Computer Science - 42st International Workshop, WG 2016. Istanbul, Turkey. 06. 2016. [URL]
[hal-01361316:1]
Simon Petitjean, Denys Duchier & Yannick Parmentier, XMG2: Describing Description Languages, in Logical Aspects of Computational Linguistics (LACL 2016), Maxime Amblard and Philippe de Groote and Sylvain Pogodalla and Christian Rétoré (Ed.). Nancy, France, Lecture Notes in Computer Science, Vol. 10054. Pp. 255-272, Springer-Verlag. 12. 2016. [URL]
[hal-01309598:2]
Jakub Waszczuk, Agata Savary & Yannick Parmentier, Enhancing practical TAG parsing efficiency by capturing redundancy, in 21st International Conference on Implementation and Application of Automata (CIAA 2016). Séoul, Korea, Republic Of. 07. 2016. [URL]
[hal-01378903:1]
Jakub Waszczuk, Agata Savary & Yannick Parmentier, Promoting multiword expressions in A* TAG parsing, in 26th International Conference on Computational Linguistics (COLING 2016). Osaka, Japan. 12. 2016. [URL]


Communications avec actes dans un congrès national


[hal-01305674:1]
Thi-Bich-Hanh Dao, Khanh-Chuong Duong, Tias Guns & Christel Vrain, Branch-and-bound répétitive et programmation par contraintes pour le clustering sous contraintes, in Douzième Journées Francophones de Programmation par Contraintes JFPC 2016. Montpellier, France, Douzième Journées Francophones de Programmation par Contraintes JFPC 2016. 06. 2016. [URL]
[hal-01250182:1]
Lionel Martin, Matthieu Exbrayat, Teddy Debroutelle, Aladine Chetouani, Sylvie Treuillet & Sébastien Jesset, Recherche de groupes parallèles en classification non-supervisée, in 16ème Conférence Internationale Francphone sur l'Extraction et la Gestion des Connaissances EGC 2016. Reims, France. 01. 2016. [URL]


Communications affichées avec actes


[hal-01478316:1]
Kevin Bourgeois, Sophie Robert, Victor Essayan, Loïc Thomas & Sébastien Limet, Étude pour le calcul de bassins versants en temps réel, in Compas. Lorient, France. 07. 2016. [URL]
[hal-01304326:1]
Mourad Leslous, Jean-François Lalande & Valérie Viet Triem Tong, Using Implicit Calls to Improve Malware Dynamic Execution, in 37th IEEE Symposium on Security and Privacy. San Jose, United States. 05. 2016. [URL]


Communications sans actes


[hal-01308183:1]
Laurent Bobelin, Patrick Martineau & Haiwu He, Shortest Processing Time First and Hadoop, in 3rd IEEE International Conference on Cyber Security and Cloud Computing (CSCloud 2016). Pékin, China. 06. 2016. [URL]
[hal-01505053:1]
Timm Lichte, Yannick Parmentier, Simon Petitjean, Agata Savary & Jakub Waszczuk, Separating the regular from the idiosyncratic: An object-oriented lexical encoding of MWEs using XMG, in PARSEME 6th general meeting. Struga, Macedonia, The Former Yugoslav Republic Of. 04. 2016. [URL]
[hal-01424993:1]
Axel Michel & Benjamin Nguyen, Managing distributed queries under anonymity constraints, in 7e Atelier sur la Protection de la Vie Privée. Toulouse, France. 07. 2016. [URL]
[hal-01424989:1]
Axel Michel, Benjamin Nguyen & Philippe Pucheral, Exécution de requêtes distribuées sous contraintes d'anonymat, in 32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications. Poitiers, France. 11. 2016. [URL]
[hal-01266930:1]
Lei Shang, Christophe Lenté, Mathieu Liedloff & Vincent T'Kindt, Programmation dynamique exponentielle pour des problèmes d'ordonnancement de type flowshop à 3 machines, in 17ème congrès de la société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF). Compiègne, France. 02. 2016. [URL]
[hal-01319565:1]
Thibaut Tachon, Gaétan Hains, Frédéric Loulergue & Chong Li, Automated generation of BSP automata, in High Level Parallel Programming and Applications (HLPP). Münster, Germany. 07. 2016. [URL]


Autres Publications


[halshs-01377409:1]
Stéphane Cordier, Nicolas Debarsy, Cem Ertur, François Nemo, Déborah Nourrit, Gérard Poisson & Christel Vrain, Interactions in Complex Systems. 09. 2016. [URL]



2017/07/05 généré via HALLO + JabRef.