Elisabetta De Maria

According to our database, Elisabetta De Maria authored at least 24 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems.

Florian Régin, Elisabetta De Maria

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain.

Elisabetta De Maria, Benjamin Lapijover, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

On the use of formal methods to model and verify neuronal archetypes.

Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont

Frontiers Comput. Sci., 2022

2021

Probabilistic model checking for human activity recognition in medical serious games.

Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

Sci. Comput. Program., 2021

Probabilistic Model Checking for Activity Recognition in Medical Serious Games.

Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Healthcare, 2021

2020

Spiking neural networks modelled as timed automata: with parameter learning.

Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa

Nat. Comput., 2020

Introduction to the JBCB special issue on CSBio 2019.

Elisabetta De Maria, Morgan Magnin

J. Bioinform. Comput. Biol., 2020

Computational Logic for Biomedicine and Neurosciences.

Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte

CoRR, 2020

Formal Methods for Systems Biology: Contributions.

Elisabetta De Maria

, 2020

2019

Introduction to JBCB Special Issue on BIOINFORMATICS 2019.

Elisabetta De Maria

J. Bioinform. Comput. Biol., 2019

Probabilistic Activity Recognition for Serious Games with Applications in Medicine.

Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018

A Model-checking Approach to Reduce Spiking Neural Networks.

Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata.

Elisabetta De Maria, Cinzia Di Giusto

Proceedings of the Biomedical Engineering Systems and Technologies, 2018

Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.

Elisabetta De Maria, Cinzia Di Giusto

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017

Modelling and Formal Verification of Neuronal Archetypes Coupling.

Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017

Formal Validation of Neural Networks as Timed Automata.

Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto

Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017

2016

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.

Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

2014

A Logical Framework for Systems Biology.

Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

2011

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.

Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman

Theor. Comput. Sci., 2011

2010

Computational Systems Biology in BIOCHAM.

François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman

ERCIM News, 2010

2009

Games on Strings with a Limited Order Relation.

Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.

Elisabetta De Maria, François Fages, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2006

An automaton-based approach to the verification of timed workflow schemas.

Elisabetta De Maria, Angelo Montanari, Marco Zantoni

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005

Checking Workflow Schemas with Time Constraints Using Timed Automata.

Elisabetta De Maria, Angelo Montanari, Marco Zantoni

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005