Search for persons
X
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
2
Towards an Ontological Framework for Validity Frames:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
5
Towards Ontology Enabled Agent-Based Twinning for Cyber-Phy..:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
7
Symbolic Reasoning for Early Decision-Making in Model-Based..:
, In:
?
9
Formal Methods: Foundations and Applications: 25th Brazilia..
Lecture Notes in Computer Science, 13768
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
11
Visual Specification of Properties for Robotic Designs:
, In:
?
14
Partial Identification and Inference for Dynamic Models and..
NBER working paper series, no. w26761