Author of the publication

Extracting Permission-Based Specifications from a Sequential Java Program.

, , , and . ICECCS, page 215-218. IEEE Computer Society, (2016)

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

Levels of Abstraction in Programming Device Ecology Workflows., , , and . ICEIS (4), page 137-144. (2005)Toward a model of service interaction enabler in mobile environment., , and . CSSSIA, volume 292 of ACM International Conference Proceeding Series, page 8. ACM, (2008)Scheduling parameter sweep workflow in the Grid based on resource competition., , , , and . Future Gener. Comput. Syst., 29 (5): 1164-1183 (2013)Describing Web Service Architectures through Design-by-Contract., , and . ISCIS, volume 2869 of Lecture Notes in Computer Science, page 1008-1018. Springer, (2003)Toward grid workflow scheduling based on resource competition., , and . EDOCW, page 126-130. IEEE Computer Society, (2009)Extracting Permission-Based Specifications from a Sequential Java Program., , , and . ICECCS, page 215-218. IEEE Computer Society, (2016)Evolution Traceability Roadmap for Business Processes., , and . ISEC, page 20:1-20:5. ACM, (2019)Benchmarking IoT Context Management Platforms: High-level Queries Matter., , , , , and . GIoTS, page 1-6. IEEE, (2019)Asynchronous and Synchronous Communications in Petri Nets for Run-Time Analysis of a Device Ecology., , , and . iiWAS, volume 196 of books@ocg.at, page 1113-1124. Austrian Computer Society, (2005)Analyzing Observable Behaviours of Device Ecology Workflows., and . ICEIS (4), page 78-83. (2004)