Search results for "high assurance systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Stephen J. H. Yang, Sam Lin, Jonathan Lee, William C. Chu	Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF	verification, formal methods, Petri nets, specification, temporal logic, High assurance systems
3	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
3	Raymond A. Paul, I-Ling Yen, Farokh B. Bastani, Jing Dong, Wei-Tek Tsai, Krishna 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
3	Branson W. Murrill	Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems.	HASE	2007	DBLP DOI BibTeX RDF
3	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
3	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
3	Dejan Desovski	Combining Testing and Model Checking for Verification of High Assurance Systems.	HASE	2004	DBLP DOI BibTeX RDF
3	Raymond A. Paul, Ann T. Tai	Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?	HASE	1999	DBLP DOI BibTeX RDF
3	Herbert Hecht	What are the Most Critical Challenges to Integrating High Assurance Systems?. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF
3	V. T. Thomas	Ten practical techniques for high assurance systems engineering. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	practical techniques, high assurance systems engineering, system dependability, software quality, complex systems, systems engineering, real-time requirements
2	Dragan Djurdjanovic, Jianbo Liu, Kenneth A. Marko, Jun Ni	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
2	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
2	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
2	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
2	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
2	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
2	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
2	Xiaoou Li, Wen Yu	Modeling of Crude Oil Blending via Discrete-Time Neural Networks.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
2	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
2	Helen Yu	Network Complexity Analysis of Multilayer Feedforward Artificial Neural Networks.	Applications of Neural Networks in High Assurance Systems	2010	DBLP DOI BibTeX RDF
2	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood	Execution leases: a hardware-supported mechanism for enforcing strong non-interference.	MICRO	2009	DBLP DOI BibTeX RDF	gate level information flow tracking, covert channels, high assurance systems, timing channels
2	Chunying Zhao, Kang Zhang	A Grammar-Based Reverse Engineering Framework for Behavior Verification.	HASE	2008	DBLP DOI BibTeX RDF
2	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
2	Kurt Rohloff, Joseph P. Loyall, Partha Pratim Pal, Richard E. Schantz	High-Assurance Distributed, Adaptive Software for Dynamic Systems.	HASE	2007	DBLP DOI BibTeX RDF
2	Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark	An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms.	HASE	2007	DBLP DOI BibTeX RDF
2	Paul Townend, Nik Looker, Dacheng Zhang, Jie Xu, Jianxin Li, Liang Zhong, Jinpeng Huai	CROWN-C: A High-Assurance Service-Oriented Grid Middleware System.	HASE	2007	DBLP DOI BibTeX RDF
2	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
2	Jim Alves-Foss, Carol Taylor, Paul W. Oman	A Multi-Layered Approach to Security in High Assurance Systems.	HICSS	2004	DBLP DOI BibTeX RDF
2	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
2	Nancy R. Mead	SEHAS 2003: The Future of High-Assurance Systems.	IEEE Security & Privacy	2003	DBLP DOI BibTeX RDF	SEHAS, ICSE, programming, software, workshop
2	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). (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	David Owen, Bojan Cukic, Tim Menzies	An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models.	HASE	2002	DBLP DOI BibTeX RDF
2	Shuichiro Yamanouchi	High Assurance, My Personal Experience and View Point.	HASE	2002	DBLP DOI BibTeX RDF
2	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
2	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
2	M. S. Fisher, Bojan Cukic	Automating Techniques for Inspecting High Assurance Systems.	HASE	2001	DBLP BibTeX RDF
2	James Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez	Multi-Domain Surety Modeling and Analysis for High Assurance Systems.	ECBS	1999	DBLP DOI BibTeX RDF
2	Ann Q. Gates, Patricia J. Teller	DynaMICs: An Automated and Independent Software-FaultDetection Approach. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	software-fault detection, software-fault monitoring, hardware-assisted monitoring, constraints, tracing, integrity constraints, verification and validation
2	Michael W. Whalen, Mats Per Erik Heimdahl	On the Requirements of High-Integrity Code Generation. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	formal methods, code generation, critical systems
2	Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht	System Requirements and Analysis Issues for High Assurance Systems. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF
2	David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen, Jerry Gao	Object-Oriented Software Testing: Some Research and Development. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF
2	Carol L. Hoover, Pradeep K. Khosla	Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF
2	Herbert Hecht, Myron Hecht, Dolores R. Wallace	Toward More Effective Testing for High-Assurance Systems. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF
2	Gilberto Matos, James M. Purtilo, Elizabeth L. White	Automated Computation of Decomposable Synchronization Conditions. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF
2	Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.	ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF
2	David L. MacPherson	Specification and Testing of High-Assurance Systems. (PDF / PS)	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
2	Arif Ghafoor	High Assurance Systems Engineering. (PDF / PS)	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
2	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. (PDF / PS)	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
2	I-Ling Yen	Computer security: the good, the bad and the ugly. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	Trusted Computer Systems Evaluation Criteria, computer security, firewall, cost, security of data, data security, high assurance systems
1	Jane Cleland-Huang, Mats Per Erik Heimdahl, Jane Huffman Hayes, Robyn R. Lutz, Patrick Maeder	Trace Queries for Safety Requirements in High Assurance Systems.	REFSQ	2012	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar (eds.)	13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011	HASE	2011	DBLP BibTeX RDF
1	Mehdi Mirakhorli, Jane Cleland-Huang	Tracing architectural concerns in high assurance systems.	ICSE	2011	DBLP DOI BibTeX RDF
1	Mladen A. Vouk, Pierre Mouallem	On High-Assurance Scientific Workflows.	HASE	2011	DBLP DOI BibTeX RDF
1	Zhongxing Yu, Hai Hu, Chenggang Bai, Kai-Yuan Cai, W. Eric Wong	GUI Software Fault Localization Using N-gram Analysis.	HASE	2011	DBLP DOI BibTeX RDF
1	Sami S. Alwakeel, Shaker S. AlGhanmi	A Real Time Window-Based Local Call Admission Control Algorithm for IP Networks.	HASE	2011	DBLP DOI BibTeX RDF
1	Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser	Leader-Determined Membership Protocol.	HASE	2011	DBLP DOI BibTeX RDF
1	Ingrid Buckley, Eduardo B. Fernández	Enumerating Software Failures to Build Dependable Distributed Applications.	HASE	2011	DBLP DOI BibTeX RDF
1	Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe	Integrating Legacy Applications for High Availability: A Case Study.	HASE	2011	DBLP DOI BibTeX RDF
1	Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna	Patterns for Representing FMEA in Formal Specification of Control Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli	A Testing Service for Lifelong Validation of Dynamic SOA.	HASE	2011	DBLP DOI BibTeX RDF
1	Chetan Mutha, Carol Smidts	An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Md. Emdadul Haque, Fan Wei, Takehiro Gouda, Xiaodong Lu, Kinji Mori	Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks.	HASE	2011	DBLP DOI BibTeX RDF
1	Ayman Amin, Alan Colman, Lars Grunske	Using Automated Control Charts for the Runtime Evaluation of QoS Attributes.	HASE	2011	DBLP DOI BibTeX RDF
1	Janell Duhaney, Taghi M. Khoshgoftaar, John C. Sloan, Bassem Alhalabi, Pierre P. Beaujean	A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring.	HASE	2011	DBLP DOI BibTeX RDF
1	Wuliang Sun, Robert B. France, Indrakshi Ray	Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.	HASE	2011	DBLP DOI BibTeX RDF
1	H. Assoudi, H. Lounis	Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization.	HASE	2011	DBLP DOI BibTeX RDF
1	Atif Mashkoor, Jean-Pierre Jacquot	Guidelines for Formal Domain Modeling in Event-B.	HASE	2011	DBLP DOI BibTeX RDF
1	Zahid Syed, Sean Banerjee, Qi Cheng, Bojan Cukic	Effects of User Habituation in Keystroke Dynamics on Password Security Policy.	HASE	2011	DBLP DOI BibTeX RDF
1	Debmalya Biswas, Valtteri Niemi	Transforming Privacy Policies to Auditing Specifications.	HASE	2011	DBLP DOI BibTeX RDF
1	Vivek Tyagi, Abhijit S. Pandya, Ankur Agarwal, Bassem Alhalabi	Validation of Object Recognition Framework on Android Mobile Platform.	HASE	2011	DBLP DOI BibTeX RDF
1	David Lo, Hong Cheng, Xiaoyin Wang	Bug Signature Minimization and Fusion.	HASE	2011	DBLP DOI BibTeX RDF
1	Rui Yang, Zhenyu Chen, Baowen Xu, W. Eric Wong, Jie Zhang	Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.	HASE	2011	DBLP DOI BibTeX RDF
1	Patrick Hein, Debmalya Biswas, Leonardo A. Martucci, Max Mühlhäuser	Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu	A Unifying Approach to Validating Specification-Oriented XML Constraints.	HASE	2011	DBLP DOI BibTeX RDF
1	Mingjie Lin, Yu Bai, John Wawrzynek	Discriminatively Fortified Computing with Reconfigurable Digital Fabric.	HASE	2011	DBLP DOI BibTeX RDF
1	Ricardo Paharsingh, Olivia Das	An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing.	HASE	2011	DBLP DOI BibTeX RDF
1	Randall Wald, Taghi M. Khoshgoftaar, John C. Sloan	Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability.	HASE	2011	DBLP DOI BibTeX RDF
1	Javier González, Antonio Muñoz, Antonio Maña	Multi-layer Monitoring for Cloud Computing.	HASE	2011	DBLP DOI BibTeX RDF
1	Manasi Peshave, Farokh B. Bastani, I-Ling Yen	High-Assurance Reconfigurable Multicore Processor Based Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers	A Behavioral Analysis Approach for Efficient Partial Order Reduction.	HASE	2011	DBLP DOI BibTeX RDF
1	Dongeun Lee, Heonshik Shin, Eunjeong Park	Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process.	HASE	2011	DBLP DOI BibTeX RDF
1	Kunming Nie, Li Zhang	On the Relationship between Preprocessor-Based Software Variability and Software Defects.	HASE	2011	DBLP DOI BibTeX RDF
1	Herbert Hecht	So Much to Learn from One Accident Crash of 737 on 25 February 2009.	HASE	2011	DBLP DOI BibTeX RDF
1	Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David	The OASIS Kernel: A Framework for High Dependability Real-Time Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	John C. Sloan, Taghi M. Khoshgoftaar	Ensemble Coordination for Discrete Event Control.	HASE	2011	DBLP DOI BibTeX RDF
1	Michael F. Siok, Jeff Tian	Benchmarking Embedded Software Development Project Performance.	HASE	2011	DBLP DOI BibTeX RDF
1	Pratik Maheshwari, Byong-Su Seol, Jong-Sung Lee, Jae-Deok Lim, Sahra Sedigh, David Pommerenke	Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge.	HASE	2011	DBLP DOI BibTeX RDF
1	Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol	Reducing State Explosion with Context Modeling for Model-Checking.	HASE	2011	DBLP DOI BibTeX RDF
1	Douglas Rodrigues, Daniel F. Pigatto, Júlio Cezar Estrella, Kalinka Regina Lucas Jaquie Castelo Branco	Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services.	HASE	2011	DBLP DOI BibTeX RDF
1	Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti	Worst Case Temporal Consistency in Integrated Modular Avionics Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Stefano Di Alesio, Dag McGeorge, Vidar Åhjem, Jonas Borg	Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology.	HASE	2011	DBLP DOI BibTeX RDF
1	Hajime Fujita, Yutaka Ishikawa	Anytime Available Single IP Address Cluster.	HASE	2011	DBLP DOI BibTeX RDF
1	Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi	Verification of Interoperability Security Policies by Model Checking.	HASE	2011	DBLP DOI BibTeX RDF
1	Lance Fiondella, Sanguthevar Rajasekaran, Swapna S. Gokhale	Efficient System Reliability with Correlated Component Failures.	HASE	2011	DBLP DOI BibTeX RDF
1	Vishesh Ved, Vivek Tyagi, Ankur Agarwal, Abhijit S. Pandya	Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Mustapha Mjit, Pierre-Philippe J. Beaujean, David J. Vendittis	Smart Vibration Monitoring System for an Ocean Turbine.	HASE	2011	DBLP DOI BibTeX RDF
1	Antonio Maña, Jose Fran. Ruiz	A Security Modelling Framework for Systems of Embedded Components.	HASE	2011	DBLP DOI BibTeX RDF
1	Mario Bernhart, Stefan Reiterer, Kilian Matt, Andreas Mauczka, Thomas Grechenig	A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study.	HASE	2011	DBLP DOI BibTeX RDF
1	Simin Nadjm-Tehrani, Maria Vasilevskaya	Towards a Security Domain Model for Embedded Systems.	HASE	2011	DBLP DOI BibTeX RDF
1	Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu	An Event-B Interpretation for SPARDL Model.	HASE	2011	DBLP DOI BibTeX RDF