Search for persons
X
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems ,
1
Solving the instance model-view update problem in AADL:
, In:
?
2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS) ,
2
A Comparative Study between ECG-based and PPG-based Heart R..:
, In:
?
15th Innovations in Software Engineering Conference ,
3
A Report on the First International Workshop on Program Equ..:
, In:
?
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems ,
5
An integrated ontology for multi-paradigm modelling for cyb..:
, In:
?
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems ,
6
A feature-based ontology for cyber-physical systems:
, In:
?
14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference) ,
7
A Report on the Second International Workshop on Software E..:
, In:
?
2021 28th Asia-Pacific Software Engineering Conference (APSEC) ,
8
PNPEq: Verification of Scheduled Conditional Behavior in Em..:
, In:
?
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems ,
9
An ontology for multi-paradigm modelling:
, In:
?
Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference ,
11
A Report on the First Workshop on Software Engineering for ..:
, In:
?
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference) ,
12
SamaTulyataOne : A Path Based Equivalence Checker:
, In:
?
Proceedings of the 2017 Workshop on Software Engineering Methods for Parallel and High Performance Applications ,
14
PRESGen : A Fully Automatic Equivalence Checker for Vali..:
, In:
?
Proceedings of the 9th India Software Engineering Conference ,
15