Siva Anantharaman, Christopher Bouchard, Paliath Narendran, and Michaël Rusinowitch. Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining. Logical Methods in Computer Science, 10(1:5), 2014. [ DOI | http ]
Matthieu Dreher, Jessica Prevoteau-Jonquet, Mikael Trellet, Marc Piuzzi, Marc Baaden, Bruno Raffin, Nicolas Férey, Sophie Robert, and Sébastien Limet. ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations. Faraday Discussions of the Chemical Society, 05 2014. [ DOI | http ]
Jacques Chabin, Mirian Halfeld Ferrari, Martin A. Musicante, and Pierre Réty. Conservative Type Extensions for XML Data. Transactions on Large-Scale Data and Knowledge-Centered Systems, 7980(IX), 05 2013. [ http ]
Stéphane Cordier, Hélène Coullon, Olivier Delestre, Christian Laguerre, Minh Hoang Le, Daniel Pierre, and Georges Sadaka. FullSWOF_Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications. ESAIM: Proc., 43:59-79, 12 2013. [ DOI | http ]
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models. Concurrency and Computation: Practice and Experience, 25(10):1394-1409, 2013. [ DOI | http ]
Siva Anantharaman, Paliath Narendran, and Michael Rusinowitch. String rewriting and security analysis: an extension of a result of Book and Otto. Journal of Automata, Languages and Combinatorics, 16(2-4):83-98, 2012. [ http ]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, and Michael Rusinowitch. Unification modulo Homomorphic Encryption. Journal of Automated Reasoning, 48(2):135-158, 2012. [ DOI | http ]
Jean-Michel Couvreur, Denis Poitrenaud, and Pascal Weil. Branching processes of general Petri nets. Fundamenta Informaticae, 120:1-28, 2012. [ http ]
Mirian Halfeld Ferrari, Béatrice Bouchou, and Maria Adriana Lima. A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. T. Large-Scale Data- and Knowledge-Centered Systems, 6:167-197, 2012. [ DOI | http ]
Awad Abir. A New Chaos-Based Cryptosystem for Secure Transmitted Images. IEEE Transactions on Computers, 99:1, 01 2011. [ DOI | http ]
Yohan Boichut, Jean-Michel Couvreur, and Duy Tung Nguyen. Functional Term Rewriting Systems towards Symbolic Model-Checking. International Journal of Critical Computer-Based Systems, 2011. [ http ]
Matthieu Chavent, Antoine Vanel, Alex Tek, Bruno Levy, Sophie Robert, Bruno Raffin, and Marc Baaden. GPU-accelerated atom and dynamic bond visualization using hyperballs: a unified algorithm for balls, sticks, and hyperboloids. Journal of Computational Chemistry, 32(13):2924-35, 10 2011. [ DOI | http ]
Sylvain Conchon, Jean-Christophe Filliâtre, Fabrice Le Fessant, Julien Robert, and Guillaume Von Tokarski. Real-Time Monitoring of Ocaml programs. Stud. Inform. Univ., 9(1):159-185, 2011. [ http ]
Awad Abir and Abdelhakim Saadane. New Chaotic Permutation Methods for Image Encryption. International Journal of Computer Science,, 37(4):1-9, 2010. [ http ]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, and Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems, 26:486-490, 03 2010. [ DOI | http ]
Frederic Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. In ACM, editor, ACM Symposium on Applied Computing (SAC), Gyeongju, Corée, République De, 2014. [ http ]
Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM, editor, ACM Symposium on Applied Computing (SAC), Gyeongju, Corée, République De, 2014. [ http ]
Yohan Boichut, Jacques Chabin, and Pierre Rety. Over-approximating Descendants by Synchronized Tree Languages. In International Conference on Rewriting Techniques and Applications, Rewriting Techniques and Applications, Eindhoven, Pays-Bas, 06 2013. [ http ]
Hélène Coullon and Sébastien Limet. Algorithmic skeleton library for scientific simulations : SkelGIS. In IEEE, editor, HPCS 2013, Proceedings of the 2013 International Conference on High Performance Computing & Simulation (HPCS 2013), page 429, Helsinki, Finlande, 07 2013. [ http ]
Hélène Coullon, Sébastien Limet, and Hoang Le Minh. Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS. In Elsevier, editor, ICCS, Proceedings of the International Conference on Computational Science, ICCS 2013, Barcelona, Spain, 5-7 June, 2013, volume 18 of Procedia Computer Science, pages 591-600, Barcelone, Espagne, 06 2013. Elsevier. [ DOI | http ]
Frederic Dabrowski, Frédéric Loulergue, and Thomas Pinsard. Nested Atomic Sections with Thread Escape: An Operational Semantics. In IEEE Computer Society, editor, International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Taipei, Taïwan, 2013. [ http ]
Umberto Da Costa, Mirian Halfeld Ferrari, Martin Musicante, and Sophie Robert. Automatic Refinement of Service Compositions. In Florian Daniel, Peter Dolog, and Qing Li, editors, ICWE, volume 7977 of Lecture Notes in Computer Science, pages 400-407, Aalborg, Danemark, 2013. Springer. [ DOI | http ]
Joshua Amavi and Mirian Halfeld Ferrari. Filtering XFD Toward Interoperability (short paper). In 28th Symposium On Applied Computing, SAC 2013, Coimbra, Portugal, 2013. ACM. [ http ]
Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library. In International Conference on High Performance Computing and Simulation (HPCS), Barcelona, Espagne, 2013. IEEE. [ http ]
Joeffrey Legaux, Frédéric Loulergue, and Sylvain Jubertie. OSL: an algorithmic skeleton library with exceptions. In International Conference on Computational Science, Procedia Computer Science, pages 269-269, Helsinki, Finlande, 2013. Elsevier. [ DOI | http ]
Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. Programming with BSP Homomorphisms. In Euro-Par, volume 8097 of LNCS, pages 446-457, Aachen, Allemagne, 2013. Springer. [ DOI | http ]
Matthieu Dreher, Marc Piuzzi, Turki Ahmed, Chavent Matthieu, Marc Baaden, Nicolas Férey, Sébastien Limet, Bruno Raffin, and Sophie Robert. Interactive Molecular Dynamics: Scaling up to Large Systems. In International Conference on Computational Science, ICCS 2013, Barcelone, Espagne, 06 2013. Elsevier. [ http ]
Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR), Fukuoka, Japon, 2013. IEEE. [ http ]
Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, and Michael Rusinowitch. Unification modulo Synchronous Distributivity. In B. Gramlich, D. Miller, and Sattler. U, editors, IJCAR 2012 (The 6th International Joint Conference on Automated Reasoning), Lecture Notes in Artificial Intelligence, volume 7364, pages 14-29, Manchester, Royaume-Uni, 06 2012. Springer-Verlag, Berlin, Heidelberg. [ http ]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, and Michaël Rusinowitch. Unification modulo Chaining. In A.-H. Dediu and C. Martín Vide, editors, The 6th International Conference on Language and Automata Theory and Applications, Proceedings of the 6th International Conference on Language and Automata Theory and Applications - LATA 2012 Language and Automata Theory and Applications, volume 7183 of Lecture Notes in Computer Science, A Coruna, Espagne, 03 2012. Springer, Berlin - Heidelberg. [ http ]
Wadoud Bousdira, Frédéric Loulergue, and Julien Tesson. A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. In ICA3PP, LNCS, Fukuoka, Japon, 2012. Springer. [ http ]
Pierre Réty, Jacques Chabin, and Joshua Amavi. Weak Inclusion for Recursive XML Types. In CIAA - 2012, volume 7381 of LNCS, pages 78-89, Porto, Portugal, 07 2012. Springer. [ http ]
A. Spallicci, P. Ritter, S. Jubertie, S. Cordier, and S. Aoudia. Towards a Self-consistent Orbital Evolution for EMRIs. In E. Plagnol G. Auger, P.Binétruy, editor, The 9th LISA Symposium, 9th Lisa Symposium, volume 467 of ASP Conference Series, page 221, Paris, France, 2012. Astronomical Society of the Pacific. [ http ]
Joeffrey Legaux, Sylvain Jubertie, and Frédéric Loulergue. Experiments in Parallel Matrix Multiplication on Multi-Core Systems. In ICA3PP, LNCS, Fukuoka, Japon, 2012. Springer. [ http ]
Sébastien Limet, Sophie Robert, and Ahmed Turki. Controlling an iteration-wise coherence in dataflow. In FACS, procedings of the 8th International Symposium on Formal Aspects of Component Software, LNCS, pages 1-15, Oslo, Norvège, 2012. Springer. [ http ]
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, and Matthieu Lemerre. Towards Verified Cloud Computing Environments. In International Conference on High Performance Computing and Simulation (HPCS), Madrid, Espagne, 07 2012. IEEE. [ http ]
Christoph Durr, Ioannis Milis, Julien Robert, and Georgios Zois. Approximating the Throughput by Coolest First Scheduling. In 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Approximation and Online Algorithms, 2012. [ http ]
Mohamad Al Hajj Hassan, Mostafa Bamha, and Frédéric Loulergue. An Efficient Skew-insensitive Algorithm for Join Processing on Grid Architectures. In ACM, editor, HLPP, 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications, pages 11-18, 2011. [ DOI | http ]
Noman Javed, Frédéric Loulergue, Julien Tesson, and Wadoud Bousdira. Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML. In (PDPTA'11), International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, 2011. [ http ]
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, and Pierre Réty. Weak Inclusion for XML Types. In International Conference on Implementation and Application of Automata (CIAA), volume 6807, pages 30-41, Blois, France, 05 2011. Springer-Verlag. [ http ]
Jean-Michel Couvreur, Denis Poitrenaud, and Pascal Weil. Unfoldings for general Petri nets. In Laure Kristensen, Lars M.; Petrucci, editor, Petri Nets 2011, Applications and Theory of Petri Nets, volume 6709 of Lecture Notes in Computer Science, pages 129-148, Newcastle, Royaume-Uni, 2011. Springer. [ http ]
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. Parallel Computing Flow Accumulation in Large Digital Elevation Models. In The 11th International Conference on Computational Science (ICCS 2011), volume 4, pages 2277-2286, Singapour, Singapour, 2011. [ DOI | http ]
Cheikh Ba, Mirian Halfeld Ferrari Alves, and Martin A. Musicante. PEWS Platform : a web services composition environment. In Workshop on Enhanced Web Service Technologies (WEWST), collocated with the European Conference on Web Services (ECOWS), Lugano, Suisse, 09 2011. ICPS volume by the ACM. [ http ]
Béatrice Bouchou, Mirian Halfeld Ferrari Alves, and Maria Adriana Lima. Attribute Grammar for XML Integrity Constraint Validation. In Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, and Xiaofang Zhou, editors, Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, volume 6860 of Lecture Notes in Computer Science, pages 94-109, Toulouse, France, 2011. Springer. [ http ]
Noman Javed and Frédéric Loulergue. Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library. In PPAM, 9th International Conference on Parallel Processing and Applied Mathematics, LNCS. Springer, 2011. [ http ]
Noman Javed and Frédéric Loulergue. Parallel Programming and Performance Predictability with Orléans Skeleton Library. In HPCS, International Conference on High Performance Computing and Simulation, pages 257-263, Istanbul, Turquie, 2011. IEEE. [ http ]
Noman Javed and Frédéric Loulergue. A Formal Programming Model of Orléans Skeleton Library. In Springer, editor, (PaCT), Parallel Computing Technologies, LNCS. Springer, 2011. [ http ]
Sébastien Limet, Sophie Robert, and Ahmed Turki. Coherence and Performance for Interactive Scientific Visualisation Applications. In Software Composition: 10th International Symposium, SC 2011, Software Composition: 10th International Symposium, volume 6708 of LNCS, pages 149-164, Zurich, Suisse, 2011. Springer. [ http ]
Frédéric Gava, Louis Gesbert, and Frédéric Loulergue. Type System for a Safe Execution of Parallel Programs in BSML. In HLPP, 5th ACM SIGPLAN workshop on High-Level Parallel Programming and Applications, pages 17-34. ACM, 2011. [ DOI | http ]
Julien Tesson and Frédéric Loulergue. A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation. In The 11th International Conference on Computational Science (ICCS 2011), The 11th International Conference on Computational Science (ICCS 2011) proceedings, 2011. [ http ]
Mohamad Al Hajj Hassan and Mostafa Bamha. Semi-join Computation on Distributed File Systems Using Map-Reduce-Merge Model. In (SAC'2010), Proceedings of the 25th ACM Symposium On Applied Computing, pages 406-413, Sierre, Suisse, 2010. ACM Press. [ http ]
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, and Michael Rusinowitch. Cap Unification: Application to Protocol Security modulo Homomorphic Encryption. In Peng Liu David Basin, editor, 5th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2010, Beijing, Chine, 04 2010. ACM. [ http ]
Simon Arvaux, Emmanuel Melin, and Sophie Robert. Toward distant interactive VR Visualization of Large Parallel Simulations. In Virtual Reality Internationnal Conference, VRIC2010 proceedings, Laval, France, 04 2010. [ http ]
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, and Guillaume Petiot. Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. In Koji Nakano, editor, 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), pages 191-196, Hiroshima, Japon, 2010. IEEE Computer Society. [ DOI | http ]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, and Pierre Réty. Minimal tree language extensions: a keystone of XML type compatibility and evolution. In 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), volume 6255 of LNCS (15 pages), pages 60-75, Natal, Brésil, 09 2010. Springer-Verlag. [ http ]
Hélène Coullon, Sébastien Limet, and Emmanuel Melin. A simple framework to generate parallel application for geospatial processing. In COM.Geo 2010, Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application, ACM International Conference Proceeding Series, Washington, États-Unis, 2010. ACM. [ http ]
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model. In The 2010 International Conference on High Performance Computing & Simulation, HPCS 2010 Proceedings, Caen, France, 06 2010. [ http ]
Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. Parallel Computing of Catchment Basins in Large Digital Elevation Model. In HPCA2009, Second International Conference on High Performance Computing and Applications, volume 5938 of Lecture Notes in Computer Science, pages 133-138. Springer, 2010. [ http ]
Benjamin Petit, Thomas Dupeux, Benoît Bossavit, Joeffrey Legaux, Bruno Raffin, Emmanuel Melin, Jean-Sébastien Franco, Ingo Assenmacher, and Edmond Boyer. A 3D Data Intensive Tele-immersive Grid. In MM'10 - International Multimedia Conference, MM'10 - Proceedings of the International Conference on Multimedia, pages 1315-1318, Firenze, Italie, 10 2010. ACM. [ DOI | http ]
Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, and Julien Tesson. Systematic Development of Correct Bulk Synchronous Parallel Programs. In The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings, Wuhan, Chine, Singapour, 2010. IEEE. [ http ]
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, and Masato Takeichi. Program Calculation in Coq. In Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), Québec, Canada, 2010. Springer. [ http ]
Sébastien Limet, Sophie Robert, and Ahmed Turki. Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes. REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, RNTI-L-6:49-72, 2012. [ http ]
Hélène Coullon, Audrey Latapie, Sébastien Limet, Emmanuel Melin, Daniel Pierre, Sophie Robert, and Xavier Thomas. Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux. Ingénierie des Systèmes d'Information, 16(3):31-54, 2011. [ DOI | http ]
Joshua Amavi and Mirian Halfeld Ferrari. Maximal Set of XML Functional Dependencies over Multiple Systems. In BDA, Nantes, France, 10 2013. [ http ]
Wadoud Bousdira, Louis Gesbert, and Frédéric Loulergue. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. In (JFLA), Journées Francophones des Langages Applicatifs, Studia Informatica Universalis, pages 117-146. Hermann, 2011. [ http ]
Sébastien Limet, Sophie Robert, and Ahmed Turki. Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence. In CAL 2011, Actes de la conférence francophone sur les architectures logicielles, pages 20-30, Lille, France, 2011. [ http ]
Mohamad Al Hajj Hassan and Mostafa Bamha. A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems. In GDR - GLP, Journées du Génie de la Programmation et du Logiciel, pages 141-144, Pau, France, 03 2010. [ http ]
Ahmed Turki. Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques. PhD thesis, Université d'Orléans, 03 2012. Thèse de Doctorat. [ http ]
Hiep-Thuan Do. Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques. PhD thesis, Université d'Orléans, 12 2011. Thèse de Doctorat. [ http ]
Noman Javed. Squelettes algorithmiques méta-programmés : implantations, performances et sémantique. PhD thesis, Université d'Orléans, 10 2011. Thèse de Doctorat. [ http ]
Julien Tesson. Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels. PhD thesis, Université d'Orléans, 11 2011. Thèse de Doctorat. [ http ]
Duy-Tùng Nguyên. Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés. PhD thesis, Université d'Orléans, 10 2010. Thèse de Doctorat. [ http ]
Muath Alrammal and Gaétan Hains. A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism. In F. Xhafa and N. Bessis, editors, Inter-cooperative Collective Intelligence: Techniques and Applications. Springer, 05 2013. [ http ]
Hélène Coullon, Sébastien Limet, and Hoang Le Minh. Performances de la Librairie de Squelettes Algorithmiques SkelGIS, 01 2013. ComPAS 2013. [ http ]
Hélène Coullon and Sébastien Limet. Une librairie de squelettes algorithmiques par blocs sur structure de données 2D, 06 2012. CIEL 2012. [ http ]
Frédéric Loulergue. On the Formal Verification of Computer Simulations, 06 2012. Models and Simulations 5. [ http ]
Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, and Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution, 2010. Journées informatiques de la région centre (JIRC). [ http ]
Sébastien Limet. High level languages for efficient parallel programming., 2012. [ DOI | http ]
Mostafa Bamha and Frédéric Loulergue. A Scalable and Skew-insensitive Algorithm for Join Operations using Map/Reduce Model. Technical report, 01 2014. [ http ]
Sayanta Mallick, Gaétan Hains, and Cheikh Sadibou Deme. An Alert Prediction Model for Cloud Infrastructure Monitoring. Technical report, 01 2013. [ http ]
Siva Anantharaman, Christopher Bouchard, Paliath Narendran, and Michael Rusinowitch. Unification modulo Block Chaining. Technical report, 09 2011. [ http ]
Wadoud Bousdira, Frédéric Loulergue, and L. Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. Technical report, 2010. [ http ]
Yohan Boichut, Jean-Michel Couvreur, and Duy Tung Nguyen. Functional Term Rewriting Systems, 2010. Rapport de recherche LIFO. [ http ]
Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue, and Louis Gesbert. Systematic Development of Functional Bulk Synchronous Parallel Programs. Technical report, 03 2010. [ http ]