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 99 29
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 2018 2019 2020 2021 2022 2023 2024


Revue internationale à comité de lecture


[hal-01983131:1]
Cheikh Ba, Thiago Cerqueira, Umberto Souza Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante & Sophie Robert, Experiments on service composition refinement on the basis of preference-driven recommendation, IJWGS, Vol. 12(2). Pp. 182-214. 2016. [URL]
[hal-01287170:1]
Aurélien Beaufort, Florence Curie, Florentina Moatar, Agnès Ducharne, Emmanuel Melin & Dominique Thiéry, 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-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-02332270:1]
Manfred Cochefert, Jean-François Couturier, Petr A. Golovach, Dieter Kratsch & Daniël Paulusma, Parameterized Algorithms for Finding Square Roots, Algorithmica, Vol. 74(2). Pp. 602-629, Springer Verlag. 02. 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, Theoretical Computer Science, 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, Vol. 41(3). Pp. 46, 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]
[hal-02563703:1]
Fouille de Données Complexes - FDC 2016, Guillaume Cleuziou and Cyril de Runz and Germain Forestier and Mustapha Lebbah (Ed.), Vol. RNTI-E-31, Editions RNTI. 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.), Emergence, Complexity and Computation(23). Pp. 141-163, Springer. 2016. [URL]


Thèses et Habilitations à Diriger des Recherches


[tel-03624110:1]
Allan Blanchard, Assisted Concurrent Program Verification by Code and Specification Transformation, Thèse de Doctorat. Université d'Orléans (UO). 12. 2016. [URL]
[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-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-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-01423641:1]
Allan Blanchard, 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]
Allan Blanchard, 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-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-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-01289023:1]
Luc Bouganim, Athanasia Katsouraki & Benjamin Nguyen, DatShA :A Data Sharing Algebra for access control plans, in EDBT 2016 - 19th International Conference on Extending Database Technology. Bordeaux, France, Proceedings of the 19th International Conference on Extending Database Technology (short paper). 03. 2016. [URL]
[hal-02332266:1]
Manfred Cochefert, Jean-François Couturier, Serge Gaspers & Dieter Kratsch, Faster Algorithms to Enumerate Hypergraph Transversals, in Latin American Symposium on Theoretical Informatics (LATIN). Ensenada, Mexico. Pp. 306-318. 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-01836346:1]
Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira & Ahmed Hadj Kacem, Multi-scale modeling for software-intensive systems-of-systems architectures, in International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture. Copenhagen, Denmark. Pp. 6p., ACM Press. 11. 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-02332312:1]
Alexandre Schneider & Jean-François Couturier, Development of a Decision Support Tool for Additive Manufacturing, in International CAD Conference (CAD). Vancouvers, Canada. Pp. 137-141, CAD Solutions LLC. 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-01959553:1]
Yannick Kergosien & Christian Toinard, Risques liés à la planification des emplois du temps pour la prise en charge d 'enfants handicapés, in Envirorisk. Bourges, France. 2016. [URL]
[hal-01959548:1]
Marie-Elisabeth Labat & Christian Toinard, Ethique et risques pour la prise en charge du handicap, in Envirorisk. Bourges, France. 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


[hal-01916740:1]
Jacques Chabin, Mirian Halfeld Ferrari & Thanh Binh Nguyen, Querying Semantic Graph Databases in View of Constraints and Provenance. 2016. [URL]
[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]



2022/10/25 généré via HALLO + JabRef.