Zum Inhalt springen

  2. Castle, David [HerausgeberIn]; Murray, Robin [HerausgeberIn]; D'Souza, Deepak Cyril [HerausgeberIn]

    Marijuana and Madness - [2. edition, Paperback edition]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge: Cambridge University Press, 2019

  3. D'Souza, Deepak [Sonstige Person, Familie und Körperschaft] ; Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Indian Association for Research in Computing Science

    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) : December 15 - 17, 2012 Hyderabad, India

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wadern, 2012

    Erschienen in: Leibniz international proceedings in informatics ; 18

  4. D'Souza, Deepak [VerfasserIn] ; Lal, Akash [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]

    Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 8931

  5. D'Souza, Deepak [HerausgeberIn]; Narayan Kumar, K. [HerausgeberIn]

    Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10482

  7. Tulsyan, Rishi [VerfasserIn]; Pai, Rekha [VerfasserIn]; D'Souza, Deepak [VerfasserIn] ; Rishi Tulsyan and Rekha Pai and Deepak D'Souza [MitwirkendeR]

    Static Race Detection for RTOS Applications

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  8. D'Souza, Deepak [VerfasserIn]; Kavitha, Telikepalli [VerfasserIn]; Radhakrishnan, Jaikumar [VerfasserIn] ; Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan [MitwirkendeR]

    LIPIcs, Volume 18, FSTTCS'12, Complete Volume

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013

  16. D’Souza, Deepak; Tabareau, Nicolas

    Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: On Timed Automata with Input-Determined Guards

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2004

    Erschienen in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

  18. Demri, Stéphane; D’souza, Deepak

    FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science: An Automata-Theoretic Approach to Constraint LTL

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2002

    Erschienen in: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

  20. Singh, Abhishek; Pai, Rekha; D’Souza, Deepak; D’Souza, Meenakshi

    Lecture Notes in Computer Science: Static Analysis for Detecting High-Level Races in RTOS Kernels

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2019

    Erschienen in: Lecture Notes in Computer Science