QED: a proof system based on reduction and abstraction for the static verification of concurrent software von Elmas, Tayfun

Volltext

A Novel Test Coverage Metric for Concurrently-Accessed Software Components von Tasiran, Serdar, Elmas, Tayfun, Bolukbasi, Guven, Keremoglu, M. Erkan

Volltext

A calculus of atomic actions von Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Volltext

Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets von Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Volltext

Simplifying Linearizability Proofs with Reduction and Abstraction von Elmas, Tayfun, Qadeer, Shaz, Sezgin, Ali, Subasi, Omer, Tasiran, Serdar

Volltext

Rollback Atomicity von Tasiran, Serdar, Elmas, Tayfun

Volltext

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness von Burnim, Jacob, Elmas, Tayfun, Necula, George, Sen, Koushik

Volltext

VyrdMC: Driving Runtime Refinement Checking with Model Checkers von Elmas, Tayfun, Tasiran, Serdar

Volltext

Low latency automated identification of automated assistant function failure von Vansteenkiste, Arne, Elmas, Tayfun, Lopez Berga, Ester, Martinjak, Robin, Narang, Krish, Brady, Keith, Jaggi, Akshay, Palekar, Mahesh, Goel, Aakash, Khandelwal, Nitin, Gupta, Pravir

Volltext bestellen

LOW LATENCY AUTOMATED IDENTIFICATION OF AUTOMATED ASSISTANT FUNCTION FAILURE von Vansteenkiste, Arne, Elmas, Tayfun, Lopez Berga, Ester, Martinjak, Robin, Narang, Krish, Brady, Keith, Jaggi, Akshay, Palekar, Mahesh, Goel, Aakash, Khandelwal, Nitin, Gupta, Pravir

Volltext bestellen

Goldilocks: a race and transaction-aware java runtime von Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Volltext

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness von Burnim, Jacob, Elmas, Tayfun, Necula, George, Sen, Koushik

Volltext

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness von Burnim, Jacob, Elmas, Tayfun, Necula, George, Sen, Koushik

Volltext

Precise data-race detection using locksets von ELMAS TAYFUN, QADEER SHAZ

Volltext bestellen

SARS-CoV-2-related MIS-C: A key to the viral and genetic causes of Kawasaki disease? von Sancho-Shimizu, Vanessa, Brodin, Petter, Cobat, Aurelie, Biggs, Catherine M., Toubiana, Julie, Lucas, Carrie L., Henrickson, Sarah E., Belot, Alexandre, Tangye, Stuart G., Milner, Joshua D., Levin, Michael, Abel, Laurent, Bogunovic, Dusan, Casanova, Jean-Laurent, Zhang, Shen-Ying

Volltext

Recessive inborn errors of type I IFN immunity in children with COVID-19 pneumonia von Zhang, Qian, Matuozzo, Daniela, Le Pen, Jérémie, Lee, Danyel, Moens, Leen, Asano, Takaki, Bohlen, Jonathan, Liu, Zhiyong, Moncada-Velez, Marcela, Kendir-Demirkol, Yasemin, Jing, Huie, Bizien, Lucy, Marchal, Astrid, Abolhassani, Hassan, Delafontaine, Selket, Bucciol, Giorgia, Bayhan, Gulsum Ical, Keles, Sevgi, Kiykim, Ayca, Hancerli, Selda, Haerynck, Filomeen, Florkin, Benoit, Hatipoglu, Nevin, Ozcelik, Tayfun, Morelle, Guillaume, Zatz, Mayana, Ng, Lisa F P, Lye, David Chien, Young, Barnaby Edward, Leo, Yee-Sin, Dalgard, Clifton L, Lifton, Richard P, Renia, Laurent, Meyts, Isabelle, Jouanguy, Emmanuelle, Hammarström, Lennart, Pan-Hammarström, Qiang, Boisson, Bertrand, Bastard, Paul, Su, Helen C, Boisson-Dupuis, Stéphanie, Abel, Laurent, Rice, Charles M, Zhang, Shen-Ying, Cobat, Aurélie, Casanova, Jean-Laurent

Volltext

Awareness and Knowledge Levels of Turkish College Students about Human Papilloma Virus Infection and Vaccine Acceptance von Oz, Murat, Cetinkaya, Nilufer, Apaydin, Aysen, Korkmaz, Elmas, Bas, Sevda, Ozgu, Emre, Gungor, Tayfun

Volltext

Effect of interval between neoadjuvant chemoradiotherapy and surgery on disease recurrence and survival in rectal cancer: long-term results of a randomized clinical trial von Akgun, Erhan, Caliskan, Cemil, Bozbiyik, Osman, Yoldas, Tayfun, Doganavsargil, Basak, Ozkok, Serdar, Kose, Timur, Karabulut, Bulent, Elmas, Nevra, Ozutemiz, Omer

Volltext

Risk factors for appendiceal involvement in women with epithelial ovarian cancer von Sarı, Mustafa Erkan, Korkmaz, Elmas, Öz, Murat, Güngör, Tayfun, Meydanlı, Mehmet Mutlu

Volltext

A randomized controlled experimental study of the efficacy of platelet-rich plasma and hyaluronic acid for the prevention of adhesion formation in a rat uterine horn model von Oz, Murat, Cetinkaya, Nilufer, Bas, Sevda, Korkmaz, Elmas, Ozgu, Emre, Terzioglu, Gokay Serdar, Buyukkagnici, Umran, Akbay, Serap, Caydere, Muzaffer, Gungor, Tayfun

Volltext