PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rozier, Kristin Y."

Author of the publication

copydeleteadd this publication to your clipboard
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.

, , , , and . FMCAD, page 1-9. IEEE, (2019)

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.

PD Dr. phil. Kristin Eichhorn University of Stuttgart

Gül Yalman University of Stuttgart

Seda Yilmaz University of Stuttgart

Judith Yacar-Boitier University of Stuttgart

Hsiu-Yu Yang University of Stuttgart

 

Other publications of authors with the same name

SAT-based Explicit LTLf Satisfiability Checking., , , , and . CoRR, (2018)Linear Temporal Logic Symbolic Model Checking.. Computer Science Review, 5 (2): 163-203 (2011)MLTL Benchmark Generation via Formula Progression., and . RV, volume 11237 of Lecture Notes in Computer Science, page 426-433. Springer, (2018)R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems., , and . RV, volume 9333 of Lecture Notes in Computer Science, page 233-249. Springer, (2015)Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties., , , , and . FMCAD, page 1-9. IEEE, (2019)LTL satisfiability checking., and . STTT, 12 (2): 123-137 (2010)Comparing Different Functional Allocations in Automated Air Traffic Control Design., , , , and . FMCAD, page 112-119. IEEE, (2015)Probabilistic model checking for comparative analysis of automated air traffic control systems., and . ICCAD, page 690-695. IEEE, (2014)Satisfiability Checking for Mission-Time LTL., , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 3-22. Springer, (2019)Runtime Analysis with R2U2: A Tool Exhibition Report., , and . RV, volume 10012 of Lecture Notes in Computer Science, page 504-509. Springer, (2016)