Matthieu Manceny

According to our database, Matthieu Manceny authored at least 13 papers between 2006 and 2015.

Collaborative distances:

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

2015

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa.

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini

Tech. Sci. Informatiques, 2015

Using collaborative filtering to enhance domain-independent CBR recommender's personalization.

Jihane Karim, Matthieu Manceny, Raja Chiky, Michel Manago, Marie-Aude Aufaure

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

2014

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking.

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An LTL Model Checking Approach for Biological Parameter Inference.

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Programming Robots with Events.

Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Using Event-Based Style for Developing M2M Applications.

Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

2012

Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming.

Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Dynamic Adaptation through Event Reconfiguration.

Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

2009

Spatial Information and Boolean Genetic Regulatory Networks.

Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès

Proceedings of the Bioinformatics and Computational Biology, 2009

2007

Modélisation des systèmes biologiques par la théorie des réseaux de jeux.

Chafika Chettaoui, Matthieu Manceny, Michel Malo, Franck Delaplace

Tech. Sci. Informatiques, 2007

Games network and application to PAs system.

Chafika Chettaoui, Franck Delaplace, Matthieu Manceny, Michel Malo

Biosyst., 2007

2006

Réseaux de jeux : une extension de la théorie des jeux pour la modélisation des interactions locales : application aux réseaux de régulation génétique. (Game networks. An extension of game theory to model local interactions. Application to gene regulatory networks).

Matthieu Manceny

PhD thesis, 2006

Elementary Modules in Games Networks.

Matthieu Manceny, Franck Delaplace

Proceedings of the Computational Science, 2006