E-LIB Suche - Ergebnisse für: Pugliese, Rosario

1

Coordinating and programming multiple ROS-based robots with..:

Bettini, Lorenzo ; Bourr, Khalid ; Pugliese, Rosario.
International Journal on Software Tools for Technology Transfer. 25 (2023) 5-6 - p. 747-764 , 2023

Link: https://doi.org/10.1007/..

2

Programming Multi-robot Systems with X-KLAIM:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Bettini, Lorenzo ; Bourr, Khalid ; Pugliese, Rosario. - p. 283-300 , 2022

Link: https://doi.org/10.1007/..

3

Writing Robotics Applications with X-Klaim:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Bettini, Lorenzo ; Bourr, Khalid ; Pugliese, Rosario. - p. 361-379 , 2020

Link: https://doi.org/10.1007/..

4

Replacement freeness: A criterion for separating process ca..:

Pugliese, Rosario ; Tiezzi, Francesco
Journal of Logical and Algebraic Methods in Programming. 116 (2020) - p. 100579 , 2020

Link: https://doi.org/10.1016/..

5

A formal approach to the engineering of domain-specific dis..:

De Nicola, Rocco ; Ferrari, Gianluigi ; Pugliese, Rosario.
Journal of Logical and Algebraic Methods in Programming. 111 (2020) - p. 100511 , 2020

Link: https://doi.org/10.1016/..

6

Automata-Based Behavioural Contracts with Action Correlatio:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Basile, Davide ; Pugliese, Rosario ; Tiezzi, Francesco.. - p. 131-151 , 2019

Link: https://doi.org/10.1007/..

7

A Rigorous Framework for Specification, Analysis and Enforc..:

Margheri, Andrea ; Masi, Massimiliano ; Pugliese, Rosario.
IEEE Transactions on Software Engineering. 45 (2019) 1 - p. 2-33 , 2019

Link: https://doi.org/10.1109/..

8

Models, Languages, and Tools for Concurrent and Distributed..

Theoretical Computer Science and General Issues, 11665

Boreale, Michele ; Corradini, Flavio ; Loreti, Michele. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

9

Bridging the Gap Between Supervisory Control and Coordinati..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Basile, Davide ; ter Beek, Maurice H. ; Pugliese, Rosario - p. 129-147 , 2019

Link: https://doi.org/10.1007/..

10

Blind-date conversation joining:

Cesari, Luca ; Pugliese, Rosario ; Tiezzi, Francesco
Service Oriented Computing and Applications. 11 (2017) 3 - p. 265-283 , 2017

Link: https://doi.org/10.1007/..

11

Coordination Models and Languages

16th IFIP WG 6.1 International Conference, COORDINATION 201... Lecture Notes in Computer Science ; 8459;SpringerLink, Bücher

Kühn, Eva ; Pugliese, Rosario , 2014

Link: https://doi.org/10.1007/..

12

A Formal Approach to Autonomic Systems Programming : The..:

Nicola, Rocco De ; Loreti, Michele ; Pugliese, Rosario.
ACM Transactions on Autonomous and Adaptive Systems (TAAS). 9 (2014) 2 - p. 1-29 , 2014

Link: https://dl.acm.org/doi/1..

13

A Formal Approach to Autonomic Systems Programming: The SCE..:

Nicola, Rocco De ; Loreti, Michele ; Pugliese, Rosario.
ACM Transactions on Autonomous and Adaptive Systems. 9 (2014) 2 - p. 1-29 , 2014

Link: https://doi.org/10.1145/..

14

The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Clo..:

, In: 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops,

Mayer, Philip ; Klarl, Annabelle ; Hennicker, Rolf... - p. 89-94 , 2013

Link: https://doi.org/10.1109/..

15

Special issue on Automated Specification and Verification o..:

Kovács, Laura ; Pugliese, Rosario ; Silva, Josep.
The Journal of Logic and Algebraic Programming. 82 (2013) 8 - p. 241-242 , 2013

Link: https://doi.org/10.1016/..