Personensuche
X
?
Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI ,
2
Identifying Architectural Design Decisions for Achieving Gr..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
5
Statistical Model Checking for $$\textsf {P}$$:
, In:
?
2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) ,
8
Towards green AI-based software systems: an architecture-ce..:
, In:
?
Rewriting Logic and Its Applications; Lecture Notes in Computer Science ,
9
Business Processes Analysis with Resource-Aware Machine Lea..:
, In:
?
Service-Oriented Computing; Lecture Notes in Computer Science ,
10
Optimization of BPMN Processes via Automated Refactoring:
, In:
?
Rewriting Logic and Its Applications; Lecture Notes in Computer Science ,
11
From Static to Dynamic Analysis and Allocation of Resources..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
13
Equational Unification and Matching, and Symbolic Reachabil..:
, In:
?
Service-Oriented Computing; Lecture Notes in Computer Science ,
15