2007

Conférence Internationale avec comité de lecture

• [EPP07

  @inproceedings {
  	EPP07,
  	title	=	"{A simple positive flows computation algorithm for a large subclass of colored nets}",
  	author	=	" S. Evangelista and C. Pajault and J. Pradat-Peyre ",
  	booktitle	=	"{IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"LNCS",
  	issue	=	27,
  	pages	=	"177-195",
  }

  ] 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

  @inproceedings {
  	EP07,
  	title	=	"{Some Solutions to the Ignoring Problem}",
  	author	=	" S. Evangelista and C. Pajault ",
  	booktitle	=	"{SPIN'07 Int. Workshop on Model Checking Software}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	4595,
  	issue	=	14,
  	pages	=	"76-94",
  }

  ] 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,

2006

Revue Internationale avec comité de lecture

• [KPE06

  @article {
  	KPE06,
  	title	=	"{Comparing Java, C# and Ada Monitors queuing policies : a case study and its refinement}",
  	author	=	"C. Kaiser and J. Pradat-Peyre and S. Evangelista and P. Rousseau",
  	journal	=	"ACM Ada Letters",
  	year	=	2006,
  	volume	=	26,
  	number	=	2,
  	pages	=	"23-37",
  	note	=	"{Related material available on the Quasar Website http://quasar.cnam.fr/files/concurrency_papers.html}",
  }

  ] 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

Conférence Internationale avec comité de lecture

• [EP06

  @inproceedings {
  	EP06,
  	title	=	"{On the Computation of Stubborn Sets of Colored Petri Nets}",
  	author	=	" S. Evangelista and J. Pradat-Peyre ",
  	booktitle	=	"{Int. Conf. on the Application and Theory of Petri Nets and Other Models of Concurrency}",
  	year	=	2006,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	4024,
  	issue	=	27,
  	pages	=	"146-165",
  }

  ] 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,

Mémoire de Thèse

• [EVA06

  @phdthesis {
  	EVA06,
  	title	=	"{Méthodes et Outils de Vérification pour les Réseaux de Petri de Haut Niveau. Application à la Validation de Programmes Ada Concurrents.}",
  	author	=	"S. Evangelista",
  	year	=	2006,
  	pages	=	"176p",
  	address	=	"{CEDRIC Laboratory, Paris, France}",
  }

  ] 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,

2005

Conférence Internationale avec comité de lecture

• [EVA05

  @inproceedings {
  	EVA05,
  	title	=	"{High Level Petri Nets Analysis with Helena}",
  	author	=	" S. Evangelista ",
  	booktitle	=	"{Int. Conf. On Application and Theory of Petri Nets, Miami, USA}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	3536,
  	issue	=	26,
  	pages	=	"455-464",
  }

  ] 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

  @inproceedings {
  	PE05,
  	title	=	"{Memory Efficient State Space Storage in Explicit Software Model Checking}",
  	author	=	" J. Peyre and S. Evangelista ",
  	booktitle	=	"{SPIN'05 12th International SPIN Workshop on Model Checking of Software}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	3639,
  	pages	=	"43-57",
  	note	=	"{note}",
  }

  ] 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

  @inproceedings {
  	EHP05,
  	title	=	"{Syntactical Colored Petri Nets Reductions}",
  	author	=	" S. Evangelista and S. Haddad and J. Pradat-Peyre ",
  	year	=	2005,
  	month	=	"January",
  	series	=	"LNCS 3707, D.A. Peled, Y.-K. T",
  	volume	=	3707,
  	issue	=	3707,
  	pages	=	"202-216",
  }

  ] 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,

2004

Conférence Internationale avec comité de lecture

• [EHP04

  @inproceedings {
  	EHP04,
  	title	=	"{New Coloured Reductions for Software Validation}",
  	author	=	" S. Evangelista and S. Haddad and J. Pradat-Peyre ",
  	booktitle	=	"{Workshop on Discrete Event Systems, Reims}",
  	year	=	2004,
  	month	=	"January",
  	pages	=	"355-360",
  }

  ] 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

  @inproceedings {
  	EP04,
  	title	=	"{An Efficient Algorithm for the Enabling Test of Colored Petri Nets}",
  	author	=	" S. Evangelista and J. Pradat-Peyre ",
  	booktitle	=	"{5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus}",
  	year	=	2004,
  	month	=	"January",
  	pages	=	"137-156",
  }

  ] 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,

Rapport Scientifique

• [EVA04

  @techreport {
  	EVA04,
  	title	=	"{Syntactical Rules for Colored Petri Nets Manipulation}",
  	author	=	"S. Evangelista",
  	number	=	"{CEDRIC-04-641}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-2004},
  }

  ] S. Evangelista - Syntactical Rules for Colored Petri Nets Manipulation, Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-641)
• [EP04a

  @techreport {
  	EP04a,
  	title	=	"{A Semi-Explicit Method to Store State Spaces in a Compact Way}",
  	author	=	"S. Evangelista and J. Pradat-Peyre",
  	number	=	"{CEDRIC-04-682}",
  	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
  	date	=	{01-01-2004},
  }

  ] 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)

2003

Revue Internationale avec comité de lecture

• [EKP03a

  @article {
  	EKP03a,
  	title	=	"{Verifying Linear Time Temporal Logic Properties of Concurrent Ada Programs with Quasar}",
  	author	=	"S. Evangelista and C. Kaiser and J. Pradat-Peyre and P. Rousseau",
  	journal	=	"ACM Ada Letters",
  	year	=	2003,
  	volume	=	24,
  	number	=	1,
  	pages	=	"17-24",
  }

  ] 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

Conférence Internationale avec comité de lecture

• [EKP03

  @inproceedings {
  	EKP03,
  	title	=	"{Quasar : A New Tool for Concurrent Ada Programs Analysis}",
  	author	=	" S. Evangelista and C. Kaiser and J. Pradat-Peyre and P. Rousseau ",
  	year	=	2003,
  	month	=	"January",
  	series	=	"LNCS",
  	volume	=	2655,
  	pages	=	"166-181",
  	note	=	"{Take a look at the Quasar Web pages }",
  }

  ] 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,