default search action

combined dblp search
author search
venue search
publication search

ask others

Kit Siu

Kit Y. Siu

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/LorchMSMDPVM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/LorchMSMDPVM24
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan:
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE 2024: 88-99
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/PaulMSMD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/PaulMSMD24
Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling:
Assurance Case Synthesis from a Curated Semantic Triplestore. SAFECOMP 2024: 84-99
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/semco/MoitraSCRMAQ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semco/MoitraSCRMAQ24
Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick:
Enabling Development of an Extensible, Multi-Perspective Ontology. ICSC 2024: 77-80
2023
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MoitraCSAMRQRM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MoitraCSAMRQRM23
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng:
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. SAFECOMP Workshops 2023: 149-160
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/CuddihyRMSAW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CuddihyRMSAW23
Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams:
Aviation Certification Powered by the Semantic Web Stack. ISWC 2023: 345-361
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/DurlingMSMCACC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/DurlingMSMCACC22
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie:
Model-Based Security Analysis in Additive Manufacturing Systems. AMSec@CCS 2022: 3-13
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MengVSMSD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MengVSMSD22
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling:
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM 2022: 752-770
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/semco/MoitraCSMIAMQRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semco/MoitraCSMIAMQRR22
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell:
A Semantic Reference Model for Capturing System Development and Evaluation. ICSC 2022: 173-174
2021
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/systems/MengLSMISPPHAYV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/systems/MengLSMISPPHAYV21
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury:
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9(1): 18 (2021)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MengPMSD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MengPMSD21
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling:
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP 2021: 101-114

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/re/MoitraSCDLMMM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/MoitraSCDLMMM19
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan:
Automating requirements analysis and test case generation. Requir. Eng. 24(3): 341-364 (2019)
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MoitraSCCDLYMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MoitraSCCDLYMM18
Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners:
Towards Development of Complete and Conflict-Free Requirements. RE 2018: 286-296

Coauthor Index

see FAQ

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.