Adrian

Results: 3880



#Item
231

A Theory for Observational Fault Tolerance Adrian Francalanza a , Matthew Hennessy b a Imperial b University College, London SW7 2BZ, England

Add to Reading List

Source URL: staff.um.edu.mt

- Date: 2008-10-06 10:00:15
    232

    Open Meta-search with OpenSearch: A Case Study Adrian P. O’Riordan Computer Science Department, Sir Robert Kane Building, University College Cork, Cork, Ireland

    Add to Reading List

    Source URL: www.cs.ucc.ie

    - Date: 2013-02-17 10:32:30
      233

      Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, Iceland

      Add to Reading List

      Source URL: staff.um.edu.mt

      - Date: 2015-10-09 11:50:15
        234

        A Unified Framework for Verification Techniques for Object Invariants Sophia Drossopoulou Adrian Francalanza

        Add to Reading List

        Source URL: staff.um.edu.mt

        - Date: 2008-10-06 10:00:09
          235

          A Formal Model of Provenance in Distributed Systems Issam Souilah University of Southampton, UK Adrian Francalanza University of Malta, Malta

          Add to Reading List

          Source URL: staff.um.edu.mt

          - Date: 2009-02-04 08:44:02
            236

            A Theory of System Behaviour in the Presence of Node and Link Failures (Extended Abstract) Adrian Francalanza1 and Matthew Hennessy1 University of Sussex, Falmer Brighton BN1 9RH, England, {adrianf,matthewh}@sussex.ac.uk

            Add to Reading List

            Source URL: staff.um.edu.mt

            - Date: 2008-10-06 09:59:51
              237

              Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt

              Add to Reading List

              Source URL: staff.um.edu.mt

              - Date: 2009-11-17 16:58:34
                238

                Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni

                Add to Reading List

                Source URL: eprint.iacr.org

                - Date: 2016-10-23 23:14:23
                  239

                  A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

                  Add to Reading List

                  Source URL: staff.um.edu.mt

                  - Date: 2016-08-21 10:35:34
                    240

                    Distributed System Contract Monitoring Adrian Francalanza Andrew Gauci Gordon J. Pace

                    Add to Reading List

                    Source URL: staff.um.edu.mt

                    - Date: 2012-05-18 00:02:04
                      UPDATE