User Tools

Site Tools


wp3_list

List of Publications for WP3

A. Lluch Lafuente, M. Loreti and U. Montanari: A Fixpoint-Based Calculus for Graph-Shaped Computational Fields, COORDINATION 2015, Springer LNCS 9037, pp. 101–116, 2015. Best Paper award for COORDINATION 2015

C. Bodei, L. Brodo, R. Bruni, D. Chiarugi: A Flat Process Calculus for Nested Membrane Interactions. Sci. Ann. Comp. Sci. 24(1): 91-136 (2014)

D. Pianini, M. Viroli, J. Beal: Protelis: practical aggregate programming. Proceedings of SAC 2015: 1846-1853, ACM 2015

E. Merelli, M. Rasetti: Non locality, Topology, Formal languages: New Global Tools to Handle Large Data Sets. ICCS 2013: 90-99, Procedia Computer Science 18, Elsevier 2013

E. Merelli, N. Paoletti, L. Tesei: Adaptability checking in complex systems. Sci. Comput. Program. 115-116: 23-46 (2016)

F. Damiani, M. Viroli, D. Pianini, J. Beal: Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128, Lecture Notes in Computer Science 9039, Springer 2015

F. Damiani, M. Viroli, J. Beal: A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016)

F. Damiani, M. Viroli: Type-based Self-stabilisation for Computational Fields. Logical Methods in Computer Science 11(4) (2015)

F. Gadducci, F. Santini, L. F. Pino, F. D. Valencia: A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION 2015: Springer Lecture Notes in Computer Science 9037, pp. 133–149, 2015.

F. Gadducci, M. M. Hölzl, G. V. Monreale, Martin Wirsing: Soft Constraints for Lexicographic Orders. MICAI (1) 2013: Springer

I. Lanese, F. Montesi, G. Zavattaro: Amending Choreographies. WWV 2013: 34-48, Electronic Proceedings in Theoretical Computer Science 123, 2013

I. Lanese, L. Bedogni, M. Di Felice: Internet of things: a process calculus approach. SAC 2013: 1339-1346, ACM 2013

J. Beal, D. Pianini, M. Viroli: Aggregate Programming for the Internet of Things. IEEE Computer 48(9): 22-30 (2015)

J. Beal, M. Viroli: Space-time programming. Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 373 (2015) Lecture Notes in Computer Science 8265, pp. 68-79. 2013

M. Bravetti, M. Carbone, T. T. Hildebrandt, I. Lanese, J. Mauro, J. A. Pérez, G. Zavattaro: Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14, Lecture Notes in Computer Science 8368, Springer 2013

M. Bravetti: Formalizing RESTful Services and Web-OS Middleware. WS-FM 2013: 48-68, Lecture Notes in Computer Science 8379, Springer 2014. M. H. ter Beek, F. Gadducci, F. Santini: Validating reconfigurations of Reo circuits in an e-Banking scenario. ISARCS 2013: 39-48. ACM, 2013.

M. Viroli, F. Damiani: A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178, Lecture Notes in Computer Science 8459, Springer 2014, Best paper at Discotec 2014.

M. Viroli, J. Beal, F. Damiani, D. Pianini: Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. Proceedings of SASO 2015: 81-90, IEEE Computer Society

P. Baldan, F. Bonchi, F. Gadducci, G. M. Monreale: Concurrency cannot be observed, asynchronously. Mathematical Structures in Computer Science 25(4): 978-1004 (2015)

P. Baldan, F. Bonchi, F. Gadducci, G. M. Monreale: Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16

P. Baldan, F. Bonchi, F. Gadducci, G. M. Monreale: Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015)

P. Baldan, F. Bonchi, F. Gadducci, G. V. Monreale: Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, A. Vandin: A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, A. Vandin: Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21

R. Bruni, A. Corradini, F. Gadducci, A. Lluch-Lafuente, A. Vandin: Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015)

R. Bruni, A. Corradini, F. Gadducci, M. Hölzl, A. Lluch-Lafuente, A. Vandin, M. Wirsing: Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184

R. Bruni, A. Lluch-Lafuente, U. Montanari: Constraint design rewriting. Sci. Comput. Program. 97: 23-30 (2015)

R. Bruni, H. Melgratti, U. Montanari, P. Sobocinski: Connector algebras for C/E and P/T nets' interactions. Logical Methods in Computer Science 9(3) (2013)

R. Bruni, H. Melgratti, U. Montanari: A Normal Form for Stateful Connectors. Logic, Rewriting, and Concurrency 2015: 205-227

R. Bruni, H. Melgratti, U. Montanari: Behaviour, Interaction and Dynamics. Specification, Algebra, and Software 2014: 382-401

R. Bruni, H. Melgratti, U. Montanari: From Hierarchical BIP to Petri Calculus. FPS@ETAPS 2014: 54-68

R. Bruni, U. Montanari, G. Plotkin, D. Terreni: On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs. Fundam. Inform. 134(3-4): 287-317 (2014)

R. Bruni, U. Montanari, M. Sammartino: A coalgebraic semantics for causality in Petri nets. J. Log. Algebr. Meth. Program. 84(6): 853-883 (2015)

R. Bruni, U. Montanari, M. Sammartino: Causal Trees, Finally. Programming Languages with Applications to Biology and Security 2015: 27-43

R. Bruni, U. Montanari, M. Sammartino: Reconfigurable and Software-Defined Networks of Connectors and Components. The ASCENS Approach 2015: 73-106

R. Bruni, U. Montanari, M. Sammartino: Revisiting causality, coalgebraically. Acta Inf. 52(1): 5-33 (2015) Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184

S. Crafa and L. Padovani. The chemical approach to typestate-oriented programming OOPSLA 2015: 917-934, ACM 2015.

U. Montanari and A. Tcheukam: Prosumers As Aggregators in the DEZENT Context of Regenerative Power Production, 2014 IEEE 8th International Conference on Self- Adaptive and Self-Organizing Systems (SASO), London, pp. 167—174, 2014.

U. Montanari and A. Tcheukam: Real Time Market Models and Prosumer Profiling, Proc. IEEE INFOCOM 2013 - CCSES Workshop, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), pp.7-12.

U. Montanari and M. Sammartino: Network-Conscious Pi-Calculus - A Model of Pastry, Proc. LSFA 2014, 9th Workshop on Logical and Semantic Frameworks, with Applications, Electronic Notes in Theoretical Computer Science 312 (2015) 3–17,

wp3_list.txt · Last modified: 2016/03/23 20:47 by imt