Search

Your search keyword '"Durak, Umut"' showing total 295 results
Start Over Author "Durak, Umut"

Refine your results

more »

more »

more »

more »
295 results on '"Durak, Umut"'

1. Towards Modified Condition/Decision Coverage of Rust

Author

Zaeske, Wanja, Albini, Pietro, Gilcher, Florian, and Durak, Umut

Subjects
Computer Science - Software Engineering
Abstract

Testing is an essential tool to assure software, especially so in safety-critical applications. To quantify how thoroughly a software item has been tested, a test coverage metric is required. Maybe the strictest such metric known in the safety critical systems is Modified Condition/Decision Coverage (MC/DC), which DO-178C prescribes for the highest software assurance level in aviation. In the past, ambiguities in the interpretation of MC/DC have been resolved already, i. e. in CAST-10. However, some central features of the Rust programming language necessitate further clarification. This work investigates aforementioned features, in particular pattern matching, providing a consistent view on how to apply MC/DC to Rust. Hence, this paper informs the implementation of Rust MC/DC tools, paving the road towards Rust in high-assurance applications., Comment: 19 pages, 1 figure, 9 listings

Published
2024

4. Simulation as Experience to Enhance Three Types of Skills

Author

Ören, Tuncer, Durak, Umut, Page, Ernest H., Tolk, Andreas, Diallo, Saikou Y., Tolk, Andreas, Series Editor, Crosbie, Roy E., Advisory Editor, Jakeman, Tony, Advisory Editor, Lehmann, Axel, Advisory Editor, Robinson, Stewart, Advisory Editor, Zeigler, Bernard P., Advisory Editor, and Ören, Tuncer, editor

Published
2023
Full Text
View/download PDF

5. Core Research Areas

Author

Fishwick, Paul, Diallo, Saikou Y., Durak, Umut, Hou, Baocun, Li, Bo Hu, Su, Chunhui, Wang, Yanguang, Zhang, Lin, Xie, Xu, Zhou, Longfei, Zeigler, Bernard P., Pawletta, Thorsten, Folkerts, Hendrik, Mittal, Saurabh, Tolk, Andreas, Series Editor, Crosbie, Roy E., Advisory Editor, Jakeman, Tony, Advisory Editor, Lehmann, Axel, Advisory Editor, Robinson, Stewart, Advisory Editor, Zeigler, Bernard P., Advisory Editor, and Ören, Tuncer, editor

Published
2023
Full Text
View/download PDF

6. Approach

Author

Zaeske, Wanja, Durak, Umut, Zdonik, Stan, Series Editor, Shekhar, Shashi, Series Editor, Wu, Xindong, Series Editor, Jain, Lakhmi C., Series Editor, Padua, David, Series Editor, Shen, Xuemin Sherman, Series Editor, Furht, Borko, Series Editor, Subrahmanian, V. S., Series Editor, Hebert, Martial, Series Editor, Ikeuchi, Katsushi, Series Editor, Siciliano, Bruno, Series Editor, Jajodia, Sushil, Series Editor, Lee, Newton, Series Editor, Zaeske, Wanja, and Durak, Umut

Published
2022
Full Text
View/download PDF

7. Outlook and Conclusion

Author

Zaeske, Wanja, Durak, Umut, Zdonik, Stan, Series Editor, Shekhar, Shashi, Series Editor, Wu, Xindong, Series Editor, Jain, Lakhmi C., Series Editor, Padua, David, Series Editor, Shen, Xuemin Sherman, Series Editor, Furht, Borko, Series Editor, Subrahmanian, V. S., Series Editor, Hebert, Martial, Series Editor, Ikeuchi, Katsushi, Series Editor, Siciliano, Bruno, Series Editor, Jajodia, Sushil, Series Editor, Lee, Newton, Series Editor, Zaeske, Wanja, and Durak, Umut

Published
2022
Full Text
View/download PDF

8. Demonstrator and Evaluation

Author

Zaeske, Wanja, Durak, Umut, Zdonik, Stan, Series Editor, Shekhar, Shashi, Series Editor, Wu, Xindong, Series Editor, Jain, Lakhmi C., Series Editor, Padua, David, Series Editor, Shen, Xuemin Sherman, Series Editor, Furht, Borko, Series Editor, Subrahmanian, V. S., Series Editor, Hebert, Martial, Series Editor, Ikeuchi, Katsushi, Series Editor, Siciliano, Bruno, Series Editor, Jajodia, Sushil, Series Editor, Lee, Newton, Series Editor, Zaeske, Wanja, and Durak, Umut

Published
2022
Full Text
View/download PDF

9. Introduction

Author

Zaeske, Wanja, Durak, Umut, Zdonik, Stan, Series Editor, Shekhar, Shashi, Series Editor, Wu, Xindong, Series Editor, Jain, Lakhmi C., Series Editor, Padua, David, Series Editor, Shen, Xuemin Sherman, Series Editor, Furht, Borko, Series Editor, Subrahmanian, V. S., Series Editor, Hebert, Martial, Series Editor, Ikeuchi, Katsushi, Series Editor, Siciliano, Bruno, Series Editor, Jajodia, Sushil, Series Editor, Lee, Newton, Series Editor, Zaeske, Wanja, and Durak, Umut

Published
2022
Full Text
View/download PDF

10. Background

Author

Zaeske, Wanja, Durak, Umut, Zdonik, Stan, Series Editor, Shekhar, Shashi, Series Editor, Wu, Xindong, Series Editor, Jain, Lakhmi C., Series Editor, Padua, David, Series Editor, Shen, Xuemin Sherman, Series Editor, Furht, Borko, Series Editor, Subrahmanian, V. S., Series Editor, Hebert, Martial, Series Editor, Ikeuchi, Katsushi, Series Editor, Siciliano, Bruno, Series Editor, Jajodia, Sushil, Series Editor, Lee, Newton, Series Editor, Zaeske, Wanja, and Durak, Umut

Published
2022
Full Text
View/download PDF

11. Unveiling the Nexus: Is Iron and Sodium Deficiency in Children with Febrile Seizures Risk Factor?

Author

Deniz, Yusuf, Durak, Umut, Dogan, Erkan, and Ekmen, Sadrettin

Abstract

Aim: To examine the connection between the brain and sodium and iron levels in children under age 6. Material and Method: This retrospective cohort study at Karabuk University Faculty of Medicine included 121 patients divided into three groups: Febril seizure (FS) patients, only fever children without FS, and healthy children. Our study distinguishes itself from other research in this field by its distinctive approach. Various laboratory parameters including sodium, Urea, Creatinine, AST, ALT, RDW, RDW Index, Mentzer Index, Hb, MCV, Ferritin and iron were compared among the groups. Statistical analysis used SPSS software and significance tests. Results: Significantly lower sodium levels were observed in FS patients and iron levels were notably lower in children with FS. This findings suggest a potential association between lower sodium and iron levels in children with febrile seizures. Thus contributing to unveiling the nexus of brain. Additionaly, elevated AST levels in FS may signify liver function changes. findings suggest a connection between the liver function and brain function. However, urea and creatinine variations were non-significant. Conclusion: Our findings suggest a potential association between electrolyte levels in children with febrile seizures. Iron plays a crucial role in brain metabolism and is necessary for the activity of certain enzymes involved in neurotransmitter functions. The low levels of sodium and particularly iron in the serum biochemistry of FS patients suggest a connection between these minerals and brain function. Moreover, the observed association between liver function markers and febrile seizures warrants further investigation into the link between liver health and brain function. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

12. 50 Summers of Computer Simulation

Author

Durak, Umut, D’Ambrogio, Andrea, Tolk, Andreas, Diallo, Saikou, Zacharewicz, Gregory, Risco-Martín, José L., Barhak, Jacob, Huntsinger, Ralph Coolidge, Raunak, M. S., Birta, Louis G., Series Editor, Crosbie, Roy E., Advisory Editor, Jakeman, Tony, Advisory Editor, Lehmann, Axel, Advisory Editor, Robinson, Stewart, Advisory Editor, Tolk, Andreas, Advisory Editor, Zeigler, Bernard P., Advisory Editor, Sokolowski, John, editor, Durak, Umut, editor, and Mustafee, Navonil, editor

Published
2019
Full Text
View/download PDF

13. Leveraging Semi-formal Approaches for DepDevOps

Author

Zaeske, Wanja, Durak, Umut, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Casimiro, António, editor, Ortmeier, Frank, editor, Schoitsch, Erwin, editor, Bitsch, Friedemann, editor, and Ferreira, Pedro, editor

Published
2020
Full Text
View/download PDF

24. Simulation-Based Engineering

Author

Cakmakci, Melih, Kiziltas Sendur, Gullu, Durak, Umut, Birta, Louis G., Series editor, Crosbie, Roy E., Advisory editor, Jakeman, Tony, Advisory editor, Lehmann, Axel, Advisory editor, Robinson, Stewart, Advisory editor, Tolk, Andreas, Advisory editor, P. Zeigler, Bernard, Advisory editor, Mittal, Saurabh, editor, Durak, Umut, editor, and Ören, Tuncer, editor

Published
2017
Full Text
View/download PDF

25. The Evolution of Simulation and Its Contribution to Many Disciplines

Author

Ören, Tuncer, Mittal, Saurabh, Durak, Umut, Birta, Louis G., Series editor, Crosbie, Roy E., Advisory editor, Jakeman, Tony, Advisory editor, Lehmann, Axel, Advisory editor, Robinson, Stewart, Advisory editor, Tolk, Andreas, Advisory editor, P. Zeigler, Bernard, Advisory editor, Mittal, Saurabh, editor, Durak, Umut, editor, and Ören, Tuncer, editor

Published
2017
Full Text
View/download PDF

26. Extending the CMMI Engineering Process Areas for Simulation Systems Engineering

Author

Mahmoodi, Somaye, Durak, Umut, Gerlach, Torsten, Hartmann, Sven, D’Ambrogio, Andrea, Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Baum, Marcus, editor, Brenner, Gunther, editor, Grabowski, Jens, editor, Hanschke, Thomas, editor, Hartmann, Stefan, editor, and Schöbel, Anita, editor

Published
2018
Full Text
View/download PDF

27. Mapping and Scheduling Hard Real Time Applications on Multicore Systems - The ARGO Approach

Author

Alefragis, Panayiotis, Theodoridis, George, Katsimpris, Merkourios, Valouxis, Christos, Gogos, Christos, Goulas, George, Voros, Nikolaos, Reder, Simon, Kasnakli, Koray, Bednara, Marcus, Müller, David, Durak, Umut, Becker, Juergen, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Voros, Nikolaos, editor, Huebner, Michael, editor, Keramidas, Georgios, editor, Goehringer, Diana, editor, Antonopoulos, Christos, editor, and Diniz, Pedro C., editor

Published
2018
Full Text
View/download PDF

28. Synergies of MDE, Simulation, and Agent Technology

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

29. Implementation, Integration, and Testing

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

30. Introduction

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

31. Simulation Evolution and Modernization

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

32. Scenario Management

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

33. Federation Architecture: Simulation Environment Design

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

34. Federate Architecture: Simulation Member Design

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

35. Conceptual Modeling

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

36. Process Models

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

37. High Level Architecture

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

38. Model Driven Engineering

Author

Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, Yilmaz, Levent, Birta, Louis G., Editor-in-chief, Crosbie, Roy E., Series editor, Jakeman, Tony, Series editor, Lehmann, Axel, Series editor, Robinson, Stewart, Series editor, Tolk, Andreas, Series editor, Zeigler, Bernard P., Series editor, Topçu, Okan, Durak, Umut, Oğuztüzün, Halit, and Yilmaz, Levent

Published
2016
Full Text
View/download PDF

49. Mapping and Scheduling Hard Real Time Applications on Multicore Systems - The ARGO Approach

Author

Alefragis, Panayiotis, primary, Theodoridis, George, additional, Katsimpris, Merkourios, additional, Valouxis, Christos, additional, Gogos, Christos, additional, Goulas, George, additional, Voros, Nikolaos, additional, Reder, Simon, additional, Kasnakli, Koray, additional, Bednara, Marcus, additional, Müller, David, additional, Durak, Umut, additional, and Becker, Juergen, additional

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results