Research

Member of the team MDSC of the laboratory I3S.

Main key-words related to my research activity:

Bioinformatics

Systems Biology

Biological Neural Networks

Formal Methods of Computer Science

Model Checking

Logic

Synchronous Languages

Timed Automata

Games Theory

Main publications (since 2011)

Editorial duties

Elisabetta De Maria, Morgan Magnin: Introduction to the JBCB special issue on CSBio 2019. Journal of Bioinformatics and Computational Biology 18 (3), World Scientific Publishing Europe Ltd, (2020).
Ana Cecília Roque, Arkadiusz Tomczyk, Elisabetta De Maria, Felix Putze, Roman Moucek, Ana L. N. Fred, and Hugo Gamboa: Biomedical Engineering Systems and Technologies - 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22-24, 2019, Revised Selected Papers. Communications in Computer and Information Science 1211, Springer, (2020).
Elisabetta De Maria, Ana L. N. Fred, and Hugo Gamboa: Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020) - Volume 3: BIOINFORMATICS, Valletta, Malta, February 24-26, 2020. SciTePress, (2020).
Elisabetta De Maria: Introduction to JBCB Special Issue on BIOINFORMATICS 2019. Journal of Bioinformatics and Computational Biology 17 (5), World Scientific Publishing Europe Ltd, (2019).
Elisabetta De Maria, Ana L. N. Fred, and Hugo Gamboa: Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 3: BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019. SciTePress, (2019).

Book Chapters

Elisabetta De Maria, Joëlle Despeyroux, Amy Felty, Pietro Lio, Carlos Olarte, and Abdorrahim Bahrami: Computational Logic for Systems Biology, Biomedicine, and Neuroscience. Accepted for publication as a chapter in an "ISTE-Wiley" book, (2020).
Elisabetta De Maria and Cinzia di Giusto: Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks modelled as Timed Automata. Biostec Revised Selected Papers. Communications in Computer and Information Science 1024, Springer, (2019).
Giovanni Ciatto, Elisabetta De Maria, and Cinzia di Giusto: Spiking Neural Networks as Timed Automata. Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB), EDP Sciences, (2017).

International Journals

Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont: On the Use of Formal Methods to Model and Verify Neuronal Archetypes. Accepted in the journal Frontiers of Computer Science, doi: 10.1007/s11704-020-0029-6 (2020). Lustre code available at https://redmine.i3s.unice.fr/projects/archetypes/repository.
Elisabetta De Maria, Cinzia Di Giusto, and Laetitia Laversa: Spiking neural networks modelled as timed automata: with parameter learning. Natural Computing, 1-21, https://doi.org/10.1007/s11047-019-09727-9, (2019).
Elisabetta De Maria, François Fages, Aurélien Rizk, and Sylvain Soliman: Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints. Theor. Comput. Sci. 412(21): 2108-2127, (2011).

International Conferences

Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, and Jean-Paul Rigault: Probabilistic activity recognition for serious games with applications in medicine. Proceedings of the Seventh International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'19), Springer, (2019).
Abdorrahim Bahrami, Elisabetta De Maria, and Amy Felty: Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq. Proceedings of 9th International Conference on Computational Systems Biology and Bioinformatics (CSBIO 2018), ACM, Article No. 12, 1-11, (2018).
Elisabetta De Maria and Cinzia Di Giusto: Parameter Learning for Spiking Neural Networks modelled as Timed Automata. Proceedings of 9th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2018), 17-28, (2018). Finalist paper for the Best Paper Award.
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau and Annie Ressouche: A Model-checking Approach to Reduce Spiking Neural Networks. Proceedings of 9th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2018), 89-96, (2018).
Elisabetta De Maria, Cinzia Di Giusto, and Giovanni Ciatto: Formal Validation of Neural Networks as Timed Automata. Proceedings of 8th International Conference on Computational Systems Biology and Bioinformatics (CSBIO 2017), ACM, 3-10, (2017).
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, and Franck Grammont: Modelling and Formal Verification of Neuronal Archetypes Coupling. Proceedings of 8th International Conference on Computational Systems Biology and Bioinformatics (CSBIO 2017), ACM, 3-10, (2017).
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, and Franck Grammont: Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. Proceedings of Hybrid Systems Biology (HSB 2016), LNCS 9957: 97-112, (2016).
Elisabetta De Maria, Joëlle Despeyroux, and Amy P. Felty: A Logical Framework for Systems Biology. Proceedings of Formal Methods in Macro-Biology (FMMB 2014), LNCS 8738: 136-155, (2014).