Paola Inverardi
Paola Inverardi
Professor of Computer Science
Email confirmado em
Citado por
Citado por
Software engineering for self-adaptive systems: A second research roadmap
R Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, B Schmerl, ...
Software engineering for self-adaptive systems II, 1-32, 2013
Model-based performance prediction in software development: A survey
S Balsamo, A Di Marco, P Inverardi, M Simeoni
IEEE Transactions on Software Engineering 30 (5), 295-310, 2004
Formal specification and analysis of software architectures using the chemical abstract machine model
P Inverardi, AL Wolf
IEEE transactions on software engineering 21 (4), 373-386, 1995
Model-based software performance analysis
V Cortellessa, A Di Marco, P Inverardi
Springer, 2011
A review on queueing network models with finite capacity queues for software architectures performance prediction
S Balsamo, VDN Personè, P Inverardi
Performance Evaluation 51 (2-4), 269-288, 2003
Automatic synthesis of behavior protocols for composable web-services
A Bertolino, P Inverardi, P Pelliccione, M Tivoli
Proceedings of the 7th joint meeting of the European software engineering …, 2009
Using software architecture for code testing
H Muccini, P Inverardi, A Bertolino
IEEE Transactions on Software Engineering 30 (3), 160-171, 2004
Graphical scenarios for specifying temporal properties: an automated approach
M Autili, P Inverardi, P Pelliccione
Automated Software Engineering 14 (3), 293-340, 2007
Software engineering for self-adaptive systems: Research challenges in the provision of assurances
R Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, B Schmerl, ...
Software Engineering for Self-Adaptive Systems III. Assurances, 3-30, 2017
Static checking of system behaviors using derived component assumptions
P Inverardi, AL Wolf, D Yankelevich
ACM Transactions on Software Engineering and Methodology (TOSEM) 9 (3), 239-272, 2000
The notion of self-aware computing
S Kounev, P Lewis, KL Bellman, N Bencomo, J Camara, A Diaconescu, ...
Self-Aware Computing Systems, 3-16, 2017
Perpetual assurances for self-adaptive systems
D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ...
Software Engineering for Self-Adaptive Systems III. Assurances, 31-63, 2017
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
Uncovering architectural mismatch in component behavior
D Compare, P Inverardi, AL Wolf
Science of Computer Programming 33 (2), 101-131, 1999
Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525
BHC Cheng, R de Lemos, H Giese, P Inverardi, J Magee
Springer, Heidelberg, 2009
Software engineering processes for self-adaptive systems
J Andersson, L Baresi, N Bencomo, R Lemos, A Gorla, P Inverardi, ...
Software Engineering for Self-Adaptive Systems II, 51-75, 2013
08031--Software engineering for self-adaptive systems: A research road map
BHC Cheng, H Giese, P Inverardi, J Magee, R de Lemos, J Andersson, ...
Dagstuhl Seminar Proceedings, 2008
Graph grammars and constraint solving for software architecture styles
D Hirsch, P Inverardi, U Montanari
Proceedings of the third international workshop on Software architecture, 69-72, 1998
Charmy: A framework for designing and verifying architectural specifications
P Pelliccione, P Inverardi, H Muccini
IEEE Transactions on Software Engineering 35 (3), 325-346, 2008
SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems
M Autili, P Inverardi, A Navarra, M Tivoli
29th International Conference on Software Engineering (ICSE'07), 784-787, 2007
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20