Perucci, Alexander
13  results:
Search for persons X
?
1

Software engineering techniques for statically analyzing mo..:

Autili, Marco ; Malavolta, Ivano ; Perucci, Alexander..
Journal of Internet Services and Applications.  12 (2021)  1 - p. , 2021
 
?
2

Mapping BPMN2 Service Choreographies to Colored Petri Nets:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Najem, Tala ; Perucci, Alexander - p. 85-100 , 2020
 
?
3

Highly collaborative distributed systems: Synthesis and ena..:

Autili, Marco ; Perucci, Alexander ; Leite, Leonardo...
Concurrency and Computation: Practice and Experience.  33 (2020)  6 - p. , 2020
 
?
5

Distributed Composition of Highly-Collaborative Services an..:

, In: Advances in Intelligent Systems and Computing; Proceedings of 6th International Conference in Software Engineering for Defence Applications,
 
?
6

Perspectives on static analysis of mobile apps (invited tal..:

, In: Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile,
 
?
8

CHOReOSynt: enforcing choreography realizability in the fut..:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,
 
?
9

Software engineering techniques for statically analyzing mo..:

Autili, Marco ; Malavolta, Ivano ; Perucci, Alexander..
Autili , M , Malavolta , I , Perucci , A , Scoccia , G L & Verdecchia , R 2021 , ' Software engineering techniques for statically analyzing mobile apps : research trends, characteristics, and potential for industrial adoption ' , Journal of Internet Services and Applications , vol. 12 , 3 , pp. 1-60 . https://doi.org/10.1186/s13174-021-00134-x.  , 2021
 
?
 
1-13