Vincenzo Grassi

Proceedings of the International Workshop on Context-Oriented Programming, 2009

Model-Driven Assessment of QoS-Aware Self-Adaptation.

[BibT_eX]

[DOI]

Enrico Randazzo

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Software Engineering for Self-Adaptive Systems: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Towards Self-adaptation for Dependable Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

Design and development of a context oriented language for middleware based applications.

[BibT_eX]

[DOI]

Proceedings of the 2008 Workshop on Next Generation Aspect Oriented Middleware, 2008

2007

Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

A model-driven approach to performability analysis of dynamically reconfigurable component-based systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software and Performance, 2007

Reliability Modeling and Analysis of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Test and Analysis of Web Services, 2007

Towards model driven design of service-based context-aware applications.

[BibT_eX]

[DOI]

Andrea Sindico

Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

Efficient provisioning of service level agreements for service oriented applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

Flow-Based Service Selection forWeb Service Composition Supporting Multiple QoS Classes.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 10th International Symposium, 2007

2006

Reliability Prediction for Service-Oriented Computing Environments.

[BibT_eX]

[DOI]

Simone Patella

IEEE Internet Comput., 2006

A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

From design to analysis models: a kernel language for performance and reliability analysis of component-based systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Software and Performance, 2005

Abstraction-Raising Transformation for Generating Analysis Models.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures and Software Quality, 2005

Performance Analysis of Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Mobile Computing, 2005

2004

Towards automatic compositional performance analysis of component-based systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

A UML Profile to Model Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

UML based modeling and performance analysis of mobile systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2004

Architecture-Based Reliability Prediction for Service-Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

2003

Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2003

Performance analysis of caching and prefetching strategies for palmtop-based navigational tools.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2003

2002

A performance-based methodology to early evaluate the effectiveness of mobile software architectures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

PRIMAmob-UML: a methodology for performance analysis of mobile software architectures.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software and Performance, 2002

Performance Validation of Mobile Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

2001

UML Modelling and Performance Analysis of Mobile Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

2000

Performance evaluation of mobility-based software architectures.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software and Performance, 2000

Prefetching policies for energy saving and latency reduction in a wireless broadcast data delivery system.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2000

1999

An Analytical Model for a Parallel Fault-Tolerant Computing System.

[BibT_eX]

[DOI]

Perform. Evaluation, 1999

1998

Markov analysis of the PRMA protocol for local wireless networks.

[BibT_eX]

[DOI]

Francesco Lo Presti

Wirel. Networks, 1998

Threshold-Based Reconfiguration Strategies for Gracefully Degradable Parallel Computations.

[BibT_eX]

[DOI]

Michele Colajanni

Michele Angelaccio

J. Parallel Distributed Comput., 1998

Optimal access control for integrated services wireless networks.

[BibT_eX]

[DOI]

Comput. Commun., 1998

Modeling and Evaluation of Prefetching Policies for Context-Aware Information Services.

[BibT_eX]

[DOI]

Antonio Morlupi

Proceedings of the MOBICOM '98, 1998

1997

Performance Analysis of a Dynamic Control Policy for PRMA Protocols.

[BibT_eX]

[DOI]

Michele Cermele

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1994

Dependability Evaluation of Hierarchical Systems.

[BibT_eX]

[DOI]

Acta Informatica, 1994

Optimal Design of Fault-Tolerant Soft-Real-Time Systems with Imprecise Computations.

[BibT_eX]

[DOI]

Cesare Antonelli

Proceedings of the Dependable Computing, 1994

1992

On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems.

[BibT_eX]

[DOI]

Salvatore Tucci

IEEE Trans. Software Eng., 1992

Sensitivity Analysis of Performability.

[BibT_eX]

[DOI]

Perform. Evaluation, 1992

1991

On Evaluating the Cumulative Performance Distribution of Fault-Tolerant Computer Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1991

Cost Effectiveness Analysis of Different Fault Tolerance Strategies for Hypercube Systems.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1987

Performability Evaluation of Fault-Tolerant Satellite Systems.

[BibT_eX]

[DOI]

Bruno Ciciani

IEEE Trans. Commun., 1987

Availability Distribution of Roll-Back Recovery Systems.

[BibT_eX]

Salvatore Tucci

Proceedings of the Computer Performance and Reliability, 1987

Yield and Performability Evaluation of VLSI Reconfigurable Multiprocessor Structures.

[BibT_eX]

Bruno Ciciani