Search results for "assurance"

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