Search Results - Parvizimosaed, Alireza

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Specification and analysis of legal contracts with Symboleo

    Specification and analysis of legal contracts with Symboleo by Parvizimosaed, Alireza, Sharifi, Sepehr, Amyot, Daniel, Logrippo, Luigi, Roveri, Marco, Rasti, Aidin, Roudak, Ali, Mylopoulos, John

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    SymboleoPC: checking properties of legal contracts

    SymboleoPC: checking properties of legal contracts by Parvizimosaed, Alireza, Roveri, Marco, Rasti, Aidin, Anda, Amal Ahmed, Alfuhaid, Sofana, Amyot, Daniel, Logrippo, Luigi, Mylopoulos, John

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Automated generation of smart contract code from legal contract specifications with Symboleo2SC

    Automated generation of smart contract code from legal contract specifications with Symboleo2SC by Rasti, Aidin, Anda, Amal Ahmed, Alfuhaid, Sofana, Parvizimosaed, Alireza, Amyot, Daniel, Roveri, Marco, Logrippo, Luigi, Mylopoulos, John

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Towards the Specification and Verification of Legal Contracts

    Towards the Specification and Verification of Legal Contracts by Parvizimosaed, Alireza

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Symboleo: Towards a Specification Language for Legal Contracts

    Symboleo: Towards a Specification Language for Legal Contracts by Sharifi, Sepehr, Parvizimosaed, Alireza, Amyot, Daniel, Logrippo, Luigi, Mylopoulos, John

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain

    Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain by Parvizimosaed, Alireza, Azad, Hamid, Amyot, Daniel, Mylopoulos, John

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Optimized Test Data Generation for Path Testing Using Improved Combined Fitness Function with Modified Particle Swarm Optimization Algorithm

    Optimized Test Data Generation for Path Testing Using Improved Combined Fitness Function with Modified Particle Swarm Optimization Algorithm by Damia, AmirHossein, Parvizimosaed, Mohammadreza, Bakhshai, Alireza, Salehi, Mojtaba

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: