User Tools

Site Tools


wp1_list

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. Margheri, M. Masi, R. Pugliese, F. Tiezzi: Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach. WS-FM 2013: 85-105, Lecture Notes in Computer Science 8379, Springer 2014.

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, 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. 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

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.

I. Lanese, F. Montesi, G. Zavattaro: The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems 2015: 506-521, Lecture Notes in Computer Science 8950, Springer 2015

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. 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. H. ter Beek, A. Fantechi, S. Gnesi, F. Mazzanti: Modelling and Analysing Variability in Product Families: Model Checking of Modal Transition Systems with Variability Constraints. J. Log. Algebr. Meth. Program. 85(2): 287-315 (2016).

M. H. ter Beek, A. Fantechi, S. Gnesi, F. Mazzanti: Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439. 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. 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: Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15. ACM, 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, 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, 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, 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. 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. A meta-circular language for active libraries. Sci. Comput. Program. 95: 219-253 (2014)

M. Servetto, E. Zucca. Aliasing Control in an Imperative Pure Calculus. APLAS 2015: 208-228. Lecture Notes in Computer Science 9458, Springer 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.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. 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, 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.

R.B. Uriarte, F. Tiezzi, R. De Nicola: SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC 2014: 419-426, IEEE 2014.

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.

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: 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.

wp1_list.txt · Last modified: 2016/03/21 16:53 by imt