Giordano Tamburrelli

According to our database1, Giordano Tamburrelli authored at least 40 papers between 2008 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Synthesis of probabilistic models for quality-of-service software engineering.
Autom. Softw. Eng., 2018

2017
Automating Live Update for Generic Server Programs.
IEEE Trans. Software Eng., 2017

2016
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time.
IEEE Trans. Software Eng., 2016

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems.
IEEE Trans. Reliab., 2016

Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Performance-driven dynamic service selection.
Concurr. Comput. Pract. Exp., 2015

Introducing uncertainty in complex event processing: model, implementation, and validation.
Computing, 2015

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Reactive Programming: A Walkthrough.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
SelfMotion: A declarative approach for adaptive service-oriented mobile applications.
J. Syst. Softw., 2014

Towards Automated A/B Testing.
Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Mining unit tests for code recommendation.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Mining behavior models from user-intensive web applications.
Proceedings of the 36th International Conference on Software Engineering, 2014

Learning from the past: automated rule generation for complex event processing.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

2013
Probabilistic Verification at Runtime for Self-Adaptive Systems.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

Understanding gamification mechanisms for software development.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Adaptive REST applications via model inference and probabilistic model checking.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Improving Interaction with Services via Probabilistic Piggybacking.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Managing non-functional uncertainty via model-driven adaptivity.
Proceedings of the 35th International Conference on Software Engineering, 2013

Perpetual Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


2012
A formal approach to adaptive software: continuous assurance of non-functional requirements.
Formal Aspects Comput., 2012

SelfMotion: a declarative language for adaptive service-oriented mobile apps.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

QoS-Aware Adaptive Service Orchestrations.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Adaptive Service-Oriented Mobile Applications: A Declarative Approach.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.
Proceedings of the Conquering Complexity, 2012

2011
Dynamic QoS Management and Optimization in Service-Based Systems.
IEEE Trans. Software Eng., 2011

Teaching software engineering using globally distributed projects: the DOSE course.
Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

Run-time efficient probabilistic model checking.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software.
Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010
Change-point detection for black-box services.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

QoS Driven Dynamic Binding in-the-many.
Proceedings of the Research into Practice, 2010

2009
The Role of Contracts in Distributed Development.
Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

Reasoning on Non-Functional Requirements for Integrated Services.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Predicting Performance Properties for Open Systems with KAMI.
Proceedings of the Architectures for Adaptive Software Systems, 2009

Model evolution by run-time parameter adaptation.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Loose Compositions for Autonomic Systems.
Proceedings of the Software Composition - 7th International Symposium, 2008

Choosing a Software Architecture: An Approach and a Case Study.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Quality Prediction of Service Compositions through Probabilistic Model Checking.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Towards decentralized self-adaptive component-based systems.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008


  Loading...