Robert J. Stroud

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with John Rushby

> Home > Persons > Robert J. Stroud

Publications

2024
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/VaradarajanBRGMSNWA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VaradarajanBRGMSNWA24
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias:
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. SAFECOMP (Workshops) 2024: 173-187
2023
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/MurugesanWSAS0B23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/MurugesanWSAS0B23
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby:
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops 2023

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.