Search results for "assurance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	George M. Mohay, J. Zellers	Kernel and Shell-Based Applications Integrity Assurance.	ACSAC	1997	DBLP DOI BibTeX RDF	kernel-based applications integrity assurance, shell-based applications integrity assurance, software authenticity verification, CASS project, Computer Architecture for Secure Systems, UNIX SVR4.2, Mach 3.0 microkernel, portable shell, UNIX-style platforms, security, data integrity, operating system, executables, computer viruses, integrity checking, implementation issues
34	Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter	The SSP: An Example of High-Assurance Systems Engineering.	HASE	2004	DBLP DOI BibTeX RDF
34	Lui Sha	Using COTS Software in High Assurance Control Applications.	HASE	1999	DBLP DOI BibTeX RDF
34	Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli	The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing.	HASE	1999	DBLP DOI BibTeX RDF
34	Li Gong, Satya Dodda	Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2).	HASE	1999	DBLP DOI BibTeX RDF
34	Herbert Hecht	What are the Most Critical Challenges to Integrating High Assurance Systems?.	HASE	1999	DBLP DOI BibTeX RDF
34	Ann T. Tai, Kishor S. Trivedi, Herbert Hecht	On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.	HASE	1997	DBLP DOI BibTeX RDF	Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE
33	David L. MacPherson	Specification and Testing of High-Assurance Systems.	HASE	1996	DBLP DOI BibTeX RDF	missile control, Mk48 ADCAP torpedo, torpedo high-assurance testing, US Navy, submarine-launched torpedo, anti-submarine weapon, wire-guided thermal torpedo, depth profile, speed profile, arctic ice canopy, software controlled weapon, software enhancements, software testing, cost, software upgrades, performance enhancements
33	V. T. Thomas	Ten practical techniques for high assurance systems engineering.	HASE	1996	DBLP DOI BibTeX RDF	practical techniques, high assurance systems engineering, system dependability, software quality, complex systems, systems engineering, real-time requirements
32	Ruggero Morselli, Bobby Bhattacharjee, Jonathan Katz, Michael A. Marsh	Exploiting approximate transitivity of trust.	BROADNETS	2007	DBLP DOI BibTeX RDF
32	Kyu Ouk Lee, Jin-Ho Hahm, Young Sun Kim	Operator's QoS Policy in WiBro Implementation.	NEW2AN	2006	DBLP DOI BibTeX RDF	rtPS, PSS, ACR, ER, CAC, DiffServ, MIP, RAS
32	Hussein Ali, Mohammad Inayatullah, Shmuel Rotenstreich	Resource allocation and QoS in mobile ad hoc networks.	ISICT	2004	DBLP DOI BibTeX RDF
32	Richard E. Smith	Cost profile of a highly assured, secure operating system.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	LOCK (Logical Coprocessing Kernel), security kernels
32	Kevin J. Sullivan	Rapid Development of Simple, Custom Program Analysis Tools.	WPC	1996	DBLP DOI BibTeX RDF
31	Reijo Savola, Teemu Kanstrén, Antti Evesti	First International Workshop on Measurability of Security in Software Architectures -- MeSSa 2010.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	security, privacy, evaluation, trust, measurement, metrics, assessment, assurance
31	Jörg Zettel	Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance
31	Minsu Choi, Noh-Jin Park, K. M. George, Byoungjae Jin, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi	Fault Tolerant Memory Design for HW/SW Co-Reliability in Massively Parallel Computing Systems.	NCA	2003	DBLP DOI BibTeX RDF	Built-in-self-repair (BISR), Field Reconfiguration, HW/SW Co-reliability, Reliability Assurance, Reliability, High performance computing, Yield, Massively parallel computing, Fault-tolerant memory, Modular Redundancy
31	Kazuo Kera, Keisuke Bekki, Hideki Osumi, Kinji Mori	Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System.	ISADS	2003	DBLP DOI BibTeX RDF	System construction way, Autonomous decentralized system, High assurance system
31	Christopher D. Gill, Fred Kuhns, Douglas C. Schmidt, Ron Cytron	Empirical Differences between COTS Middleware Scheduling Strategies.	OTM	2002	DBLP DOI BibTeX RDF	Dynamic Scheduling Algorithms and Analysis, Real-Time Assurance and Optimization, Quality of Service Issues, Middleware and APIs, Mission Critical Systems, Distributed Real-time and Embedded Systems
31	Orna Raz, Mary Shaw	An Approach to Preserving Sufficient Correctness in Open Resource Coalitions.	IWSSD	2000	DBLP BibTeX RDF	Medium-assurance software, everyday software, fitness for task, open resource coalitions, sufficient correctness, software homeostasis, distributed component-based software, fault tolerance
31	Frank Elberzhager, Thomas Bauer 0002	Optimizing Quality Assurance Strategies through an Integrated Quality Assurance Approach - Guiding Quality Assurance with Assumptions and Selection Rules.	EUROMICRO-SEAA	2014	DBLP DOI BibTeX RDF
31	Ronald J. Daigle, James C. Lampe	The level of assurance precision and associated cost demanded when providing continuous online assurance in an environment open to assurance competition.	Int. J. Account. Inf. Syst.	2005	DBLP DOI BibTeX RDF
31	Michael Kläs, Frank Elberzhager, Haruka Nakao	Managing software quality through a hybrid defect content and effectiveness model.	ESEM	2008	DBLP DOI BibTeX RDF	defect content estimation, expert estimation, quality assurance effectiveness, quality assurance strategy, quality management, defect prediction
30	Teemu Kanstrén, Reijo Savola, Antti Evesti, Heimo Pentikäinen, Artur Hecker, Moussa Ouedraogo, Kimmo Hätönen, Perttu Halonen, Christophe Blad, Óscar López, Saioa Ros	Towards an abstraction layer for security assurance measurements: (invited paper).	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	measurement, abstraction, dynamicity, taxonomy
30	Steven J. Landry, Amit V. Lagu	A Model of Integrated Operator-System Separation Assurance and Collision Avoidance.	HCI (11)	2009	DBLP DOI BibTeX RDF	safety, air traffic control, human performance modeling, aviation
30	Ilkka Uusitalo, Kaarina Karppinen, Pasi Ahonen, Heimo Pentikäinen	Towards Evaluation of Security Assurance during the Software Development Lifecycle.	ARES	2009	DBLP DOI BibTeX RDF
30	Claudio A. Ardagna, Massimo Banzi, Ernesto Damiani, Fulvio Frati	Assurance Process for Large Open Source Code Bases.	CSE (3)	2009	DBLP DOI BibTeX RDF
30	Artur Hecker, Michel Riguidel	On the Operational Security Assurance Evaluation of Networked IT Systems.	NEW2AN	2009	DBLP DOI BibTeX RDF
30	Elisabeth A. Nguyen, William S. Greenwell, Myron Hecht	Using an assurance case to support independent assessment of the transition to a new GPS ground control system.	DSN	2008	DBLP DOI BibTeX RDF
30	José Fonseca 0002, Marco Vieira, Henrique Madeira	Training Security Assurance Teams Using Vulnerability Injection.	PRDC	2008	DBLP DOI BibTeX RDF
30	Jeffrey Choi Robinson, Jim Alves-Foss	A high assurance MLS file server.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
30	Steven B. Lipner	Assurance and evaluation: what next?	CCS	2007	DBLP DOI BibTeX RDF
30	Fabio Massacci, Artsiom Yautsiukhin	Modelling Quality of Protection in Outsourced Business Processes.	IAS	2007	DBLP DOI BibTeX RDF
30	Manuel Rodríguez, João Gabriel Silva, Patricia Rodríguez-Dapena, Han van Loon, Fernando Aldea-Montero	Reuse of Existing Software in Space Projects - Proposed Approach and Extensions to Product Assurance and Software Engineering Standards.	ICCBSS	2005	DBLP DOI BibTeX RDF
30	Xin Xu, Zunguo Huang, Lei Xuan	Autonomic Computing for Defense-in-Depth Information Assurance: Architecture and a Case Study.	GCC Workshops	2004	DBLP DOI BibTeX RDF
30	Ronny Kolb, John D. McGregor, Dirk Muthig	Workshop on Quality Assurance in Reuse Contexts.	SPLC	2004	DBLP DOI BibTeX RDF
30	Paul A. Karger	The Importance of High Assurance Security in Pervasive Computing.	SPC	2003	DBLP DOI BibTeX RDF
30	Rayford B. Vaughn, Ronda R. Henning, Ambareen Siraj	Information Assurance Measures and Metrics - State of Practice and Proposed Taxonomy.	HICSS	2003	DBLP DOI BibTeX RDF
30	Samuel T. Redwine Jr.	Dissecting Trust and the Assurance-Violation Dynamic.	HICSS	2003	DBLP DOI BibTeX RDF
30	Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead	ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003).	ICSE	2003	DBLP DOI BibTeX RDF
30	Carlos Pérez Leguízamo, Kinji Mori	Autonomous Coordination in the Information Allocation in Distributed Database Systems for Assurance.	FTDCS	2003	DBLP DOI BibTeX RDF
30	Clark Weissman	MLS-PCA: A High Assurance Security Architecture for Future Avionics.	ACSAC	2003	DBLP DOI BibTeX RDF
30	José Raúl Romero, Oscar Pastor 0001, Jorge Belenguer	Methodological Approach to Software Quality Assurance through High-Level Object-Oriented Metrics.	OOIS	2002	DBLP DOI BibTeX RDF
30	Masayuki Matsumoto, Tadao Tsurumaki, Dai Watanabe, Kinji Mori	Modeling of Train Control System and a Method of Assurance Evaluation.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
30	John P. McDermott	Abuse-Case-Based Assurance Arguments.	ACSAC	2001	DBLP DOI BibTeX RDF
30	Helmut K. Berg, Prakash Rao, Bruce D. Shriver	Firmware quality assurance.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
29	Roy Ng, LinYing Dong	An Information Assurance Framework on Trusted Autonomic Communications.	ISECS	2008	DBLP DOI BibTeX RDF	security, model, case, Information assurance, autonomic communications
29	Ying Su, Zhanming Jin, Jie Peng	Discrete-Event System Simulation for Information Quality Assurance.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Information quality assurance, Assuring strategy, Simulation, EPC
29	Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden	Model-Based Quality Assurance of Windows Protocol Documentation.	ICST	2008	DBLP DOI BibTeX RDF	Spec Explorer, Test-driven, Protocols, Model-based testing, Quality Assurance
29	Tobias Otte, Robert Moreton, Heinz D. Knoell	Applied Quality Assurance Methods under the Open Source Development Model.	COMPSAC	2008	DBLP DOI BibTeX RDF	OSS survey, Open Source Development Model, Quality Assurance
29	Nancy R. Mead	Position Statement: The Impact of Software Assurance on Computing Education.	COMPSAC	2008	DBLP DOI BibTeX RDF	Education, Software assurance
29	Boris S. Verkhovsky	Information Assurance and Secure Streaming Algorithm Based on Cubic Roots of Integers.	ITNG	2008	DBLP DOI BibTeX RDF	cubic root extraction, information recovery, network, information assurance, link failure
29	Jian Zhai, Qiusong Yang, Ye Yang, Junchao Xiao, Qing Wang 0001, Mingshu Li 0001	Automated Process Quality Assurance for Distributed Software Development.	SEAFOOD	2008	DBLP DOI BibTeX RDF	process quality assurance, model checking, process modeling, distributed software development
29	Olly Gotel, Vidya Kulkarni, Christelle Scharff, Long Chrea Neak	Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development.	SEAFOOD	2008	DBLP DOI BibTeX RDF	Testing, Requirements, Software Engineering Education, Auditing, Global Software Development, Software Quality Assurance, Mentoring
29	Arben Hajra, Derya Birant, Alp Kut 0001	Improving quality assurance in education with web-based services by data mining and mobile technologies.	EATIS	2008	DBLP DOI BibTeX RDF	data mining, web services, mobile technologies, quality assurance, web-based application
29	Adam A. Porter, Cemal Yilmaz 0001, Atif M. Memon, Douglas C. Schmidt, Balachandran Natarajan	Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	configurable components, testing, distributed testing, Distributed continuous quality assurance
29	Ahmad Ghafarian	Ideas for projects in undergraduate information assurance and security courses.	ITiCSE	2007	DBLP DOI BibTeX RDF	information assurance and security
29	Kinji Mori	Autonomous Decentralized System for Service Assurance and Its Application.	ISAS	2007	DBLP DOI BibTeX RDF	Service Assurance, real-time, high-performance, Autonomous Community, Autonomous Decentralized System
29	Rogério Atem de Carvalho, Renato de Campos, Rafael Manhaes Monnerat	Quality Assurance in the ERP5 Development Process.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Enterprise Resources Planning (ERP), Software development processes, Software quality assurance, Enterprise engineering, Free/open source software
29	Naiyong Jin, Taoyong Ni	Interface Specification Assurance Methods.	ISQED	2007	DBLP DOI BibTeX RDF	Component-Based Methodology, Specification Assurance, SAT, PSL
29	Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean	Information Assurance Technology Forecast 2005.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF	security, attack, information assurance
29	Janine DeWitt, Cynthia Della Torre Cicalese	Contextual integration: a framework for presenting social, legal, and ethical content across the computer security and information assurance curriculum.	InfoSecCD	2006	DBLP DOI BibTeX RDF	ethical reasoning, integrative learning, education, case studies, active learning, curriculum, computer security, ethics, information assurance, social context, situated learning, cognitive apprenticeship, authentic learning
29	Gary Stoneburner	Developer-Focused Assurance Requirements.	Computer	2005	DBLP DOI BibTeX RDF	evaluation assurance levels, standards, common criteria, IT security
29	Wolfgang Zuser, Stefan Heil, Thomas Grechenig	Software quality development and assurance in RUP, MSF and XP: a comparative study.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software quality development, software process models, software quality assurance
29	Emily Seto, Ali Ursani, Joseph A. Cafazzo, Peter G. Rossos, Anthony C. Easty	Image Quality Assurance of Soft Copy Display Systems.	J. Digit. Imaging	2005	DBLP DOI BibTeX RDF	softcopy, cathode ray tube, liquid crystal display, DICOM 14, Grayscale Standard Display Function, SMPTE, monitor, medical imaging, calibration, Image quality, quality assurance, quality control, luminance, display system
29	Bartholomäus Kellerer, Manfred Reitenspieß	Practical quality assurance for standards-based, high-availability middleware.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Service availability middleware, Interface standardization, Practical availability assurance, Hardware and software redundancy, Clustering
29	Cynthia E. Irvine, Michael F. Thompson, Ken Allen	CyberCIEGE: Gaming for Information Assurance.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	CyberCIEGE, Naval Postgraduate School, Rivermind, security, simulation, risk management, entertainment, video games, information assurance, cybersecurity, IA
29	Brian Kelly, Richard T. Vidgen	A quality framework for web site quality: user satisfaction and quality assurance.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	web site quality, standards, quality assurance, best practices
29	Anita D'Amico, Michael Kocka	Information Assurance Visualizations for Specific Stages of Situational Awareness and Intended Uses: Lessons Learned.	VizSEC	2005	DBLP DOI BibTeX RDF	computer network defense, Security, Visualization, Human Factors, information security, graphics, information assurance, data representation, IA
29	Wade Trappe, Yanyong Zhang, Badri Nath	MIAMI: methods and infrastructure for the assurance of measurement information.	DMSN	2005	DBLP DOI BibTeX RDF	measurement assurance, measurement security, sensor networks, consistency checks
29	Cemal Yilmaz 0001, Arvind S. Krishna, Atif M. Memon, Adam A. Porter, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan	Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems.	ICSE	2005	DBLP DOI BibTeX RDF	design of experiment theory, performance-oriented regression testing, distributed continuous quality assurance
29	Chien-Chuan Chen, Yung-Liang Wan, Yau-Yau Wai, Ho-Ling Liu	Quality Assurance of Clinical MRI Scanners Using ACR MRI Phantom: Preliminary Results.	J. Digit. Imaging	2004	DBLP DOI BibTeX RDF	ACR, MRI, image quality, quality assurance, phantom
29	Barbara Endicott-Popovsky	Ethics and Teaching Information Assurance.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF	Computer Crime Survey, Information Assurance, computer crime
29	Masayuki Matsumoto	Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System.	ISADS	2003	DBLP DOI BibTeX RDF	Train Control, D-ATC, Assurance, Autonomous Decentralized System
29	Paul Grünbacher, Michael Halling, Stefan Biffl, Hasan Kitapci, Barry W. Boehm	Repeatable Quality Assurance Techniques for Requirements Negotiations.	HICSS	2003	DBLP DOI BibTeX RDF	Pre-requirements, quality assurance techniques, GSS support, empirical evaluation, requirements negotiation
29	Stephen F. Bush	Active Virtual Network Management Prediction: Complexity as a Framework for Prediction, Optimization, and Assurance.	DANCE	2002	DBLP DOI BibTeX RDF	Active Virtual Network Management Pre-diction, Information Assurance and Active Networks, Kolmogorov Complexity
29	Michael McEvilley	The essence of information assurance and its implications for the Ada community.	SIGAda	2002	DBLP DOI BibTeX RDF	Ada, information assurance, security engineering
29	Carlos Pérez Leguízamo, Shohei Kato, Kenji Hirai, Kinji Mori	Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business.	COMPSAC	2001	DBLP DOI BibTeX RDF	acceralator, allowable volume, mobile agent, distributed database, e-business, assurance
29	Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko	Component-based software engineering: technologies, development frameworks, and quality assurance schemes.	APSEC	2000	DBLP DOI BibTeX RDF	software development frameworks, software quality assurance schemes, software development paradigm, component requirement analysis, component certification, component customization, system architecture design, software architecture, software architecture, object-oriented programming, software maintenance, software quality, program testing, certification, system integration, component-based software engineering, subroutines, system testing, system maintenance, off-the-shelf components, component development
29	Dale M. Johnson, Lee A. Benzinger	Layering Boundary Protections: An Experiment in Information Assurance.	ACSAC	2000	DBLP DOI BibTeX RDF	DARPA Information Assurance Program, boundary protection layering, attack protection, experiment, security of data, data security, client-server systems, client server system, data privacy, data confidentiality
29	J. Barrie Thompson, Helen M. Edwards	How to Teach Practical Software Quality Assurance: An Experience Report.	APAQS	2000	DBLP DOI BibTeX RDF	Software Engineering, Standards, Pedagogy, Quality Assurance
29	David N. Wilson	Software quality assurance in Australia: an update.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	software quality, software quality assurance, software quality management
29	Siew Hock Ow, Mashkuri Yaacob	A Survey on Software Quality Assurance - A Malaysian Perspective.	ISCNZ	1996	DBLP DOI BibTeX RDF	Survey Methodology, SQA, QA Problems, QA Tools, SQA Team, Software Quality, Software, Software Quality Assurance
29	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
29	Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001	Investigating rare-event failure tolerance: reductions in future uncertainty.	HASE	1996	DBLP DOI BibTeX RDF	rare-event failure tolerance, computer assurance, failure tolerance assessment technique, software fault tolerance, software fault tolerance, operational profile
29	I-Ling Yen	Computer security: the good, the bad and the ugly.	HASE	1996	DBLP DOI BibTeX RDF	Trusted Computer Systems Evaluation Criteria, computer security, firewall, cost, security of data, data security, high assurance systems
29	Christian von Reventlow	Comparing quality assurance methods and the resulting design strategies: Experiences from complex designs.	J. Electron. Test.	1994	DBLP DOI BibTeX RDF	quality assurance methods, VLSI design methodology, Inspections
27	Eryk Kylikowski, Riccardo Scandariato, Wouter Joosen	Using Multi-Level Security Annotations to Improve Software Assurance.	HASE	2008	DBLP DOI BibTeX RDF
27	Daniel Robinson, Gerald Kotonya	A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems.	HASE	2008	DBLP DOI BibTeX RDF
27	Jicheng Fu, Farokh B. Bastani, I-Ling Yen	Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.	HASE	2008	DBLP DOI BibTeX RDF
27	Michael D. DiRossi	Towards a High Assurance Secure Computing Platform.	HASE	2007	DBLP DOI BibTeX RDF
27	Asesh Das	Information Assurance Architecture with Storyboarding Models.	HASE	2007	DBLP DOI BibTeX RDF
27	Paul Townend, Nik Looker, Dacheng Zhang, Jie Xu 0007, Jianxin Li 0002, Liang Zhong, Jinpeng Huai	CROWN-C: A High-Assurance Service-Oriented Grid Middleware System.	HASE	2007	DBLP DOI BibTeX RDF
27	Jeong-Oog Lee, Ho-Jun Lee	Building High Assurance Multidisciplinary Design Optimization Framework.	HASE	2007	DBLP DOI BibTeX RDF
27	Ekpe Okorafor	All-Optical Routing for High Assurance Computer Systems.	HASE	2007	DBLP DOI BibTeX RDF
27	Branson W. Murrill	Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems.	HASE	2007	DBLP DOI BibTeX RDF
27	Jawwad Shamsi, Monica Brockmeyer	SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.	HASE	2007	DBLP DOI BibTeX RDF
27	Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu	Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering.	HASE	2007	DBLP DOI BibTeX RDF
27	Jeong-Oog Lee, Dae Hee Won, Sangkyung Sung, Taesam Kang, Young Jae Lee	High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach.	HASE	2007	DBLP DOI BibTeX RDF
27	Kurt Rohloff, Joseph P. Loyall, Partha P. Pal, Richard E. Schantz	High-Assurance Distributed, Adaptive Software for Dynamic Systems.	HASE	2007	DBLP DOI BibTeX RDF