( en | de | ru )

 

Disambiguation of "Choi, Yunja"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation.

, , , and . Sci. Comput. Program., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Choi

Bongkyung Choi

Jinsub Choi

Carmen Choi

Jinchul Choi

 

Other publications of authors with the same name

Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.. SEFM, volume 10886 of Lecture Notes in Computer Science, page 254-268. Springer, (2018)A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.. J. Syst. Softw., (2018)Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints., , and . Requir. Eng., 7 (4): 225-242 (2002)Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.. FMICS, volume 133 of Electronic Notes in Theoretical Computer Science, page 61-79. Elsevier, (2004)Model-Based API-Call Constraint Checking for Automotive Control Software., , and . APSEC, page 217-224. IEEE Computer Society, (2016)From NuSMV to SPIN: Experiences with model checking flight guidance systems.. Formal Methods Syst. Des., 30 (3): 199-216 (2007)Model checking Trampoline OS: a case study on safety analysis for automotive software.. Softw. Test. Verification Reliab., 24 (1): 38-60 (2014)OS-Aware Interaction Model for the Verification of Multitasking Embedded Software.. IEEE Access, (2020)A Formal Semantics of the OSEK/VDX Standard in $$K$$ Framework and Its Applications., , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 280-296. Springer, (2014)OS-in-the-Loop verification for multi-tasking control software.. Softw. Test. Verification Reliab., (2023)