Morgan Magnin

According to our database, Morgan Magnin authored at least 44 papers between 2005 and 2023.

Collaborative distances:

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

2023

Reachability Analysis of a Class of Hybrid Gene Regulatory Networks.

Honglu Sun, Maxime Folschette, Morgan Magnin

Proceedings of the Reachability Problems - 17th International Conference, 2023

Condition for Periodic Attractor in 4-Dimensional Repressilators.

Honglu Sun, Maxime Folschette, Morgan Magnin

Proceedings of the Computational Methods in Systems Biology, 2023

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Computational Methods in Systems Biology, 2023

Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks.

Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin

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

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

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

2022

Learning any memory-less discrete semantics for dynamical systems represented by logic programs.

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue

Mach. Learn., 2022

Diagnosis of Event Sequences with LFIT.

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue

Proceedings of the Inductive Logic Programming - 31st International Conference, 2022

Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks.

Honglu Sun, Maxime Folschette, Morgan Magnin

Proceedings of the Computational Methods in Systems Biology, 2022

2020

Introduction to the JBCB special issue on CSBio 2019.

Elisabetta De Maria, Morgan Magnin

J. Bioinform. Comput. Biol., 2020

Static Analysis and Stochastic Search for Reachability Problem.

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

2018

A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks.

Xinwei Chai, Morgan Magnin, Olivier H. Roux

CoRR, 2018

Learning Dynamics with Synchronous, Asynchronous and General Semantics.

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue

Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

2017

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks.

Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin

Algorithms Mol. Biol., 2017

Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data.

Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue

Algorithms, 2017

Inductive Learning from State Transitions over Continuous Domains.

Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

2016

Formalization of resilience for constraint-based dynamic systems.

Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama

J. Reliab. Intell. Environ., 2016

Analyzing resilience properties in oscillatory biological systems using parametric model checking.

Alexander Andreychenko, Morgan Magnin, Katsumi Inoue

Biosyst., 2016

Inference of Delayed Biological Regulatory Networks from Time Series Data.

Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue

Proceedings of the Computational Methods in Systems Biology, 2016

Contributions à l'élaboration de connaissances qualitatives en bio-informatique. (Contributions to the elaboration of qualitative knowledge in bioinformatics).

Morgan Magnin

, 2016

2015

Analyses statiques de la dynamique des réseaux d'automates indéterministes.

Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier F. Roux

Tech. Sci. Informatiques, 2015

Sufficient conditions for reachability in automata networks with priorities.

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Theor. Comput. Sci., 2015

Identification of biological regulatory networks from Process Hitting models.

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux

Theor. Comput. Sci., 2015

Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions.

Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto

Entropy, 2015

Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets, Supplementary Information.

Alexander Andreychenko, Morgan Magnin, Katsumi Inoue

CoRR, 2015

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations.

Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Towards the Effective Use of Available Educational Resources: Designing Adaptive Hypermedia Environments for the Engineering Sciences.

Simon Carolan, Guillaume Moreau, Morgan Magnin, Francisco Chinesta

Proceedings of the 15th IEEE International Conference on Advanced Learning Technologies, 2015

Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets.

Alexander Andreychenko, Morgan Magnin, Katsumi Inoue

Proceedings of the Computational Methods in Systems Biology, 2015

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming.

Emna Ben Abdallah, Maxime Folschette, Olivier F. Roux, Morgan Magnin

Proceedings of the 2015 IEEE International Conference on Bioinformatics and Biomedicine, 2015

2014

Extracting Domain Ontologies from Reference Books.

Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau

Proceedings of the IEEE 14th International Conference on Advanced Learning Technologies, 2014

2013

Under-approximation of Reachability in Multivalued Asynchronous Networks.

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Towards Augmented Learning in Science and Engineering in Higher Education.

Simon Carolan, Francisco Chinesta, Christine Evain, Morgan Magnin, Guillaume Moreau

Proceedings of the IEEE 13th International Conference on Advanced Learning Technologies, 2013

Linking Discrete and Stochastic Models: The Chemical Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition.

Courtney Chancellor, Amine Ammar, Francisco Chinesta, Morgan Magnin, Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2012

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Math. Struct. Comput. Sci., 2012

Concretizing the Process Hitting into Biological Regulatory Networks.

Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Tuning Temporal Features within the Stochastic π-Calculus.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

IEEE Trans. Software Eng., 2011

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Trans. Comp. Sys. Biology, 2011

2010

Abstract Interpretation of Dynamics of Biological Regulatory Networks.

Loïc Paulevé, Morgan Magnin, Olivier F. Roux

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010

2009

Expressiveness of Petri Nets with Stopwatches. Discrete-time Part.

Morgan Magnin, Pierre Molinaro, Olivier H. Roux

Fundam. Informaticae, 2009

Expressiveness of Petri Nets with Stopwatches. Dense-time Part.

Morgan Magnin, Pierre Molinaro, Olivier H. Roux

Fundam. Informaticae, 2009

Modeling of Genetic Regulatory Network in Stochastic pi-Calculus.

Mylène Maurin, Morgan Magnin, Olivier H. Roux

Proceedings of the Bioinformatics and Computational Biology, 2009

2008

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).

Morgan Magnin, Didier Lime, Olivier H. Roux

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2005

An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches.

Morgan Magnin, Didier Lime, Olivier H. Roux

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Romeo: A Tool for Analyzing Time Petri Nets.

Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux

Proceedings of the Computer Aided Verification, 17th International Conference, 2005