Morgan Magnin
Morgan Magnin
Professor of Computer Science, LS2N, École Centrale de Nantes, National Institute of Informatics
Verified email at ec-nantes.fr - Homepage
Title
Cited by
Cited by
Year
Romeo: A tool for analyzing time Petri nets
G Gardey, D Lime, M Magnin
International Conference on Computer Aided Verification, 418-423, 2005
1992005
Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
L Paulevé, M Magnin, O Roux
Transactions on computational systems biology xiii, 171-191, 2011
452011
Static analysis of biological regulatory networks dynamics using abstract interpretation
L PAULEVÉ, M Magnin, O Roux
Mathematical Structures in Computer Science 22 (4), 651, 2012
442012
Sufficient conditions for reachability in automata networks with priorities
M Folschette, L Paulevé, M Magnin, O Roux
Theoretical Computer Science 608, 66-83, 2015
192015
Learning delayed influences of biological systems
T Ribeiro, M Magnin, K Inoue, C Sakama
Frontiers in bioengineering and biotechnology 2, 81, 2015
192015
Concretizing the process hitting into biological regulatory networks
M Folschette, L Paulevé, K Inoue, M Magnin, O Roux
International Conference on Computational Methods in Systems Biology, 166-186, 2012
172012
Tuning temporal features within the stochastic π-calculus
L Pauleve, M Magnin, O Roux
IEEE Transactions on Software Engineering 37 (6), 858-871, 2010
152010
Symbolic state space of stopwatch Petri nets with discrete-time semantics (theory paper)
M Magnin, D Lime
International Conference on Applications and Theory of Petri Nets, 307-326, 2008
142008
Abstract Interpretation of Dynamics of Biological Regulatory Networks
L Paulevé, M Magnin, O Roux
Electronic Notes in Theoretical Computer Science 272, 43-56, 2011
122011
Exhaustive analysis of dynamical properties of biological regulatory networks with answer set programming
EB Abdallah, M Folschette, O Roux, M Magnin
2015 IEEE international conference on bioinformatics and biomedicine (BIBM …, 2015
112015
Under-approximation of reachability in multivalued asynchronous networks
M Folschette, L Paulevé, M Magnin, O Roux
Electronic Notes in Theoretical Computer Science 299, 33-51, 2013
112013
Modeling of Genetic Regulatory Network in Stochastic π-Calculus
M Maurin, M Magnin, O Roux
International Conference on Bioinformatics and Computational Biology, 282-294, 2009
102009
Réseaux de Petri à chronomètres: temps dense et temps discret
M Magnin
Nantes, 2007
102007
An efficient method for computing exact state space of Petri nets with stopwatches
M Magnin, D Lime
Electronic Notes in Theoretical Computer Science 144 (3), 59-77, 2006
102006
Formalization of resilience for constraint-based dynamic systems
N Schwind, M Magnin, K Inoue, T Okimoto, T Sato, K Minami, ...
Journal of Reliable Intelligent Environments 2 (1), 17-35, 2016
92016
Learning multi-valued biological models with delayed influence from time-series observations
T Ribeiro, M Magnin, K Inoue, C Sakama
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
92015
Analyzing large network dynamics with process hitting
L Paulevé, C Chancellor, M Folschette, M Magnin, O Roux
92014
Identification of biological regulatory networks from process hitting models
M Folschette, L Paulevé, K Inoue, M Magnin, O Roux
Theoretical Computer Science 568, 49-71, 2015
82015
Tools for Model‐Checking Timed Systems
A David, G Behrmann, P Bulychev, J Byg, T Chatain, KG Larsen, ...
Communicating Embedded Systems: Software and Design: Formal Methods, 165-225, 2013
82013
Decidability, expressivity and state-space computation of Stopwatch Petri nets with discrete-time semantics
M Magnin, P Molinaro, OH Roux
2006 8th International Workshop on Discrete Event Systems, 33-38, 2006
82006
The system can't perform the operation now. Try again later.
Articles 1–20