Publications

Year: 2012

L. Pinto, G. Cugola and C. Ghezzi. "Dealing with Changes in Service Orchestrations". To be published on the Proceedings of the 2012 ACM Symposium on Applied Computing. 2012. [More] [Bibtex]
C. Ghezzi and A. Molzam Sharifloo. "Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines". Software Engineering for Self-Adaptive Systems II. 2012. [More] [Bibtex]
G. Salvaneschi, C. Ghezzi and M. Pradella. "ContextErlang: Introducing Context-oriented Programming in the Actor Model". Proceedings of the 11th international conference on Aspect-oriented software development, AOSD'12. 2012. [More] [Bibtex]

Year: 2011

A. Filieri, C. Ghezzi, A. Leva and M. Maggio. "Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements". Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. 2011. pp. 283 -292. [More] [Bibtex]
C. Ghezzi, A. Mocci and M. Sangiorgio. "Runtime monitoring of functional component changes with behavior models". Models in Software Engineering Workshops and Symposia at MoDELS 2011. 2011. [More] [Bibtex]
G. Valetto, P. Snyder, D. J. Dubois, E. Di Nitto and N. M. Calcavecchia. "A Self-Organized Load-Balancing Algorithm for Overlay-Based Decentralized Service Networks". SASO'11. 2011. [More] [Bibtex]
D. Bianculli, D. Giannakopoulou and C. S. Pasareanu. "Interface Decomposition for Service Compositions". Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, USA. 2011. pp. 501-510. [More] [Bibtex]
M. Tanelli, D. Ardagna and M. Lovera. "Identification of LPV State Space Models for Autonomic Web Service Systems", Control Systems Technology, IEEE Transactions on, Vol. 19, jan., 2011, pp. 93 -103. [More] [Bibtex]
M. L. Drago, C. Ghezzi and R. Mirandola. "A quality driven extension to the QVT-relationstransformation language", Computer Science - Research and Development. 2011, pp. 1-20. [More] [Bibtex]
A. Filieri, C. Ghezzi and G. Tamburrelli. "A formal approach to adaptive software: continuous assurance of non-functional requirements", Formal Aspects of Computing. 2011, pp. 1-24. [More] [Bibtex]
A. Ciancone, A. Filieri, M. L. Drago, R. Mirandola and V. Grassi. "KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems". Bishop, Judith, Vallecillo and Antonio eds. Springer Berlin / Heidelberg. 2011. pp. 99-114. [More] [Bibtex]
D. Bianculli, S. Guinea, A. Metzger and A. Polini. QASBA '11: Proceedings of the International Workshop on Quality Assurance for Service-Based Applications. New York, NY, USA : ACM. 2011. [More] [Bibtex]
S. Guinea and P. Spoletini. "Evaluating the Compatibility of Conversational Service Interactions". Proeedings of the 3rd International Work- shop on Principles of Engineering Service-Oriented Systems. 2011. pp. 29-35. [More] [Bibtex]
L. Baresi and S. Guinea. "A3: self-adaptation capabilities through groups and coordination". Proceedings of the 4th Annual India Software Engineering Conference. 2011. pp. 11-20. [More] [Bibtex]
G. Salvaneschi, C. Ghezzi and M. Pradella. "JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming", CoRR, Vol. abs/1104.1351. 2011. [More] [Bibtex]
G. Cugola and A. Margara. "Processing Flows of Information: From Data Stream to Complex Event Processing". Proceedings of the 5th ACM International Conference On Distributed Event-Based Systems (DEBS 2011). 2011. [More] [Bibtex]
G. Cugola and A. Margara. "High performance content-based matching using GPUs". Proceedings of the 5th ACM International Conference On Distributed Event-Based Systems (DEBS 2011). 2011. [More] [Bibtex]
G. Cugola, C. Ghezzi and L. Pinto. "Process Programming in the Service Age: Old Problems and New Challenges". L. J. Osterweil ed. Springer. 2011. [More] [Bibtex]
G. Cugola and A. Margara. "Processing Flows of Information: From Data Stream to Complex Event Processing", ACM Computing Surveys. 2011. [More] [Bibtex]
D. Perez, R. Mirandola and J. Merseguer. "Software Architecture Adaptability Metrics for QoS-based self-adaptation". ACM Proceedings of of QoSA 2011. 2011. [More] [Bibtex]
D. Perez, R. Mirandola and J. Merseguer. "Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities". ACM Proceedings of QoSA 2011. 2011. [More] [Bibtex]
D. Beretta, E. Quintarelli and E. Rabosio. "Mining context-aware preferences on relational and sensor data". Sixth International Workshop on Flexible Database and Information System Technology (FlexDBIST-2011). 2011. [More] [Bibtex]
M. Mazuran, E. Quintarelli and L. Tanca. "Data mining for XML query-answering support", IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, Vol. PP. 2011. [More] [Bibtex]
L. Pinto. "A declarative approach to enable flexible and dynamic service compositions". Proceeding of the 33rd international conference on Software engineering. 2011. pp. 1130-1131. [More] [Bibtex]
S. Distefano, A. Filieri, C. Ghezzi and R. Mirandola. "A Compositional Method for Reliability Analysis of Workflows Affected by Multiple Failure Modes". 2011. [More] [Bibtex]
A. Filieri, C. Ghezzi and G. Tamburrelli. "Run-Time Efficient Probabilistic Model Checking". ICSE. 2011. [More] [Bibtex]
A. Filieri, C. Ghezzi, R. Mirandola and G. Tamburrelli. "Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification". 2011. [More] [Bibtex]
A. Filieri. "QoS Verification and Model Tuning @ Runtime". ESEC/FSE - Doctoral Symposium. 2011. [More] [Bibtex]
E. Quintarelli, E. Rabosio and L. Tanca. "Context schema evolution in context-aware data management". Proc. of the 30th International Conference on Conceptual Modeling (ER 2011). 2011. [More] [Bibtex]
G. Orsi, L. Tanca and E. Zimeo. "Keyword-based, Context-aware Selection of Natural Language Query-patterns". Proc. of the 14th International Conference on Extending Database Technology. 2011. [More] [Bibtex]
F. A. Schreiber, R. Camplani, R. Fortunato, M. Marelli and G. Rota. "PerLa: A Language and Middleware Architecture for Data Management and Integration in Pervasive Information Systems", IEEE Transactions on Software Engineering. 2011. [More] [Bibtex]
C. Bolchini, G. Orsi, E. Quintarelli, F. A. Schreiber and L. Tanca. "Context Modeling and Context Awareness: steps forward in the Context-ADDICT project", Bulletin of the IEEE Technical Committee on Data Engineering, Vol. 34. 2011, pp. 47-54. [More] [Bibtex]
F. A. Schreiber, L. Tanca, R. Camplani and D. Viganò. "Towards autonomic pervasive systems: the PerLa context language". Electronic Proceedings of the 6th International Workshop on Networking Meets Databases. 2011. [More] [Bibtex]
A. Rauseo, D. Martinenghi and L. Tanca. "Context-aware data tailoring through Answer Set programming". Proceedings of the 19th Italian Symposium on Advanced database Systems SEBD 2011. 2011. [More] [Bibtex]
F. A. Schreiber, L. Tanca, R. Camplani and D. Viganò. "Managing and using context information within the PerLa language". Proceedings of the 19th Italian Symposium on Advanced database Systems SEBD 2011. 2011. [More] [Bibtex]
A. Molzam Sharifloo. "Achieving Non-Functional Requirements @ Runtime via Dynamic Software Product-Lines". Doctoral Symposium of Requirements Engineering Conference. 2011. [More] [Bibtex]
C. Ghezzi and A. Molzam Sharifloo. "Verifying Non-Functional Properties of Software Product Lines". Software Product-Line Conference. 2011. [More] [Bibtex]
C. Ghezzi and A. Molzam Sharifloo. "Quantitative Verification of Non-Functional Requirements with Uncertainty". International Conference on Dependability and Computer Systems (Advances in Intelligence and Soft Computing). 2011. pp. 47-62. [More] [Bibtex]
R. Cardoso and M. Caporuscio. "Exploring Multi-Path Communication in Hybrid Mobile Ad Hoc Networks", International Journal of Ambient Computing and Intelligence (IJACI), Vol. 2. 2011. [More] [Bibtex]
M. Caporuscio, P.-G. Raverdy and V. Issarny. "ubiSOAP: A Service Oriented Middleware for Ubiquitous Networking", IEEE Transactions on Services Computing, Vol. 99. 2011. [More] [Bibtex]
M. Caporuscio, M. Funaro and C. Ghezzi. "RESTful service architectures for pervasive networking environments". REST: From Research to Practice. E. Wilde and C. Pautasso eds. 2011. [More] [Bibtex]
M. L. Drago, C. Ghezzi and R. Mirandola. "Towards Quality Driven Exploration of Model Transformation Spaces". MoDELS. 2011. pp. 2-16. [More] [Bibtex]
V. Panzica La Manna. "Dynamic software update for component-based distributed systems". Proceedings of the 16th international workshop on Component-oriented programming. 2011. pp. 1-8. [More] [Bibtex]
X. Ma, L. Baresi, C. Ghezzi, V. Panzica La Manna and J. Lu. "Version-consistent dynamic reconfiguration of component-based distributed systems". Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. 2011. pp. 245-255. [More] [Bibtex]
L. Cardamone, A. Mocci and C. Ghezzi. "Dynamic synthesis of program invariants using genetic programming". IEEE Congress on Evolutionary Computation. 2011. pp. 624-631. [More] [Bibtex]
L. Baresi, A. Morzenti, A. Motta and M. Rossi. "Towards the UML-based Formal Verification of Timed Systems". Springer Berlin / Heidelberg. 2011. [More] [Bibtex]
A. Sivieri, G. Cugola and C. Ghezzi. "Computational REST Meets Erlang". Bishop, Judith, Vallecillo and Antonio eds. Springer Berlin / Heidelberg. 2011. pp. 244-259. [More] [Bibtex]
D. Ardagna, B. Panicucci and M. Passacantando. "A game theoretic formulation of the service provisioning problem in cloud systems". WWW. 2011. pp. 177-186. [More] [Bibtex]
D. Ardagna, S. Casolari and B. Panicucci. "Flexible Distributed Capacity Allocation and Load Redirect Algorithms for Cloud Systems". Cloud. 2011. pp. 163-170. [More] [Bibtex]
C. Ghezzi, M. Pradella and G. Salvaneschi. "An Evaluation of the Adaptation Capabilities in Programming Languages". Proceedings of SEAMS 2011 Internationa Simposium on Software Engineering for Adaptive and Self-Managing Systems. 2011. [More] [Bibtex]

Year: 2010

B. A. Caprarescu, N. M. Calcavecchia, E. Di Nitto and D. J. Dubois. "SOS Cloud: Self-Organizing Services in the Cloud". Bio-Inspired Models of Network, Information and Computing Systems, 2010. Bionetics 2010. 5th. 2010. [More] [Bibtex]
D. Bianculli, W. Binder and M. L. Drago. "SOABench: Performance Evaluation of Service-Oriented Middleware Made Easy". Proceedings (Volume 2) of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa. 2010. pp. 301-302. [More] [Bibtex]
D. Bianculli, W. Binder and M. L. Drago. "Automated Performance Assessment for Service-Oriented Middleware: a Case Study on BPEL engines". Proceedings of the 19th International Conference on World Wide Web (WWW 2010), Raleigh, NC, USA. 2010. pp. 141-150. [More] [Bibtex]
M. L. Drago, C. Ghezzi and R. Mirandola. "QVTR: A Rational and Performance-Aware Extension to the Relations Language". MoDELS Workshops. 2010. pp. 328. [More] [Bibtex]
L. Baresi and S. Guinea. "Consumer Mashups with Mashlight". Proceedings of the 3rd Servicewave Conference. 2010. pp. 112-123. [More] [Bibtex]
L. Baresi and S. Guinea. "Mashups with Mashlight". Proceedings of the 8th International Conference on Service Oriented Computing. 2010. pp. 711-712. [More] [Bibtex]
L. Baresi and C. Ghezzi. "The disappearing boundary between development-time and run-time". Proceedings of the Workshop on Future of Software Engineering Research (FoSER 2010). G.-C. Roman and K. J. Sullivan eds. 2010. [More] [Bibtex]
M. Caporuscio, M. Funaro and C. Ghezzi. "Architectural Issues of Adaptive Pervasive Systems". Engels et al eds. Springer Berlin / Heidelberg. 2010. pp. 492-511. [More] [Bibtex]
A. Ciancone, A. Filieri and R. Mirandola. "MANTra: Towards Model Transformation Testing". QUATIC 2010. 2010. pp. 97-105. [More] [Bibtex]
G. Orsi and L. Tanca. "Context modelling and context-aware querying: can Datalog be of help?". Proceedings of Datalog 2.0 Workshop. 2010. [More] [Bibtex]
G. Cugola and A. Margara. "SLIM: Service Location and Invocation Middleware for Mobile Wireless Sensor and Actuator Networks", International Journal of Systems and Service-Oriented Engineering (IJSSOE), Special Issue on "Engineering Middleware for Service-Oriented Computing. 2010. [More] [Bibtex]
F. Giunchiglia, F. Farazi, L. Tanca and R. D. Virgilio. "The SemanticWeb Languages". 2010. [More] [Bibtex]
R. D. Virgilio, F. Giunchiglia and L. Tanca. Semantic Web Information Management: A Model-Based Perspective, 2010. [More] [Bibtex]
A. Filieri, C. Ghezzi, V. Grassi and R. Mirandola. "Reliability Analysis of Component-Based Systems with Multiple Failure Modes". 2010. [More] [Bibtex]
M. Rossi and C. A. Furia. "A Theory of Sampling for Continuous-time Metric Temporal Logic", ACM Transactions on Computational logic. 2010. [More] [Bibtex]
C. A. Furia, E. Di Nitto, M. Pradella and L. Cavallaro. "A Tile-based Approach for Self-assembling Service Compositions". 2010. [More] [Bibtex]
G. Orsi and L. Tanca. "Preserving Semantics in Automatically Created Ontology Alignments". 2010. [More] [Bibtex]
C. Ghezzi, A. Mocci and G. Salvaneschi. "Automatic Cross Validation of Multiple Specifications: A Case Study". Rosenblum, David, Taentzer and Gabriele eds. Springer Berlin / Heidelberg. 2010. pp. 233-247. [More] [Bibtex]
L. Baresi, A. Morzenti, A. Motta and M. Rossi. "From Interaction Overview Diagrams to Temporal Logic". MoDELS Workshops. 2010. pp. 90-104. [More] [Bibtex]
D. Ardagna, B. Panicucci, M. Trubian and L. Zhang. "Energy-Aware Autonomic Resource Allocation in Multi-Tier Virtualized Environments", Services Computing, IEEE Transactions on, Vol. PP. 2010, pp. 1. [More] [Bibtex]
D. Ardagna, C. Ghezzi, B. Panicucci and M. Trubian. "Service Provisioning on the Cloud: Distributed Algorithms for Joint Capacity Allocation and Admission Control". ServiceWave. 2010. pp. 1-12. [More] [Bibtex]
R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola and G. Tamburrelli. "Dynamic QoS Management and Optimisation in Service-Based Systems", IEEE Transactions on Software Engineering, Vol. 99. 2010. [More] [Bibtex]
M. Monga, R. Paleari and E. Passerini. "A hybrid analysis framework for detecting web application vulnerabilities". 2010. [More] [Bibtex]
A. Fattori, R. Paleari, L. Martignoni and M. Monga. "Dynamic and transparent analysis of commodity production systems". 2010. [More] [Bibtex]
N. Gatti, M. Monga and S. Sicari. "A game theoretical analysis of localization security in wireless sensor networks with adversaries". 2010. [More] [Bibtex]
L. Baresi and L. Pasquale. "Adaptive Goals for Self-Adaptive Service Compositions". 2010. [More] [Bibtex]
D. Barbagallo, E. Di Nitto, D. J. Dubois and R. Mirandola. A Bio-Inspired Algorithm for Energy Optimization in a Self-organizing Data Center. Springer. 2010. [More] [Bibtex]
N. M. Calcavecchia, D. Ardagna and E. Di Nitto. "In Run-time Models for Self-managing Systems and Applications". 2010. [More] [Bibtex]
C. Ghezzi, M. Pradella and G. Salvaneschi. "Context Oriented Programming in Highly Concurrent Systems". 2010. [More] [Bibtex]
G. Cugola and M. Migliavacca. "MultiCaR: Remote invocation for large scale, context-aware applications". 2010. [More] [Bibtex]
G. Cugola and A. Margara. "TESLA: A Formally Defined Event Specification Language". 2010. [More] [Bibtex]
M. Bersani, A. Frigeri, M. Pradella, M. Rossi, A. Morzenti and P. San Pietro. "Bounded Reachability for Temporal Logic over Constraint Systems". 2010. [More] [Bibtex]
M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella and M. Rossi. "SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability". 2010. [More] [Bibtex]
M. Grechanik et al.. "An Empirical Investigation Into Large-Scale Java Open Source Code Repository". 2010. [More] [Bibtex]
L. Mottola, T. Voigt, F. Österlind, J. Eriksson, L. Baresi and C. Ghezzi. "Nquiro: Enabling Efficient Static Verification of Sensor Network Software". 2010. [More] [Bibtex]
M. Funaro, D. Braga, A. Campi and C. Ghezzi. "A Hybrid Approach (Syntactic and Textual) to Clone Detection". 2010. [More] [Bibtex]
L. Baresi, C. Ghezzi and L. Mottola. "Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens", s”, IEEE Transactions on Software Engineering. 2010. [More] [Bibtex]
V. Cortellessa, R. Mirandola and P. Potena. "Selecting Optimal Maintenance Plans based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes". 2010. [More] [Bibtex]
C. Ghezzi, A. Motta, V. Panzica La Manna and G. Tamburrelli. "QoS Driven Dynamic Binding in-the-many". 2010. [More] [Bibtex]
I. Epifani, C. Ghezzi and G. Tamburrelli. "Change-Point Detection for Black-Box Services". 2010. [More] [Bibtex]
M. Miraz, P. L. Lanzi and L. Baresi. "Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques". 2010. [More] [Bibtex]
C. Ghezzi and A. Mocci. "Behavior Model Based Component Search: An Initial Assessment". 2010. [More] [Bibtex]
J. M. Almeida, V. A. Almeida, D. Ardagna, . Italo S. Cunha, C. Francalanci and M. Trubian. "Joint admission control and resource allocation in virtualized servers", J. Parallel Distrib. Comput.. 2010. [More] [Bibtex]
D. Ardagna, M. Tanelli, M. Lovera and L. Zhang. "Black-box performance models for virtualized web service applications". 2010. [More] [Bibtex]
D. Ardagna and R. Mirandola. "Per-flow Optimal Service Selection for Web Services Based Processes", Journal of Systems and Software. 2010. [More] [Bibtex]
B. Addis, D. Ardagna, B. Panicucci and L. Zhang. "Autonomic Management of Cloud Service Centers with Availability Guarantees". 2010. [More] [Bibtex]
C. Ghezzi, M. Pradella and G. Salvaneschi. "Programming Language Support to Context-Aware Adaptation - A Case-Study with Erlang". 2010. [More] [Bibtex]
L. Baresi, L. Pasquale and P. Spoletini. "Fuzzy Goals for Self-adaptive Systems". 2010. [More] [Bibtex]
L. Baresi and L. Pasquale. "Live Goals for Adaptive Service Compositions". 2010. [More] [Bibtex]
L. Baresi, P. L. Lanzi and M. Miraz. "TestFul: an Evolutionary Test Approach for Java". 2010. [More] [Bibtex]

Results 1 - 100 of 129

«
Start
Prev
1
2
Next
End
»

SEO by Artio