PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ouederni, Meriem"

Author of the publication

copydeleteadd this publication to your clipboard
Incremental Construction of Realizable Choreographies.

, , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 1-19. Springer, (2018)

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 Ouederni, Meriem
add a person with the name Ouederni, Meriem
 

Other publications of authors with the same name

Quantifying Service Compatibility: A Step beyond the Boolean Approaches., , and . ICSOC, volume 6470 of Lecture Notes in Computer Science, page 619-626. (2010)Correct-by-Construction Evolution of Realisable Conversation Protocols., , , and . MEDI, volume 9893 of Lecture Notes in Computer Science, page 260-273. Springer, (2016)Comparator: A Tool for Quantifying Behavioural Compatibility., , , and . FASE, volume 8411 of Lecture Notes in Computer Science, page 306-309. Springer, (2014)Compatibility flooding: measuring interaction of services interfaces., , , and . SAC, page 1334-1340. ACM, (2017)Synchronizability for Verification of Asynchronously Communicating Systems., , and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 56-71. Springer, (2012)Client Update: A Solution for Service Evolution., , and . IEEE SCC, page 394-401. IEEE Computer Society, (2011)Interactive Specification and Verification of Behavioural Adaptation Contracts., , , and . QSIC, page 65-75. IEEE Computer Society, (2009)Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability, and . WCSI, volume 37 of EPTCS, page 57-70. (2010)Measuring the compatibility of service interaction protocols., , and . SAC, page 1560-1567. ACM, (2011)Handling Reparation in Incremental Construction of Realizable Conversation Protocols., , , and . MEDI Workshops, volume 929 of Communications in Computer and Information Science, page 159-166. Springer, (2018)