Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ferruccio Damiani
312  Ergebnisse:
Personensuche X
?
1

Actor-Based Designs for Distributed Self-organisation Progr..:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,
Casadei, Roberto ; Damiani, Ferruccio ; Torta, Gianluca. - p. 37-58 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Preface for the special issue on tool papers of the 17th In..:

Damiani, Ferruccio ; Eyers, David ; Philippou, Anna
Science of Computer Programming.  235 (2024)  - p. 103096 , 2024
Link: https://doi.org/10.1016/..
 
?
3

The eXchange Calculus (XC): A functional programming langua..:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio..
Journal of Systems and Software.  210 (2024)  - p. 111976 , 2024
Link: https://doi.org/10.1016/..
 
?
4

Product lines of dataflows:

Lienhardt, Michael ; ter Beek, Maurice H. ; Damiani, Ferruccio
Journal of Systems and Software.  210 (2024)  - p. 111928 , 2024
Link: https://doi.org/10.1016/..
 
?
5

An Enhanced Exchange Operator for XC:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Audrito, Giorgio ; Bortoluzzi, Daniele ; Damiani, Ferruccio.. - p. 129-145 , 2024
Link: https://doi.org/10.1007/..
 
?
6

Active Object Languages: Current Research Trends 

Lecture Notes in Computer Science, 14360
de Boer, Frank ; Damiani, Ferruccio ; Hähnle, Reiner.. - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
7

Variability modules:

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard..
Journal of Systems and Software.  195 (2023)  - p. 111510 , 2023
Link: https://doi.org/10.1016/..
 
?
8

On Stream Runtime Verification and Aggregate Programming:

, In: Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution,
Damiani, Ferruccio ; Torta, Gianluca - p. 9-12 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

Predicting resource consumption of Kubernetes container sys..:

Turin, Gianluca ; Borgarelli, Andrea ; Donetti, Simone...
Journal of Systems and Software.  203 (2023)  - p. 111750 , 2023
Link: https://doi.org/10.1016/..
 
?
10

Formal Modelling and Analysis of a Self-Adaptive Robotic Sy..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Päßler, Juliane ; ter Beek, Maurice H. ; Damiani, Ferruccio.. - p. 343-363 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Deltas for Functional Programs with Algebraic Data Types:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A,
Damiani, Ferruccio ; Kamburjan, Eduard ; Lienhardt, Michael. - p. 52-63 , 2023
Link: https://dl.acm.org/doi/1..
 
?
12

Toward Secure TinyML on a Standardized AI Architecture:

, In: Internet of Things; Device-Edge-Cloud Continuum,
Shabir, Muhammad Yasir ; Torta, Gianluca ; Basso, Andrea. - p. 121-139 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Programming Distributed Collective Processes for Dynamic En..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio.. - p. 71-89 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Computation Against a Neighbour: Addressing Large-Scale Dis..:

Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio.
Logical Methods in Computer Science.  19, Issue 1 (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
15

Towards Automated Engineering for Collective Adaptive Syste..:

, In: 2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech),
Casadei, Roberto ; Pianini, Danilo ; Aguzzi, Gianluca... - p. 1-6 , 2022
Link: https://doi.org/10.1109/..
 
1-15