Person Image

    Education

    • B.S.E.(Computer Science and Engineering), University of Pennsylvania, สหรัฐอเมริกา, 2544
    • M.S.(Computer and Information Science), University of Pennsylvania, สหรัฐอเมริกา, 2545
    • Ph.D.(Computer and Information Science), University of Pennsylbania, สหรัฐอเมริกา, 2550

    Expertise Cloud

    Analytical modelsAndroidApplication programsAspect-Oriented ProgrammingBangkokBayesian NetworksBig Databug predictionclass diagramCodeIgniterCollaborative modelCollaborative softwaresComputer ProgrammingComputer software selection and evaluationDecision Support Systemdefect predictionDigital AgricultureDistributed softwareDistributed software developmentDistributed teamDistributed teamsdistrictfactor of safety (FS)fault predictionFault-Avoidancefault-predictionFeature extractionforecastGISGroupwareInformation systemJMeterlandslidesload testingMobile ApplicationMobile applicationsModel Based TestingModel-Based TestingModeling toolNLPplantquality of servicerequirement analysisRFIDrule extractionruntime verificationSDLCSecrets HandlingSentiment analysissimilarity-based weightingSoftwareSoftware designSoftware developmentSoftware Engineeringsoftware maintenancesoftware qualitySoftware selectionSoftware TestingSoftware Verificationsource code similaritySpeechsupport vector machinetest controlTest Designtest result analysisToolsUMLweb serviceการทดสอบซอฟต์แวร์การทดสอบประสิทธิภาพการทดสอบภาระงานการทำนายการวิเคราะห์ทัศนคติการสร้างคลังศัพท์ข้อมูลยางพาราคำไทยติดตามตำแหน่งผู้ป่วยจิตเวชโรงพยาบาลวิธีบอกซ์และเจนกินส์เว็บเซอร์วิสโอเพ่นซอร์สซอฟต์แวร์

    Interest

    Software Verification, Software Engineering, Computer Programming

    Administrative Profile


    Resource


    งานวิจัยในรอบ 5 ปี

    Project

    งานวิจัยที่อยู่ระหว่างการดำเนินการ
    • ทุนใน 2 โครงการ (หัวหน้าโครงการ 1 โครงการ, ผู้ร่วมวิจัย 1 โครงการ)
    • ทุนนอก 0 โครงการ
    งานวิจัยที่เสร็จสิ้นแล้ว
    • ทุนใน 7 โครงการ (หัวหน้าโครงการ 7 โครงการ)
    • ทุนนอก 1 โครงการ (ผู้ร่วมวิจัย 1 โครงการ)

    แนวโน้มผลงานทั้งหมดเทียบกับแนวโน้มผลงานในรอบ 5 ปี

    Output

    • บทความ 13 เรื่อง (ตีพิมพ์ในวารสารวิชาการ 1 เรื่อง, นำเสนอในการประชุม/สัมมนา 12 เรื่อง)

    แนวโน้มการนำผลงานไปใช้ประโยชน์ในด้านต่างๆ

    Outcome

    • การนำผลงานไปใช้ประโยชน์ 7 เรื่อง (เชิงวิชาการ 7 เรื่อง, เชิงนโยบาย/บริหาร 0 เรื่อง, เชิงสาธารณะ 0 เรื่อง, เชิงพาณิชย์ 0 เรื่อง)

    รางวัลที่ได้รับ

    Award

    • รางวัลที่ได้รับ 0 เรื่อง (ประกาศเกียรติคุณ/รางวัลนักวิจัย 0 เรื่อง, รางวัลผลงานวิจัย/สิ่งประดิษฐ์ 0 เรื่อง, รางวัลผลงานนำเสนอในการประชุมวิชาการ 0 เรื่อง)

    นักวิจัยที่มีผลงานงานร่วมกันมากที่สุด 10 คนแรก

    Person Relation


    Scopus h-index

    #Document titleAuthorsYearSourceCited by
    1RT-MaC: Runtime monitoring and checking of quantitative and probabilistic propertiesSammapun U., Lee I., Sokolsky O.2005Proceedings - 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
    ,pp. 147-153
    41
    2Monitoring, checking, and steering of real-time systemsKim M., Lee I., Sammapun U., Shin J., Sokolsky O.2002Electronic Notes in Theoretical Computer Science
    70(4),pp. 95-111
    32
    3Statistical runtime checking of probabilistic propertiesSammapun U., Lee I., Sokolsky O., Regehr J.2007Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    4839 LNCS,pp. 164-175
    24
    4Run-Time Checking of Dynamic PropertiesSokolsky O., Sammapun U., Lee I., Kim J.2006Electronic Notes in Theoretical Computer Science
    144(4 SPEC. ISS.),pp. 91-108
    16
    5Is runtime verification applicable to cheat detection?Delap M., Knutsson B., Lu H., Sokolsky O., Sammapun U., Lee I., Tsarouchis C.2004Proceedings of the ACM SIGCOMM 2004 Workshops
    ,pp. 134-138
    12
    6Is runtime verification applicable to cheat detection?DeLap M., Knutsson B., Lu H., Sokolsky O., Sammapun U., Lee I., Tsarouchis C.2004Proceedings of the ACM SIGCOMM Workshop on Network and System Support for Games, NetGames'04
    ,pp. 134-138
    7
    7Simulation of Simultaneous Events in Regular Expressions for Run-Time VerificationSammapun U., Easwaran A., Lee I., Sokolsky O.2005Electronic Notes in Theoretical Computer Science
    113(SPEC. ISS.),pp. 123-143
    3
    8Analyzing user reviews in Thai language toward aspects in mobile applicationsDeewattananon B., Sammapun U.2017Proceedings of the 2017 14th International Joint Conference on Computer Science and Software Engineering, JCSSE 2017
    3
    9Formalizing java-MaCSammapun U., Sharykin R., DeLap M., Kim M., Zdancewic S.2003Electronic Notes in Theoretical Computer Science
    89(2),pp. 171-190
    2
    10Extracting UML class diagrams from software requirements in Thai using NLPJaiwai M., Sammapun U.2017Proceedings of the 2017 14th International Joint Conference on Computer Science and Software Engineering, JCSSE 2017
    1
    11On Selecting Collaborative Modeling ToolsSammapun U., Bunyakiati P.2018Proceedings - International Computer Software and Applications Conference
    1,pp. 791-792
    0
    12On secret management and handling in mobile application development life cycle: A position paperBunyakiati P., Sammapun U.2019Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2019
    ,pp. 77-80
    0