This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
wp1_list [2016/03/21 16:20] imt |
wp1_list [2016/03/21 16:53] (current) imt |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | **List of Publications for WG1** | ||
- | |||
A. Compagnoni P. Giannini, C. Kelley. A computational modeling language for complex laboratory experiments, Nano Communication Networks, 6(3): 103-117, 2015, Elsevier. | A. Compagnoni P. Giannini, C. Kelley. A computational modeling language for complex laboratory experiments, Nano Communication Networks, 6(3): 103-117, 2015, Elsevier. | ||
Line 15: | Line 13: | ||
A. Margheri, R. Pugliese, F. Tiezzi: Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409, IEEE 2013. | A. Margheri, R. Pugliese, F. Tiezzi: Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409, IEEE 2013. | ||
- | A. Ricci and A. Santi. 2013. Concurrent object-oriented programming with agent-oriented abstractions: the ALOO approach. AGERE! 2013: 127-138, ACM, New York, NY. | + | A. Ricci and A. Santi. 2013. Concurrent object-oriented programming with agent-oriented abstractions: the ALOO approach. AGERE! 2013: 127-138, ACM, New York, NY. |
- | A. Ricci, A. Santi. From actors and concurrent objects to agent-oriented programming in simpAL. Concurrent Objects and Beyond: 408-445, Lecture Notes in Computer Science 8665, Springer 2014. | + | A. Ricci, A. Santi. From actors and concurrent objects to agent-oriented programming in simpAL. Concurrent Objects and Beyond: 408-445, Lecture Notes in Computer Science 8665, Springer 2014. |
A. Ricci, Programming with event loops and control loops - From actors to agents, Computer Languages, Systems & Structures, Elsevier 2015. | A. Ricci, Programming with event loops and control loops - From actors to agents, Computer Languages, Systems & Structures, Elsevier 2015. | ||
- | A. Ricci. 2014. From Actor Event-Loop to Agent Control-Loop: Impact on Programming. AGERE! '14: 121-132. ACM, New York. | + | A. Ricci. 2014. From Actor Event-Loop to Agent Control-Loop: Impact on Programming. AGERE! '14: 121-132. ACM, New York. |
- | D. Ancona, A. Corradi: Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP 2014: 282-307, Lecture Notes in Computer Science 8586, Springer. | + | D. Ancona, A. Corradi: Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP 2014: 282-307, Lecture Notes in Computer Science 8586, Springer. |
D. Ancona, A. Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246, 2015. | D. Ancona, A. Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246, 2015. | ||
Line 33: | Line 31: | ||
D. Ancona, F. Frassetto: A three-valued type system for true positives detection in Java-like languages. FTfJP@ECOOP 2015: 1:1-1:7, ACM. | D. Ancona, F. Frassetto: A three-valued type system for true positives detection in Java-like languages. FTfJP@ECOOP 2015: 1:1-1:7, ACM. | ||
- | D. Ancona, P. Giannini, E. Zucca: Incremental rebinding with name polymorphism. ICTCS'15 - Italian Conf. on Theoretical Computer Science, ENTCS. | + | D. Ancona, P. Giannini, E. Zucca: Incremental rebinding with name polymorphism. ICTCS'15 - Italian Conf. on Theoretical Computer Science, Electronic Notes in Theoretical Computer Science. |
D. Ancona, P. Giannini, E. Zucca: Type safe incremental rebinding. Mathematical Structures in Computer Science, FirstView, 2015. | D. Ancona, P. Giannini, E. Zucca: Type safe incremental rebinding. Mathematical Structures in Computer Science, FirstView, 2015. | ||
Line 41: | Line 39: | ||
D. Ancona: Regular corecursion in Prolog. Computer Languages, Systems & Structures 39(4): 142-162, 2013. Elsevier. | D. Ancona: Regular corecursion in Prolog. Computer Languages, Systems & Structures 39(4): 142-162, 2013. Elsevier. | ||
- | E. Vacchi, D.M. Olivares, A. Shaqiri, W. Cazzola: Neverlang 2: A Framework for Modular Language Implementation. Modularity'14:23–26, ACM. | + | E. Vacchi, D.M. Olivares, A. Shaqiri, W. Cazzola: Neverlang 2: A Framework for Modular Language Implementation. Modularity'14:23–26, ACM. |
- | E. Vacchi, W. Cazzola, B. Combemale, M. Acher: Automating Variability Model Inference for Component-Based Language Implementations. International Software Product Line Conference (SPLC'14):167–176, ACM. | + | E. Vacchi, W. Cazzola, B. Combemale, M. Acher: Automating Variability Model Inference for Component-Based Language Implementations. International Software Product Line Conference (SPLC'14):167–176, ACM. |
- | E. Vacchi, W. Cazzola, S. Pillay, B. Combemale: Variability Support in Domain-Specific Language Development. Software Language Engineering (SLE'13), Lecture Notes in Computer Science 8225:76–95, Springer. | + | E. Vacchi, W. Cazzola, S. Pillay, B. Combemale: Variability Support in Domain-Specific Language Development. Software Language Engineering (SLE'13), Lecture Notes in Computer Science 8225:76–95, Springer. |
- | E. Vacchi, W. Cazzola: Neverlang: A Framework for Feature-Oriented Language Development. Computer Languages, Systems & Structures 43(3):1–40, October 2015, Elsevier. | + | E. Vacchi, W. Cazzola: Neverlang: A Framework for Feature-Oriented Language Development. Computer Languages, Systems & Structures 43(3):1–40, October 2015, Elsevier. |
F. Barbanera, U. de'Liguoro: Sub-behaviour relations for session-based client/server systems. Mathematical Structures in Computer Science 25(6): 1339-1381 (2015) | F. Barbanera, U. de'Liguoro: Sub-behaviour relations for session-based client/server systems. Mathematical Structures in Computer Science 25(6): 1339-1381 (2015) | ||
F. Corradini, A. Polini, B. Re, F. Tiezzi: An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180, Lecture Notes in Computer Science 9539, Springer 2016. | F. Corradini, A. Polini, B. Re, F. Tiezzi: An Operational Semantics of BPMN Collaboration. FACS 2015: 161-180, Lecture Notes in Computer Science 9539, Springer 2016. | ||
- | |||
F. Damiani, I. Schaefer, S. Schuster, T. Winkelmann: Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303, Lecture Notes in Computer Science 8802, Springer, 2014 | F. Damiani, I. Schaefer, S. Schuster, T. Winkelmann: Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303, Lecture Notes in Computer Science 8802, Springer, 2014 | ||
Line 72: | Line 69: | ||
L. Bettini, F. Damiani: Pure trait-based programming on the Java platform. PPPJ 2013: 67-78, ACM. | L. Bettini, F. Damiani: Pure trait-based programming on the Java platform. PPPJ 2013: 67-78, ACM. | ||
- | L. Cesari, R. De Nicola, R. Pugliese, M. Puviani, F. Tiezzi, F. Zambonelli: Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118, Lecture Notes in Computer Science 8348, Springer. | + | L. Cesari, R. De Nicola, R. Pugliese, M. Puviani, F. Tiezzi, F. Zambonelli: Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118, Lecture Notes in Computer Science 8348, Springer. |
L. Cruz-Filipe, I. Lanese, F. Martins, A. Ravara, V. T. Vasconcelos: The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Asp. Comput. 26(5): 865-918 (2014), Springer. | L. Cruz-Filipe, I. Lanese, F. Martins, A. Ravara, V. T. Vasconcelos: The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Asp. Comput. 26(5): 865-918 (2014), Springer. | ||
Line 78: | Line 75: | ||
Language: Design, Implementation, Verification. In Software Engineering for Collective Autonomic Systems: The ASCENS Approach, Lecture Notes in Computer Science 8998, pp. 3-71, Springer 2015. | Language: Design, Implementation, Verification. In Software Engineering for Collective Autonomic Systems: The ASCENS Approach, Lecture Notes in Computer Science 8998, pp. 3-71, Springer 2015. | ||
- | M. Al-Refai, S. Ghosh, W. Cazzola: Model-based Regression Test Selection for Validating Runtime Adaptation of Software Systems. International Conference on Software Testing, Verification and Validation (ICST'16), IEEE. | + | M. Al-Refai, S. Ghosh, W. Cazzola: Model-based Regression Test Selection for Validating Runtime Adaptation of Software Systems. International Conference on Software Testing, Verification and Validation (ICST'16), IEEE. |
M. Al-Refai, W. Cazzola, R.B. France: Using Models to Dynamically Refactor Runtime Code. Symposium on Applied Computing (SAC'14), 1108–1113, ACM. | M. Al-Refai, W. Cazzola, R.B. France: Using Models to Dynamically Refactor Runtime Code. Symposium on Applied Computing (SAC'14), 1108–1113, ACM. | ||
- | M. Al-Refai, W. Cazzola, S. Ghosh, R. France: Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime. High Assurance Systems Engineering (HASE'16), IEEE. | + | M. Al-Refai, W. Cazzola, S. Ghosh, R. France: Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime. High Assurance Systems Engineering (HASE'16), IEEE. |
M. Amoretti, A. Grazioli, F. Zanichelli, V. Senni, F. Tiezzi: Towards a Formal Approach to Mobile Cloud Computing. PDP 2014: 743-750, IEEE 2014. | M. Amoretti, A. Grazioli, F. Zanichelli, V. Senni, F. Tiezzi: Towards a Formal Approach to Mobile Cloud Computing. PDP 2014: 743-750, IEEE 2014. | ||
Line 94: | Line 91: | ||
M. Bravetti: Towards Dynamic Updates in Service Composition. FOCLASA 2015: 1-17, Electronic Proceedings in Theoretical Computer Science 201, 2015. | M. Bravetti: Towards Dynamic Updates in Service Composition. FOCLASA 2015: 1-17, Electronic Proceedings in Theoretical Computer Science 201, 2015. | ||
- | M. Coppo, M. Dezani-Ciancaglini and B. Venneri. Self-Adaptive Monitors for Multiparty Sessions. PDP'14:688-696, 2014, IEEE. | + | M. Coppo, M. Dezani-Ciancaglini and B. Venneri. Self-Adaptive Monitors for Multiparty Sessions. PDP'14:688-696, 2014, IEEE. |
- | M. Coppo, M. Dezani-Ciancaglini and B. Venneri. Self-Adaptive Multiparty Sessions, Service Oriented Computing and Applications, 9(3-4):249-268, Springer 2015. | + | M. Coppo, M. Dezani-Ciancaglini and B. Venneri. Self-Adaptive Multiparty Sessions, Service Oriented Computing and Applications, 9(3-4):249-268, Springer 2015. |
M. Dalla Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro: Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46, 2015. | M. Dalla Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro: Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46, 2015. | ||
- | M. Dalla Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro: Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION 2015: 67-82, Lecture Notes in Computer Science 9037, Springer 2015 | + | M. Dalla Preda, M. Gabbrielli, S. Giallorenzo, I. Lanese, J. Mauro: Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION 2015: 67-82, Lecture Notes in Computer Science 9037, Springer 2015 |
M. Dalla Preda, S. Giallorenzo, I. Lanese, J. Mauro, M. Gabbrielli: AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014: 161-170, Lecture Notes in Computer Science 8706, Springer 2014 | M. Dalla Preda, S. Giallorenzo, I. Lanese, J. Mauro, M. Gabbrielli: AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014: 161-170, Lecture Notes in Computer Science 8706, Springer 2014 | ||
Line 110: | Line 107: | ||
M. H. ter Beek, A. Fantechi, S. Gnesi: Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326. ACM, 2015. | M. H. ter Beek, A. Fantechi, S. Gnesi: Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326. ACM, 2015. | ||
- | M. H. ter Beek, A. Fantechi, S. Gnesi: Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367. Lecture Notes in Computer Science 8802, Springer, 2014. | + | M. H. ter Beek, A. Fantechi, S. Gnesi: Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367. Lecture Notes in Computer Science 8802, Springer, 2014. |
M. H. ter Beek, A. Legay, A. Lluch-Lafuente, A. Vandin: Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70. Electronic Proceedings in Theoretical Computer Science 182, 2015. | M. H. ter Beek, A. Legay, A. Lluch-Lafuente, A. Vandin: Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70. Electronic Proceedings in Theoretical Computer Science 182, 2015. | ||
Line 120: | Line 117: | ||
M. H. ter Beek, E. P. de Vink: Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37. IEEE, 2014. | M. H. ter Beek, E. P. de Vink: Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37. IEEE, 2014. | ||
- | M. H. ter Beek, Erik P. de Vink: Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385. Lecture Notes in Computer Science 8802, Springer, 2014. | + | M. H. ter Beek, Erik P. de Vink: Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385. Lecture Notes in Computer Science 8802, Springer, 2014. |
- | + | M. H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, L. Paolini: From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359. Lecture Notes in Computer Science 9276, Springer, 2015. | |
- | M. H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, L. Paolini: From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359. Lecture Notes in Computer Science 9276, Springer, 2015. | + | |
M. H. ter Beek, F. Mazzanti: VMC: recent advances and challenges ahead. SPLC Workshops 2014: 70-77. ACM, 2014. | M. H. ter Beek, F. Mazzanti: VMC: recent advances and challenges ahead. SPLC Workshops 2014: 70-77. ACM, 2014. | ||
- | M. H. ter Beek, S. Gnesi, D. Latella, M. Massink: Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280. Lecture Notes in Computer Science 9509, Springer, 2015. | + | M. H. ter Beek, S. Gnesi, D. Latella, M. Massink: Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280. Lecture Notes in Computer Science 9509, Springer, 2015. |
- | M. H. ter Beek, S. Gnesi, F. Mazzanti: Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319. Lecture Notes in Computer Science 8974, Springer, 2015. | + | M. H. ter Beek, S. Gnesi, F. Mazzanti: Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319. Lecture Notes in Computer Science 8974, Springer, 2015. |
M. Loreti, A. Margheri, R. Pugliese, F. Tiezzi: On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183, Lecture Notes in Computer Science 8802, Springer 2014. | M. Loreti, A. Margheri, R. Pugliese, F. Tiezzi: On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183, Lecture Notes in Computer Science 8802, Springer 2014. | ||
Line 141: | Line 137: | ||
M. Zatelli , A. Ricci, Jomi F. Hübner. Evaluating Different Concurrency Configurations for Executing Multi-Agent Systems. Engineering Multi-Agent Systems: 212-230, Lecture Notes in Computer Science 9318, Springer Verlag, 2015 | M. Zatelli , A. Ricci, Jomi F. Hübner. Evaluating Different Concurrency Configurations for Executing Multi-Agent Systems. Engineering Multi-Agent Systems: 212-230, Lecture Notes in Computer Science 9318, Springer Verlag, 2015 | ||
- | M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, L. Paolini: From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359, Lecture Notes in Computer Science 9276, Springer, 2015 | + | M.H. ter Beek, F. Damiani, S. Gnesi, F. Mazzanti, L. Paolini: From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359, Lecture Notes in Computer Science 9276, Springer, 2015 |
- | M.M. Bonsangue, J. Rot, D. Ancona, F.S. de Boer, J.J.M.M. Rutten: A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) 2014: 62-73, Lecture Notes in Computer Science 8573, Springer. | + | M.M. Bonsangue, J. Rot, D. Ancona, F.S. de Boer, J.J.M.M. Rutten: A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) 2014: 62-73, Lecture Notes in Computer Science 8573, Springer. |
O. Boissier, R. Bordini, J. Hubner, A. Ricci. Multi-agent oriented programming with JaCaMo. Science of Computer Programming: 78(6), 747-761, Elsevier 2013. | O. Boissier, R. Bordini, J. Hubner, A. Ricci. Multi-agent oriented programming with JaCaMo. Science of Computer Programming: 78(6), 747-761, Elsevier 2013. | ||
Line 151: | Line 147: | ||
P. Giannini, A. Shaqiri. An intermediate language for compilation to scripting languages. ICSOFT 2013, SciTePress, 2013. | P. Giannini, A. Shaqiri. An intermediate language for compilation to scripting languages. ICSOFT 2013, SciTePress, 2013. | ||
- | + | P. Giannini, A. Shaqiri: An intermediate language for compilation to scripting languages. ICSOFT 2013 - International Joint Conference on Software Technologies, 92-103, SciTePress. | |
- | P. Giannini, A. Shaqiri: An intermediate language for compilation to scripting languages. ICSOFT 2013 - International Joint Conference on Software Technologies, 92-103, SciTePress. | + | |
P. Giannini, A. Shaqiri: Compiling Functional to Scripting Languages. Communications in Computer and Information Science 457, 114-130, Springer, 2014 | P. Giannini, A. Shaqiri: Compiling Functional to Scripting Languages. Communications in Computer and Information Science 457, 114-130, Springer, 2014 | ||
- | |||
P. Giannini, A.L. Lamprecht,T. Margaria: Exploring the potential of global types for adding a choreography perspective to the jABC framework. MODELSWARD 2016, IEEE. | P. Giannini, A.L. Lamprecht,T. Margaria: Exploring the potential of global types for adding a choreography perspective to the jABC framework. MODELSWARD 2016, IEEE. | ||
- | R. Chitchyan, W. Cazzola, A. Rashid: Engineering Sustainability through Language. International Conference on Software Engineering (ICSE'15), 501–504, IEEE. | + | R. Chitchyan, W. Cazzola, A. Rashid: Engineering Sustainability through Language. International Conference on Software Engineering (ICSE'15), 501–504, IEEE. |
- | + | ||
- | R. Cognini, F. Corradini, A. Polini, B. Re: Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. Business | + | |
- | Process Management Workshops 2014: 210-221, Lecture Notes in Business Information Processing 202, Springer 2015. | + | |
+ | R. Cognini, F. Corradini, A. Polini, B. Re: Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes. Business Process Management Workshops 2014: 210-221, Lecture Notes in Business Information Processing 202, Springer 2015. | ||
R. Cognini, F. Corradini, S. Gnesi, A. Polini, B. Re: Research challenges in business process adaptability. Symposium on Applied Computing (SAC'14): 1049-1054, ACM. | R. Cognini, F. Corradini, S. Gnesi, A. Polini, B. Re: Research challenges in business process adaptability. Symposium on Applied Computing (SAC'14): 1049-1054, ACM. | ||
R. De Nicola, A. Lluch-Lafuente, M. Loreti, A. Morichetta, R. Pugliese, V. Senni, F. Tiezzi: Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83, Lecture Notes in Computer Science 8415, Springer 2014. | R. De Nicola, A. Lluch-Lafuente, M. Loreti, A. Morichetta, R. Pugliese, V. Senni, F. Tiezzi: Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83, Lecture Notes in Computer Science 8415, Springer 2014. | ||
- | |||
R. De Nicola, A. Maggi, M. Petrocchi, A. Spognardi, F. Tiezzi: Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343, Lecture Notes in Computer Science 9276, Springer 2015. | R. De Nicola, A. Maggi, M. Petrocchi, A. Spognardi, F. Tiezzi: Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343, Lecture Notes in Computer Science 9276, Springer 2015. | ||
- | |||
R. De Nicola, D. Latella, A. Lluch Lafuente, M. Loreti, A. Margheri, M. Massink, A. Morichetta, R. Pugliese, F. Tiezzi, A. Vandin: The SCEL Language: Design, Implementation, Verification. In Software Engineering for Collective Autonomic Systems: The ASCENS Approach, Lecture Notes in Computer Science 8998, pp. 3-71, Springer, 2015. | R. De Nicola, D. Latella, A. Lluch Lafuente, M. Loreti, A. Margheri, M. Massink, A. Morichetta, R. Pugliese, F. Tiezzi, A. Vandin: The SCEL Language: Design, Implementation, Verification. In Software Engineering for Collective Autonomic Systems: The ASCENS Approach, Lecture Notes in Computer Science 8998, pp. 3-71, Springer, 2015. | ||
Line 181: | Line 171: | ||
R.B. Uriarte, S. Tsaftaris, F. Tiezzi: Service Clustering for Autonomic Clouds Using Random Forest. CCGRID 2015: 515-524, IEEE 2015. | R.B. Uriarte, S. Tsaftaris, F. Tiezzi: Service Clustering for Autonomic Clouds Using Random Forest. CCGRID 2015: 515-524, IEEE 2015. | ||
- | S. González, K. Mens, M. Colăcioiu, W. Cazzola: Context Traits: Dynamic Behaviour Adaptation through Run-Time Trait Recomposition. Aspect-Oriented Software Development (AOSD'13), 209–220, ACM. | + | S. González, K. Mens, M. Colăcioiu, W. Cazzola: Context Traits: Dynamic Behaviour Adaptation through Run-Time Trait Recomposition. Aspect-Oriented Software Development (AOSD'13), 209–220, ACM. |
T. Belder, M. H. ter Beek, E. P. de Vink: Coherent branching feature bisimulation. FMSPLE 2015: 14-30. Electronic Proceedings in Theoretical Computer Science 182, 2015. | T. Belder, M. H. ter Beek, E. P. de Vink: Coherent branching feature bisimulation. FMSPLE 2015: 14-30. Electronic Proceedings in Theoretical Computer Science 182, 2015. | ||
- | T. Kühn, W. Cazzola, D.M. Olivares: Choosy and Picky: Configuration of Language Product Lines”. International Software Product Line Conference (SPLC'15): 71–80, ACM. | + | T. Kühn, W. Cazzola, D.M. Olivares: Choosy and Picky: Configuration of Language Product Lines”. International Software Product Line Conference (SPLC'15): 71–80, ACM. |
U. Montanari, R. Pugliese, F. Tiezzi: Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661, Lecture Notes in Computer Science 8950, Springer 2015. | U. Montanari, R. Pugliese, F. Tiezzi: Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661, Lecture Notes in Computer Science 8950, Springer 2015. | ||
Line 192: | Line 181: | ||
V. Bono, E. Mensa, M. Naddeo: Trait-oriented programming in Java 8. PPPJ 2014: 181-186 | V. Bono, E. Mensa, M. Naddeo: Trait-oriented programming in Java 8. PPPJ 2014: 181-186 | ||
- | W. Cazzola, A. Marchetto: A Concern-Oriented Framework for Dynamic Measurements. Information and Software Technology 57: 32–51, January 2015. | + | W. Cazzola, A. Marchetto: A Concern-Oriented Framework for Dynamic Measurements. Information and Software Technology 57: 32–51, January 2015. |
- | W. Cazzola, A. Shaqiri: Dynamic Software Evolution through Interpreter Adaptation. Modularity'16, ACM. | + | W. Cazzola, A. Shaqiri: Dynamic Software Evolution through Interpreter Adaptation. Modularity'16, ACM. |
- | W. Cazzola, A. Shaqiri: Modularity and Optimization in Synergy. Modularity'16, ACM. | + | W. Cazzola, A. Shaqiri: Modularity and Optimization in Synergy. Modularity'16, ACM. |
- | W. Cazzola, D.M. Olivares: Gradually Learning Programming Supported by a Growable Programming Language. IEEE Transactions on Emerging Topics in Computing, 4(1), 2016. | + | W. Cazzola, D.M. Olivares: Gradually Learning Programming Supported by a Growable Programming Language. IEEE Transactions on Emerging Topics in Computing, 4(1), 2016. |
- | W. Cazzola, E. Vacchi: @Java: Annotations in Freedom. Symposium on Applied Computing (SAC'13), 1691–1696, ACM. | + | W. Cazzola, E. Vacchi: @Java: Annotations in Freedom. Symposium on Applied Computing (SAC'13), 1691–1696, ACM. |
- | W. Cazzola, E. Vacchi: @Java: Bringing a Richer Annotation Model to Java, Computer Languages, Systems & Structures 40(1): 2–18, April 2014, Elsevier. | + | W. Cazzola, E. Vacchi: @Java: Bringing a Richer Annotation Model to Java, Computer Languages, Systems & Structures 40(1): 2–18, April 2014, Elsevier. |
W. Cazzola, E. Vacchi: Fine-Grained Annotations for Pointcuts with a Finer Granularity. Symposium on Applied Computing (SAC'13): 1706-1711, ACM. | W. Cazzola, E. Vacchi: Fine-Grained Annotations for Pointcuts with a Finer Granularity. Symposium on Applied Computing (SAC'13): 1706-1711, ACM. | ||
- | W. Cazzola, E. Vacchi: Language Components for Modular DSLs using Traits. Computer Languages, Systems & Structures 45: 16–34, April 2016, Elsevier. | + | W. Cazzola, E. Vacchi: Language Components for Modular DSLs using Traits. Computer Languages, Systems & Structures 45: 16–34, April 2016, Elsevier. |
- | W. Cazzola, E. Vacchi: Neverlang 2: Componentised Language Development for the JVM. Software Composition (SC'13), Lecture Notes in Computer Science 8088: 17–32, Springer. | + | W. Cazzola, E. Vacchi: Neverlang 2: Componentised Language Development for the JVM. Software Composition (SC'13), Lecture Notes in Computer Science 8088: 17–32, Springer. |
- | W. Cazzola, E. Vacchi: On the Incremental Growth and Shrinkage of LR Goto-Graphs. Acta Informatica 51(7): 419–447, October 2014. | + | W. Cazzola, E. Vacchi: On the Incremental Growth and Shrinkage of LR Goto-Graphs. Acta Informatica 51(7): 419–447, October 2014. |
- | W. Cazzola, N.A. Rossini, M. Al-Refai, R.B. France: Fine-Grained Software Evolution using UML Activity and Class Models. Model Driven Engineering Languages and Systems (MoDELS'13), Lecture Notes in Computer Science 8107: 271–286, Springer. | + | W. Cazzola, N.A. Rossini, M. Al-Refai, R.B. France: Fine-Grained Software Evolution using UML Activity and Class Models. Model Driven Engineering Languages and Systems (MoDELS'13), Lecture Notes in Computer Science 8107: 271–286, Springer. |
- | W. Cazzola, N.A. Rossini, P. Bennett, S.P. Mandalaparty, R.B. France: Fine-Grained Semi-Automated Runtime Evolution. MoDELS@Run-Time, Lecture Notes in Computer Science 8378: 259–278, Springer, 2014. | + | W. Cazzola, N.A. Rossini, P. Bennett, S.P. Mandalaparty, R.B. France: Fine-Grained Semi-Automated Runtime Evolution. MoDELS@Run-Time, Lecture Notes in Computer Science 8378: 259–278, Springer, 2014. |
W. Cazzola, P. Giannini, A. Shaqiri: Formal Attributes Traceability in Modular Language Development Frameworks, ICTCS'15 - Italian Conf. on Theoretical Computer Science, ENTCS. | W. Cazzola, P. Giannini, A. Shaqiri: Formal Attributes Traceability in Modular Language Development Frameworks, ICTCS'15 - Italian Conf. on Theoretical Computer Science, ENTCS. | ||
- | W. Cazzola: Evolution as Reflections on the Design. MoDELS@Run-Time, Lecture Notes in Computer Science 8378: 259–278, Springer, 2014. | + | W. Cazzola: Evolution as Reflections on the Design. MoDELS@Run-Time, Lecture Notes in Computer Science 8378: 259–278, Springer, 2014. |
Y.A. Alrahman, R. De Nicola, M. Loreti, F. Tiezzi, R. Vigo: A calculus for attribute-based communication. Symposium on Applied Computing (SAC'15): 1840-1845, ACM. | Y.A. Alrahman, R. De Nicola, M. Loreti, F. Tiezzi, R. Vigo: A calculus for attribute-based communication. Symposium on Applied Computing (SAC'15): 1840-1845, ACM. | ||
- |