Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
1
Small Step Incremental Verification of Compilers:
, In:
?
2023 IEEE International Conference on Service-Oriented System Engineering (SOSE) ,
2
A Model-Based Approach to Automotive Feature Development fo..:
, In:
?
2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE) ,
4
Towards the Concept of Trust Assurance Case:
, In:
?
High Performance Computing in Science and Engineering '21 ,
5
Development of turbulent inflow methods for the high order ..:
, In:
?
Digitalisierung der Arbeitswelt im Mittelstand 2 ,
8
Partizipative Sensormattenentwicklung für die ambulante Pfl..:
, In:
?
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) ,
9
Architecture Blueprints to Enable Scalable Vertical Integra..:
, In:
?
Lecture Notes in Computer Science; Embedded Computer Systems: Architectures, Modeling, and Simulation ,
10
SEC-Learn: Sensor Edge Cloud for Federated Learning: Invite..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
11
Uncertainty in coupled models of cyber-physical systems:
, In:
?
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B ,
12
Towards an integrated approach for managing the variability..:
, In:
?
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) ,
13
A Digital Twin-based Approach Performing Integrated Process..:
, In:
?
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
15