Scientific Activities

Book Editor

• Artificial Intelligence and Machine Learning for Edge Computing - Elsevier Book Series (2020-2021, ongoing)

Program Chair

• The 9th International Conference on Model and Data Engineering (MEDI 2019)

Guest Editor 

• Science of Computer Programming: Special issue of the 17th international symposium on Theoretical Aspects of Software Engineering (TASE 2023), Bristol, United Kingdom, https://bristolpl.github.io/tase2023/index.html.

• International Journal of Embedded Systems - Inderscience Publishers

Publication Chair 

• 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023), 2023, Bristol, United Kingdom https://bristolpl.github.io/tase2023/index.html.

Publicity Chair 

• The 24th International Conference on Formal Engineering Methods (ICFEM 2023), 2023, Brisbane, Australia, https://formal-analysis.com/icfem/2023/

Scientific Evaluation Committees

• Agence National de la Recherche (ANR 2016) 

Event Organizer

• The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy (Role: Workshop co-organiser)

• The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), INP Toulouse, France (Role: Local conference organiser, and web chair)

• The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France (Role: Workshop co-organiser)

• The 9th International Conference on Model and Data Engineering (MEDI 2019), INP Toulouse, France (Role: Local conference organiser, financial chair and web site administrator)

• The 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018), INP Toulouse, France (Role: Local workshop organiser)

• École jeunes chercheurs en programmation 2017 (EJCP 2017), INP Toulouse, France (Role: Local EJCP program co-organiser)

Technical Program Committee

• The 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024)

• 10th International Conference on Rigorous State-Based Methods (ABZ 2024)

• 7th International Conference on Signal Processing and Machine Learning (SPML 2024)

• 8th International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2024)

• The 5th International Conference on Information Systems and Software Technologies (ICI2ST 2024)

• International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2024)

• 17th Theoretical Aspects of Software Engineering Conference (TASE 2023)

• 9th International Conference on Rigorous State-Based Methods (ABZ 2023)

• The 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023)

• 6th International Conference on Signal Processing and Machine Learning (SPML 2023)

• 2nd International Workshop on Formal Engineering of Cyber-Physical Systems (FE-CPS 2023)

• 16th Theoretical Aspects of Software Engineering Conference (TASE 2022)

• The 11th International Conference on Model and Data Engineering (MEDI 2022)

• The 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2022)

• The 3rd International Conference on Information Systems and Software Technologies (ICI2ST 2022)

• 6th International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2022)

• 1st International Workshop on Formal Engineering of Cyber-Physical Systems (FE-CPS 2022)

• International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022)

• 5th International Conference on Signal Processing and Machine Learning (SPML 2022)

• The 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2021)

• IEEE International Conference on Smart Data Services (IEEE-SMDS 2021)

• The 10th International Conference on Model and Data Engineering (MEDI 2021)

• International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2021)

• 2021 4th International Conference on Signal Processing and Machine Learning (SPML 2021)

• 3rd ICSE Workshop on Software Engineering for Healthcare (Collocated to ICSE21)  (SEH 2021)

• 5th International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2021)

• International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2020)

• The 4th Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2020)

• 2020 3rd International Conference on Signal Processing and Machine Learning (SPML 2020)

• The IEEE International Conference on Smart Data Services (SMDS 2020) (formerly the IEEE Big Data Congress)

• 4th International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2020)

• 2nd International Workshop on Software Engineering for Healthcare (co-located with ICSA 2020)(SEH 2020)

• The 10th International Conference on Model and Data Engineering (MEDI 2020)

• The 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2019)

• The 10th International Conference on Model and Data Engineering (MEDI 2020)

• The 6th International Symposium on Big Data Principles, Architectures & Applications (BDAA 2019)

• The 5th IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2019)

• The 11th International Symposium on UbiSafe Computing (UbiSafe 2019)

• The 3nd Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2018) 

• The 9th International Conference on Model and Data Engineering (MEDI 2019)

• 2019 2nd International Conference on Signal Processing and Machine Learning (SPML 2019)

• Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019)

• 3rd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2019)

• 1st International Workshop on Software Engineering for Healthcare (co-located with ICSE 2019) (SEH 2019)

• IEEE International Congress on Big Data 2019 (BigData Congress 2019)

• The 2018 International Conference on Signal Processing and Machine Learning (SPML 2018)

• Workshop on Practical Formal Verification for Software Dependability (AFFORD 2018)

• The 18th IEEE International Conference on Computer and Information Technology (IEEE CIT-2018)

• 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2018)

• The 2nd Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2018)

• 21st Brazilian Symposium on Formal Methods (SBMF 2018)

• 9th EAI International Conference on Big Data Technologies and Applications (BDTA 2018)

• The 8th International Conference on Model and Data Engineering (MEDI 2018)

• The 2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2018) 

• The 16th International Conference on Software Engineering and Formal Methods (SEFM 2018)

• The IEEE 2018 7th International Congress on Big Data (BigData Congress 2018)

• Workshop on Practical Formal Verification for Software Dependability (AFFORD 2017)

• The 5th International Conference on Enterprise System (ES 2017)

• The 7th International Conference on Model and Data Engineering (MEDI 2017)

• The 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017) 

• 20th Brazilian Symposium on Formal Methods (SBMF 2017)

• The 1st Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2017)

• The 13th IEEE Colloquium on Signal Processing and its Applications (CSPA 2017)

• The 17th IEEE International Conference on Computer and Information Technology (IEEE CIT-2017)

• The 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017)

• Formal Verification for Practicing Engineers (FVPE 2016)

• 19th Brazilian Symposium on Formal Methods (SBMF 2016)

• The 6th International Conference on Model and Data Engineering (MEDI 2016)

• The 2nd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2016)

• International Conference on Cancer Diagnostic and Medical Treatment Approaches (ICCDMTA 2016)

• International Workshop on Software Engineering in Healthcare Systems (SEHS 2016)

• A Multidisciplinary View on Digital Support for Healthy Living and Self-management for Health (DIGITAL HEALTHY LIVING 2016)

• The 1st IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2015)

• Foundations of Health Information Engineering and Systems (FHIES 2012)

• 4th International workshop UML and Formal Methods (UML&FM 2011)

Regular Journal Referee

• ACM Transactions on Embedded Computing Systems

• Future Generation Computer Systems (FGCS)

• Formal Methods in System Design

• International Journal on Software Tools for Technology Transfer (STTT)

• Science of Computer Programming (SCP)(Certificate of Outstanding Contribution in Reviewing, June 2017, 2021)

• The Computer Journal Formal Aspects of Computing

• Journal of Software: Evolution Process

• Progress in Artificial Intelligence (PRAI)

• Transactions on Network Science and Engineering

• Journal of Information and Telecommunication

• Journal of Universal Computer Science

• Journal of Information Security and Applications

• Journal of Systems Architecture

• Oxford Journal

• Computer Standard & Interface

• Computer Languages, Systems and Structures

• IEEE Software

• IEEE Design & Test

• Simulation Modelling Practice and Theory

• International Journal of Intelligent Information and Database Systems

Conference Referee

• FM (2009, 2012, 2014, 2015, 2016, 2018, 2019), ICFEM (2009, 2010, 2011, 2012, 2014, 2015, 2018) SEFM (2010, 2018), ABZ (2010, 2014, 2023, 2024), iFM (2009, 2010, 2012, 2013, 2016, 2018), AFDL (2010), FHIES (2011, 2012), PSI(2011), B (2011), TASE(2012, 2013, 2020, 2021, 2022, 2023) , UML & FM(2012), ISoLA (2012), ICTAC (2013, 2015, 2016, 2019, 2020), ICECCS (2013, 2018, 2019, 2020, 2022, 2023, 2024), IEEE-SMDS (2021), MedicalCPS (2014), Model (2014), ASSURE (2014), DataCom (2015, 2016, 2017), MEMOCODE (2015), DIGITAL HEALTHY LIVING (2016), SEH (2016, 2019, 2020, 2021), EuroSPI (2016), MEDI (2016, 2017, 2018, 2019, 2021, 2022, 2023), FVPE (2016), SBMF (2016, 2017, 2018), CSPA (2017), IEEE-CIT (2017, 2018) , SCSS (2017), AFFORD (2017, 2018, 2019), Co-Sim-CPS (2017, 2018, 2019, 2020, 2022), ES (2017), FAACS (2017, 2018), MISP (2017), SCSS (2017), FMIS (2018), BDTA (2018), IEEE BigData (2018, 2019, 2020, 2021), SPML (2018, 2019, 2020, 2021, 2022, 2023, 2024), IWCFS (2018, 2019, 2020, 2021, 2022, 2023, 2024), UbiSafe (2019), SMDS (2020), FOSSACS (2019, 2020), IN4PL(2020, 2021, 2022, 2023, 2024),FE- CPS (2022, 2023), ICI2ST (2022,2023,2024).