International (peer-reviewed) journals

L. Paulevé, M. Magnin, and O.F. Roux. Static analysis of biological regulatory networks dynamics using abstract interpretation. Mathematical Structures in Computer Science, in press, 2012.

L. Paulevé, M. Magnin, and O.F. Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic π- Calculus Framework. In Corrado Priami, Ralph-Johan Back, Ion Petre, and Erik de Vink, editors, Transactions on Computational Systems Biology XIII, volume 6575 of Lecture Notes in Computer Science, pages 171-191. Springer Berlin / Heidelberg, 2011.

L. Paulevé, M. Magnin, and O.F. Roux. Tuning Temporal Features within the Stochastic π-Calculus.IEEE Transactions on Software Engineering, 37(6):858-871, 2011.

M. Magnin, P. Molinaro and O.H. Roux.Expressiveness of Petri Nets with Stopwatches. Discrete-time part. Fundamenta Informaticae, 97(1-2):139-176, 2009.

M. Magnin, P. Molinaro and O.H. Roux. Expressiveness of Petri Nets with Stopwatches. Dense-time part. Fundamenta Informaticae, 97(1-2):111-138, 2009.

National (peer-reviewed) journals

M. Magnin, and G. Moreau. Utilisation des tests de concordance de scripts pour l’évaluation en informatique, Sciences et Technologies de l’Information et de la Communication pour l’Éducation et la Formation, Vol. 8, December 2011.

Book chapters

A. David, G. Behrmann, P. Bulychev, T. Chatain, K.G. Larsen, P. Pettersson, J. Rasmussen, W. Yi, D. Lime, M. Magnin, O. H. Roux and L.M. Traonouez. Tools for Model-Checking Timed Systems. In Communicating Embedded Systems – Software and Design, pages 165-225. ISTE Publishing / John Wiley, 2009.

A. David, G. Behrmann, K.G. Larsen, P. Pettersson, J. Rasmussen, W. Yi, D. Lime, M. Magnin and O. H. Roux. Outils pour l’analyse des modèles temporisés. In Approches formelles des systèmes embarqués communicants. Traité IC2, Hermes Lavoisier, 34 pages, 2008.

International (peer-reviewed) conferences

M. Magnin, G. Moreau, N. Varoquaux, B. Vialle, K. Reid, M. Conley and S. Gehwolf. MarkUs, an open-source web application to annotate student papers on-line. Proceedings of the ASME 11th Biennial Conference On Engineering Systems Design And Analysis (ESDA 2012). July 2012, Nantes France.

C. Evain, S. Carolan and M. Magnin. Promoting science and engineering to Generation Z. Proceedings of the ASME 11th Biennial Conference On Engineering Systems Design And Analysis (ESDA 2012). July 2012, Nantes France.

L. Paulevé, M. Magnin, and O.F. Roux. Abstract Interpretation of Dynamics of Biological Regulatory Networks. Electronic Notes in Theoretical Computer Science, 272:43-56, 2011. Proceedings of The First International Workshop on Static Analysis and Systems Biology (SASB 2010).

M. Maurin, M. Magnin and O.F. Roux. Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. In the 1st International Conference on Bioinformatics and Computional Biology (BiCob 2009 – taux d’acceptation : 41.7%), vol. 5462 of Lecture Notes in Computer Science, pp. 282-294, New Orleans, USA, April 2009.

M. Magnin, D. Lime, and O.H. Roux. Symbolic state space of stopwatch Petri nets with discrete-time semantics. In The 29th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN 2008 – taux d’acceptation : 29%), volume 5062 of Lecture Notes in Computer Science, pages 307-326, Xi’an, China, June 2008. Springer.

M. Magnin, P. Molinaro and O.H. Roux. Decidability, expressivity and state-space computation of Stopwatch Petri nets with discrete-time semantics. In the 8th International Workshop on Discrete Event Systems (WODES 2006), Ann Arbor, USA, july 2006.

M. Magnin, D. Lime and O.H. Roux. An efficient method for computing exact state space of Petri nets with stopwatches. In the 3rd International Workshop on Software Model-Checking (SoftMC 2005), Edinburgh, Scotland, UK, july 2005. Elsevier. [présentation]

G. Gardey, D. Lime, M. Magnin and O.H. Roux. Roméo: A Tool for Analyzing Time Petri Nets. In the 17th International Conference on Computer-Aided Verification (CAV 2005), Edinburgh, Scotland, UK, july 2005. Copyright Springer-Verlag

National (peer-reviewed) conferences

M. Magnin and G. Moreau. La professionnalisation des étudiants en informatique par les projets libres. Colloque Questions de pédagogie dans l’enseignement supérieur (QPES 2011), 6 pages, Angers, Juin 2011. [présentation]

M. Magnin and G. Moreau. Utilisation des Tests de Concordance de Scripts pour l’évaluation en informatique. Communication scientifique (ComSci – taux d’acceptation : 24%). In the 7ème Colloque International Technologies de l’Information et de la Communication pour l’Enseignement (TICE), 8 pages, Nancy-Metz, Décembre 2010. [présentation]

C. Evain, M. Magnin and G. Moreau. Diffuser les bonnes pratiques autour de l’usage des blogs en pédagogie. Retour d’Expérience (ReX – taux d’acceptation : 71%). In the 7ème Colloque International Technologies de l’Information et de la Communication pour l’Enseignement (TICE), 8 pages, Nancy-Metz, Décembre 2010. [présentation]

M. Magnin and G. Moreau. Retour sur l’usage de Tablet PC à l’Ecole Centrale de Nantes : autonomie et initiatives. Retour d’Expérience (ReX – taux d’acceptation : 71%). In the 7ème Colloque International Technologies de l’Information et de la Communication pour l’Enseignement (TICE), 8 pages, Nancy-Metz, Décembre 2010. [présentation]

C. Seidner, JP. Lerat, O.H. Roux and M. Magnin. Vérification dynamique et formelle d’un système décrit par son architecture fonctionnelle à l’aide de réseaux de Petri temporels : promesses et perspectives. In the 4th AFIS Conference, may 2006, Toulouse, France.

Awards

Special mention prize at the third “Trophées des Technologies Educatives” at the french Educatec-Educatice 2011 event, with Guillaume Moreau, Nelle Varoquaux and Benjamin Vialle for the project “MarkUs, an application to manage and grade students’ papers on-line“.

Recipient of the HP Technology for Teaching Grant in 2008, with Guillaume Moreau and Stéphane Tichadou, for the project  ”Most complex systems are designed with simplest tools” about the use of Tablets PC to improve pedagogy at Centrale Nantes. Our project has been rewarded with a prize for our institution, consisting in 100 000 $ (including 21 Tablet PCs and a financial prize).

Invited course

• Modélisation du temps pour la vérification des systèmes dynamiques (joint course with Damien Eveillard and Olivier (F.) Roux). École Jeunes Chercheurs en Informatique Mathématique 2012, Rennes, France, Mars 2012.

Invited talks

• Modèles pour l’inférence des paramètres temporels et stochastiques des réseaux de régulation biologiques (joint work with Loïc Paulevé and Olivier (F.) Roux). Séminaire à l’I3S, Nice, France, novembre 2009.
• À la recherche de méthodes efficaces pour la vérification de réseaux de Petri à chronomètres en temps discret (joint work with Didier Lime, Pierre Molinaro et Olivier (H.) Roux). Séminaire au LSV, Cachan, France, mai 2008.
• Méthode symbolique pour le calcul de l’espace d’états des réseaux de Petri à chronomètres en temps discret (joint work with Didier Lime, Pierre Molinaro et Olivier (H.) Roux). Séminaire aux journées STP du GDR MACS, Roanne, France, mars 2008.
• À la recherche de méthodes efficaces pour la vérification de réseaux de Petri à chronomètres en temps discret (joint work with Didier Lime, Pierre Molinaro et Olivier (H.) Roux). Séminaire au LISTIC, Annecy, France, mars 2008.
•  Time Petri nets with stopwatches: discrete-time or dense-time? (joint work with Didier Lime, Pierre Molinaro et Olivier (H.) Roux) Séminaire au LaBRI, Bordeaux, France, octobre 2006.

Technical reports

L. Paulevé, M. Magnin, and O.F. Roux. Refining Dynamics of Gene Regulatory Networks in a Stochastic pi-Calculus Framework. Research Report hal-00397235, June 2009.

L. Paulevé, M. Magnin, and O.F. Roux. Tuning Temporal Features within the Stochastic pi-Calculus. Research Report hal-00397308, June 2009.

M. Magnin, P. Molinaro and O.H. Roux. How to deal efficiently with Petri nets with stopwatches in discrete-time? IRCCyN Technical report number R2006_1, 2006.

M. Magnin, D. Lime and O.H. Roux. Improved algorithm for computing exact state space of Petri nets with stopwatches. IRCCyN Technical report number R2005_15, 2005.

Other

Theses

• M. Magnin. Réseaux de Petri à chronomètres : temps dense et temps discret. PhD thesis, defended December, 13th 2007, École Centrale de Nantes, France.
• M. Magnin. Vérification de réseaux de Petri temporels étendus à l’aide de polyèdres. Master thesis, defended in September 2004, Ecole Centrale de Nantes, France.

Talks

• M. Magnin et G. Moreau. Quel intérêt pour les réseaux sociaux en pédagogie ? Matinée du e-Learning à l’EM Lyon, Lyon, Février 2012.
• M. Magnin, G. Moreau, N. Varoquaux et B. Vialle. Développement de modules au sein des logiciels libres OpenOffice.org et MarkUs à l’École Centrale de Nantes. Journée Logiciels Libres et Enseignement Supérieur à l’INRIA-IRILL. Paris, Février 2012.
• B. Vialle, M. Magnin et G. Moreau. MarkUs, un logiciel libre pour l’annotation du code et des travaux rendus par les étudiants en informatique. Journée Syntec-Ingénierie « Les pratiques pédagogiques qui forment l’ingénieur innovant ». Paris, Septembre 2011.
• M. Magnin et G. Moreau. Un nouvel outil pour l’évaluation des compétences des étudiants : les tests de concordance de scripts. Journée Syntec-Ingénierie « Les pratiques pédagogiques qui forment l’ingénieur innovant ». Paris, Septembre 2011.
• M. Magnin et G. Moreau. Quel intérêt pour les réseaux sociaux en pédagogie ? Usage de Twitter à l’École Centrale de Nantes. Journée Syntec-Ingénierie « Les pratiques pédagogiques qui forment l’ingénieur innovant ». Paris, Septembre 2011.
• M. Magnin. Quel intérêt pour les réseaux sociaux en pédagogie ? Exposé au groupe Fuscia Social Learning. Juillet 2011.
• M. Magnin, C. Delafargue, G. Moreau, N. Varoquaux et B. Vialle. Retour d’expérience sur le déploiement à Centrale Nantes d’une application web d’annotation du code des étudiants : MarkUs. 12e Rencontres Mondiales du Logiciel Libre. Strasbourg, juillet 2011.
• B.Vialle, N. Varoquaux, C. Delafargue et M. Magnin. Contribution des Étudiants de l’École Centrale de Nantes à MarkUs, un projet libre. 12e Rencontres Mondiales du Logiciel Libre. Strasbourg, juillet 2011.
• C. Delafargue, M. Magnin, N. Varoquaux et B. Vialle. Développement du module d’annotation dans Office Impress. 12e Rencontres Mondiales du Logiciel Libre. Strasbourg, juillet 2011.
• C. Delafargue, M. Magnin, N. Varoquaux et B. Vialle. Le cercle vertueux de la participation d’étudiants à des projets libres. 12e Rencontres Mondiales du Logiciel Libre. Strasbourg, juillet 2011.
• M. Magnin, G. Moreau et B. Vialle. MarkUs, un logiciel libre pour l’annotation du code et des travaux rendus par les étudiants en informatique. Séminaire Vivaldi. Le Mans, Avril 2011.
• M. Magnin, G. Moreau et B. Vialle. Le Tablet PC : l’alliance de l’écriture manuscrite avec les fonctionnalités du numérique au service d’un cartable électronique. Séminaire Vivaldi. Le Mans, Avril 2011.
• C. Colin, S. Lorenzo, M. Magnin et G. Moreau. Un nouvel outil pour l’évaluation des compétences des étudiants : les tests de concordance de scripts. Séminaire Vivaldi. Le Mans, Avril 2011.
• M. Magnin. Usage de l’iPad en enseignement et en apprentissage. Réunion des correspondants TICE de la CRGE Pays de la Loire, Angers, France, juin 2010.
• M. Magnin and G. Moreau. Un nouvel outil pour l’évaluation des compétences en informatique dans une démarche compétence : les tests de concordance de scripts. Réunion des correspondants TICE de la CRGE Pays de la Loire, Angers, France, juin 2010.
• Interview lors du 1er Printemps de l’Enseignement et de l’Apprentissage de Morgan Magnin : Des Tablets PC à l’École Centrale de Nantes. Nantes, France, mai 2010.
• M. Magnin and G. Moreau. Tablets PC à Centrale Nantes : bilan d’une année d’utilisation. Assemblée Générale des enseignants de l’École Centrale de Nantes, France, septembre 2009.
• M. Magnin. Réseaux sociaux et pédagogie. Réunion des correspondants TICE de la CRGE Pays de la Loire, Nantes, France, octobre 2009.
• M. Magnin, Eric Bachard. Enjeux et recommandations pour la contributions d’étudiants en informatique dans les projets libres. Rencontres Mondiales du Logiciel Libre, Nantes, France, juillet 2009.
• M. Magnin. Tests de concordance de scripts. Réunion des correspondants TICE du groupe des École Centrale, Nantes, France, juin 2009.
• M. Magnin. Intervenant au 9ème Festival International de Science-Fiction : Le savoir en réseaux. Cité Internationale des Congrès de Nantes, France, octobre 2008.
• M. Magnin. Intervenant à la 5ème Matinée du CRITE : L’enseignant au cœur de la collaboration avec une équipe pluridisciplinaire de production. École des Mines de Nantes, France, janvier 2006.

Posters

• M. Magnin and G. Moreau. Most complex systems with simplest tools. Poster for the HP Technology for Teaching Worldwide Education conference, San Diego, February 2009.
• M. Magnin. Comment vérifier a priori le bon fonctionnement des systèmes électroniques et informatiques dans une voiture ? Poster pour une exposition grand public aux Champs Libres de Rennes, Rennes, France, mai 2006.
• M. Magnin, J-P. Elloy, P. Molinaro and O.H. Roux. Why discrete-time Petri nets with stopwatches ? Poster for the 6th PhD Students JDOC meetings, St Nazaire, april 2006.

Medias