Sami Evangelista

Doctorant(e)
Equipe Mim
Parti depuis le 01/01/2006
Mail : sami.evangelista

cnam.fr
Tel : 0140272049
Fax : 0140272845
http://cedric.cnam.fr/~evange_s
Directeur de thèse : Claude Kaiser
Co-Directeur(s) : Jean-François Pradat-Peyre

Sami's Tag-Cloud :

[EPP07] S. Evangelista, C. Pajault, J. Pradat-Peyre. "A simple positive flows computation algorithm for a large subclass of colored nets", IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, January 2007, pp.177-195, Series LNCS,
[EP07] S. Evangelista, C. Pajault. "Some Solutions to the Ignoring Problem", SPIN'07 Int. Workshop on Model Checking Software, January 2007, Vol. 4595(14), pp.76-94, Series LNCS,

[KPE06] C. Kaiser, J. Pradat-Peyre, S. Evangelista, P. Rousseau. "Comparing Java, C# and Ada Monitors queuing policies : a case study and its refinement", ACM Ada Letters, vol. 26(2), pp. 23-37, 2006

[EP06] S. Evangelista, J. Pradat-Peyre. "On the Computation of Stubborn Sets of Colored Petri Nets", Int. Conf. on the Application and Theory of Petri Nets and Other Models of Concurrency, January 2006, Vol. 4024(27), pp.146-165, Series LNCS,

[EVA06] S. Evangelista. "MÃ©thodes et Outils de VÃ©rification pour les RÃ©seaux de Petri de Haut Niveau. Application Ã la Validation de Programmes Ada Concurrents.", Soutenue le: 01 January 2006, pp. 176p,

[EVA05] S. Evangelista. "High Level Petri Nets Analysis with Helena", Int. Conf. On Application and Theory of Petri Nets, Miami, USA, January 2005, Vol. 3536(26), pp.455-464, Series LNCS,
[PE05] J. Peyre, S. Evangelista. "Memory Efficient State Space Storage in Explicit Software Model Checking", SPIN'05 12th International SPIN Workshop on Model Checking of Software, January 2005, Vol. 3639, pp.43-57, Series LNCS,
[EHP05] S. Evangelista, S. Haddad, J. Pradat-Peyre. "Syntactical Colored Petri Nets Reductions", January 2005, Vol. 3707(3707), pp.202-216, Series LNCS 3707, D.A. Peled, Y.-K. T,

[EHP04] S. Evangelista, S. Haddad, J. Pradat-Peyre. "New Coloured Reductions for Software Validation", Workshop on Discrete Event Systems, Reims, January 2004, pp.355-360,
[EP04] S. Evangelista, J. Pradat-Peyre. "An Efficient Algorithm for the Enabling Test of Colored Petri Nets", 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, January 2004, pp.137-156,

[EVA04] S. Evangelista. "Syntactical Rules for Colored Petri Nets Manipulation", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-641)
[EP04a] S. Evangelista, J. Pradat-Peyre. "A Semi-Explicit Method to Store State Spaces in a Compact Way", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-682)

[EKP03a] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar", ACM Ada Letters, vol. 24(1), pp. 17-24, 2003

[EKP03] S. Evangelista, C. Kaiser, J. Pradat-Peyre, P. Rousseau. "Quasar : A New Tool for Concurrent Ada Programs Analysis", January 2003, Vol. 2655, pp.166-181, Series LNCS,