2008

Conférence Internationale avec comité de lecture

• [JBG08

  @inproceedings {
  	JBG08,
  	title	=	"{On the use of real-time Maude for architecture description and verification : a case study}",
  	author	=	" C. Jerad and K. Barkaoui and A. Grissa-Touzi ",
  	booktitle	=	"{1st International Academic Conference on Visions of Computer Science, London, UK}",
  	year	=	2008,
  	month	=	"January",
  	series	=	"eWiC Series",
  	pages	=	"305-317",
  }

  ] C. Jerad , K. Barkaoui , A. Grissa-Touzi - On the use of real-time Maude for architecture description and verification : a case study, 1st International Academic Conference on Visions of Computer Science, London, UK, January 2008, pp.305-317, Series eWiC Series,

2007

Conférence Internationale avec comité de lecture

• [JBG07

  @inproceedings {
  	JBG07,
  	title	=	"{On the Design and Analysis of Real-time Systems}",
  	author	=	" C. Jerad and K. Barkaoui and A. Grissa-Touzi ",
  	booktitle	=	"{CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"ISCA",
  	issue	=	22,
  	pages	=	"380-386",
  }

  ] C. Jerad , K. Barkaoui , A. Grissa-Touzi - On the Design and Analysis of Real-time Systems, CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA, January 2007, pp.380-386, Series ISCA,
• [JBG07a

  @inproceedings {
  	JBG07a,
  	title	=	"{Hierarchical Verification in Maude of LfP Software Architectures}",
  	author	=	" C. Jerad and K. Barkaoui and A. Grissa-Touzi ",
  	booktitle	=	"{ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain}",
  	year	=	2007,
  	month	=	"January",
  	series	=	"LNCS ",
  	issue	=	4758,
  	pages	=	"156-170",
  }

  ] C. Jerad , K. Barkaoui , A. Grissa-Touzi - Hierarchical Verification in Maude of LfP Software Architectures, ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain, January 2007, pp.156-170, Series LNCS ,

2005

Revue Nationale avec comité de lecture

• [GJB05

  @article {
  	GJB05,
  	title	=	"{Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés}",
  	author	=	"A. Grissa-Touzi and C. Jerad and K. Barkaoui",
  	journal	=	"Les Annales Maghrébines de l'Ingénieur",
  	year	=	2005,
  	volume	=	2,
  	number	=	1,
  	pages	=	"587-599",
  }

  ] A. Grissa-Touzi , C. Jerad , K. Barkaoui - Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés, Les Annales Maghrébines de l'Ingénieur, vol. 2(1), pp. 587-599, 2005

Conférence Internationale avec comité de lecture

• [JB05

  @inproceedings {
  	JB05,
  	title	=	"{On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP}",
  	author	=	" C. Jerad and K. Barkaoui ",
  	booktitle	=	"{RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada}",
  	year	=	2005,
  	month	=	"January",
  	series	=	"IEEE",
  	pages	=	"202-208",
  }

  ] C. Jerad , K. Barkaoui - On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP, RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, January 2005, pp.202-208, Series IEEE,