Rupak

Results: 94



#Item
1Hitting Families of Schedules Dmitry Chistikov1,2, Rupak Majumdar1, Filip Niksic1 1 Max

Hitting Families of Schedules Dmitry Chistikov1,2, Rupak Majumdar1, Filip Niksic1 1 Max

Add to Reading List

Source URL: www2.ims.nus.edu.sg

Language: English - Date: 2017-10-25 03:16:54
    2Scalable Testing of File System Checkers Jo˜ao Carreira†§ , Rodrigo Rodrigues† , George Candea‡ , Rupak Majumdar† § † Max Planck Institute for Software Systems (MPI-SWS),

    Scalable Testing of File System Checkers Jo˜ao Carreira†§ , Rodrigo Rodrigues† , George Candea‡ , Rupak Majumdar† § † Max Planck Institute for Software Systems (MPI-SWS),

    Add to Reading List

    Source URL: dslab.epfl.ch

    Language: English - Date: 2018-08-14 09:29:24
      3Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, Rupak Majumdar, and

      Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, Rupak Majumdar, and

      Add to Reading List

      Source URL: www.lsv.fr

      Language: English - Date: 2017-05-22 04:51:19
        4Fair Termination for Parameterized Probabilistic Concurrent Systems Ondˇrej Leng´al1 , Anthony W. Lin2 , Rupak Majumdar3 , and Philipp R¨ummer4 2 1

        Fair Termination for Parameterized Probabilistic Concurrent Systems Ondˇrej Leng´al1 , Anthony W. Lin2 , Rupak Majumdar3 , and Philipp R¨ummer4 2 1

        Add to Reading List

        Source URL: www.philipp.ruemmer.org

        Language: English - Date: 2017-10-12 09:45:33
          5HMC: Verifying Functional Programs Using Abstract Interpreters Ranjit Jhala1 , Rupak Majumdar2 , and Andrey Rybalchenko3 1 UC San Diego

          HMC: Verifying Functional Programs Using Abstract Interpreters Ranjit Jhala1 , Rupak Majumdar2 , and Andrey Rybalchenko3 1 UC San Diego

          Add to Reading List

          Source URL: goto.ucsd.edu

          Language: English - Date: 2011-09-24 21:13:09
            6Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, and Rupak Majumdar

            Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, and Rupak Majumdar

            Add to Reading List

            Source URL: www7.in.tum.de

            Language: English - Date: 2015-09-15 08:28:52
              7EPIDEMIOLOGY GRADUATE STUDENTS CURRENT Rupak Data Leona Bassonova– Hyeong Shin Erin Kent – Michael Johnson -

              EPIDEMIOLOGY GRADUATE STUDENTS CURRENT Rupak Data Leona Bassonova– Hyeong Shin Erin Kent – Michael Johnson -

              Add to Reading List

              Source URL: www.geri.uci.edu

              - Date: 2009-02-21 01:34:50
                8Medical Students MD/PhD Program Rupak Datta, MPH Medicine and Epidemiology Class of 2014

                Medical Students MD/PhD Program Rupak Datta, MPH Medicine and Epidemiology Class of 2014

                Add to Reading List

                Source URL: www.geri.uci.edu

                - Date: 2009-02-21 01:34:50
                  9Dans meg helt til India Mahua Shankar – khatakdans Rupak Kulkarni - bansurifløyte

                  Dans meg helt til India Mahua Shankar – khatakdans Rupak Kulkarni - bansurifløyte

                  Add to Reading List

                  Source URL: mediearkiv.ksys.no

                  Language: Norwegian - Date: 2016-08-19 10:27:38
                    10Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

                    Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

                    Add to Reading List

                    Source URL: lara.epfl.ch

                    Language: English - Date: 2013-08-05 05:55:21