( en | de | ru )

 

Disambiguation of "Mirandola, Raffaela"

Author of the publication

copydeleteadd this publication to your clipboard
A Model Based Approach to Design Applications for Network Processor.

, , , , and . RISE, volume 3475 of Lecture Notes in Computer Science, page 93-101. Springer, (2004)

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.

Raffaela Blöink

Raffaela Macri

Raffaela Klinger

Raffaela Chiarello

Raffaela Schönfeld

 

Other publications of authors with the same name

Introduction., , , and . CoCoME, volume 5153 of Lecture Notes in Computer Science, page 1-3. Springer, (2007)Reliability Analysis of Component-Based Systems with Multiple Failure Modes., , , and . CBSE, volume 6092 of Lecture Notes in Computer Science, page 1-20. Springer, (2010)Abstraction-Raising Transformation for Generating Analysis Models., , , and . MoDELS (Satellite Events), volume 3844 of Lecture Notes in Computer Science, page 217-226. Springer, (2005)A Hybrid Framework for Web Services Reliability and Performance Assessment., , , and . ISSRE Workshops, page 185-192. IEEE, (2019)Modeling and Analysis of Non-functional Properties in Component-based Systems., and . TACoS, volume 82 of Electronic Notes in Theoretical Computer Science, page 158-168. Elsevier, (2003)Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning., , , , and . FormaliSE, page 18-28. IEEE, (2023)A quality driven extension to the QVT-relations transformation language., , and . Comput. Sci. Res. Dev., 30 (1): 1-20 (2015)Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing., and . IEEE Trans. Mob. Comput., 2 (2): 114-131 (2003)Uncertainty in Self-adaptive Systems: A Research Community Perspective., , , , , and . ACM Trans. Auton. Adapt. Syst., 15 (4): 10:1-10:36 (2020)Quantitative Verification with Adaptive Uncertainty Reduction., , , and . CoRR, (2021)