Search Results - Sultana, Nik

  • Showing 1 - 16 results of 16
Refine Results
  1. 1
    A Domain-Specific Language for Reconfigurable, Distributed Software

    A Domain-Specific Language for Reconfigurable, Distributed Software by Zhu, Henry, Zhao, Junyong, Sultana, Nik

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Demo: The Hangar environment for Teaching and Research in Programmable Networking

    Demo: The Hangar environment for Teaching and Research in Programmable Networking by Sultana, Nik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Systematic Verification of the Modal Logic Cube in Isabelle/HOL

    Systematic Verification of the Modal Logic Cube in Isabelle/HOL by Benzmüller, Christoph, Claus, Maximilian, Sultana, Nik

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Towards In-Network Semantic Analysis: A Case Study involving Spam Classification

    Towards In-Network Semantic Analysis: A Case Study involving Spam Classification by Gueyraud, Cyprien, Sultana, Nik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    The Higher-Order Prover Leo-II

    The Higher-Order Prover Leo-II by Benzmüller, Christoph, Sultana, Nik, Paulson, Lawrence C., Theiß, Frank

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Demo: Disaggregated Dataplanes

    Demo: Disaggregated Dataplanes by Nagda, Heena, Nagda, Rakesh, Sultana, Nik, Loo, Boon Thau

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    An extensible evaluation system for DoS research

    An extensible evaluation system for DoS research by Sultana, Nik, Bose, Shilpi, Loo, Boon Thau

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    LEO-II and Satallax on the Sledgehammer test bench

    LEO-II and Satallax on the Sledgehammer test bench by Sultana, Nik, Blanchette, Jasmin Christian, Paulson, Lawrence C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Towards Testbed-Wide Traffic Profiling for FABRIC

    Towards Testbed-Wide Traffic Profiling for FABRIC by Shyamkumar, Nishanth, Cummings, Sean, Bang, Hyunsuk, Sultana, Nik

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Foundations of Logic-Based Trust Management

    Foundations of Logic-Based Trust Management by Becker, M. Y., Russo, A., Sultana, N.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Systematic Verification of the Modal Logic Cube in Isabelle/HOL

    Systematic Verification of the Modal Logic Cube in Isabelle/HOL by Benzmüller, Christoph, Claus, Maximilian, Sultana, Nik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation

    Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation by DeHon, André, Giesen, Hans, Sultana, Nik, Xiao, Yuanlong

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Trace-based Behaviour Analysis of Network Servers

    Trace-based Behaviour Analysis of Network Servers by Sultana, Nik, Rao, Achala, Jin, Zihao, Pashakhanloo, Pardis, Zhu, Henry, Yegneswaran, Vinod, Loo, Boon Thau

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Update report: LEO-II version 1.5

    Update report: LEO-II version 1.5 by Benzmüller, Christoph, Sultana, Nik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Extending programs with debug-related features, with application to hardware development

    Extending programs with debug-related features, with application to hardware development by Sultana, Nik, Galea, Salvator, Greaves, David, Wojcik, Marcin, Zilberman, Noa, Clegg, Richard, Luo, Mai, Mortier, Richard, Pietzuch, Peter, Crowcroft, Jon, Moore, Andrew W

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Report on Networking and Programming Languages 2017

    Report on Networking and Programming Languages 2017 by Bjorner, Nikolaj, Canini, Marco, Sultana, Nik

    Get full text
    Items that this one cites
    Magazinearticle
    Save to List
    Saved in:

Search Tools: