|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3691 occurrences of 1860 keywords
|
|
|
Results
Found 8092 publication records. Showing 8092 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Mazen Mohamad, Örjan Askerdal, Rodi Jolak, Jan-Philipp Steghöfer, Riccardo Scandariato |
Asset-driven Security Assurance Cases with Built-in Quality Assurance. |
EnCyCriS@ICSE |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Nikita Johnson, Youcef Gheraibia, Tim Kelly |
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Nikita Johnson, Tim Kelly |
An Assurance Framework for Independent Co-assurance of Safety and Security. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Ran Wei, Tim P. Kelly, Xiaotian Dai 0001, Shuai Zhao 0004, Richard Hawkins |
Model Based System Assurance Using the Structured Assurance Case Metamodel. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
21 | Ran Wei, Tim P. Kelly, Xiaotian Dai 0001, Shuai Zhao 0004, Richard Hawkins |
Model based system assurance using the structured assurance case metamodel. |
J. Syst. Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Metayer, Andrés Paz, Ghizlane El-Boussaidi |
Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL. |
ISSRE Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Richardson Andrade, Nelson S. Rosa |
MidSecThings: Assurance Solution for Security Smart Homes in IoT. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Bader Alahmad, Sathish Gopalakrishnan |
Isochronous Execution Models for High-Assurance Real-Time Systems. |
HASE |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Justin W. Firestone, Myra B. Cohen |
The Assurance Recipe: Facilitating Assurance Patterns. |
SAFECOMP Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Keith F. Joiner, Mahmoud Efatmaneshnik, Malcolm Tutty |
Modelling the Efficacy of Assurance Strategies for Better Integration, Interoperability and Information Assurance in Family-of-System-of-Systems Portfolios. |
CSDM Asia |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Thorsten Schulz, Frank Golatowski, Dirk Timmermann |
In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications. |
MILS@DSN |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Sewell, Felix Kam, Gernot Heiser |
High-assurance timing analysis for a high-assurance real-time operating system. |
Real Time Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | John Rushby |
Assurance and Assurance Cases. |
Dependable Software Systems Engineering |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Michael Lang 0001, Manuel Wiesche, Helmut Krcmar |
Conceptualization of Relational Assurance Mechanisms - A Literature Review on Relational Assurance Mechanisms, Their Antecedents and Effects. |
Wirtschaftsinformatik |
2017 |
DBLP BibTeX RDF |
|
21 | Tze Meng Low, Franz Franchetti |
High Assurance Code Generation for Cyber-Physical Systems. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Sanya Khruahong, Xiaoying Kong, Kumbesan Sandrasegaran, Li Liu 0005 |
Multi-Level Indoor Navigation Ontology for High Assurance Location-Based Services. |
HASE |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Kevin Mueller |
Hardening High-Assurance Systems: MILS as Software Design for Avionics. |
MILS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Myra B. Cohen, Justin W. Firestone, Massimiliano Pierobon |
The Assurance Timeline: Building Assurance Cases for Synthetic Biology. |
SAFECOMP Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Sara Cleemput, Mustafa A. Mustafa, Bart Preneel |
High Assurance Smart Metering. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Lian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee 0001 |
Representation of Confidence in Assurance Cases Using the Beta Distribution. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Paul Hyden, Ira S. Moskowitz, Stephen Russell 0001 |
Using Network Topology to Supplement High Assurance Systems. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Aline Bousquet |
Application et assurance autonomes de propriétés de sécurité dans un environnement d'informatique en nuage. (Autonomic enforcement and assurance of security properties in a Cloud). |
|
2015 |
RDF |
|
21 | Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly |
Weaving an Assurance Case from Design: A Model-Based Approach. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Chung-Ling Lin, Wuwei Shen |
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
21 | A. Omar Portillo-Dominguez, Miao Wang 0002, John Murphy 0001, Damien Magoni |
Adaptive GC-Aware Load Balancing Strategy for High-Assurance Java Distributed Systems. |
HASE |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Harald Rueß, Stefano Tonetta |
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Richard Hawkins, Tim Kelly, Ibrahim Habli |
Developing Assurance Cases for D-MILS Systems. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Thorsten Arendt |
Quality Assurance of Software Models - A Structured Quality Assurance Process Supported by a Flexible Tool Environment in the Eclipse Modeling Project. |
|
2014 |
RDF |
|
21 | Tadashi Koga, Xiaodong Lu, Kinji Mori |
Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Abdulrahman Almutairi, Tawfeeq A. Shawly, Saleh M. Basalamah, Arif Ghafoor |
Policy-Driven High Assurance Cyber Infrastructure-Based Systems. |
HASE |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Mayssa Jemel, Ahmed Serhrouchni |
Security assurance of local data stored by HTML5 web application. |
IAS |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Nina Bär, Josef Krems |
Users can't be fooled - The role of existing vs. fictitious third party web assurance seals on websites. |
HAISA |
2014 |
DBLP BibTeX RDF |
|
21 | Evangelos D. Frangopoulos, Mariki M. Eloff, Lucas M. Venter |
Human Aspects of Information Assurance: A Questionnaire-based Quantitative Approach to Assessment. |
HAISA |
2014 |
DBLP BibTeX RDF |
|
21 | Audun Jøsang |
Assurance Requirements for Mutual User and Service Provider Authentication. |
DPM/SETOP/QASA |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Ronald C. Dodge |
Information Assurance and Security in the ACM/IEEE CS2013. |
World Conference on Information Security Education |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Afef Jmal Maâlej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel |
Conformance testing for quality assurance of clustering architectures. |
QASBA@ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Arnab Ray, Rance Cleaveland |
Constructing safety assurance cases for medical devices. |
ASSURE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Alma L. Juarez Dominguez, Bruce G. Partridge, Jeffrey J. Joyce |
Creating safety assurance cases for rebreather systems. |
ASSURE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Charles B. Weinstock, John B. Goodenough 0002, Ari Z. Klein |
Measuring assurance case confidence using Baconian probabilities. |
ASSURE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Shuichiro Yamamoto, Yutaka Matsuno |
An evaluation of argument patterns to reduce pitfalls of applying assurance case. |
ASSURE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Katrina Attwood, Philippa Conmy |
Nuanced term-matching to assist in compositional safety assurance. |
ASSURE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Li Zhang, Amy R. Pawlicki, Dorothy McQuilken, William R. Titera |
The AICPA Assurance Services Executive Committee Emerging Assurance Technologies Task Force: The Audit Data Standards (ADS) Initiative. |
J. Inf. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Teresa Tung, Jaeyoung Kang 0002 |
Characterizing Service Assurance for Cloud-Based Implementations: Augmenting Assurance via Operations. |
SRII Global Conference |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ruhroth, Jan Jürjens |
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Mladen A. Vouk, Pierre Mouallem |
On High-Assurance Scientific Workflows. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Manasi Peshave, Farokh B. Bastani, I-Ling Yen |
High-Assurance Reconfigurable Multicore Processor Based Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry |
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Moussa Ouedraogo, Haralambos Mouratidis, Artur Hecker, Cédric Bonhomme, Djamel Khadraoui, Eric Dubois 0001, David Preston |
A new approach to evaluating security assurance. |
IAS |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Lynn Futcher, Johan Van Niekerk |
Towards a Pervasive Information Assurance Security Educational Model for Information Technology Curricula. |
World Conference on Information Security Education |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Shoemaker 0001, Jeffrey A. Ingalsbe, Rita Barrios, Nancy R. Mead |
Defining the Discipline of Secure Software Assurance: Initial Findings from the National Software Assurance Repository. |
HICSS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Robert K. Abercrombie, Frederick T. Sheldon, Michael R. Grimaila |
A Systematic Comprehensive Computational Model for Stake Estimation in Mission Assurance - Applying Cyber Security Econometrics System (CSES) to Mission Assurance Analysis Protocol (MAAP). |
SocialCom/PASSAT |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse |
Predicting Faults in High Assurance Software. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
classification, software measurements, bagging, defect prediction, imbalanced data, data sampling |
21 | Maya I. Chehab, Ali E. Abdallah |
Assurance in identity management systems. |
IAS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Li Yao, Ning Zhang 0001 |
Quantifying authentication Levels of Assurance in grid environments. |
IAS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Dragutin Vukovic, Kresimir Fertalj |
Information System Quality Assurance in Finances - Building the Quality Assurance into Information System Architecture. |
ICSOFT (ISDM/ABF) |
2008 |
DBLP BibTeX RDF |
|
21 | Bonnie Zhu, Shankar Sastry 0001 |
Data Fusion Assurance for the Kalman Filter in Uncertain Networks. |
IAS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Michele Albano, Stefano Chessa, Roberto Di Pietro |
Information Assurance in Critical Infrastructures via Wireless Sensor Networks. |
IAS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sung-Ook Shin, Jung-Oog Lee, Doo-Kwon Baik |
A Mobile Agent-based Multi-Robot Design Method for High-Assurance. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira |
A component quality assurance process. |
SOQUA |
2007 |
DBLP DOI BibTeX RDF |
component certification, component quality evaluation and certification process, software component quality |
21 | Job Asheri Chaula |
A Socio-technical Analysis of Information Systems Security Assurance : A Case Study for Effective Assurance. |
|
2006 |
RDF |
|
21 | |
How Does Information Assurance R&D Impact Information Assurance in Practice? Follow the money - Where does it Go - What is our ROI? |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kamal Boukhetala, M. Yahiaoui, T. Laadjel |
Une approche de tarification en assurance automobile par Réseaux de Neurones. |
DMAS |
2005 |
DBLP BibTeX RDF |
|
21 | Andreas Hanemann, Martin Sailer |
A Framework for Service Quality Assurance Using Event Correlation Techniques. |
AICT/SAPIR/ELETE |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Dongfeng Wang, Hui Ma 0006, Farokh B. Bastani, I-Ling Yen |
Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski |
Evaluation of Software Development Tools for High Assurance Safety Critical Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ivan Luque, Xiaodong Lu, Misato Tasaka, Kinji Mori, Yasushi Kuba |
Decentralized Workload Management for Assurance According to Heterogeneous Service Levels. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pramod Gupta, Johann Schumann |
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Charles Reynolds |
An Undergraduate Information Assurance Curriculum. |
IAW |
2003 |
DBLP BibTeX RDF |
|
21 | Charles E. Phillips, Steven A. Demurjian, T. C. Ting |
Security Assurance for an RBAC/MAC Security Model. |
IAW |
2003 |
DBLP BibTeX RDF |
|
21 | Casimer M. DeCusatis |
Information Assurance for Enterprise Fiber Optic Networks. |
IAW |
2003 |
DBLP BibTeX RDF |
|
21 | Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara |
Verification of Assurance of Space On-Board Distributed Computer System. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
21 | M. S. Fisher, Bojan Cukic |
Automating Techniques for Inspecting High Assurance Systems. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori |
Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Masayuki Matsumoto, Satoru Kitamura, M. Sato |
High Assurance Technologies for Autonomous Decentralized Train Control System. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Coskun Bayrak, Mehmet Sahinoglu, Timothy Cummings |
High assurance software testing in business and DoD. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Samuel Patton, Bryan Smith, David Doss, William Yurcik |
A layered framework strategy for deploying high assurance VPNs. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Bojan Cukic, Diwakar Chakravarthy |
Bayesian framework for reliability assurance of a deployed safety critical system. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Farokh B. Bastani, Simeon C. Ntafos, I-Ling Yen, Doug E. Harris, Richard R. Morrow, Raymond A. Paul |
A high-assurance measurement repository system. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | William Yurcik, David Tipper |
Providing guaranteed assurance to connection-oriented group communications using disjoint routing. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Kinji Mori |
Assurance system architecture for information service by utilizing autonomous mobile agents. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Hideo Hanamura, Kinji Mori |
Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System Techniques. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht |
System Requirements and Analysis Issues for High Assurance Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Shashi Phoha, Eugene Eberbach, Eileen Peluso, Atilla P. Kiraly |
Coordination of Engineering Design Agents for High Assurance in Complex Dynamic System Design. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Yi Deng 0001, Jiacun Wang |
Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Herbert Hecht, Myron Hecht, Dolores R. Wallace |
Toward More Effective Testing for High-Assurance Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
21 | James M. Boyle, R. Daniel Resler, Victor L. Winter |
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Kinji Mori |
High-Assurance Application Systems and Their Technologies Under Changing Situations. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Norman E. Johnson |
High Assurance Life and Death. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Kristin Braa, Leikny Øgrim |
Quality Assurance - An Assurance of Quality? Application of the ISO Standard in System Development. |
HICSS (4) |
1994 |
DBLP BibTeX RDF |
|
19 | Akif Günes Koru, Dongsong Zhang, Khaled El Emam, Hongfang Liu |
An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | William G. J. Halfond, Saswat Anand, Alessandro Orso |
Precise interface identification to improve testing and analysis of web applications. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
interface identification, web application testing |
19 | Rao Mikkilineni, Vijay Sarathy |
Cloud Computing and the Lessons from the Past. |
WETICE |
2009 |
DBLP DOI BibTeX RDF |
|
19 | David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber |
The Caernarvon secure embedded operating system. |
ACM SIGOPS Oper. Syst. Rev. |
2008 |
DBLP DOI BibTeX RDF |
common criteria evaluation, embedded systems, mobile phones, operating systems, PDAs, smart cards, mandatory access controls |
19 | Nurlida Basir, Ewen Denney, Bernd Fischer 0002 |
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification |
19 | Lina Tankeleviciene |
Development of Instruments for Evaluation of Quality of Distance Studies. |
Learning to Live in the Knowledge Society |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Antony Tang, Fei-Ching Kuo, Man Fai Lau |
Towards Independent Software Architecture Review. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Lars Ræder Clausen |
Opening Schrödingers Library: Semi-automatic QA Reduces Uncertainty in Object Transformation. |
ECDL |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Kara L. Nance, Brian Hay, Christopher Hecker |
Promoting Digital Forensics Awareness through the University of Alaska Fairbanks ASSERT Center. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Shunying Lü, Wei Wang 0033, Yan Zhang |
Bayesian Method Based Trusted Overlay for Information Retrieval over Networks. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
information retrieval, Peer-to-peer, trustworthy, small world, Bayesian method |
19 | Bill Neugent |
Bill Neugent MITRE Fellow, Chief Engineer Information Security Division. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
|
|