( en | de | ru )

 

Disambiguation of "Inverardi, Paola"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.

, and . IEEE Trans. Software Eng., 21 (4): 373-386 (1995)

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.

Anna-Pia Paolazzi

Domingos Paola

Paola Borri

Paola Nava

Paola Bozzi

 

Other publications of authors with the same name

Integrity Constraints as Views in Deductice Databases., , and . FMLDO, page 133-140. University of Magedeburg, Faculty of Computer Science, (1996)Leveraging privacy profiles to empower users in the digital society., , , and . Autom. Softw. Eng., 31 (1): 16 (June 2024)Software architecture-based analysis and testing: a look into achievements and future challenges., , and . Computing, 95 (8): 633-648 (2013)Deadlock-free software architectures for COM/DCOM Applications., and . J. Syst. Softw., 65 (3): 173-183 (2003)Quantitative resource-oriented analysis of Java (Adaptable) applications., and . WOSP, page 15-25. ACM, (2007)Deriving performance models of software architectures from message sequence charts., , , and . Workshop on Software and Performance, page 47-57. ACM, (2000)A Strategy to Deal with Divergent Rewrite Systems., and . CTRS, volume 656 of Lecture Notes in Computer Science, page 458-467. Springer, (1992)Automatic synthesis of behavior protocols for composable web-services., , , and . ESEC/SIGSOFT FSE, page 141-150. ACM, (2009)Introduction to Special Issue on Distributed and Mobile Software Engineering., and . Autom. Softw. Eng., 11 (3): 203-205 (2004)Graphical Scenarios for Specifying Temporal Properties : an Automated Approach, , and . Automated Software Engineering, (2007)