Vittorio Cortellessa

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

An approach for modeling and detecting software performance antipatterns based on first-order logics.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Guilt-based handling of software performance antipatterns in palladio architectural models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Exploring synergies between bottleneck analysis and performance antipatterns.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Performance-based selection of software and hardware features under parameter uncertainty.

[BibT_eX]

[DOI]

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

fUML-Driven Performance Analysis through the MOSES Model Library.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

On the Adequacy of Performance Models in an Adaptive Border Inspection Management System.

[BibT_eX]

[DOI]

Jesse Musgrove

Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014

Proactive Model-Based Performance Analysis and Security Tradeoffs in a Complex System.

[BibT_eX]

[DOI]

Jesse Musgrove

Cyro de A. Assis D. Muniz

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture.

[BibT_eX]

[DOI]

Daniel Dominguez Gouvêa

Gilson A. Pinto

Alberto Avritzer

Rosa Maria Meri Leão

Edmundo de Souza e Silva

Morganna Carmem Diniz

Softw. Syst. Model., 2013

Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Software model refactoring based on performance analysis: better working on software or performance side?

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

Model-based performance analysis of software architectures under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

Quantifying the influence of failure repair/mitigation costs on service-based systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Performance Antipatterns: State-of-Art and Future Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.

[BibT_eX]

[DOI]

Davide Di Ruscio

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012

Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Software Performance Antipatterns: Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Performance-driven architectural refactoring through bidirectional model transformations.

[BibT_eX]

[DOI]

Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012

Antipattern-based model refactoring for software performance improvement.

[BibT_eX]

[DOI]

Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012

Integration Architecture Synthesis for Taming Uncertainty in the Digital Space.

[BibT_eX]

[DOI]

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Performance and Risk Analysis for Border Management Applications: A Model-Driven Approach and a Perspective View.

[BibT_eX]

[DOI]

Mayra Sacanamboy

Proceedings of the 2012 European Intelligence and Security Informatics Conference, 2012

Resilience in Mobile Networks: A Need and a Challenge.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Modeling and analyzing performance of software for wireless sensor networks.

[BibT_eX]

[DOI]

Stefano Pace

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks.

[BibT_eX]

[DOI]

Marco Bernardo

Mirko Flamminj

Proceedings of the Computer Performance Engineering, 2011

A successful VISION: Video-oriented UWB based intelligent ubiquitous sensing.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011

Model-Based Software Performance Analysis.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-642-13620-7, 2011

2010

Towards the identification of "Guilty" performance antipatterns.

[BibT_eX]

[DOI]

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance.

[BibT_eX]

[DOI]

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

Digging into UML models to remove performance antipatterns.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Experience with a New Architecture Review Process Using a Globally Distributed Architecture Review Team.

[BibT_eX]

[DOI]

Edmundo de Souza e Silva

Proceedings of the 5th IEEE International Conference on Global Software Engineering, 2010

Performance Antipatterns as Logical Predicates.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

A Process to Effectively Identify "Guilty" Performance Antipatterns.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Performance Modeling and Analysis of Context-Aware Mobile Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

A Profile-Driven Environment for Modeling and Analyzing Context-Aware Software Services.

[BibT_eX]

[DOI]

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes.

[BibT_eX]

[DOI]

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

2009

Guest editorial.

[BibT_eX]

[DOI]

Sebastián Uchitel

Daniel Yankelevich

J. Syst. Softw., 2009

A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, 2009

UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance.

[BibT_eX]

[DOI]

Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws.

[BibT_eX]

[DOI]

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

An optimization framework for "build-or-buy" decisions in software architecture.

[BibT_eX]

[DOI]

Fabrizio Marinelli

Comput. Oper. Res., 2008

Extending model transformations in the performance domain with a node modeling library.

[BibT_eX]

[DOI]

Edmundo de Souza e Silva

Proceedings of the 7th International Workshop on Software and Performance, 2008

Towards a library of composable models to estimate the performance of security solutions.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software and Performance, 2008

Using ATL for transformations in software performance engineering: a step ahead of java-based transformations?

[BibT_eX]

[DOI]

Sara Di Gregorio

Proceedings of the 7th International Workshop on Software and Performance, 2008

MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

2007

Integrating Software Models and Platform Models for Performance Analysis.

[BibT_eX]

[DOI]

Pierluigi Pierini

Daniele Rossi

IEEE Trans. Software Eng., 2007

Non-Functional Modeling and Validation in Model-Driven Architecture.

[BibT_eX]

[DOI]

Proceedings of the Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 2007

Reliability Modeling and Analysis of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Test and Analysis of Web Services, 2007

Path-Based Error Propagation Analysis in Composition of Software Services.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 6th International Symposium, 2007

Driving the selection of cots components on the basis of system requirements.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A Development Process for Self-adapting Service Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2007

A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis.

[BibT_eX]

[DOI]

Laurento Frittella

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 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

Software performance model-driven architecture.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Modeling the Performance of Border Inspections with Electronic Travel Documents.

[BibT_eX]

[DOI]

Paola Bracchi

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Automated Selection of Software Components Based on Cost/Reliability Tradeoff.

[BibT_eX]

[DOI]

Fabrizio Marinelli

Proceedings of the Software Architecture, Third European Workshop, 2006

2005

Model-Based Performance Risk Analysis.

[BibT_eX]

[DOI]

Katerina Goseva-Popstojanova

IEEE Trans. Software Eng., 2005

Relational characterizations of system fault tolerance.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

From UML models to software performance results: an SPE process based on XML interchange formats.

[BibT_eX]

[DOI]

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

How far are we from the definition of a common software performance ontology?

[BibT_eX]

[DOI]

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

On the adequacy of UML-RT for performance validation of an SDH telecommunication system.

[BibT_eX]

[DOI]

Pierluigi Pierini

Daniele Rossi

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Transformations of software models into performance models.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

A Framework for the Integration of Functional and Non-functional Analysis of Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Towards a UML profile for QoS: a contribution in the reliability domain.

[BibT_eX]

[DOI]

Antonio Pompei

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

A framework to model and analyze the performability of mobile software systems.

[BibT_eX]

[DOI]

Paola Bracchi

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

XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks.

[BibT_eX]

[DOI]

Michele Gentile

Marco Pizzuti

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Performability Modeling of Mobile Software Systems.

[BibT_eX]

[DOI]

Paola Bracchi

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Performance Modeling and Validation of a Software System in a RT-UML-Based Simulative Environment.

[BibT_eX]

[DOI]

Maurizio Gentile

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

2003

Three Performance Models at Work: A Software Designer Perspective.

[BibT_eX]

[DOI]

Proceedings of FOCLASA 2003, 2003

2002

On the processor scheduling problem in time warp synchronization.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2002

PRIMA-UML: a performance validation incremental methodology on early UML diagrams.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

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

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

Early reliability assessment of UML based software models.

[BibT_eX]

[DOI]

Harshinder Singh

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

Automatic derivation of software performance models from CASE documents.

[BibT_eX]

[DOI]

Andrea D'Ambrogio

Giuseppe Iazeolla

Perform. Evaluation, 2001

A checkpointing-recovery scheme for Time Warp parallel simulation.

[BibT_eX]

[DOI]

Parallel Comput., 2001

A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Modeling Resources in a UML-Based Simulative Environment.

[BibT_eX]

[DOI]

Hany H. Ammar

Alaa Ibrahim

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000

Early generation of performance models for object-oriented systems.

[BibT_eX]

[DOI]

Giuseppe Iazeolla

IEE Proc. Softw., 2000

Techniques for optimizing model execution I: aggressiveness/risk effects based scheduling in Time Warp.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

Performance evaluation of mobility-based software architectures.

[BibT_eX]

[DOI]

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

Deriving a queueing network based performance model from UML diagrams.

[BibT_eX]

[DOI]

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

UML Based Performance Modeling of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2000, 2000

Grain sensitive event scheduling in time warp parallel discrete event simulation.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

1999

Trade-Off between Sequential and Time Warp-Based Parallel Simulation.

[BibT_eX]

[DOI]

Bruno Ciciani

IEEE Trans. Parallel Distributed Syst., 1999

Performance analysis of optimistic parallel simulations with limited rolled back events.

[BibT_eX]

[DOI]