( en | de | ru )

 

Disambiguierung von "Sen, Koushik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining Model Checking and Testing.

, und . Handbook of Model Checking, Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Koushik Biswas

Koushik Chakrabarty

Nikhilranjan Sen

Ramen Sen

Sen Ye

 

Weitere Publikationen von Autoren mit dem selben Namen

Repairing Event Race Errors by Controlling Nondeterminism, , , , , und . Proceedings of the 39th International Conference on Software Engineering, Seite 289--299. Piscataway, NJ, USA, IEEE Press, (2017)Learning to Verify Safety Properties., , , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 274-289. Springer, (2004)Model-Checking omega-Regular Properties of Interval Markov Chains., , und . FoSSaCS, Volume 4962 von Lecture Notes in Computer Science, Seite 302-317. Springer, (2008)Online Efficient Predictive Safety Analysis of Multithreaded Programs., , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 123-138. Springer, (2004)Rule-Based Runtime Verification., , , und . VMCAI, Volume 2937 von Lecture Notes in Computer Science, Seite 44-57. Springer, (2004)Maximizing Communication Overlap with Dynamic Program Analysis., , , und . HPC Asia, Seite 1-11. ACM, (2018)GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions., , und . FMCAD, Seite 203-211. IEEE, (2019)Symbolic execution for software testing: three decades later., und . Commun. ACM, 56 (2): 82-90 (2013)SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics., , , , , , und . CoRR, (2023)Specifying and checking semantic atomicity for multithreaded programs., , und . ASPLOS, Seite 79-90. ACM, (2011)