Author of the publication

Modelling and model checking suspendible business processes via statechart diagrams and CSP.

, , , and . Sci. Comput. Program., 65 (1): 14-29 (2007)

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.

 

Other publications of authors with the same name

Financial Statement Fraud Detection using Text Mining: a Systemic Functional Linguistics Theory Perspective., , and . PACIS, page 188. (2016)Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization., , and . VTC Spring, page 862-866. IEEE, (2008)Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification., , , and . CoRR, (2017)Embracing Cultural Diversity: Online Social Ties in Distributed Workgroups., , , and . CSCW, page 273-286. ACM, (2016)Computing Must and May Alias to Detect Null Pointer Dereference., , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 252-261. Springer, (2008)A New Formal Test Method for Networked Software Integration Testing., , , and . ICCSA (2), volume 6017 of Lecture Notes in Computer Science, page 463-474. Springer, (2010)Monitor Synthesis for Parametric MTL Properties in Discrete Control Software., , , and . QRS Companion, page 355-362. IEEE, (2017)Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis., , , and . SATE, volume 11293 of Lecture Notes in Computer Science, page 51-67. Springer, (2018)Sampling approximation of smooth functions via generalized coiflets., and . IEEE Trans. Signal Process., 46 (4): 1133-1138 (1998)An optimal pre-compensation based joint polarization-amplitude-phase modulation scheme for the power amplifier energy efficiency improvement., , and . ICC, page 4137-4142. IEEE, (2013)