Checking Workflow Schemas with Time Constraints Using Timed Automata. - Elisabetta De Maria; Angelo Montanari; Marco Zantoni (OTM Workshops, 2005)

An automaton-based approach to the verification of timed workflow schemas. - Elisabetta De Maria; Angelo Montanari; Marco Zantoni (TIME, 2006)

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. - Elisabetta De Maria; François Fages; Sylvain Soliman (CMSB, 2009)

Games on Strings with a Limited Order Relation. - Elisabetta De Maria; Angelo Montanari; Nicola Vitacolonna (LFCS, 2009)

Computational Systems Biology in BIOCHAM. - François Fages; Grégory Batt; Elisabetta De Maria; Dragana Jovanovska; Aurélien Rizk; Sylvain Soliman (ERCIM News, 2010)

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)

A Logical Framework for Systems Biology. - Elisabetta De Maria; Joëlle Despeyroux; Amy P. Felty (FMMB, 2014)

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. - Elisabetta De Maria; Alexandre Muzy; Daniel Gaffé; Annie Ressouche; Franck Grammont (HSB, 2016)

Formal Validation of Neural Networks as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto; Giovanni Ciatto (CSBio, 2017)

Modelling and Formal Verification of Neuronal Archetypes Coupling. - Elisabetta De Maria; Thibaud L'Yvonnet; Daniel Gaffé; Annie Ressouche; Franck Grammont (CSBio, 2017)

Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto (BIOINFORMATICS, 2018)

Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto (BIOSTEC (Selected Papers), 2018)

A Model-checking Approach to Reduce Spiking Neural Networks. - Elisabetta De Maria; Daniel Gaffé; Cédric Girard Riboulleau; Annie Ressouche (BIOINFORMATICS, 2018)

Probabilistic Activity Recognition for Serious Games with Applications in Medicine. - Elisabetta De Maria; Thibaud L'Yvonnet; Sabine Moisan; Jean-Paul Rigault (FTSCS, 2019)

Introduction to JBCB Special Issue on BIOINFORMATICS 2019. - Elisabetta De Maria (J. Bioinform. Comput. Biol., 2019)

Formal Methods for Systems Biology: Contributions. - Elisabetta De Maria (2020)

Computational Logic for Biomedicine and Neurosciences. - Abdorrahim Bahrami; Elisabetta De Maria; Joëlle Despeyroux; Amy P. Felty; Pietro Lió; Carlos Olarte (CoRR, 2020)

Introduction to the JBCB special issue on CSBio 2019. - Elisabetta De Maria; Morgan Magnin (J. Bioinform. Comput. Biol., 2020)

Spiking neural networks modelled as timed automata: with parameter learning. - Elisabetta De Maria; Cinzia Di Giusto; Laetitia Laversa (Nat. Comput., 2020)

Probabilistic Model Checking for Activity Recognition in Medical Serious Games. - Thibaud L'Yvonnet; Elisabetta De Maria; Sabine Moisan; Jean-Paul Rigault (SEH@ICSE, 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)

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)

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 (BIOINFORMATICS, 2023)

Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems. - Florian Régin; Elisabetta De Maria (ICTAI, 2023)

Combining Constraint Programming Reasoning with Large Language Model Predictions. - Florian Régin; Elisabetta De Maria; Alexandre Bonlarron (CP, 2024)

Generative Constraint Programming Revisited. - Florian Régin; Elisabetta De Maria (ICTAI, 2024)

Probabilistic Modeling and Verification of an Adaptive VR Serious Game for Patients with Cognitive Impairment. - Alessandro Forgiarini; Elisabetta De Maria; Fabio Buttussi (AIME (2), 2025)

A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training. - Elisabetta De Maria; Christopher Leturc (BIOSTEC (2): HEALTHINF, 2025)

Modelling and Verifying Neuronal Archetypes in Coq. - Abdorrahim Bahrami; Rébecca Zucchini; Elisabetta De Maria; Amy P. Felty (CoRR, 2025)

Large Language Model Meets Constraint Propagation. - Alexandre Bonlarron; Florian Régin; Elisabetta De Maria; Jean-Charles Régin (CoRR, 2025)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification. - Zhen Yao; Elisabetta De Maria; Robert de Simone (CoRR, 2025)