SPENCER Lab
SPENCER Lab
News
People
Publications
Projects
Contact
Paper-Conference
On the adequacy of UML-RT for performance validation of an SDH telecommunication system
Vittorio Cortellessa
,
Pierluigi Pierini
,
Daniele Rossi
Cite
DOI
URL
Run-time performance management of the Siena publish/subscribe middleware
Mauro Caporuscio
,
Antinisca Di Marco
,
Paola Inverardi
Cite
DOI
URL
Transformations of software models into performance models
Vittorio Cortellessa
,
Antinisca Di Marco
,
Paola Inverardi
Cite
DOI
URL
A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures
Vittorio Cortellessa
,
Antinisca Di Marco
,
Paola Inverardi
,
Fabio Mancinelli
,
Patrizio Pelliccione
Cite
DOI
URL
A framework to model and analyze the performability of mobile software systems
Paola Bracchi
,
Vittorio Cortellessa
Cite
DOI
URL
Automated Performance Validation of Software Design: An Industrial Experience
Daniele Compare
,
Antonio D'Onofrio
,
Antinisca Di Marco
,
Paola Inverardi
Cite
DOI
URL
Compositional Generation of Software Architecture Performance QN Models
Antinisca Di Marco
,
Paola Inverardi
Cite
DOI
URL
Experimenting different software architectures performance techniques: a case study
Simonetta Balsamo
,
Moreno Marzolla
,
Antinisca Di Marco
,
Paola Inverardi
Cite
DOI
URL
Performability Modeling of Mobile Software Systems
Paola Bracchi
,
Bojan Cukic
,
Vittorio Cortellessa
Cite
DOI
URL
Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment
Vittorio Cortellessa
,
Maurizio Gentile
Cite
DOI
URL
«
»
Cite
×