Search Results - Seceleanu, C

Refine Results
  1. 1
    A methodology for formal analysis and verification of EAST-ADL models

    A methodology for formal analysis and verification of EAST-ADL models by Kang, Eun-Young, Enoiu, Eduard Paul, Marinescu, Raluca, Seceleanu, Cristina, Schobbens, Pierre-Yves, Pettersson, Paul

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Program committee for icse 2018 posters track

    Program committee for icse 2018 posters track by Afzal, Wasif, Caporuscio, M., Conboy, H., Di Marco, A., Duchien, D. L., Pérez, D., Seceleanu, C., Shahbazian, A., Spalazzese, R., Tivoli, M., Vasilescu, B., Washizaki, Hironori, Weyns, D., Pasquale, L., Nistor, A., Muşlu, K., Kamei, Y., Hanam, Q., Ying, A. T. T.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Resource-aware task allocation and scheduling for segbus platform

    Resource-aware task allocation and scheduling for segbus platform by Latif, K, Seceleanu, T, Seceleanu, C, Tenhunen, H

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Towards Semi-automatic Bug Triage and Severity Prediction Based on Topic Model and Multi-feature of Bug Reports

    Towards Semi-automatic Bug Triage and Severity Prediction Based on Topic Model and Multi-feature of Bug Reports by Yang, Geunseok, Zhang, Tao, Lee, Byungjeong

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Formal Semantics of the ProCom Real-Time Component Model

    Formal Semantics of the ProCom Real-Time Component Model by Vulgarakis, A., Suryadevara, J., Carlson, J., Seceleanu, C., Pettersson, P.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Integrating Behavioral Descriptions into a Component Model for Embedded Systems

    Integrating Behavioral Descriptions into a Component Model for Embedded Systems by Vulgarakis, A, Sentilles, S, Carlson, J, Seceleanu, C

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Analysis of Reliability and Resilience for Smart Grids

    Analysis of Reliability and Resilience for Smart Grids by Albasrawi, Murtadha N., Jarus, Nathan, Joshi, Kamlesh A., Sarvestani, Sahra Sedigh

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    FECAR: A Feature Selection Framework for Software Defect Prediction

    FECAR: A Feature Selection Framework for Software Defect Prediction by Liu, Shulong, Chen, Xiang, Liu, Wangshu, Chen, Jiaqiang, Gu, Qing, Chen, Daoxu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Symbolic simulation of hybrid systems

    Symbolic simulation of hybrid systems by Back, R.-J., Seceleanu, C.C., Westerholm, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Liquid Software Manifesto: The Era of Multiple Device Ownership and Its Implications for Software Architecture

    Liquid Software Manifesto: The Era of Multiple Device Ownership and Its Implications for Software Architecture by Taivalsaari, Antero, Mikkonen, Tommi, Systa, Kari

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    A Forensic Analysis of Android Malware -- How is Malware Written and How it Could Be Detected?

    A Forensic Analysis of Android Malware -- How is Malware Written and How it Could Be Detected? by Allix, Kevin, Jerome, Quentin, Bissyande, Tegawende F., Klein, Jacques, State, Radu, Le Traon, Yves

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    CASViD: Application Level Monitoring for SLA Violation Detection in Clouds

    CASViD: Application Level Monitoring for SLA Violation Detection in Clouds by Emeakaroha, V. C., Ferreto, T. C., Netto, M. A. S., Brandic, I., De Rose, C. A. F.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Insider Threats to Cloud Computing: Directions for New Research Challenges

    Insider Threats to Cloud Computing: Directions for New Research Challenges by Claycomb, W. R., Nicoll, A.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Automated Configuration Bug Report Prediction Using Text Mining

    Automated Configuration Bug Report Prediction Using Text Mining by Xin Xia, Lo, David, Weiwei Qiu, Xingen Wang, Bo Zhou

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Effective Statistical Fault Localization Using Program Slices

    Effective Statistical Fault Localization Using Program Slices by Yan Lei, Xiaoguang Mao, Ziying Dai, Chengsong Wang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Trimming Test Suites with Coincidentally Correct Test Cases for Enhancing Fault Localizations

    Trimming Test Suites with Coincidentally Correct Test Cases for Enhancing Fault Localizations by Xiaozhen Xue, Yulei Pang, Namin, Akbar Siami

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Which Android App Store Can Be Trusted in China?

    Which Android App Store Can Be Trusted in China? by Ng, Yi Ying, Zhou, Hucheng, Ji, Zhiyuan, Luo, Huan, Dong, Yuan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems

    Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems by Jung-Eun Kim, Man-Ki Yoon, Bradford, Richard, Lui Sha

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Dynamic Slicing of Python Programs

    Dynamic Slicing of Python Programs by Zhifei Chen, Lin Chen, Yuming Zhou, Zhaogui Xu, Chu, William C., Baowen Xu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification

    Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification by Garcia-Valls, Marisol, Perez-Palacin, Diego, Mirandola, Raffaela

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: