Elisabetta De Maria

41 papers A* 1A 1B 2C 1Misc 1Journal 15Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Probabilistic Model-Checking Framework for Cognitive Assessment and Training.
CoRR
Elisabetta De Maria, Christopher Leturc
2025 — conf
A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training.
BIOSTEC (2): HEALTHINF
Elisabetta De Maria, Christopher Leturc
2025 A* conf
Large Language Model Meets Constraint Propagation.
IJCAI
Alexandre Bonlarron, Florian Régin, Elisabetta De Maria, Jean-Charles Régin
2025 J jnl
Large Language Model Meets Constraint Propagation.
CoRR
Alexandre Bonlarron, Florian Régin, Elisabetta De Maria, Jean-Charles Régin
2025 J jnl
Modelling and Verifying Neuronal Archetypes in Coq.
CoRR
Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria, Amy P. Felty
2025 — conf
Probabilistic Modeling and Verification of an Adaptive VR Serious Game for Patients with Cognitive Impairment.
AIME (2)
Alessandro Forgiarini, Elisabetta De Maria, Fabio Buttussi
2025 J jnl
Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification.
CoRR
Zhen Yao, Elisabetta De Maria, Robert de Simone
2025 — conf
Probabilistic Spiking Neural Networks: Formal Verification and Simulation.
UCNC
Zhen Yao, Elisabetta De Maria, Robert de Simone
2024 A conf
Combining Constraint Programming Reasoning with Large Language Model Predictions.
CP
Florian Régin, Elisabetta De Maria, Alexandre Bonlarron
2024 J jnl
Combining Constraint Programming Reasoning with Large Language Model Predictions.
CoRR
Florian Régin, Elisabetta De Maria, Alexandre Bonlarron
2024 B conf
Generative Constraint Programming Revisited.
ICTAI
Florian Régin, Elisabetta De Maria
2023 — conf
A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain.
BIOINFORMATICS
Elisabetta De Maria, Benjamin Lapijover, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault
2023 B conf
Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems.
ICTAI
Florian Régin, Elisabetta De Maria
2022 J jnl
On the use of formal methods to model and verify neuronal archetypes.
Frontiers Comput. Sci.
Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
2021 — ed.
Biomedical Engineering Systems and Technologies - 13th International Joint Conference, BIOSTEC 2020, Valletta, Malta, February 24-26, 2020, Revised Selected Papers
BIOSTEC (Selected Papers)
Xuesong Ye, Filipe Soares, Elisabetta De Maria, Pedro Gómez-Vilda, Federico Cabitza, Ana Fred, Hugo Gamboa
2021 — conf
Probabilistic Model Checking for Activity Recognition in Medical Serious Games.
SEH@ICSE
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault
2021 J jnl
Probabilistic model checking for human activity recognition in medical serious games.
Sci. Comput. Program.
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault
2020 — ed.
Biomedical Engineering Systems and Technologies - 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22-24, 2019, Revised Selected Papers
BIOSTEC (Selected Papers)
Ana Cecília Roque, Arkadiusz Tomczyk, Elisabetta De Maria, Felix Putze, Roman Moucek, Ana Fred, Hugo Gamboa
2020 J jnl
Computational Logic for Biomedicine and Neurosciences.
CoRR
Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte
2020 — book
Formal Methods for Systems Biology: Contributions.
Elisabetta De Maria
2020 J jnl
Introduction to the JBCB special issue on CSBio 2019.
J. Bioinform. Comput. Biol.
Elisabetta De Maria, Morgan Magnin
2020 — ed.
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020) - Volume 3: BIOINFORMATICS, Valletta, Malta, February 24-26, 2020.
BIOINFORMATICS
Elisabetta De Maria, Ana Fred, Hugo Gamboa
2020 J jnl
Spiking neural networks modelled as timed automata: with parameter learning.
Nat. Comput.
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
2019 J jnl
Introduction to JBCB Special Issue on BIOINFORMATICS 2019.
J. Bioinform. Comput. Biol.
Elisabetta De Maria
2019 — conf
Probabilistic Activity Recognition for Serious Games with Applications in Medicine.
FTSCS
Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault
2019 — ed.
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.
BIOINFORMATICS
Elisabetta De Maria, Ana L. N. Fred, Hugo Gamboa
2018 — conf
A Model-checking Approach to Reduce Spiking Neural Networks.
BIOINFORMATICS
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche
2018 — conf
Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata.
BIOSTEC (Selected Papers)
Elisabetta De Maria, Cinzia Di Giusto
2018 — conf
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.
BIOINFORMATICS
Elisabetta De Maria, Cinzia Di Giusto
2018 J jnl
Spiking Neural Networks modelled as Timed Automata with parameter learning.
CoRR
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
2017 — conf
Formal Validation of Neural Networks as Timed Automata.
CSBio
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
2017 — conf
Modelling and Formal Verification of Neuronal Archetypes Coupling.
CSBio
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
2016 — conf
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.
HSB
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
2014 — conf
A Logical Framework for Systems Biology.
FMMB
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
2014 J jnl
A Logical Framework for Systems Biology.
CoRR
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
2011 J jnl
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.
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
2010 J jnl
Computational Systems Biology in BIOCHAM.
ERCIM News
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
2009 Misc conf
Games on Strings with a Limited Order Relation.
LFCS
Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna
2009 — conf
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.
CMSB
Elisabetta De Maria, François Fages, Sylvain Soliman
2006 C conf
An automaton-based approach to the verification of timed workflow schemas.
TIME
Elisabetta De Maria, Angelo Montanari, Marco Zantoni
2005 — conf
Checking Workflow Schemas with Time Constraints Using Timed Automata.
OTM Workshops
Elisabetta De Maria, Angelo Montanari, Marco Zantoni