lip6 / evinrude

This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.

Evinrude

This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.

This work was done at LIP6, the computer science research lab of the Université Pierre & Marie Curie, in France.

This source is under GPL. You may access it freely but we ask you to propagate your modifications in this repository.

Publications

Please find enclose some publications around this project:

J.-B. Voron and C. Démoulins and F. Kordon. Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach. 10th International Conference on Application of Concurrency to System Design (ACSD), pages 57-66, IEEE Computer Society, June 2010 http://lip6.fr/Fabrice.Kordon/pdf/2010-acsd-ids.pdf

J-B. Voron and F. Kordon. Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs. International Workshop on Petri Nets Tools and Applications (PNTAP), pages 1-10, ACM, March 2008 http://portal.acm.org/citation.cfm?id=1416240&jmp=references&coll=portal&dl=GUIDE&CFID=15039234&CFTOKEN=58698727#references

F. Kordon, J-B. Voron, and L. Iftode. Rapid Prototyping of Intrusion Detection Systems. Proceedings of the 18th International Workshop on Rapid System Prototyping, pages 89-96, IEEE Computer Society, May 2007 http://lip6.fr/Fabrice.Kordon/pdf/2007-rsp1.pdf