Source: http://sysma.imtlucca.it/cina/doku.php?id=wp1_list
Timestamp: 2019-04-26 05:43:21+00:00

Document:
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: State-Sensitive Computational Modeling, BICT 2014, ICST.
A. Compagnoni, P. Giannini, C. Kim, M. Milideo, V. Sharma. A Calculus of Located Entities, DCM 2013, Electronic Proceedings in Theoretical Computer Science.
A. Compagnoni, P. Giannini, C. Kim, M. Milideo, V. Sharma. A Calculus of Located Entities, DCM 2013: 41-56, Electronic Proceedings in Theoretical Computer Science.
A. Lluch-Lafuente, M. Loreti, U. Montanari: A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116, Lecture Notes in Computer Science , Springer.
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, 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.
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: co-LP: Back to the Roots. TPLP 13 (4-5-Online-Supplement) 2013.
D. Ancona, E. Zucca: Safe corecursion in coFJ. FTfJP@ECOOP 2013: 2:1-2: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, 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: How to prove type soundness of Java-like languages without forgoing big-step semantics. FTfJP@ECOOP 2014: 1:1-1:6, ACM.
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: Neverlang: A Framework for Feature-Oriented Language Development. Computer Languages, Systems & Structures 43(3):1–40, October 2015, Elsevier.
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, T. Winkelmann: Delta-oriented multi software product lines. SPLC 2014: 232-236, ACM.
F. Damiani, J. Dovland, E. B. Johnsen, I. Schaefer: Verifying traits: an incremental proof system for fine-grained reuse. Formal Asp. Comput. 26(4): 761-793, 2014.
I. Castellani, M. Dezani-Ciancaglini and J.A. Pérez: Self-Adaptation and Secure Information Flow in Multiparty Structured Communications. BEAT'14:9–18, Electronic Proceedings in Theoretical Computer Science 162.
J. Koscielny, S. Holthusen, I. Schaefer, S. Schulze, L. Bettini, F. Damiani: DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ 2014: 63-74, ACM.
L. Bettini, F. Damiani, I. Schaefer: Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97: 282-308, 2015.
L. Bettini, F. Damiani: Generic traits for the Java platform. PPPJ 2014: 5-16, 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. 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.
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.
M. Amoretti, A. Grazioli, V. Senni, F. Tiezzi, F. Zanichelli: A formalized framework for mobile cloud computing. Service Oriented Computing and Applications 9(3-4): 229-248, Springer 2015.
M. Benke, V. Bono, A. Schubert: Lucretia - intersection type polymorphism for scripting languages. ITRS 2014: 65-78. Electronic Proceedings in Theoretical Computer Science 177.
M. Bravetti, G. Zavattaro: Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* 2014: 12-31, Electronic Proceedings in Theoretical Computer Science 168, 2014.
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 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. 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. Lluch-Lafuente, M. Petrocchi: Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops 2013: 10-17. ACM.
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, 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. Pukall, C. Kästner, W. Cazzola, S. Götz, A. Grebhahn, R. Schöter, G. Saake: JavAdaptor — Flexible Runtime Updates of Java Applications. Software Practice and Experience 43(2), 153–185, February 2013.
M. Servetto, E. Zucca. Aliasing Control in an Imperative Pure Calculus. APLAS 2015: 208-228. Lecture Notes in Computer Science 9458, 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.
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. Unravelling multi-agent-oriented programming. Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks:259-272, Springer Berlin Heidelberg 2014.
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.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, 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.
R. De Nicola, M. Loreti, R. Pugliese, F. Tiezzi: A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS 9(2): 7:1-7:29, ACM 2014.
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.
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: 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, 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.
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.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.