Search results for "aerospace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Hani Alqaan, Mikael Mannberg, Al Savvaris	Automatic Pipeline Detection for UAVs.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Georg Albrecht, Hak-Tae Lee, Alex Pang	Visual Analysis of Air Traffic Data Using Aircraft Density and Conflict Probability.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Zachary Jacobs, Samir A. Rawashdeh, James E. Lumpp Jr.	A SPA-1 Enabled Plug-and-Play CubeLab for ISS Payloads.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Douglas W. Orellana, Azad M. Madni	Extending Model Based Systems Engineering for Human Machine Interaction Analysis and Fault Tolerant Design.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	James A. Crowder	Reasoning Frameworks for Autonomous Systems.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Masood Khayyam, Wei Zhang 0095	Detailed Flight Performance Analysis of a Fixed Wing UAV.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	David Dvorak, Danny Hajicek, Jonathan Alme, William Senke	Custom Hardware/Software Interface System for Data Fusion between a Commercial Autopilot and Multispectral Camera.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Quang Lam, Ming Xin 0001, James R. Cloutier	A View of SDRE Control Methods as One Branch of Indirect Adaptive Control.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Dookun Park, Bernard Widrow	Memory-based Adaptive System Control with an example of Double Inverted Pendulum.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	John Day 0001, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post	Modeling Off-Nominal Behavior in SysML.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	George Hellstern, Ron Wilson, Frederick Harris	Adaptive Motion Planning Approaches for Small UAV Flight.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Richard S. Stansbury, Massood Towhidnejad, Salamah Salamah, William C. Barott	Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Justin M. Bradley, Ella M. Atkins	Multi-Disciplinary Cyber-Physical Optimization for Unmanned Aircraft Systems.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Robert Hoffman, John Timmerman, Giles O'Keeffe, Ben Rich	Information Management for Operating Unmanned Aircraft Systems in the National Airspace System.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Masood Khayyam	Validating the Effectiveness of a SAM System by Calculating the Region of Interception against a Fighter Aircraft.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Sam Adhikari	Improving Verification and Validation Process of Autonomic Systems with the Help of System Performance Feedback and Stochastic Optimal Control.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Byoung Kim, Matt Engelman, Sonia Vohnout, Esko Mikkola, Brett Jordan	A Robustness Assessment for Design Tool.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	James C. Ong, Emilio Remolina, David Breeden, Brett Stroozas, John Mohammed	Intelligent Data Visualization for Cross-Checking Spacecraft System Diagnoses.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Miguel A. Morales, David J. Haas, Timofey N. Spiridonov, Eric Silberg	An Automated Technique for Individual Flight Characterization.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Jonathan S. Barlow, Vahram Stepanyan, Kalmanje Krishnakumar	Predicting Loss-of-Control Boundaries Toward a Piloting Aid.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Mark A. Post, Brendan M. Quine, Regina Li	Bayesian Decision Making for Planetary Micro-Rovers.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Mark McClelland, Mark E. Campbell, Tara A. Estlin	Qualitative Relational Mapping for Autonomous Robotics.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Caroline Dunn, John Valasek, Kenton Conrad Kirkpatrick	Unmanned Air System Search and Localization Guidance Using Reinforcement Learning.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
35	Ewart de Visser, Bob Jacobs, Timur Chabuk, Amos Freedy, Paul Scerri	Design and evaluation of the Adaptive Interface Management System (AIMS) for collaborative mission planning with unmanned vehicles.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
33	Raul Brandao, Martin George Wynn	Improving the New Product Development Process through ICT Systems in the Aerospace Industry .	eKNOW	2009	DBLP DOI BibTeX RDF	Systems, Process improvement, Aerospace, PLM
33	Raya Fidel, Efthimis N. Efthimiadis	Web Searching Behavior of Aerospace Engineers (poster abstract).	SIGIR	1999	DBLP DOI BibTeX RDF	information searching behavior, Web searching, aerospace engineers
31	Michele Nappi, Luca Paolino, Stefano Ricciardi, Monica Sebillo, Giuliana Vitiello	Advanced Maintenance Simulation by Means of Hand-Based Haptic Interfaces.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	Virtual Reality, Haptics, Multimodal Interfaces
31	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
31	John A. McDermid, Andy Galloway, Simon Burton 0001, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine	Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.	ICFEM	1998	DBLP DOI BibTeX RDF
30	R. Guruprasad, Khaiser Nikam, Palaniappan Marimuthu	Use Patterns of Aerospace E-Indexing, Abstracting and Citation Services: A Research Study of Aerospace Scientists and Engineers of Bangalore.	ICADL	2012	DBLP DOI BibTeX RDF
30	Adriana Prest Mattedi	Risk analysis of the aerospace sector: new concepts of VaRq and comprehensive aerospace index.		2005	RDF
30	Vladik Kreinovich, Scott A. Starks	Aerospace Applications of Intervals: From Geospatial Data Processing to Fault Detection in Aerospace Structures.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2001	DBLP BibTeX RDF
29	Viet Dung Dang, Steve Osborn, Gary Vickers, Malcolm Bridgeford	Aerogility: an intelligent decision support system for managing service-based aftermarkets.	AAMAS (2)	2009	DBLP BibTeX RDF	aftermarket, multi-agent system, decision support system, aerospace
29	Mark W. S. Chun, Kiho Sohn, Priscilla Arling, Nelson F. Granados	Systems Theory and Knowledge Management Systems: The Case of Pratt-Whitney Rocketdyne.	HICSS	2008	DBLP DOI BibTeX RDF	Knowledge management systems, systems theory, systems thinking, aerospace industry
29	David A. Guerra-Zubiaga, Laurent Donato, Ricardo Ramírez, Manuel Contero	Knowledge Sharing to Support Collaborative Engineering at PLM Environment.	PAKM	2006	DBLP DOI BibTeX RDF	Assembly process, Knowledge sharing, Collaborative Engineering, Knowledge Structures, PLM, Aerospace Industry
29	Dave E. Eckhardt, Alper K. Caglayan, John C. Knight, Larry D. Lee, David F. McAllister, Mladen A. Vouk, John P. J. Kelly	An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software redundancy, independently developed software, residual software design faults, multiversion software, dependent failures, aerospace application, fault tolerant computing, software reliability, redundancy, program testing, experimental results, development process, experimental evaluation, programmers, failure probabilities, multiple versions
25	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001, Marco Roveri	The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
25	Vivek Yadav, Radhakant Padhi, Sivasubramanya Nadar Balakrishnan	Robust/Optimal Temperature Profile Control of a High-Speed Aerospace Vehicle Using Neural Networks.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
25	Ibrahim Habli, Tim Kelly	Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System.	SPLC	2007	DBLP DOI BibTeX RDF
25	Valerie Crute, Allan Wickham, Richard Johns, Andrew Graves	Exploring Competitive Advantage through Lean Implementation in the Aerospace Supply Chain.	APMS	2006	DBLP DOI BibTeX RDF
25	Nagy Bengiamin, Allen Parker, Larry Hudson, Van Tran	Temperature control for aerospace test systems - modeling, simulation and design case study.	WSC	2005	DBLP BibTeX RDF
25	Dimitri J. Mavriplis, Michael J. Aftosmis, Marsha J. Berger	High Resolution Aerospace Applications using the NASA Columbia Supercomputer.	SC	2005	DBLP DOI BibTeX RDF	NASA Columbia, SGI Altix, hybrid programming, scalability, OpenMP, computational fluid dynamics, unstructured
25	Paul Mason, Amer Saeed, Paul Arkley, Steve Riddle	Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems.	ECBS	2003	DBLP DOI BibTeX RDF
25	Kevin Laframboise, Felipe Reyes	E-Negotiations, Supply Networks and Collaborative Product Development in Aerospace Manufacturing.	DEXA Workshops	2003	DBLP DOI BibTeX RDF
25	Howard Lovatt, Geoff Poulton, Don Price, Mikhail Prokopenko, Philip Valencia, Peter Wang	Self-organising impact boundaries in ageless aerospace vehicles.	AAMAS	2003	DBLP DOI BibTeX RDF	impact detection, sensor networks, self-organisation
25	Agostino G. Bruzzone, Roberto Mosca 0001, Alessandra Orsoni, Roberto Revetria	Simulation-Based VV&A Methodology for HLA Federations: An Example from the Aerospace Industry.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	VV&A, Supply Chain Management, Distributed Simulation, High Level Architecture
25	Merlin Dorfman	Commercial versus Aerospace Worlds: Comparing Software Engineering Cultures.	IEEE Softw.	1999	DBLP DOI BibTeX RDF
25	Caroline D. Buchman	Software Process Improvement at AlliedSignal Aerospace.	HICSS (1)	1996	DBLP DOI BibTeX RDF
25	Bandreddi E. Prasad, Tolety Siva Perraju, Garimella Uma, Pasuparthy Umarani	An Expert System Shell for Aerospace Applications.	IEEE Expert	1994	DBLP DOI BibTeX RDF
21	Yee Mey Goh, Matt Giess, Chris A. McMahon, Ying Liu 0004	From Faceted Classification to Knowledge Discovery of Semi-structured Text Records.	Foundations of Computational Intelligence (6)	2009	DBLP DOI BibTeX RDF
21	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm	Integration of Formal Analysis into a Model-Based Software Development Process.	FMICS	2007	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
21	Sylvia C. Wong, Richard M. Crowder, Gary B. Wills, Nigel R. Shadbolt	Lesson learnt from a large-scale industrial semantic web application.	Hypertext	2007	DBLP DOI BibTeX RDF	industrial hypermedia, semantic web, SQL, RDF, SPARQL
21	Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy	Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development.	VLSI Design	2007	DBLP DOI BibTeX RDF
21	Riaz Ahmad, Yuqing Fan, Hamidullah Hamidullah	Managing Product Data and Design flow Process.	ISDA (1)	2006	DBLP DOI BibTeX RDF
21	Fabio Ciravegna	Acquiring and Sharing Knowledge in Large Organizations: Issues, Requirements and Methodologies.	AIMSA	2006	DBLP DOI BibTeX RDF
21	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
21	Jiang Guo, Yuehong Liao, Raj Pamula	Extending Eclipse to support object-oriented system verification.	IRI	2005	DBLP DOI BibTeX RDF
21	Bryan Tsong-Jye Ng, Wen-Jong Lin, Xiaoqi Chen, Zhiming Gong, Jing-Bing Zhang	Intelligent system for turbine blade overhaul using robust profile re-construction algorithm.	ICARCV	2004	DBLP DOI BibTeX RDF
21	Jin Woo Park, Si Hyoung Park, In Seong Hwang, Ji Joong Moon, Youngha Yoon, Seung Jo Kim	Optimal Blade System Design of a New Concept VTOL Vehicle Using the Departmental Computing Grid System.	SC	2004	DBLP DOI BibTeX RDF
21	Kevin Bowcutt	Keynote lecture: a perspective on the future of design.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF
21	Rainer A. Sommer, Thomas R. Gulledge, David Bailey	The n-Tier Hub Technology.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF	eHubs, Extensible Markup Language (XML), Service Provider, Small and Medium Enterprises (SMEs)
21	Matthew Kuperus Heun, R. Stephen Schlaifer, Kim Aaron, Alexey Pankine, Kerry Nock, Naomi Ehrich Leonard, Edward Belbruno, Pradeep Bhatta	Biological Analogs and Emergent Intelligence for Control of Stratospheric Balloon Constellations.	WRAC	2002	DBLP DOI BibTeX RDF
21	Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson	Investigating the readability of state-based formal requirements specification languages.	ICSE	2002	DBLP DOI BibTeX RDF
21	Daniel E. Cooke, Scott Hamilton	New Directions at NASA Ames Research Center.	Computer	2000	DBLP DOI BibTeX RDF
21	Hiroyuki Yamazaki, Shunji Enomoto, Kazuomi Yamamoto	A Common CFD Platform UPACS.	ISHPC	2000	DBLP DOI BibTeX RDF
21	David B. Leake, David C. Wilson	Combining CBR with Interactive Knowledge Acquisition, Manipulation and Reuse.	ICCBR	1999	DBLP DOI BibTeX RDF
21	Timothy J. Lenz, James K. McDowell, Martin C. Hawley, Ahmed Kamel, Jon Sticklen	The Evolution of a Decision Support Architecture for Polymer Composites Design.	IEEE Expert	1996	DBLP DOI BibTeX RDF
18	June Hawk Lee, Dukyun Nam, Soonwook Hwang, Ok-Hwan Byeon	A Grid-Enabled Problem Solving Environment for Supporting Collaborative Aerodynamic Engineering Process.	eScience	2008	DBLP DOI BibTeX RDF	Grid, workflow, e-Science, aerospace
18	Michael J. Turmon, Robert Granat, Daniel S. Katz, John Z. Lou	Tests and Tolerances for High-Performance Software-Implemented Fault Detection.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	error analysis, Algorithm-based fault tolerance, result checking, aerospace, parallel numerical algorithms
18	Richard Conway 0001, John S. Nelson	New CRT-Based RNS Converter Using Restricted Moduli Set.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	error analysis, Algorithm-based fault tolerance, result checking, aerospace, parallel numerical algorithms
18	Érika F. Cota, Fernanda Lima 0001, Sana Rezgui, Luigi Carro, Raoul Velazco, Marcelo Lubaszewski, Ricardo Reis 0001	Synthesis of an 8051-Like Micro-Controller Tolerant to Transient Faults.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	integrated circuits radiation effects, aerospace testing, built-in-testing, microprocessor testing
18	Jacob Savir	On testing safety-sensitive digital systems.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	aerospace testing, safety systems, safety-sensitive digital systems, off-line test, flight critical missions, digital airborne system, repair capabilities, diagnosis capabilities, mission reliability, reliability, fault diagnosis, redundancy, digital systems, online test
18	David W. Hutchison, Stacy D. Hill	Simulation Optimization of Airline Delay Using Simultaneous Perturbation Stochastic Approximation.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	constrained optimization, nonlinear, stochastic approximation, discrete simulation, aerospace industry
18	J. R. Carnes, Amit Misra, Janos Sztipanovits	Model-integrated toolset for fault detection, isolation and recovery (FDIR).	ECBS	1996	DBLP DOI BibTeX RDF	space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
18	John C. Munson, Darrell S. Werries	Measuring software evolution.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	space vehicles, software evolution measurement, sequential software builds, module complexity characteristics, software complexity domains, software system changes, attribute domains, problem indicators, measurement baseline, Space Shuttle Primary Avionics Software System, software metrics, avionics, aerospace computing, evolving software systems
18	Neil C. Audsley, I. J. Bate, Alan Burns 0001	Putting fixed priority scheduling theory into engineering practice for safety critical applications.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements
18	M. P. Kluth, François Simon, Jean-Yves Le Gall, E. Müller	Design of a fault tolerant 100 Gbits solid-state mass memory for satellite.	VTS	1996	DBLP DOI BibTeX RDF	semiconductor storage, fault tolerant solid-state mass memory, satellite applications, VLSI components, 100 Gbit, VLSI, testing, fault tolerant computing, integrated circuit testing, error detection, error detection, special purpose computers, aerospace computing, space applications
18	Alan Burns 0001, Ken Tindell, Andy J. Wellings	Effective Analysis for Engineering Real-Time Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	scheduling, operating system, Implementation, kernel, overheads, aerospace
18	Les J. C. Woolliscroft, K. H. Yearby, H. St. C. Alleyne, Jon A. Thompson, C. M. Dunford	On the design and implementation of a dependable space instrument.	PDP	1995	DBLP DOI BibTeX RDF	dependable space instrument, Digital Wave Processor, DWP, ESA/NASA Cluster satellites, fault-tolerant behaviour, design, parallel processing, fault tolerant computing, implementation, special purpose computers, aerospace computing, dependable distributed system
18	Wai-Chi Fang, Bing J. Sheu, Holger Venus, Rainer Sandau	Smart-pixel array processors based on optimal cellular neural networks for space sensor applications.	ICCD	1995	DBLP DOI BibTeX RDF	artificial satellites, smart-pixel array processors, optimal cellular neural networks, space sensor applications, hardware annealing, digitally programmable synaptic weights, multisensor parallel interface, programmable multi-dimensional array, optoelectronic neurons, neuroprocessor, scalable multiprocessor system, intelligent multisensor, advanced small satellites, neuroprocessor array chip, performance evaluation, real-time systems, parallel processing, CMOS technology, image sensors, aerospace computing, computing performance, neural chips, intelligent sensors, neural net architecture, active-pixel sensors, cellular neural nets
18	S. Barros, Thierry Bodhuin, A. Escudie, Jean-Pierre Queille, Jean-Francois Voidrot	Supporting impact analysis: a semi-automated technique and associated tool.	ICSM	1995	DBLP DOI BibTeX RDF	semi-automated tool, semi-automated technique, impact analysis support, potential propagation rules, predefined propagation rules, human decision, propagation engine, automatic impact propagation, user oriented features, highly interactive user interface, software maintenance, software maintenance, software tools, systems analysis, software systems, software system, system monitoring, systems software, aerospace computing, object graph, change impact, link graph
18	Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese	Requirements Specification for Process-Control Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
18	Ing-Ray Chen, Bryant L. Poole	Performance Evaluation of Rule Grouping on a Real-Time Expert System Architecture.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	rule grouping, real-time expert system architecture, event-driven scheduling, Kernighan-Lin heuristic graph partitioning, advanced GPS receiver, manned manoeuvring unit, scheduling, performance evaluation, real-time systems, graph theory, message passing, message passing, expert systems, optimisation, Global Positioning System, Global Positioning System, Markov processes, Markov process, knowledge bases, software performance evaluation, optimizing algorithm, heuristic programming, telecommunication computing, receivers, aerospace computing, man-machine systems
18	Victor R. Basili, Scott Green	Software Process Evolution at the SEL.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	software process evolution, SEL, Software Engineering Laboratory, National Aeronautics and Space Administration, Goddard Space Flight Center, process effects, systematic process, candidate process, evolutionary process, cleanroom development method, code comments, developer effort, standards, software quality, software metrics, aerospace computing, reading techniques, Quality Improvement Paradigm
18	Mark D. Heileman, José A. Sepúlveda	Cargo transfer and return vehicle and personnel launch system launch processing model.	WSC	1994	DBLP DOI BibTeX RDF	aerospace systems, cargo transfer and return vehicle, general application, launch system processing, personnel launch system
18	Norman F. Schneidewind	Software Reliability Model with Optimal Selection of Failure Data.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	failure data, failure counts, data aging techniques, Schneidewind nonhomogeneous Poisson process, failure count interval index, data vectors, constant variance, US Space Shuttle on-board software, NHPP software reliability, space vehicles, software reliability, maximum likelihood estimation, aerospace computing, software reliability model, mean square error, exponential smoothing, weighted least squares, moving average
18	Robyn R. Lutz, Johnny S. Wong	Detecting Unsafe Error Recovery Schedules.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unsafe error recovery schedules, modeling timing, data-consistency constraints, concurrently executing processes, Galileo spacecraft, asynchronous real-time systems, scheduling, real-time systems, fault tolerant computing, aerospace computing, precedence
18	Terry Shepard, J. A. Martin Gagné	A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	pre-run-time scheduling algorithm, process sequencing, multiprocessor applications, preemptable processes, arbitrary precedence, exclusion constraints, branch-and-bound implicit enumeration technique, F-18 mission computer operational flight program, scheduling, real-time systems, multiprocessing systems, deadlines, computation times, hard real-time systems, aerospace computing, release times, feasible schedule, timing specifications
18	Jeffrey J. Rodríguez, J. K. Aggarwal	Matching Aerial Images to 3-D Terrain Maps.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	3-D terrain maps, terrain-matching algorithm, passive aircraft navigation system, cliff map, aircraft control, computerised pattern recognition, computerised pattern recognition, computerised navigation, aerial images, aerospace computing, stereo analysis
18	Dan I. Moldovan, Chung-I Wu	A Hierarchical Knowledge Based System for Airplane Classification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	hierarchical knowledge based system, airplane classification, reasoning process, RuBICS, Rule-Based Image Classification System, computer vision, computer vision, complexity, knowledge based systems, knowledge engineering, aerospace computing, aircraft, hierarchical reasoning
15	Jianxun Lv, Penghui Zhao, Peng Wei 0001, Haiwen Yuan, Hai Xu	-252.8 °C Liquid Hydrogen Acoustic Emission Experiment in Simulated Aerospace Fuel Tank.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
15	Rebeca Arista, Fernando Mas, Domingo Morales-Palma, Carpóforo Vallellano	An Ontology-based Engineering methodology applied to aerospace Reconfigurable Manufacturing Systems design.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
15	Sharon A. Ferguson, Eric van Velzen, Alison Olechowski	Team and communication impacts of remote work for complex aerospace system development.	Syst. Eng.	2024	DBLP DOI BibTeX RDF
15	J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar	Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities.	IEEE Access	2024	DBLP DOI BibTeX RDF
15	Na Bai, Xin Xiao, Yaohua Xu, Yi Wang, Liang Wang, Xinjie Zhou	Soft-Error-Aware SRAM With Multinode Upset Tolerance for Aerospace Applications.	IEEE Trans. Very Large Scale Integr. Syst.	2024	DBLP DOI BibTeX RDF
15	Zhongliang Yu 0003, Jianfeng Lv	A PID controller method for meta-learning about aerospace target classification.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
15	Alberto Ferrari, Karen Willcox	Digital twins in mechanical and aerospace engineering.	Nat. Comput. Sci.	2024	DBLP DOI BibTeX RDF
15	Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu 0003, Cong Tian	Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.	CoRR	2024	DBLP DOI BibTeX RDF
15	Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi	DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace.	CoRR	2024	DBLP DOI BibTeX RDF
15	Bin Zhou, Xinyu Li, Tianyuan Liu, Kaizhou Xu, Wei Liu, Jinsong Bao	CausalKGPT: Industrial structure causal knowledge-enhanced large language model for cause analysis of quality problems in aerospace product manufacturing.	Adv. Eng. Informatics	2024	DBLP DOI BibTeX RDF