Sébastien Varrette
|
|
||||
| Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
UL HPC Manager, Head Digital Platforms
Research Scientist, specialized in Distributed Platforms Security and HPC/Cloud systems.
- Expert in the deployment and management of High Performance Computing (HPC) systems, I am leading the management of the UL HPC platform and the associated expert team of system administrators since 2007.
- Luxembourg representative within PRACE (as Advisor) (Partnership for Advanced Computing in Europe), EuroCC/CASTIEL, or several NESUS COST action (Network for Sustainable Ultrascale Computing)
- HPC expert for the European Commission in the Enhanced Regional EU-ASEAN Dialogue Instrument (E-READI) program.
- Active as general chair, track chair or as scientific committee member for various reference conferences and technical workgroups within my area of expertise (IEEE CloudCom, CloudNet, IPDPS, EuroPar, Big Data Congress, Optim, PCGrid, ICPADS, HPCS, CLUS, J. Supercomputing, J. of Parallel and Distributed Computing etc.).
- Involved in several technical workgroups (Grid5000, national ICT standardization delegate within ISO/TC 307: Blockchain and distributed ledger technologies etc.) and act as Principal Investigator or as Work Package leader in various national or EU projects.
- Recipient of a full Autorisation à Diriger des Recherches (ADR).
- Involved in the supervision of several graduate students at all levels (postdocs, PhD., master and bachelor)
- Concrete contributions in several strategic projects linked to HPC and Big Data (BD) developed with multiple key decision makers in the Luxembourg context, either from the private sector or at the governmental level
- PhD in Computer Science from Grenoble Institute of Technology and University of Luxembourg (mention: Excellent), 2007
- Advisors : Franck Leprévost (UL) / Jean-Louis Roch (Grenoble IT)
- Title : Security in Large Scale Distributed Systems: Authentication and Result Checking.
- Master's degree in Computer Science (Cryptology, Security and Information Coding) with honors (1st -- mention: TB) from Grenoble Institute of Technology and University Joseph Fourrier, 2003
- Computer Science and Engineering Degree with honors (top 10%, mention: B) – Telecommunications Department of the Grenoble Institute of Technology, 2003
For more information, kindly refer to my personal website: https://varrette.gforge.uni.lu/
Main Research Interest
- Security and Performance Evaluation of Distributed Computing Platforms and Services (clusters, grids, HPC, clouds and P2P systems).
- Crash/Cheating Fault tolerance in parallel computation
- (more recently) Blockchain-based integrity protection in distributed executions
Up to now, I co-authored four books and more than nine book chapters in Computer Science. I also wrote about 80 research or popularization articles in scientific journals, or international conference proceedings.
A complete list of my publications is available in my CV or on Orbilu. You might also want to check my records on Google Scholar or DBLP.
Teaching
Below are the list of topics in which I used to be involved as lecturer:
- Cryptology (Bachelor and Master Level)
- Advanced Programming (C,C++) (Bachelor)
- Security and System Administration (Master)
- Parallel Programming (Master)
- Trusted Computing and Distributed Ledger Technologies (DLTs) (Master)
You may find more details on my Personal Web page.
Publications
The latest version of my CV hold my current publication record
Last updated on: Wednesday, 13 October 2021
2022
Obfuscating LLVM Intermediate Representation Source Code with NSGA-II; ; ; ;
in 15th Intl. Conf. on Computational Intelligence in Security for Information Systems (CISIS'22) (2022, September)
Les NFT en 40 questions: Des réponses claires et détaillées pour comprendre les Non Fungible Tokens; ; ; ;
Book published by Dunod - 1st (2022)
A RNN-Based Hyper-Heuristic for Combinatorial Problems; ; ; ;
in A RNN-Based Hyper-Heuristic for Combinatorial Problems (2022)
Management of an Academic HPC Research Computing Facility: The ULHPC Experience 2.0; ; ; ; ;
in 6th High Performance Computing and Cluster Technologies Conference (HPCCT 2022) (2022, July)
Aggregating and Consolidating two High Performant Network Topologies: The ULHPC Experience; ; ;
in ACM Practice and Experience in Advanced Research Computing (PEARC'22) (2022, July)
Optimizing the Resource and Job Management System of an Academic HPC and Research Computing Facility; ;
in 21st IEEE Intl. Symp. on Parallel and Distributed Computing (ISPDC'22) (2022, July)
2021
Protection of Personal Data in High Performance Computing Platform for Scientific Research Purposes; ;
in Proc. of the EU Annual Privacy Forum (APF) 2021 (2021, June)
The new AION cluster: Overview, Technical specifications and CapabilitiesPresentation (2021, November)
RESIF 3.0: Toward a Flexible & Automated Management of User Software Environment on HPC facility; ; ; ; ; ;
in ACM Practice and Experience in Advanced Research Computing (PEARC'21) (2021, July)
2020
Performance Analysis of Distributed and Scalable Deep Learning; ; ; ;
in 20th IEEE/ACM Intl. Symp. on Cluster, Cloud and Internet Computing (CCGrid'20) (2020, May)
Evolving a Deep Neural Network Training Time Estimator; ; ; ; ; ;
in Communications in Computer and Information Science (2020, February)
ULHPC School 2020 Keynote: Overview and Challenges of the UL HPC Facility at the EuroHPC HorizonPresentation (2020, December)
2019
Security, reliability and regulation compliance in Ultrascale Computing System; ; ; ; ;
in Zomaya, A. Y.; Carretero, J.; Jeannot, E. (Eds.) Ultrascale Computing Systems (2019)
Les blockchains en 50 questions: comprendre le fonctionnement et les enjeux de cette technologie innovante; ; ;
Book published by Dunod - 2eme (2019)
Amazon Elastic Compute Cloud (EC2) versus In-House HPC Platform: A Cost Analysis; ; ;
in IEEE Transactions on Cloud Computing (2019), 7(2), 456-468
Energy aware ultrascale systems; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Carretero, J.; Jeannot, E.; Zomaya, A.Y. (Eds.) Ultrascale Computing Systems (2019)
A Full-Cost Model for Estimating the Energy Consumption of Computing Infrastructures;
in Zomaya, A. Y; Carretero, J.; Jeannot, E. (Eds.) Ultrascale Computing Systems (2019)
Automatic Software Tuning of Parallel Programs for Energy-Aware Executions; ; ; ;
in Proc. of 13th Intl. Conf. on Parallel Processing and Applied Mathematics (PPAM 2019) (2019, December)
2018
High Performance Computing and Big Data analytics in Luxembourg: Overview and Challenges in the EuroHPC horizon;
Presentation (2018, August)
UL HPC Tutorial: Building [custom] software with EasyBuild on the UL HPC platform; ; ; ; ;
Presentation (2018, June)
Les blockchains en 50 questions: comprendre le fonctionnement et les enjeux de cette technologie innovante; ; ;
Book published by Dunod - 1er (2018)
On Verifying and Assuring the Cloud SLA by Evaluating the Performance of SaaS Web Services Across Multi-cloud Providers; ;
in 48th Annual IEEE/IFIP Intl. Conf. on Dependable Systems and Networks Workshops (DNS'18) (2018, June)
PRESENCE: Toward a Novel Approach for Performance Evaluation of Mobile Cloud SaaS Web Services; ;
in Proc. of the 32nd IEEE Intl. Conf. on Information Networking (ICOIN 2018) (2018, January)
PRESENCE: Monitoring and Modelling the Performance Metrics of Mobile Cloud SaaS Web Services; ; ;
in Mobile Information Systems (2018), 2018(1351386),
PRESENCE: Performance Metrics Models for Cloud SaaS Web Services; ; ;
in Proc. of the 11th IEEE Intl. Conf. on Cloud Computing (CLOUD 2018) (2018, July)
Hybrid MPI+OpenMP Implementation of eXtended Discrete Element Method; ; ; ;
in Proc. of the 9th Workshop on Applications for Multi-Core Architectures (WAMCA'18), part of 30th Intl. Symp. on Computer Architecture and High Performance Computing (SBAC-PAD 2018) (2018, September)
UL HPC Tutorial: Performance engineering - HPC debugging and profilling; ; ; ; ; ;
Presentation (2018, June)
UL HPC Tutorial: Multi-Physics workflows: test cases on CFD / MD / Chemistry applications; ; ; ; ;
Presentation (2018, June)
UL HPC Tutorial: Basic and Advanced scientific computing using MATLAB; ; ; ; ;
Presentation (2018, June)
Comparing Broad-Phase Interaction Detection Algorithms for Multiphysics DEM Applications; ; ; ; ;
in AIP Conference Proceedings of 15th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) (2018, July 10)
Overview and Challenges of the UL HPC Facility at the EuroHPC Horizon; ; ; ;
Presentation (2018, June)
UL HPC Tutorial: Machine and Deep Learning on the UL HPC Platform; ; ; ; ;
Presentation (2018, June)
UL HPC Tutorial: Big Data Applications (batch, stream, hybrid) with Hadoop and Spark; ; ; ; ;
Presentation (2018, June)
2017
Overview and Challenges of the UL HPC Facility at the EuroHPC Horizon; ; ; ; ;
Presentation (2017, November)
Overview and Challenges of the UL HPC Facility at the Belval and EuroHPC Horizon; ; ; ; ;
Presentation (2017, June)
2016
HPC or the Cloud: a cost study over an XDEM Simulation; ; ; ;
in Proc. of the 7th International Supercomputing Conference in Mexico (ISUM 2016) (2016)
Amazon Elastic Compute Cloud (EC2) vs. in-House HPC Platform: a Cost Analysis; ;
in Proc. of the 9th IEEE Intl. Conf. on Cloud Computing (CLOUD 2016) (2016, June)
Reducing Efficiency of Connectivity-Splitting Attack on Newscast via Limited Gossip; ;
in Proc. of the 19th European Event on Bio-Inspired Computation, EvoCOMNET 2016 (2016, March)
Tutorial Reproducible Research at the Cloud Era: Overview, Hands-on and Open challengesLearning material (2016)
IT/Dev[op]s Army Knives Tools for the researcher: a journey from SSH to GitPresentation (2016, July)
Overview and Challenges of the UL HPC Facility at the Belval Horizon; ; ; ;
Presentation (2016, November)
Proceedings of the 8th IEEE International Conference on Cloud Computing Technology and Science (ClouCom 2016); ; ; ;
Book published by IEEE Computer Society (2016)
2015
Performance Evaluation of the XDEM framework on the OpenStack Cloud Computing Middleware; ; ; ; ;
in Proceedings of the Fourth International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering (2015, February)
Energy Efficiency and High-Performance Computing; ; ; ; ; ; ; ;
in Pierson, J.-M. (Ed.) Large-scale Distributed Systems and Energy Efficiency: A Holistic View (2015)
Resilience within Ultrascale Computing System: Challenges and Opportunities from Nesus Project; ; ; ; ; ; ;
in Supercomputing Frontiers and Innovations (2015), 2(2), 46--63
Foundations of Coding: Compression, Encryption, Error-Correction; ; ;
Book published by Wiley Sons (2015)
Evalix: Classification and Prediction of Job Resource Consumption on HPC Platforms; ; ;
in Proc. of the 19th Intl. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP'15), part of the 29th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2015) (2015, May)
Distributed Cellular Evolutionary Algorithms in a Byzantine Environment; ; ;
in Proc. of the 18th Intl. Workshop on Nature Inspired Distributed Computing (NIDISC 2015), part of the 29th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2015) (2015, May)
Energy efficiency in HPC Data Centers: Latest Advances to Build the Path to Exascale; ; ;
in Handbook on Data Centers (2015)
High Performance Computing (HPC) at UL: Overview (as of 2015) and Usage; ; ; ;
Presentation (2015, June)
An LLVM-based Approach to Generate Energy Aware Code by means of MOEAs; ;
in Proc. of the 7th European Symposium on Computational Intelligence and Mathematics.(ESCIM 2015) (2015, October)
2014
Comparison of Multi-objective Optimization Algorithms for the JShadObf JavaScript Obfuscator; ;
in Proc. of the 17th Intl. Workshop on Nature Inspired Distributed Computing (NIDISC 2014), part of the 28th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2014) (2014, May)
Foundations of Coding: Compression, Encryption, Error-Correction; ; ;
Book published by Wiley Sons (2014)
ParaMASK: a Multi-Agent System for the Efficient and Dynamic Adaptation of HPC Workloads; ; ; ;
in 14th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2014) (2014, December)
A Holistic Model of the Performance and the Energy-Efficiency of Hypervisors in an HPC Environment; ; ; ;
in Concurrency and Computation: Practice and Experience (2014)
On the Resilience of the Newscast Protocol in the Presence of Cheaters; ;
Presentation (2014, March)
Exploiting the Hard-wired Vulnerabilities of Newscast via Connectivity-splitting Attack; ; ;
in Proc. of the IEEE Intl. Conf. on Network and System Security (NSS 2014) (2014, October)
Analysis of the Data Flow in the Newscast Protocol for Possible Vulnerabilities; ; ;
in Proc. of Intl. Conf. on Cryptography and Security System (CSS'14) (2014, September)
Performance Analysis of Cloud Environments on Top of Energy-Efficient Platforms Featuring Low Power Processors; ;
in Proc. of the 6th IEEE Intl. Conf. on Cloud Computing Technology and Science (CloudCom'14) (2014, December)
Performance tuning of applications in HPC environments employing Simulated Annealing; ;
Scientific Conference (2014, October)
Management of an Academic HPC Cluster: The UL Experience; ; ;
in Proc. of the 2014 Intl. Conf. on High Performance Computing Simulation (HPCS 2014) (2014, July)
HPC Performance and Energy-Efficiency of the OpenStack Cloud Middleware; ; ; ;
in Proc. of the 43rd Intl. Conf. on Parallel Processing (ICPP-2014), Heterogeneous and Unconventional Cluster Architectures and Applications Workshop (HUCAA'14) (2014, September)
2013
JShadObf: A JavaScript Obfuscator Based on Multi-Objective Optimization Algorithms; ;
in Lopez, Javier; Huang, Xinyi; Sandhu, Ravi (Eds.) Network and System Security (2013)
ShadObf: A C-source Obfuscator based on Multi-objective Optimization Algorithms; ;
in Proc. of the 16th Intl. Workshop on Nature Inspired Distributed Computing (NIDISC 2013), part of the 27th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2013) (2013, May)
ShadObf: A C-Source Obfuscator Based on Multi-objective Optimisation Algorithms; ;
in Proceedings of the 2013 IEEE 27th International Symposium on Parallel and Distributed Processing Workshops and PhD Forum (2013)
Trust Based Interdependency Weighting for On-line Risk Monitoring in Interdependent Critical Infrastructures; ; ; ; ; ;
in International Journal of Secure Software Engineering (2013), 4(4), 47-69
Comparing the Performance and Power Usage of GPU and ARM Clusters for Map-Reduce; ; ; ;
in Proc. of the 3rd Intl. Conf. on Cloud and Green Computing (CGC'13) (2013, October)
A Holistic Model of the Performance and the Energy-Efficiency of Hypervisors in an HPC Environment; ; ; ;
in Energy Efficiency in Large Scale Distributed Systems (2013)
Performance Evaluation and Energy Efficiency of High-Density HPC Platforms Based on Intel, AMD and ARM Processors; ; ;
in Proc. of the Intl. Conf. on Energy Efficiency in Large Scale Distributed Systems (EE-LSDS'13) (2013, April)
Expected Running Time of Parallel Evolutionary Algorithms on Unimodal Pseudo-Boolean Functions over Small-World Networks; ;
in Proc. of the IEEE Congress on Evolutionary Computation (CEC'2013) (2013)
Dependency Analysis for Critical Infrastructure Security Modelling: A Case Study within the Grid'5000 Project; ; ; ;
in Proc. of the 3th IFIP Intl. SeCIHD'2013 Workshop, part of the 8th Intl. Conf. on Availability, Reliability and Security (ARES'13) (2013, September)
Using Data-flow analysis in MAS for power-aware HPC runs; ; ; ;
in Proc. of the IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS'13) (2013)
HPC Performance and Energy-Efficiency of Xen, KVM and VMware Hypervisors; ; ; ;
in Proc. of the 25th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2013) (2013, October)
2012
CERTICLOUD, une plate-forme Cloud IaaS sécurisée; ;
in Technique et Science Informatiques (2012), 31(8-9-10), 1121-1152
Convergence Analysis of Evolutionary Algorithms in the Presence of Crash-Faults and Cheaters; ; ; ;
in Computers and Mathematics with Applications (2012), 64(12), 3805-3819
Convergence of Distributed Cellular Evolutionary Algorithms in Presence of Crash Faults and Cheaters; ; ; ;
Scientific Conference (2012)
Hash function generation by means of Gene Expression Programming; ;
in Intl. Conf. on Cryptography and Security System (CSS’12) (2012, September), XII(3), 37-53
2011
Energy Efficiency on Scalable Computing Architectures; ; ;
in 11th IEEE Intl. Conf. on Computer and Information Technology (CIT’11) (2011, October)
chap. "Practical Security in Distributed Systems"; ; ; ;
in Distributed Systems (volume 1); Design and Algorithms (2011)
Practical Security in Distributed Systems; ; ; ;
in Haddad, S.; Kordon, F.; Pautet, L.; Petrucci, L. (Eds.) Distributed Systems; Design and Algorithms, 1 (2011)
CertiCloud: a Novel TPM-based Approach to Ensure Cloud IaaS Security; ;
in 4th IEEE Intl. Conf. on Cloud Computing (CLOUD 2011) (2011, July)
A Signature Scheme for Distributed Executions based on Control flow Analysis.; ;
in Proc. of the 19th Intl. conference on Security and Intelligent Information Systems (SIIS 2011) (2011)
A Signature Scheme for Distributed Executions based on Control flow Analysis..; ;
in 19th Intl. conference on Security and Intelligent Information Systems (SIIS 2011) (2011, June)
Cheating impact on distributed Evolutionary Algorithms over BOINC computations.; ;
in n Proc. of the 19th Intl. conference on Security and Intelligent Information Systems (SIIS 2011) (2011)
On the Resilience of [distributed] Evolutionary Algorithms against Cheaters in Global Computing Platforms; ;
in Proc. of the 14th Intl. Workshop on Nature Inspired Distributed Computing (NIDISC 2011), part of the 25th IEEE/ACM Intl. Parallel and Distributed Processing Symposium (IPDPS 2011) (2011)
On the Resilience of [Distributed] EAs against Cheaters in Global Computing Platforms; ;
in 25th IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2011) (2011)
2010
Scheduling DAG applications on multi-core processor packages architectures; ;
Scientific Conference (2010, October)
2009
Parallel implementation of domain decomposition algorithm for molecular dynamics; ; ;
in PARENG 2007 (2009)
Deskilling HPL - Using an Evolutionary Algorithm to Automate Cluster Benchmarking; ;
in Proceedings of 8th Intl. conf. on Parallel Processing and Applied Mathematics (PPAM 2009) (2009, September), 6068(LNCS), 102--114
Dynamic Adaptation Applied to Sabotage Tolerance; ; ;
in Proc. of the IEEE 17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2009) (2009)
Une approche génétique et source à source de l'optimisation de code;
Scientific Conference (2009, September)
A Signature Scheme for Distributed Executions based on Macro-Dataflow Analysis; ;
Presentation (2009)
2008
chapt. Sécurité dans les grilles de calcul,; ; ; ; ; ;
in Systèmes répartis en action : de l'embarqué aux systèmes à large échelle (2008)
Sécurité dans les grilles de calcul; ; ; ; ; ;
in Kordon, F.; Pautet, L.; Petrucci, L. (Eds.) Systèmes répartis en action: de l'embarqué aux systèmes à large échelle (2008)
On the Use of a Genetic Algorithm in High Performance Computer Benchmark Tuning; ;
in IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'08) (2008)
Nature inspired Algorithm-Based Fault Tolerance on Global Computing Platforms. Application to Symbolic Regression; ;
in International Conference on Metaheuristics and Nature Inspired Computing (META'08) (2008)
Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments; ; ;
in Euro-Par 2008, Workshop on Secure, Trusted, Manageable and Controllable Grid Services (SGS'08) (2008)
Result Certification Against Massive Attacks in Distributed Computations; ;
Scientific Conference (2008)
2007
Cryptographie à Clef Publique; ; ; ;
in Ebrahimi, Touradj; Leprévost, Franck; Warusfel, Bertrand (Eds.) Cryptographie et sécurité des systèmes et réseaux, 2 (2007)
Probabilistic Certification of Divide & Conquer Algorithms on Global Computing Platforms. Application to Fault-Tolerant Exact Matrix-Vector Product;
in Proc. of the ACM Intl. Workshop on Parallel Symbolic Computation’07 (PASCO’07) (2007, July)
Security of Global Computing Platforms: Authentication and Computed Results Integrityin Conference on Cryptology and Digital Content Security (CRM 07) (2007)
2006
Sécurité Réseau; ; ;
in Leprévost, Franck; Ebrahimi, Touradj; Warusfel, Bertrand (Eds.) Cryptographie et sécurité de systèmes et réseaux (2006)
chap. "Sécurite UNIX"; ;
in Sécurité Multimédia: Cryptographie et Sécurité Systèmes et Réseaux (2006)
Sécurite UNIX; ;
in Ebrahimi, Touradj; Leprévost, Franck; Warusfel, Bertrand (Eds.) Cryptographie et sécurité de systèmes et réseaux (2006)
chapter "Cryptographie à Clé Secrète"; ; ; ;
in Sécurité Multimédia: Cryptographie et Sécurité Systèmes et Réseaux (2006)
chap "Cryptographie à clef secréte"; ; ; ;
in Sécurité Multimédia: Cryptographie et Sécurité Systèmes et Réseaux (2006)
chap. "Cryptographie à Clé Publique"; ; ; ;
in Sécurité Multimédia: Cryptographie et Sécurité Systèmes et Réseaux (2006)
chap "Architectures PKI"; ; ;
in Sécurité Multimédia: Cryptographie et Sécurité Systèmes et Réseaux (2006)
Applicative Solutions for Safe Computations in Distributed Environments; ;
in Workshop "Trustworthy Software" (2006)
Safe Distributed Architecture for Image-based Computer Assisted Diagnosis; ; ; ; ;
in Proc. of the IEEE Intl. Conf. on Pervasive Services, Workshop on Health Pervasive Systems (HPS'06) (2006)
2005
Practical Authentication in Distributed Environments; ;
in Proceedings of the First International Computer System and Information Technology Conference (ICSIT'05) (2005)
A Probabilistic Approach for Task and Result Certification of Large-scale Distributed Applications in Hostile Environments; ; ;
in Proc. of the European Grid Conference (EGC2005) (2005)
Authentification Distribuée sur Grille de Grappes basée sur LDAP; ; ;
in Proc. des 16èmes rencontres francophones du parallélisme (RenPar'16) (2005)
Distributed Authentication in GRID5000; ; ; ;
in Proc. of OTM Confederated Int. Workshops on Grid Computing and its Application to Data Analysis (GADA'05) (2005, November)
2004
Using Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations; ;
in Proc. of the 1th Intl. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE'04) (2004)
Secure Architecture for Clusters and Grids; ; ;
in Proc. of the 2nd Int. Conf. on Critical Infrastructures (CRIS 2004) (2004)
FlowCert : Probabilistic Certification for Peer-to-Peer Computations; ;
in Proc. of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004) (2004)
Secure architectures for clusters and grid computations; ; ;
in Proceedings de CRIS 2004 (2nd International Conference on Critical Infrastructures), Grenoble, France, Octobre 2004 (2004)
FlowCert : Probabilistic certification for parallel processing on the grid; ;
in IEEE, editor. Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing. IEEE-SBAC PAD 2004, Foz do Iguaçu, Brésil, octobre 2004 (2004, October)
2003
Certification logicielle de Calcul Global avec dépendances sur grille;
in Proc. des 15èmes rencontres francophones du parallélisme (RenPar'15) (2003, October)
