Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kokaly, Sahar
24  Ergebnisse:
Personensuche X
?
1

Software Design Trends Supporting Multiconcern Assurance:

Jaskolka, Jason ; Hamid, Brahim ; Kokaly, Sahar
IEEE Software.  39 (2022)  4 - p. 22-26 , 2022
Link: https://doi.org/10.1109/..
 
?
2

Assurance Case Property Checking with MMINT-A and OCL:

, In: Recent Trends and Advances in Model Based Systems Engineering,
Fung, Nick L. S. ; Kokaly, Sahar ; Di Sandro, Alessio. - p. 351-360 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Towards Certified Analysis of Software Product Line Safety ..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Shahin, Ramy ; Kokaly, Sahar ; Chechik, Marsha - p. 130-145 , 2021
Link: https://doi.org/10.1007/..
 
?
4

MMINT-A 2.0 : tool support for the lifecycle of model-ba..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Di Sandro, Alessio ; Selim, Gehan ; Salay, Rick... - p. 1-5 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Uncertainty, Modeling and Safety Assurance: Towards a Unifi..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,
Chechik, Marsha ; Kokaly, Sahar ; Rahimi, Mona.. - p. 19-29 , 2020
Link: https://doi.org/10.1007/..
 
?
6

A Survey of Tool-supported Assurance Case Assessment Techni..:

Maksimov, Mike ; Kokaly, Sahar ; Chechik, Marsha
ACM Computing Surveys.  52 (2019)  5 - p. 1-34 , 2019
Link: https://doi.org/10.1145/..
 
?
7

Software Assurance in an Uncertain World:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Chechik, Marsha ; Salay, Rick ; Viger, Torin.. - p. 3-21 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Querying automotive system models and safety artifacts with..:

, In: Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems,
Di Sandro, Alessio ; Kokaly, Sahar ; Salay, Rick. - p. 2-11 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Toward Requirements Specification for Machine-Learned Compo..:

, In: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW),
Rahimi, Mona ; Guo, Jin L.C. ; Kokaly, Sahar. - p. 241-244 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Heterogeneous megamodel management using collection operato..:

Salay, Rick ; Kokaly, Sahar ; Di Sandro, Alessio..
Software and Systems Modeling.  19 (2019)  1 - p. 231-260 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Querying Automotive System Models and Safety Artifacts with..:

, In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Di Sandro, Alessio ; Kokaly, Sahar ; Salay, Rick. - p. 2-11 , 2019
Link: https://doi.org/10.1109/..
 
?
12

A Survey of Tool-supported Assurance Case Assessment Techni..:

Maksimov, Mike ; Kokaly, Sahar ; Chechik, Marsha
ACM Computing Surveys (CSUR).  52 (2019)  5 - p. 1-34 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Two Decades of Assurance Case Tools: A Survey:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Maksimov, Mike ; Fung, Nick L. S. ; Kokaly, Sahar. - p. 49-59 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Proceedings of the 10th International Workshop on Modelling..:

Horkoff, Jennifer ; Kokaly, Sahar ; Paige, Richard. , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

MMINT-A: A Tool for Automated Change Impact Assessment on A..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,
Fung, Nick L. S. ; Kokaly, Sahar ; Di Sandro, Alessio.. - p. 60-70 , 2018
Link: https://doi.org/10.1007/..
 
1-15