Search for persons
X
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
1
Symbolic Reasoning for Early Decision-Making in Model-Based..:
, In:
?
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) ,
3
Towards Ontology Enabled Agent-Based Twinning for Cyber-Phy..:
, In:
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
4
Visual Specification of Properties for Robotic Designs:
, In:
?
Proceedings of the 12th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ,
5
Identifying and characterizing alternative news media on Fa..:
, In:
?
Proceedings of the 12th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ,
6
Characterizing (un)moderated textual data in social systems:
, In:
?
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
7
Verifying Deadlock and Nondeterminism in Activity Diagrams:
, In:
?
2019 8th Brazilian Conference on Intelligent Systems (BRACIS) ,
8
A Deep Learning Approach to Detect Hyoid Bone in Ultrasound..:
, In:
?
2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) ,
9
Initial findings on the evaluation of a model-based testing..:
, In:
?
Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems ,
10
Verifying deadlock and nondeterminism in activity diagrams:
, In:
?
2019 IEEE 32nd International Symposium on Computer-Based Medical Systems (CBMS) ,
11
Efficient Hyperparameter Optimization of Convolutional Neur..:
, In:
?
Proceedings of the 2018 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ,
12
Inside the right-leaning echo chambers : characterizing ..:
, In:
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
13
Safe and Constructive Design with UML Components:
, In:
?
Proceedings of VII Brazilian symposium on Human factors in computing systems ,
14
PERSEU : ferramenta de profilaxia ao DORT:
, In:
?
Intelligent Systems; Lecture Notes in Computer Science ,
15