Search results for "HASE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Zeyad Alkhalifa, V. S. S. Nair	Design of a Portable Control-Flow Checking Technique.	HASE	1997	DBLP DOI BibTeX RDF
1	Mario Dal Cin	Verifying Fault-Tolerant Behavior of State Machines.	HASE	1997	DBLP DOI BibTeX RDF
1	Herbert Hecht, Myron Hecht, Dolores R. Wallace	Toward More Effective Testing for High-Assurance Systems.	HASE	1997	DBLP DOI BibTeX RDF
1	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
1	Edgar Nett, Michael Mock	A Recovery Model for Extended Real-Time Transactions.	HASE	1997	DBLP DOI BibTeX RDF
1	Kinji Mori	High-Assurance Application Systems and Their Technologies Under Changing Situations.	HASE	1997	DBLP DOI BibTeX RDF
1	Guillem Bernat, José Miró-Julià, Julián Proenza	A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System.	HASE	1997	DBLP DOI BibTeX RDF
1	Michel Raynal	A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment.	HASE	1997	DBLP DOI BibTeX RDF
1	Bojan Cukic	Combining Testing and Correctness Verification in Software Reliability Assessment.	HASE	1997	DBLP DOI BibTeX RDF	probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling
1	Andrea Bondavalli, Ivan Mura, Manuela Nelli	Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.	HASE	1997	DBLP DOI BibTeX RDF
1	Thomas F. Lawrence	The Quality of Service Model and High Assurance.	HASE	1997	DBLP DOI BibTeX RDF
1	Gilberto Matos, James M. Purtilo, Elizabeth L. White	Automated Computation of Decomposable Synchronization Conditions.	HASE	1997	DBLP DOI BibTeX RDF
1	William G. Castaneda	Software Complexity Analysis on Department of Defense Real-Time Systems.	HASE	1997	DBLP DOI BibTeX RDF
1		2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings	HASE	1997	DBLP BibTeX RDF
1	Sandeepan Sanyal, Viren Shah, Samrat Bhattacharya	Framework of a Software Reliability Engineering Tool.	HASE	1997	DBLP DOI BibTeX RDF
1	K. H. Kim, Chittur Subbaraman, Eltefaat Shokri	High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication.	HASE	1997	DBLP DOI BibTeX RDF	Distributed recovery block, recovery time bound, fault-tolerance, real-time systems, fault coverage, point-to-point networks, network surveillance
1	Minsoon Kweon, Soomyung Park, Sangjin Joung, Sunyoung Han, Moon-hae Kim	Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW.	HASE	1997	DBLP DOI BibTeX RDF	Synchronous Collaboration Environment, WWW, CORBA, RTP
1	Insup Lee 0001, Oleg Sokolsky	Analytical Design of Evolutionary Control Flow Components.	HASE	1997	DBLP DOI BibTeX RDF
1	Saurav Chatterjee, Jaroslaw J. Sydir, Bikash Sabata, Thomas F. Lawrence	Modeling Applications for Adaptive QoS-based Resource Management.	HASE	1997	DBLP DOI BibTeX RDF
1	Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.	ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems.	HASE	1997	DBLP DOI BibTeX RDF
1	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
1	Robert W. Sumners, Jacob A. Abraham	Hierarchical Specification of System Behavior.	HASE	1997	DBLP DOI BibTeX RDF	specification, temporal logic, abstraction
1	Anouar Jamoussi	An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases.	HASE	1997	DBLP DOI BibTeX RDF
1	J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello	Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems.	HASE	1997	DBLP DOI BibTeX RDF
1	Heidrun Engel	Data flow transformations to detect results which are corrupted by hardware faults.	HASE	1996	DBLP DOI BibTeX RDF	data flow transformations, corrupt result detection, hardware fault coverage, modified instruction, diverse data representation, modified instruction sequences, assembler level, high language level, fault tolerant computing, software faults, design diversity, hardware fault detection
1	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment.	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
1	Nuno Neves 0001, W. Kent Fuchs	Adaptive recovery for mobile environments.	HASE	1996	DBLP DOI BibTeX RDF	adaptive recovery, continuous access, host disconnection, message coordination, checkpoint protocol, network characteristics, recovery time, fault tolerance, performance, mobile computing, ubiquitous computing, time, fault detection, portable computers, message exchanges
1	Norman E. Johnson	High Assurance Life and Death.	HASE	1996	DBLP DOI BibTeX RDF
1	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems.	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
1	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification.	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
1	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
1	Qi Shi 0001, Ning Zhang	A general approach to secure components composition.	HASE	1996	DBLP DOI BibTeX RDF	general approach, secure components composition, compatible security requirements, composable security property, connectivity, security of data, security properties
1	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification.	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion
1	Richard Yu	Reliability prediction method for electronic systems: a comparative reliability assessment method.	HASE	1996	DBLP DOI BibTeX RDF	reliability prediction method, electronic systems, comparative reliability assessment method, computer systems reliability, generic failure rates, decision tool, reliability performance, predecessor system, reliability ratio, realistic data, predicted reliability, software reliability, Analytical Hierarchy Process, performance characteristics, operational environments, failure modes, quantitative data
1	Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar	Specifying fault tolerance in mission critical systems.	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
1	Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz	A framework for MLS interoperability.	HASE	1996	DBLP DOI BibTeX RDF	MLS interoperability framework, distributed object oriented computing, location independence, MLS products, rigorous evaluation/certification procedures, security critical components, MLS architectural framework, security critical components/functions, secure use, parallel programming, software reuse, component based development, legacy systems, multilevel security, architectural framework, computing paradigm
1	Scott Dawson, Farnam Jahanian, Todd Mitton	Fault injection experiments on real-time protocols using ORCHESTRA.	HASE	1996	DBLP DOI BibTeX RDF	fault injection experiments, ORCHESTRA software fault injection environment, Unix sockets, Real Time Mach, fault injection mechanism, timing intrusiveness, fault tolerance, software fault tolerance, timing behavior, real time protocols, operating system support
1	Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott	Flow analysis for concurrent, reactive, real-time systems.	HASE	1996	DBLP DOI BibTeX RDF
1	José M. Drake	Writing a user functional description for an Army software metrics support tool.	HASE	1996	DBLP DOI BibTeX RDF	user functional description, Army, software metrics support tool, UFD, users viewpoint, document, requirements specification, domain knowledge, military computing
1	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
1	Shi-Kuo Chang	Active Multimedia Communication Systems.	HASE	1996	DBLP DOI BibTeX RDF
1	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
1	Victor L. Winter	Software on the edge.	HASE	1996	DBLP DOI BibTeX RDF	formal specification, formal methods, software reliability, software reliability, software component, safety-critical applications, systems failure
1	Takamasa Nara, Masahiro Nakata, Akihiro Ooishi	Software reliability growth analysis-application of NHPP models and its evaluation.	HASE	1996	DBLP DOI BibTeX RDF
1	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
1	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
1	Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan	Transaction integration for reusable hard real-time components.	HASE	1996	DBLP DOI BibTeX RDF	transaction integration, reusable hard real time components, end to end timing requirements, framework based approach, data flow path, component interfaces, placeholders, reusable real time components, software reusability
1		1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings	HASE	1996	DBLP BibTeX RDF
1	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
1	Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott	Specifying timing constraints in real-time object-oriented systems.	HASE	1996	DBLP DOI BibTeX RDF
1	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
1	David B. Stewart, Pradeep K. Khosla	Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring.	HASE	1996	DBLP DOI BibTeX RDF	supervisory programs, policy independent real time operating system mechanisms, timing error detection, estimated worst case execution times, missed deadline, policy independent mechanisms, real time task monitoring, reschedule operation, monitoring mechanism, 6 ms, 1 Kbyte, hard real time systems, scheduling policies, context switch, error handling
1	Roymond S. C. Shanahan	Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD).	HASE	1996	DBLP DOI BibTeX RDF	product line center approach, mission critical systems development, Department of Defense, information systems development environment, systems development costs, software architectures, software tools, software reuse, initiatives, safety-critical software, computer-based systems engineering, ECBS
1	Virginia L. Castor	The Department of Defense Science and Technology (S&T) Program.	HASE	1996	DBLP BibTeX RDF
1	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs.	HASE	1996	DBLP DOI BibTeX RDF	test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
1	Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead 0001, Gary P. Trio	A tree-based classification model for analysis of a military software system.	HASE	1996	DBLP DOI BibTeX RDF	tree based classification model, military software systems analysis, tactical military software, software function, military personnel, tree based modeling method, fault prone software modules, Joint Surveillance Target Attack Radar System, JSTPARS, large tactical military system, decision tree model, software product metrics, spiral life cycle, highly reliable final product, fault prone class, TREED-ISC algorithm, CHAID algorithm, independent variables, statistically significant relationships, military computing, fault prone modules, chi squared tests, mission critical
1	Sanghyun Ahn	Real-time multicast connection establishment over ATM networks.	HASE	1996	DBLP DOI BibTeX RDF
1	Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor	Ensuring quality in distributed multimedia systems.	HASE	1996	DBLP DOI BibTeX RDF	cost effective methods, economic efficiency, networked multimedia information systems, multimedia data synchronization, high quality delivery, synchronization techniques, client server environment, software quality, information management, multimedia computing, information dissemination, information infrastructures, distributed multimedia systems

Publications at "HASE"( http://dblp.L3S.de/Venues/HASE )