Articles with public access mandates - Rosario PuglieseLearn more
Not available anywhere: 3
Writing Robotics Applications with X-Klaim
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Symposium on Leveraging Applications of Formal Methods, 361-379, 2020
Mandates: Government of Italy
Programming multi-robot systems with X-KLAIM
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Symposium on Leveraging Applications of Formal Methods, 283-300, 2022
Mandates: Government of Italy
Programming autonomic systems with multiple constraint stores
U Montanari, R Pugliese, F Tiezzi
Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the …, 2015
Mandates: European Commission, Government of Italy
Available somewhere: 11
A formal approach to autonomic systems programming: the SCEL language
RD Nicola, M Loreti, R Pugliese, F Tiezzi
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014
Mandates: Government of Italy
The SCEL language: design, implementation, verification
R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015
Mandates: European Commission, Government of Italy
The autonomic cloud
P Mayer, J Velasco, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, ...
Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015
Mandates: European Commission
Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
D Basile, MH Ter Beek, R Pugliese
Logical Methods in Computer Science 16, 2020
Mandates: Government of Italy
Linguistic abstractions for programming and policing autonomic computing systems
A Margheri, R Pugliese, F Tiezzi
2013 IEEE 10th International Conference on Ubiquitous Intelligence and …, 2013
Mandates: European Commission, Government of Italy
Programming and verifying component ensembles
R De Nicola, A Lluch Lafuente, M Loreti, A Morichetta, R Pugliese, ...
From Programs to Systems. The Systems perspective in Computing: ETAPS …, 2014
Mandates: Government of Italy
Formalising adaptation patterns for autonomic ensembles
L Cesari, R De Nicola, R Pugliese, M Puviani, F Tiezzi, F Zambonelli
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
Mandates: European Commission, Government of Italy
Correctness of service components and service component ensembles
J Combaz, S Bensalem, F Tiezzi, A Margheri, R Pugliese, J Kofroň
Software Engineering for Collective Autonomic Systems: The ASCENS Approach …, 2015
Mandates: European Commission
A formal approach to the engineering of domain-specific distributed systems
R De Nicola, G Ferrari, R Pugliese, F Tiezzi
Journal of Logical and Algebraic Methods in Programming 111, 100511, 2020
Mandates: Government of Italy
On programming and policing autonomic computing systems
M Loreti, A Margheri, R Pugliese, F Tiezzi
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
Mandates: European Commission, Government of Italy
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation: –A Practical Approach–
A Margheri, M Masi, R Pugliese, F Tiezzi
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013 …, 2014
Mandates: European Commission, Government of Italy
Publication and funding information is determined automatically by a computer program