( en | de | ru )

 

Disambiguation of "Agha, Gul"

Author of the publication

copydeleteadd this publication to your clipboard
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

, , , , , and . FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, page 219-234. Springer, (2012)

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.

Ayman Agha

Nadir Gül

Akan Gül

Çetin Gül

Gül Seyhan

 

Other publications of authors with the same name

Automated inference of atomic sets for safe concurrent execution., , and . PASTE, page 1-8. ACM, (2013)An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems., and . Software Service and Application Engineering, volume 7365 of Lecture Notes in Computer Science, page 147-164. Springer, (2012)A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware., , and . FME, volume 2021 of Lecture Notes in Computer Science, page 197-221. Springer, (2001)Concurrent Programming Using Actors: Exploiting large-Scale Parallelism., and . FSTTCS, volume 206 of Lecture Notes in Computer Science, page 19-41. Springer, (1985)Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions., , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 211-226. Springer, (2005)A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching., , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 223-238. Springer, (2002)The Structure and Semantics of Actor Languages.. REX Workshop, volume 489 of Lecture Notes in Computer Science, page 1-59. Springer, (1990)Characterizing Configuration Spaces of Simple Threshold Cellular Automata., and . ACRI, volume 3305 of Lecture Notes in Computer Science, page 861-870. Springer, (2004)The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study., , , , , and . SECON, page 380-388. IEEE, (2012)Actor-Oriented Programming for the Internet of Things.. SEKE, page ix. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)