Damiani, Ferruccio
311  Ergebnisse:
Personensuche X
?
1

Active Object Languages: Current Research Trends 

Lecture Notes in Computer Science, 14360
de Boer, Frank ; Damiani, Ferruccio ; Hähnle, Reiner.. - 1st ed. 2024 . , 2024
 
?
4

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

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,
 
?
5

Product lines of dataflows:

Lienhardt, Michael ; ter Beek, Maurice H. ; Damiani, Ferruccio
Journal of Systems and Software.  210 (2024)  - p. 111928 , 2024
 
?
6

Deltas for Functional Programs with Algebraic Data Types:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A,
 
?
 
?
9

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
 
?
10

Toward Secure TinyML on a Standardized AI Architecture:

, In: Internet of Things; Device-Edge-Cloud Continuum,
 
?
11

Variability modules:

Damiani, Ferruccio ; Hähnle, Reiner ; Kamburjan, Eduard..
Journal of Systems and Software.  195 (2023)  - p. 111510 , 2023
 
?
12

Programming Distributed Collective Processes for Dynamic En..:

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

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

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
 
?
14

Towards a Modular and Variability-Aware Aerodynamic Simulat..:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
 
?
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),
 
1-15