Fuites dans les réseaux de Petri. - Gérard Memmi (RAIRO Theor. Informatics Appl., 1978)

Linear Algebra in Net Theory. - Gérard Memmi; Gérard Roucairol (Advanced Course: Net Theory and Applications, 1979)

Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. - Gérard Memmi (Semantics of Concurrent Computation, 1979)

Leakage Notion. - Gérard Memmi (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

A Graph Theoretical Porperty for Minimal Deadlock. - Gérard Memmi (European Workshop on Applications and Theory of Petri Nets, 1982)

Some New Results About the (d, k) Graph Problem. - Gérard Memmi; Yves Raillard (IEEE Trans. Computers, 1982)

Fifo nets: a new model of parallel computation. - Alain Finkel; Gérard Memmi (Theoretical Computer Science, 1983)

Computation of flows for unary-predicates/transition-nets. - Jacques Vautherin; Gérard Memmi (European Workshop on Applications and Theory in Petri Nets, 1984)

An Introduction to Fifo Nets-Monogeneous Nets: A Subclass of Fifo Nets. - Gérard Memmi; Alain Finkel (Theor. Comput. Sci., 1985)

Analysing Nets by the Invariant Method. - Gérard Memmi; Jacques Vautherin (Advances in Petri Nets, 1986)

Composition of nets via a communication medium. - Younes Souissi; Gérard Memmi (Applications and Theory of Petri Nets, 1989)

Scrutiny: A Collaborative Inspection and Review System. - John Gintell; John E. Arnold; Michael Houde; Jacek Kruszelnicki; Roland McKenney; Gérard Memmi (ESEC, 1993)

Experiment and Performance Evaluation of a Distributed Collaboration System. - Li-Tao Chen; Gérard Memmi; Pascal Petit; Patrick Denimal (MASCOTS, 1994)

Lessons learned with ACME an environment integration experiment. - John Gintell; Gérard Memmi (ACM SIGSOFT Softw. Eng. Notes, 1997)

Application of Formal Verification to Design Creation and Implementation. - Noel R. Strader; Gérard Memmi; Carl Pixley (ISQED, 2001)

A reconfigurable design-for-debug infrastructure for SoCs. - Miron Abramovici; Paul Bradley; Kumar N. Dwarakanath; Peter Levin; Gérard Memmi; Dave Miller (DAC, 2006)

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices. - Karel De Vogeleer; Gérard Memmi; Pierre Jouvelot; Fabien Coelho (PPAM (1), 2013)

Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration. - Han Qiu 001; Gérard Memmi (ISM, 2014)

Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors. - Karel De Vogeleer; Gérard Memmi; Pierre Jouvelot; Fabien Coelho (ICSAMOS, 2014)

The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems. - Karel De Vogeleer; Gérard Memmi; Pierre Jouvelot; Fabien Coelho (CoRR, 2014)

Data protection by means of fragmentation in distributed storage systems. - Katarzyna Kapusta; Gérard Memmi (CFIP/NOTERE, 2015)

Data protection: Combining fragmentation, encryption, and dispersion. - Gérard Memmi; Katarzyna Kapusta; Han Qiu 001 (SSIC, 2015)

Data Protection: Combining Fragmentation, Encryption, and Dispersion, an Intermediary report. - Gérard Memmi; Katarzyna Kapusta; Han Qiu 001 (CoRR, 2015)

Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors. - Karel De Vogeleer; Gérard Memmi; Pierre Jouvelot (CoRR, 2015)

Fast Selective Encryption Methods for Bitmap Images. - Han Qiu 001; Gérard Memmi (Int. J. Multim. Data Eng. Manag., 2015)

POSTER: A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation. - Katarzyna Kapusta; Gérard Memmi; Hassan Noura 001 (CCS, 2016)

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing. - Yanjun Sun; Gérard Memmi; Sylvie Vignes (CSDM Asia, 2016)

Model-Based Testing Directed by Structural Coverage and Functional Requirements. - Yanjun Sun; Gérard Memmi; Sylvie Vignes (QRS Companion, 2016)

An Efficient Secure Storage Scheme Based on Information Fragmentation. - Han Qiu 001; Gérard Memmi; Hassan Noura 001 (CSCloud, 2017)

Secure and resilient scheme for data protection in unattended wireless sensor networks. - Katarzyna Kapusta; Gérard Memmi; Hassan Noura 001 (CSNet, 2017)

Experimental energy profiling of energy-critical embedded applications. - Kameswar Rao Vaddina; Florian Brandner; Gérard Memmi; Pierre Jouvelot (SoftCOM, 2017)

Modeling the energy consumption of programs: Thermal aspects and energy/frequency convexity rule (invited paper). - Karel De Vogeleer; Kameswar Rao Vaddina; Florian Brandner; Pierre Jouvelot; Gérard Memmi (WCSP, 2017)

Data protection by means of fragmentation in various different distributed storage systems - a survey. - Katarzyna Kapusta; Gérard Memmi (CoRR, 2017)

An Efficient Keyless Fragmentation Algorithm for Data Protection. - Katarzyna Kapusta; Gérard Memmi; Hassan Noura 001 (CoRR, 2017)

Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors. - Karel De Vogeleer; Gérard Memmi; Pierre Jouvelot (Sustain. Comput. Informatics Syst., 2017)

Circular AON: A Very Fast Scheme to Protect Encrypted Data Against Key Exposure. - Katarzyna Kapusta; Gérard Memmi (CCS, 2018)

Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key Exposure. - Katarzyna Kapusta; Gérard Memmi (CSS, 2018)

A Dynamic Scalable Blockchain Based Communication Architecture for IoT. - Han Qiu 001; Meikang Qiu; Gérard Memmi; Zhong Ming 001; Meiqin Liu 001 (SmartBlock, 2018)

A Case Study for Practical Issues of DCT Based Bitmap Selective Encryption Methods. - Han Qiu 001; Nathalie Enfrin; Gérard Memmi (SSIC, 2018)

A Fast and Scalable Fragmentation Algorithm for Data Protection Using Multi-storage over Independent Locations. - Katarzyna Kapusta; Gérard Memmi (STM, 2018)

Enhancing Data Protection in a Distributed Storage Environment Using Structure-Wise Fragmentation and Dispersal of Encrypted Data. - Katarzyna Kapusta; Gérard Memmi (TrustCom/BigDataSE, 2018)

A Fast Fragmentation Algorithm For Data Protection In a Multi-Cloud Environment. - Katarzyna Kapusta; Gérard Memmi (CoRR, 2018)

PE-AONT: Partial Encryption combined with an All-or-Nothing Transform. - Katarzyna Kapusta; Gérard Memmi (CoRR, 2018)

How Carl Adam Petri Deeply Influenced My Understanding of Invariance and Parallelism. - Gérard Memmi (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments. - Katarzyna Kapusta; Han Qiu 001; Gérard Memmi (CSCloud/EdgeCom, 2019)

Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion. - Katarzyna Kapusta; Han Qiu 001; Gérard Memmi (INFOCOM Workshops, 2019)

Secure Data Sharing with Fast Access Revocation through Untrusted Clouds. - Katarzyna Kapusta; Han Qiu 001; Gérard Memmi (NTMS, 2019)

DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario. - Han Qiu 001; Qinkai Zheng; Meikang Qiu; Gérard Memmi (SmartCom, 2019)

Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networks. - Katarzyna Kapusta; Gérard Memmi; Hassan Noura 001 (Ann. des Télécommunications, 2019)

Multi-hop Data Fragmentation in Unattended Wireless Sensor Networks. - Keun Woo Lim; Katarzyna Kapusta; Gérard Memmi; Woo-Sung Jung (CoRR, 2019)

Circular All-Or-Nothing: Revisiting Data Protection Against Key Exposure. - Katarzyna Kapusta; Gérard Memmi; Matthieu Rambaud (CoRR, 2019)

Asymptotic Performance Analysis of Blockchain Protocols. - Antoine Durand; Elyes Ben Hamida; David Leporini; Gérard Memmi (CoRR, 2019)

Privacy-preserving Health Data Sharing for Medical Cyber-Physical Systems. - Han Qiu 001; Meikang Qiu; Meiqin Liu 001; Gérard Memmi (CoRR, 2019)

DC coefficient recovery for JPEG images in ubiquitous communication systems. - Han Qiu 001; Gérard Memmi; Xuan Chen; Jian Xiong 001 (Future Gener. Comput. Syst., 2019)

An efficient key distribution system for data fusion in V2X heterogeneous networks. - Han Qiu 001; Meikang Qiu; Zhihui Lu 002; Gérard Memmi (Inf. Fusion, 2019)

All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives. - Han Qiu 001; Katarzyna Kapusta; Zhihui Lu 002; Meikang Qiu; Gérard Memmi (Inf. Sci., 2019)

The StakeCube blockchain : Instantiation, Evaluation & Applications. - Antoine Durand; Guillaume Hébert; Khalifa Toumi; Gérard Memmi; Emmanuelle Anceaume (BCCA, 2020)

Revisiting Shared Data Protection Against Key Exposure. - Katarzyna Kapusta; Matthieu Rambaud; Gérard Memmi (AsiaCCS, 2020)

Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks. - Keun Woo Lim; Katarzyna Kapusta; Gérard Memmi; Woo-Sung Jung (GIoTS, 2020)

A Data Augmentation-Based Defense Method Against Adversarial Attacks in Neural Networks. - Yi Zeng 005; Han Qiu 001; Gérard Memmi; Meikang Qiu (ICA3PP (2), 2020)

ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain. - Xiao Wu; Han Qiu 001; Shuyi Zhang; Gérard Memmi; Keke Gai; Wei Cai 002 (INFOCOM Workshops, 2020)

Resisting Adversarial Examples via Wavelet Extension and Denoising. - Qinkai Zheng; Han Qiu 001; Tianwei Zhang 004; Gérard Memmi; Meikang Qiu; Jialiang Lu (SmartCom, 2020)

Investigating Image Applications Based on Spatial-Frequency Transform and Deep Learning Techniques. - Qinkai Zheng; Han Qiu 001; Gérard Memmi; Isabelle Bloch (CoRR, 2020)

Mitigating Advanced Adversarial Attacks with More Advanced Gradient Obfuscation Techniques. - Han Qiu 001; Yi Zeng 005; Qinkai Zheng; Tianwei Zhang 004; Meikang Qiu; Gérard Memmi (CoRR, 2020)

Secure Health Data Sharing for Medical Cyber-Physical Systems for the Healthcare 4.0. - Han Qiu 001; Meikang Qiu; Meiqin Liu 001; Gérard Memmi (IEEE J. Biomed. Health Informatics, 2020)

Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain. - Dongmin Son; Sawsan Al Zahr; Gérard Memmi (IEEE ICBC, 2021)

Adversarial Attacks Against Network Intrusion Detection in IoT Systems. - Han Qiu 001; Tian Dong; Tianwei Zhang 004; Jialiang Lu; Gérard Memmi; Meikang Qiu (IEEE Internet Things J., 2021)

Toward Secure and Efficient Deep Learning Inference in Dependable IoT Systems. - Han Qiu 001; Qinkai Zheng; Tianwei Zhang 004; Meikang Qiu; Gérard Memmi; Jialiang Lu (IEEE Internet Things J., 2021)

A User-Centric Data Protection Method for Cloud Storage Based on Invertible DWT. - Han Qiu 001; Hassan N. Noura; Meikang Qiu; Zhong Ming 001; Gérard Memmi (IEEE Trans. Cloud Comput., 2021)

Deep Residual Learning-Based Enhanced JPEG Compression in the Internet of Things. - Han Qiu 001; Qinkai Zheng; Gérard Memmi; Jialiang Lu; Meikang Qiu; Bhavani Thuraisingham (IEEE Trans. Ind. Informatics, 2021)

Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction. - Han Qiu 001; Qinkai Zheng; Mounira Msahli; Gérard Memmi; Meikang Qiu; Jialiang Lu (IEEE Trans. Intell. Transp. Syst., 2021)

The Devil Hides in the Model: Reviewing Blockchain and BFT Protocols. - Antoine Durand; Gérard Memmi (BLOCKCHAIN, 2022)

PE-AONT: Partial Encryption All or Nothing Transform. - Katarzyna Kapusta; Gérard Memmi (SECRYPT, 2022)

Short Note on Generating Sets for Semiflows. - Gérard Memmi (CoRR, 2022)

Public-attention-based Adversarial Attack on Traffic Sign Recognition. - Lijun Chi; Mounira Msahli; Gérard Memmi; Han Qiu 001 (CCNC, 2023)

Minimal Generating Sets for Semiflows. - Gérard Memmi (FORTE, 2023)

ATTA: Adversarial Task-transferable Attacks on Autonomous Driving Systems. - Qingjie Zhang; Maosen Zhang; Han Qiu 001; Tianwei Zhang 004; Mounira Msahli; Gérard Memmi (ICDM, 2023)

Designing a unique revision loop updating courses simultaneously on different MOOC platforms. - Ella Hamonic; Rémi Sharrock; Petra Bonfert-Taylor; Michael Goudzwaard; Gérard Memmi; Catherine Chow; Josh Meise (LWMOOCS, 2023)

Invariants and Home Spaces in Transition Systems and Petri Nets. - Gérard Memmi (CoRR, 2023)

Wangiri Fraud: Pattern Analysis and Machine-Learning-Based Detection. - Akshaya Ravi; Mounira Msahli; Han Qiu 001; Gérard Memmi; Albert Bifet; Meikang Qiu (IEEE Internet Things J., 2023)

Message from the Program Chairs; CSCloud2024. - Gérard Memmi; Han Qiu 001; Zakirul Alam (CSCloud, 2024)

Laser Shield: a Physical Defense with Polarizer against Laser Attacks on Autonomous Driving Systems. - Qingjie Zhang; Lijun Chi; Di Wang; Mounira Msahli; Gérard Memmi; Tianwei Zhang 004; Chao Zhang 008; Han Qiu 001 (DAC, 2024)

Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements. - Kameswar Rao Vaddina; Florian Brandner; Gérard Memmi; Pierre Jouvelot (SAMOS, 2024)

Home Spaces and Invariants to Analyze Parameterized Petri Nets. - Gérard Memmi (CoRR, 2024)

NFA: A neural factorization autoencoder based online telephony fraud detection. - Abdul Wahid; Mounira Msahli; Albert Bifet; Gérard Memmi (Digit. Commun. Networks, 2024)

NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment System. - Guillaume Quispe; Pierre Jouvelot; Gérard Memmi (ICBC, 2025)

Nicknames for Group Signatures. - Guillaume Quispe; Pierre Jouvelot; Gérard Memmi (STM, 2025)

Home Spaces and Semiflows for the Analysis of Parameterized Petri Nets. - Gérard Memmi (CoRR, 2025)