SPENCER Lab
SPENCER Lab
News
People
Publications
Projects
Contact
Paper-Conference
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
Towards a UML profile for QoS: a contribution in the reliability domain
Vittorio Cortellessa
,
Antonio Pompei
Cite
DOI
URL
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks
Vittorio Cortellessa
,
Michele Gentile
,
Marco Pizzuti
Cite
DOI
URL
Three Performance Models at Work: A Software Designer Perspective
Vittorio Cortellessa
,
Antinisca Di Marco
,
Paola Inverardi
Cite
DOI
URL
Xere: Towards a Natural Interoperability between XML and ER Diagrams
Giuseppe Della Penna
,
Antinisca Di Marco
,
Benedetto Intrigila
,
Igor Melatti
,
Alfonso Pierantonio
Cite
DOI
URL
«
»
Cite
×