Name Card

Full name Familienname, Vorname
Majumdar, Rupak
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ozkan, Burcu Kulahcioglu ; Majumdar, Rupak ; Niksic, Filip ; Befrouei, Mitra Tabaei ; Weissenbacher, Georg Randomized testing of distributed systems with probabilistic guaranteesArtikel Article 2018
2Franz, Martin ; Holzer, Andreas ; Majumdar, Rupak ; Parno, Bryan ; Veith, Helmut The first workshop on language support for privacy-enhancing technologies (PETShop'13)Konferenzbeitrag Inproceedings2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022
2Weissenbacher, Georg Explaining HeisenbugsKonferenzbeitrag Inproceedings2015
3Bartocci, Ezio ; Majumdar, Rupak Runtime VerificationKonferenzband Proceedings 2015