Search for persons
X
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
2
Mapping BPMN2 Service Choreographies to Colored Petri Nets:
, In:
?
Advances in Intelligent Systems and Computing; Proceedings of 6th International Conference in Software Engineering for Defence Applications ,
5
Distributed Composition of Highly-Collaborative Services an..:
, In:
?
Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile ,
6
Perspectives on static analysis of mobile apps (invited tal..:
, In:
?
2014 IEEE World Congress on Services ,
7
Towards Adaptable and Evolving Service Choreography in the ..:
, In:
?
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering ,
8