Search results for "high-assurance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Raymond A. Paul, Ann T. Tai	Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?	HASE	1999	DBLP DOI BibTeX RDF
73	Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto	High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System.	HASE	2002	DBLP DOI BibTeX RDF	System construction way, Autonomous decentralized system, High assurance system
64	Colin O'Halloran	Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.	ASE	2001	DBLP DOI BibTeX RDF	Verification, Formal Methods, CSP, Z, Acceptance, Safety critical, Simulink, Control Laws
61	Shuichiro Yamanouchi	High Assurance, My Personal Experience and View Point.	HASE	2002	DBLP DOI BibTeX RDF
61	Jeffrey M. Voas	COTS and High Assurance: An Oxymoron?	HASE	1999	DBLP DOI BibTeX RDF	dependability, COTS, high assurance
60	Paul A. Karger, Helmut Kurth	Increased Information Flow Needs for High-Assurance Composite Evaluations.	IWIA	2004	DBLP DOI BibTeX RDF	composite evaluation, smart cards, covert channels, common criteria, high assurance
56	William E. Howden	Good Enough versus High Assurance Software Testing and Evaluation Methods.	HASE	1998	DBLP DOI BibTeX RDF
54	Daniel Conte de Leon, Jim Alves-Foss	Hidden Implementation Dependencies in High Assurance and Critical Computing Systems.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	software engineering documentation, work products, traceability, data dependencies, set theory, knowledge modeling, system development, Critical systems, high assurance systems, emergent properties, system safety, formal frameworks
54	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software.	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
53	Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong 0005, Wei-Tek Tsai, Krishna M. Kavi, Arif Ghafoor, Jaideep Srivastava	An Ontology-Based Integrated Assessment Framework for High-Assurance Systems.	ICSC	2008	DBLP DOI BibTeX RDF	Trustworthiness ontology, high assurance systems
53	Jan Jürjens	Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.	HASE	2004	DBLP DOI BibTeX RDF	security software engineering, formal methods in security, electronic purses, cryptographic protocols, security models, security engineering, security evaluation, high assurance systems, security verification
53	Stephen J. H. Yang, Sam Lin, Jonathan Lee, William C. Chu	Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.	HASE	1998	DBLP DOI BibTeX RDF	verification, formal methods, Petri nets, specification, temporal logic, High assurance systems
53	Budhaditya Deb, Sudeept Bhatnagar, Badri Nath	Information assurance in sensor networks.	Wireless Sensor Networks and Applications	2003	DBLP DOI BibTeX RDF	sensor networks, reliability, information assurance, wireless broadcast
52	Johann Schumann, Pramod Gupta, Yan Liu 0003	Application of Neural Networks in High Assurance Systems: A Survey.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
52	Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz	An Architecture for Multilevel Secure Interoperability.	ACSAC	1997	DBLP DOI BibTeX RDF	multilevel secure interoperability architecture, commercial sector, cost effective high assurance multilevel security, small communities, high assurance secure solution, MLS architecture, commercial single level hardware, specialized security devices, MLS CORBA, NRL Pump, Starlight Interactive Link, MLS cooperative computing, distributed computing, standards, distributed processing, heterogeneous environments, computer systems, COTS components, security levels
50	P. C. Donachy, Ronald H. Perrott, Terence J. Harmer, F. Sharkey	Finance Sector: Requirements for High Assurance within Spatial SOA Based Grid Infrastructures.	HASE	2007	DBLP DOI BibTeX RDF
47	Ram Krishnan, Ravi S. Sandhu, Kumar Ranganathan	PEI models towards scalable, usable and high-assurance information sharing.	SACMAT	2007	DBLP DOI BibTeX RDF	PEI, slient-side access control, information sharing, trusted computing, high-assurance
45	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
45	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
44	Lui Sha	Using COTS Software in High Assurance Control Applications.	HASE	1999	DBLP DOI BibTeX RDF
42	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
41	Herbert Hecht	What are the Most Critical Challenges to Integrating High Assurance Systems?.	HASE	1999	DBLP DOI BibTeX RDF
41	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
41	Cynthia E. Irvine, Timothy E. Levin, Jeffery D. Wilson, David J. Shifflett, Barbara Pereira	An Approach to Security Requirements Engineering for a High Assurance System.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Security, Specification, Requirements, Engineering, Assurance, Threat
41	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
40	Kazuo Kera, Keisuke Bekki, Kinji Mori	Step-by-Step System Construction Technique with Assurance Technology -Evaluation Measure for Step-by-Step System Construction-.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	System construction way, Autonomous decentralized system, High assurance system
40	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
39	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
39	Mostafa Sedighizadeh, Alireza Rezazadeh	Adaptive Self-Tuning Wavelet Neural Network Controller for a Proton Exchange Membrane Fuel Cell.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Anuradha M. Annaswamy, Jinho Jang, Eugene Lavretsky	Robust Adaptive Control Revisited: Semi-global Boundedness and Margins.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Ali Reza Mehrabian, Mohammad Bagher Menhaj	Stick-Slip Friction Compensation Using a General Purpose Neuro-Adaptive Controller with Guaranteed Stability.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Nhan T. Nguyen, Stephen A. Jacklin	Stability, Convergence, and Verification and Validation Challenges of Neural Net Adaptive Flight Control.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Y. D. Song, Liguo Weng, Medorian D. Gheorghiu	Pitch-Depth Control of Submarine Operating in Shallow Water via Neuro-adaptive Approach.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Sampath Yerramalla, Edgar Fuller, Bojan Cukic	Dynamic Allocation in Neural Networks for Adaptive Controllers.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Helen Yu	Network Complexity Analysis of Multilayer Feedforward Artificial Neural Networks.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Tim Smith, Jim Barhorst, James M. Urnes	Design and Flight Test of an Intelligent Flight Control System.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Xiaoou Li, Wen Yu 0001	Modeling of Crude Oil Blending via Discrete-Time Neural Networks.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	Dragan Djurdjanovic, Jianbo Liu, Kenneth A. Marko, Jun Ni 0002	Immune Systems Inspired Approach to Anomaly Detection, Fault Localization and Diagnosis in Automotive Engines.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
39	David M. Russinoff	A Mechanically Verified Commercial SRT Divider.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Anthony C. J. Fox, Michael J. C. Gordon, Magnus O. Myreen	Specification and Verification of ARM Hardware and Software.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Konrad Slind, Guodong Li, Scott Owens	Compiling Higher Order Logic by Proof.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Michael W. Whalen, David A. Greve, Lucas G. Wagner	Model Checking Information Flow.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová	Use of Formal Verification at Centaur Technology.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Raymond J. Richards	Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve	Specification and Checking of Software Contracts for Conditional Information Flow.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Sally Browning, Philip Weaver	Designing Tunable, Verifiable Cryptographic Hardware Using Cryptol.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Matthew Wilding, David A. Greve, Raymond J. Richards, David S. Hardin	Formal Verification of Partition Management for the AAMP7G Microprocessor.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	David A. Greve	Information Security Modeling and Analysis.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Gerwin Klein, Thomas Sewell, Simon Winwood	Refinement in the Formal Verification of the seL4 Microkernel.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Panagiotis Manolios, Sudarshan K. Srinivasan	Verifying Pipelines with BAT.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Matt Kaufmann, J Strother Moore	ACL2 and Its Applications to Digital System Verification.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
39	Dan Thompson, M. Denz	Incremental Assurance for Multilevel Applications.	ACSAC	1997	DBLP DOI BibTeX RDF	incremental assurance approach, multilevel applications, high assurance database, economics, costs, security of data, data security, multilevel database
35	Jeffrey Choi Robinson, Jim Alves-Foss	A high assurance MLS file server.	ACM SIGOPS Oper. Syst. Rev.	2007	DBLP DOI BibTeX RDF
35	Paul A. Karger	The Importance of High Assurance Security in Pervasive Computing.	SPC	2003	DBLP DOI BibTeX RDF
35	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
35	Clark Weissman	MLS-PCA: A High Assurance Security Architecture for Future Avionics.	ACSAC	2003	DBLP DOI BibTeX RDF
35	Jeong-Oog Lee, Ho-Jun Lee	Building High Assurance Multidisciplinary Design Optimization Framework.	HASE	2007	DBLP DOI BibTeX RDF
35	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
35	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
35	Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara	A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer Systems.	HASE	2002	DBLP DOI BibTeX RDF
35	Kevin J. Sullivan	Rapid Development of Simple, Custom Program Analysis Tools.	WPC	1996	DBLP DOI BibTeX RDF
34	Michael D. DiRossi	Towards a High Assurance Secure Computing Platform.	HASE	2007	DBLP DOI BibTeX RDF
34	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
34	Ekpe Okorafor	All-Optical Routing for High Assurance Computer Systems.	HASE	2007	DBLP DOI BibTeX RDF
34	Branson W. Murrill	Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems.	HASE	2007	DBLP DOI BibTeX RDF
34	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
34	Dejan Desovski	Combining Testing and Model Checking for Verification of High Assurance Systems.	HASE	2004	DBLP DOI BibTeX RDF
34	Richard C. Linger, Mark G. Pleszkoch	Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.	HASE	2004	DBLP DOI BibTeX RDF
34	Masayuki Arai, Hitoshi Kurosu, Mamoru Ohara, Ryo Suzuki, Satoshi Fukumoto, Kazuhiko Iwasaki	Experiment for High-Assurance Video Conference System over the Internet.	HASE	2002	DBLP DOI BibTeX RDF	video conference system, Xcast, packet loss, convolutional codes, H.323
34	Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss	Implementing middleware for content filtering and information flow control.	CSAW	2007	DBLP DOI BibTeX RDF	GIOP, MILS, security, CORBA, safety, MLS, common criteria, high assurance, guards, IIOP
34	Axel van Lamsweerde, Emmanuel Letier	From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.	RISSEF	2002	DBLP DOI BibTeX RDF	specification building process, safety, Goal-oriented requirements engineering, lightweight formal methods, high assurance systems
33	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
33	Hafiz Farooq Ahmad, Hiroki Suguri	Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment.	ISADS	2003	DBLP DOI BibTeX RDF	mobile agent, dynamic load balancing, autonomy, information service, high-assurance
32	David S. Hardin, Eric W. Smith, William D. Young	A robust machine code proof framework for highly secure applications.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
32	Taghi M. Khoshgoftaar, Edward B. Allen	Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees.	HASE	1999	DBLP DOI BibTeX RDF	embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance
32	Sang Hyuk Son, Robert C. Beckinger, David A. Baker	DRDB: a distributed real-time database server for high-assurance time-critical applications.	COMPSAC	1997	DBLP DOI BibTeX RDF	DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment
32	Arif Ghafoor	High Assurance Systems Engineering.	COMPSAC	1996	DBLP DOI BibTeX RDF	high assurance systems engineering, hardware engineering, high performance systems, highly specialized hardware, reliability, software reliability, safety, real time applications, design approaches, complex software systems, formal approaches
32	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
32	Rufus H. Cofer, T. J. Sanders	STADIUM: a new tool for high assurance in systems design.	ICECCS	1995	DBLP DOI BibTeX RDF	STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development
29	David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen	Development of Security Software: A High Assurance Methodology.	ICFEM	2009	DBLP DOI BibTeX RDF
29	James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez	Multi-Domain Surety Modeling and Analysis for High Assurance Systems.	ECBS	1999	DBLP DOI BibTeX RDF
28	Chunying Zhao, Kang Zhang 0001	A Grammar-Based Reverse Engineering Framework for Behavior Verification.	HASE	2008	DBLP DOI BibTeX RDF
28	Ajay Chander, Drew Dean, John C. Mitchell	A Distributed High Assurance Reference Monitor.	ISC	2004	DBLP DOI BibTeX RDF
28	Yi Liu 0023, Taghi M. Khoshgoftaar	Reducing Overfitting in Genetic Programming Models for Software Quality Classification.	HASE	2004	DBLP DOI BibTeX RDF
28	Nancy R. Mead	SEHAS 2003: The Future of High-Assurance Systems.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF	SEHAS, ICSE, programming, software, workshop
28	Carol L. Hoover, Pradeep K. Khosla	Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools.	HASE	1998	DBLP DOI BibTeX RDF
28	Gilberto Matos, James M. Purtilo, Elizabeth L. White	Automated Computation of Decomposable Synchronization Conditions.	HASE	1997	DBLP DOI BibTeX RDF
27	Hans Löhr, Ahmad-Reza Sadeghi, Christian Stüble, Marion Weber, Marcel Winandy	Modeling Trusted Computing Support in a Protection Profile for High Assurance Security Kernels.	TRUST	2009	DBLP DOI BibTeX RDF
27	John Launchbury	Galois: high assurance software.	ICFP	2004	DBLP DOI BibTeX RDF
27	Jim Alves-Foss, Carol Taylor, Paul W. Oman	A Multi-Layered Approach to Security in High Assurance Systems.	HICSS	2004	DBLP DOI BibTeX RDF
27	Paul Ammann, Paul E. Black	A Specification-Based Coverage Metric to Evaluate Test Sets.	HASE	1999	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Coverage, Test Sets, SCR, Test Metric, SMV
27	David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao 0002	Object-Oriented Software Testing: Some Research and Development.	HASE	1998	DBLP DOI BibTeX RDF
27	Xiaolei Qian	View-Based Access Control with High Assurance.	S&P	1996	DBLP DOI BibTeX RDF
27	Roshan K. Thomas, Ravi S. Sandhu	Supporting Object-Based High-Assurance Write-up in Multilevel Databases for the Replicated Architecture.	ESORICS	1994	DBLP DOI BibTeX RDF	Replicated architecture, writeup, serial correctness, signaling channels, object-oriented databases, message-filtering
27	Bader Alahmad, Sathish Gopalakrishnan	Isochronous Execution Models for High-Assurance Real-Time Systems.	HASE	2019	DBLP DOI BibTeX RDF
27	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
27	Tze Meng Low, Franz Franchetti	High Assurance Code Generation for Cyber-Physical Systems.	HASE	2017	DBLP DOI BibTeX RDF
27	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
27	Sara Cleemput, Mustafa A. Mustafa, Bart Preneel	High Assurance Smart Metering.	HASE	2016	DBLP DOI BibTeX RDF
27	Paul Hyden, Ira S. Moskowitz, Stephen Russell 0001	Using Network Topology to Supplement High Assurance Systems.	HASE	2016	DBLP DOI BibTeX RDF