User Tools

Site Tools


wp1_list

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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.
- 
wp1_list.txt · Last modified: 2016/03/21 16:53 by imt