Author of the publication

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.

, , and . ECBS, page 138-146. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Barkaoui, Kamel
add a person with the name Barkaoui, Kamel
 

Other publications of authors with the same name

On Concurrency Control in Multidatabase Systems with an Extended Transaction Model., and . The Journal of Supercomputing, 24 (2): 193-202 (2003)On combining the ready sets with the covering steps methods., and . IJCCBS, 5 (1/2): 55-77 (2014)Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT., , and . Formalisms for Reuse and Systems Integration, volume 346 of Advances in Intelligent Systems and Computing, Springer, (2015)Verification of Workflow processes under multilevel security considerations., , , and . CRiSIS, page 77-84. IEEE, (2008)Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems., , and . CSMR, page 123-136. IEEE Computer Society, (2007)An Effective Link Adaptation Method in Cooperative Wireless Networks., , , and . APSCC, page 914-919. IEEE Computer Society, (2008)Exploiting Concurrency for the ESB Architecture., , and . ICECCS, page 173-176. IEEE Computer Society, (2013)Toward a New Model of the Petri Nets: Agent Petri Nets., , and . EMS, page 51-56. IEEE Computer Society, (2010)On Concurrency Control in Multidatabase Systems with an Extended Transaction Model., and . PDPTA, page 2836-2842. CSREA Press, (1999)A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects., , and . DEXA, page 221-225. Springer-Verlag, Wien, (1992)