E-LIB Suche - Ergebnisse für: Corradini, Flavio

1

Enabling 3D Simulation in ThingsBoard: A First Step Towards..:

, In: Enterprise Design, Operations, and Computing. EDOC 2023 Workshops; Lecture Notes in Business Information Processing,

Callisto De Donato, Massimo ; Corradini, Flavio ; Fornari, Fabrizio.. - p. 325-330 , 2024

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

2

libmg: A Python library for programming graph neural networ..:

Belenchia, Matteo ; Corradini, Flavio ; Quadrini, Michela.
Science of Computer Programming. 238 (2024) - p. 103165 , 2024

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

3

A BPMN-Based Approach for IoT Systems Engineering:

, In: Internet of Things; Fluidware,

Corradini, Flavio ; Fornari, Fabrizio ; Pettinari, Sara... - p. 85-105 , 2024

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

4

A technique for discovering BPMN collaboration diagrams:

Corradini, Flavio ; Pettinari, Sara ; Re, Barbara..
Software and Systems Modeling. , 2024

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

5

ZeroMT: Towards Multi-Transfer transactions with privacy fo..:

Scala, Emanuele ; Dong, Changyu ; Corradini, Flavio.
Journal of Information Security and Applications. 83 (2024) - p. 103794 , 2024

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

6

SAFE: An ICT platform for supporting monitoring, localizati..:

Callisto De Donato, Massimo ; Corradini, Flavio ; Fornari, Fabrizio.
Internet of Things. 27 (2024) - p. 101273 , 2024

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

7

A Data Extraction Methodology for Ethereum Smart Contracts:

, In: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops),

Corradini, Flavio ; Marcelletti, Alessandro ; Morichetta, Andrea. - p. 524-529 , 2024

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

8

Design and Development of a Digital Twin Prototype for the ..:

, In: Enterprise Design, Operations, and Computing. EDOC 2023 Workshops; Lecture Notes in Business Information Processing,

Callisto De Donato, Massimo ; Corradini, Flavio ; Fornari, Fabrizio.. - p. 107-122 , 2024

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

9

A Study on the Usage of the BPMN Notation for Designing Pro..:

Compagnucci, Ivan ; Corradini, Flavio ; Fornari, Fabrizio.
Business & Information Systems Engineering. 66 (2023) 1 - p. 43-66 , 2023

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

10

X-IoT: a model-driven approach to support IoT application p..:

Corradini, Flavio ; Fedeli, Arianna ; Fornari, Fabrizio...
Computing. 105 (2023) 9 - p. 1981-2005 , 2023

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

11

Correction to: Managing Variability of Large Public Adminis..:

, In: Lecture Notes in Business Information Processing; Perspectives in Business Informatics Research,

Corradini, Flavio ; Luciani, Caterina ; Morichetta, Andrea. - p. C1-C1 , 2023

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

12

A Methodology for the Analysis of Robotic Systems via Proce..:

, In: Lecture Notes in Computer Science; Enterprise Design, Operations, and Computing,

Corradini, Flavio ; Pettinari, Sara ; Re, Barbara.. - p. 117-133 , 2023

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

13

A BPMN-driven framework for Multi-Robot System development:

Corradini, Flavio ; Pettinari, Sara ; Re, Barbara..
Robotics and Autonomous Systems. 160 (2023) - p. 104322 , 2023

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

14

DTMN a Modelling Notation for Digital Twins:

, In: Lecture Notes in Business Information Processing; Enterprise Design, Operations, and Computing. EDOC 2022 Workshops,

Corradini, Flavio ; Fedeli, Arianna ; Fornari, Fabrizio.. - p. 63-78 , 2023

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

15

Implementing a CTL Model Checker with $$\mu \mathcal {G}$$,..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Belenchia, Matteo ; Corradini, Flavio ; Quadrini, Michela. - p. 37-54 , 2023

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