Morgan Magnin
Morgan Magnin
Professor of Computer Science, LS2N, École Centrale de Nantes, National Institute of Informatics
Dirección de correo verificada de ec-nantes.fr - Página principal
Título
Citado por
Citado por
Año
Romeo: A tool for analyzing time Petri nets
G Gardey, D Lime, M Magnin
International Conference on Computer Aided Verification, 418-423, 2005
1972005
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
422012
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
422011
Sufficient conditions for reachability in automata networks with priorities
M Folschette, L Paulevé, M Magnin, O Roux
Theoretical Computer Science 608, 66-83, 2015
182015
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
162012
Learning delayed influences of biological systems
T Ribeiro, M Magnin, K Inoue, C Sakama
Frontiers in bioengineering and biotechnology 2, 81, 2015
152015
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
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
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
72015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20