Differences

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

--- 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.
@@ 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. 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. 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.
@@ 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, 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.
@@ Line 41: / Line 39: @@
 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, 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.
 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. 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. 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.
@@ 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.
 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, 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.
@@ 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. 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: 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
@@ 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: 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.
@@ 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, 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, 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.
@@ 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.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.
@@ 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 - 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.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. 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. 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, 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.
 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. 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.
@@ Line 192: / Line 181: @@
 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. Shaqiri: Dynamic Software Evolution through Interpreter Adaptation. 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, 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: 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: 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, 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: 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.

CINA: Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society

User Tools

Site Tools

Differences

Page Tools