Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formalising Adaptation Patterns for Autonomic Ensembles.

L. Cesari, R. Nicola, R. Pugliese, M. Puviani, F. Tiezzi, and F. Zambonelli. FACS, volume 8348 of Lecture Notes in Computer Science, page 100-118. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicola Fanton University of Stuttgart

Nicola Mrdovic University of Stuttgart

Nicola Schuckert University of Stuttgart

PD Dr. Nicola Mößner University of Stuttgart

Dr. -Ing. Rocco Eisseler University of Stuttgart

Other publications of authors with the same name

Proof Techniques for Cryptographic Processes.M. Boreale, R. Nicola, and R. Pugliese. LICS, page 157-166. IEEE Computer Society, (1999)An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.R. Nicola, A. Fantechi, S. Gnesi, and G. Ristori. Computer Networks and ISDN Systems, 25 (7): 761-778 (1993)Toward Formal Models and Languages for Verifiable Multi-Robot Systems.R. Nicola, L. Stefano, and O. Inverso. Front. Robotics and AI, (2018)On the expressive power of KLAIM-based calculi.R. Nicola, D. Gorla, and R. Pugliese. Theor. Comput. Sci., 356 (3): 387-421 (2006)Model checking mobile stochastic logic.R. Nicola, J. Katoen, D. Latella, M. Loreti, and M. Massink. Theor. Comput. Sci., 382 (1): 42-70 (2007)SoSL: A Service-Oriented Stochastic Logic.R. Nicola, D. Latella, M. Loreti, and M. Massink. Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)TAPAs: A Tool for the Analysis of Process Algebras.F. Calzolai, R. Nicola, M. Loreti, and F. Tiezzi. Trans. Petri Nets and Other Models of Concurrency, (2008)The SCEL Language: Design, Implementation, Verification.R. Nicola, D. Latella, A. Lluch-Lafuente, M. Loreti, A. Margheri, M. Massink, A. Morichetta, R. Pugliese, F. Tiezzi, and A. Vandin. The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.R. Nicola, A. Fantechi, S. Gnesi, and G. Ristori. CAV, volume 575 of Lecture Notes in Computer Science, page 37-47. Springer, (1991)CCS is an (Augmented) Contact Free C/E System.P. Degano, R. Nicola, and U. Montanari. Mathematical Models for the Semantics of Parallelism, volume 280 of Lecture Notes in Computer Science, page 144-165. Springer, (1986)