Personensuche
X
?
Lecture Notes in Computer Science; Active Object Languages: Current Research Trends ,
4
Actor-Based Designs for Distributed Self-organisation Progr..:
, In:
?
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A ,
6
Deltas for Functional Programs with Algebraic Data Types:
, In:
?
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution ,
9
On Stream Runtime Verification and Aggregate Programming:
, In:
?
Internet of Things; Device-Edge-Cloud Continuum ,
10
Toward Secure TinyML on a Standardized AI Architecture:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
12
Programming Distributed Collective Processes for Dynamic En..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
13
Formal Modelling and Analysis of a Self-Adaptive Robotic Sy..:
, In:
?
The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science ,
14
Towards a Modular and Variability-Aware Aerodynamic Simulat..:
, 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) ,
15