The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Avionics with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1986 (15) 1987-1991 (16) 1992-1995 (20) 1996 (15) 1997 (15) 1998 (15) 1999 (19) 2000 (18) 2001 (15) 2002 (24) 2003 (43) 2004 (37) 2005 (31) 2006 (36) 2007 (48) 2008 (35) 2009 (30) 2010 (15) 2011 (20) 2012 (23) 2013 (29) 2014 (24) 2015 (39) 2016 (35) 2017 (28) 2018 (41) 2019 (39) 2020 (24) 2021 (26) 2022 (21) 2023 (25) 2024 (2)
Publication types (Num. hits)
article(191) incollection(3) inproceedings(602) phdthesis(27)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 485 occurrences of 305 keywords

Results
Found 823 publication records. Showing 823 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
113Leon Alkalai, Wai-Chi Fang An integrated microspacecraft avionics architecture using 3D multichip module building blocks. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF integrated microspacecraft avionics architecture, 3D multichip module building blocks, continued miniaturization, spacecraft electronics, building-block elements, stackable multichip module 3D-architecture, module testing, spacecraft avionics system, Deep-Space One asteroid-flyby mission, Jet propulsion Laboratory, operating systems, software development environments, system reliability, avionics, avionics system
59Martin Svéda, Vladimír Oplustil Experience with integration and certification of COTS based embedded system into advanced avionics system. Search on Bibsonomy SIES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57James J. Hunt Realtime Java technology in avionics systems. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF realtime Java technology, standards, avionics
57Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny Formal Verification of Avionics Software Products. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF avionics software, verification, formal verification, static analysis, Abstract Interpretation, safety, development process
57Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001 Model Extraction for ARINC 653 Based Avionics Software. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF apex, Real Time, software model checking, avionics, Model extraction
57Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels Robustness analysis of avionics embedded systems. Search on Bibsonomy LCTES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis
57Bruno Dutertre, Victoria Stavridou Formal Requirements Analysis of an Avionics Control System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Formal specification, formal verification, requirements analysis, safety critical systems, avionics systems
54Michael Paulitsch, Harald Rueß, Maria Sorea Non-functional Avionics Requirements. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF integrated modular avionics, Non-functional requirements, avionics
49Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characteristics. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Lianlei Lin, Shouda Jiang Design of Universal Simulation Platform for Avionics. Search on Bibsonomy ICICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Savio Chau, Van Dang, Joseph Xu, James Lu An Automatic Technique to Synthesize Avionics Architecture. Search on Bibsonomy AHS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Ondrej Spinka, Jan Krakora, Michal Sojka, Zdenek Hanzálek Los-Cost Avionics System for Ultra-Light Aircrafts. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Hussein Charara, Christian Fraboul Modelling and Simulation of an Avionics Full Duplex Switched Ethernet. Search on Bibsonomy AICT/SAPIR/ELETE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Abdoulaye Gamatié, Thierry Gautier Synchronous Modeling of Avionics Applications using the SIGNAL Languag. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Mohsen Sharifi, Behrouz Zolfaghari An Approach to Exploiting Skewed Associative Memories in Avionics Systems. Search on Bibsonomy ICPADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49D. A. Haverkamp, R. J. Richards Towards Safety Critical Middleware for Avionics Applications. Search on Bibsonomy LCN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy Resource Scheduling in Dependable Integrated Modular Avionics. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Don S. Batory, Lou Coglianese, Mark Goodwin, Steve Shafer Creating Reference Architectures: An Example from Avionics. Search on Bibsonomy SSR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48John C. Munson, Darrell S. Werries Measuring software evolution. Search on Bibsonomy IEEE METRICS The full citation details ... 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
46Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek A real-time Java virtual machine with applications in avionics. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtual machines, memory management, Real-time Java, Avionics
46Jean Souyris, David Delmas Experimental Assessment of Astrée on Safety-Critical Avionics Software. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
43Stéphanie Gaudan, Gilles Motet, Guillaume Auriol Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager. Search on Bibsonomy EDCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Chris Raistrick, Tony Bloomfield Model Driven Architecture - An Industry Perspective. Search on Bibsonomy WADS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin Polychronous design of embedded real-time applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF IMA, Synchronous approach, Signal, Avionics
38Frank Dordowsky, Walter Hipp Adopting software product line principles to manage software variants in a complex avionics system. Search on Bibsonomy SPLC The full citation details ... 2009 DBLP  BibTeX  RDF
38Andrew Wils, Stefan Van Baelen, Tom Holvoet, Karel De Vlaminck Agility in the Avionics Software World. Search on Bibsonomy XP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin A Modeling Paradigm for Integrated Modular Avionics Design. Search on Bibsonomy EUROMICRO-SEAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Mark Schulte Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study. Search on Bibsonomy ISORC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Miguel A. Sánchez-Puebla, Jesús Carretero 0001 A new approach for distributed computing in avionics systems. Search on Bibsonomy ISICT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Darren D. Cofer, Murali Rangarajan Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. Search on Bibsonomy EMSOFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Paul Parkinson, Franco Gasperoni High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. Search on Bibsonomy Ada-Europe The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Bruce A. Lewis, Steve Vestal, David J. McConnell Modern Avionics Requirements for the Distributed Systems Annex. Search on Bibsonomy Ada-Europe The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35Marco Lanuzza, Paolo Zicari, Fabio Frustaci, Stefania Perri, Pasquale Corsonello An Efficient and Low-Cost Design Methodology to Improve SRAM-Based FPGA Robustness in Space and Avionics Applications. Search on Bibsonomy ARC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF FPGA, Space, Reconfigurable System, Single Event Upsets, Avionics
35Juan López, Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria A middleware architecture for unmanned aircraft avionics. Search on Bibsonomy Middleware (Demos and Posters) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF service-based, middleware, implementation, embedded, UAV, publish-subscribe, avionics
35François Clouté, Jean-Noël Contensou, Daniel Esteve, Pascal Pampagnin, Philippe Pons, Yves Favard Hardware/software co-design of an avionics communication protocol interface system: an industrial case study. Search on Bibsonomy CODES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ARINC, POLIS, co-design, Esterel, avionics
33Anh-Quang Nguyen, Abdessamad Amrhar, René Landry Direct RF Sampling Avionics Architecture for future multi-system integrated Avionics. Search on Bibsonomy NEWCAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Jung-Eun Kim, Man-Ki Yoon, Richard M. Bradford, Lui Sha Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems. Search on Bibsonomy COMPSAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Ananda Challaghatta Muniyappa Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Sebastian Voss Scheduling in Time-Triggered Networks. Search on Bibsonomy OTM Workshops (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Hussein Charara, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul Methods for bounding end-to-end delays on an AFDX network. Search on Bibsonomy ECRTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Tony Bloomfield MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry. Search on Bibsonomy ECMDA-FA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Sathyanarayanan Subbiah, Srikanth Nagaraj Issues with Object Orientation in Verifying Safety-Critical Systems. Search on Bibsonomy ISORC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Savio N. Chau Experience of Using COTS Components for Deep Space Missions. Search on Bibsonomy HASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32John C. Ostgaard A Simulation Support System Capable Of Control, Monitoring And Simulation Of Airborne Systems. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
30Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente A New Approach to Memory Partitioning in On-Board Spacecraft Software. Search on Bibsonomy Ada-Europe The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
30John Knight The Glass Cockpit. Search on Bibsonomy Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF how things work, avionics systems
30David Delmas, Jean Souyris Astrée: From Research to Industry. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF avionics software, run-time errors, Astrée, verification, static analysis, abstract interpretation
30Osamah A. Rawashdeh, Garrett D. Chandler, James E. Lumpp Jr. A UAU test and development environment based on dynamic system reconfiguration. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fault-tolerance, embedded systems, dynamic reconfiguration, UAV, avionics, flight control
30Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty A Pattern-Based Framework for Software Anomaly Detection. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software tools framework, pattern specification language, high assurance software, safety-critical avionics systems, software inspection
30Sung-Mook Lim, Jin-Young Choi Specification and verification of real-time systems using ACSR-VP. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ACSR-VP, avionics control systems, nuclear reactor control systems, bisimulation relation, real-time systems, reliability, formal specification, formal verification, formal verification, scheduling algorithm, priority ceiling protocol
30T. Boggess, F. Shirley High-performance scalable computing for real-time applications. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF high-performance scalable computing, interconnect technologies, high-performance computing technologies, embedded military applications, heterogeneous computer nodes, high-throughput system area network, standardized intelligent node-to-network interface, LANai, Sanders, Ptolemy environment, high density interconnect packaging, avionics applications, PacketWay, Internet Engineering Task Force proposed standard, high speed inter-SAN encryption, simulation, modeling, real-time systems, reconfigurable computing, real-time applications, RISC, switched network, digital signal processor, Myrinet
30Wing Lam, Sara Jones 0001 Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF requirements engineering mechanisation, domain analysis technology, industrial avionics domain, application domain analysis, task domain analysis, formal specification, reuse
30Neil C. Audsley, Andy J. Wellings Analysing APEX applications. Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF APEX applications, civil aircraft, Integrated Modular Avionics, standard operating system interface, two-level scheduling scheme, statically generated cyclic schedule, release jitter, real time systems, response times, operating systems (computers), fixed priority scheduling
30Ching-Shan Peng, Kwei-Jay Lin A semantic-based concurrency control protocol for real-time transactions. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semantic-based concurrency control protocol, logical data integrity, temporal data integrity, real-world events, sensor devices, consistent device readings, transaction serializability, transaction responsiveness, method compatibility matrix, consistency requirements, simulation, performance, real-time systems, predictability, data integrity, concurrency control, transaction processing, temporal databases, software performance evaluation, process control, access protocols, timeliness, real-time database systems, avionics, real-time transactions
30Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas Detecting program modules with low testability. Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF aircraft computers, program module detection, low testability, static software product measures, dynamic quality measure, real time avionics software system, component program modules, classification performance, discriminant modeling methodology, real-time systems, software quality, software metrics, program testing, testability, testability analysis, principal components
30Norman F. Schneidewind Predictions for increasing confidence in the reliability of safety critical software. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence
30William E. Howden Comments Analysis and Programming Errors. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF comments analysis, decomposition errors, data-processing program, avionics real-time program, event sequence analysis, software engineering, fault detection, software development process, software validation, programming errors
27Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy Use of PERC Pico in the AIDA avionics platform. Search on Bibsonomy JTRES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
27Visar Januzaj, Ralf Mauersberger, Florian Biechele Performance Modelling for Avionics Systems. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Miguel A. Sánchez-Puebla, Ignacio Aedo, Paloma Díaz 0001 Validation of Critical Parameters for Predictive Evaluation of Notification System in Avionics Interfaces. Search on Bibsonomy HCI (9) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Predictive Evaluation, Human Factors, Notification Systems, Evaluation/methodology, Critical Parameters
27George Romanski Ada in the avionics industry. Search on Bibsonomy SIGAda The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Ada
27D. Rehage, Udo B. Carl, M. Merkel, A. Vahl The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics. Search on Bibsonomy SAFECOMP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jeffrey G. Gray, Jing Zhang 0003, Yuehua Lin, Suman Roychoudhury, Hui Wu, Rajesh Sudarsan, Aniruddha S. Gokhale, Sandeep Neema, Feng Shi, Ted Bapty Model-Driven Program Transformation of a Large Avionics Framework. Search on Bibsonomy GPCE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Paul 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. Search on Bibsonomy ECBS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Lui Sha Real-Time Virtual Machines for Avionics Software Porting and Development. Search on Bibsonomy RTCSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Zonghua Gu 0001, Shige Wang, Sharath Kodase, Kang G. Shin An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software. Search on Bibsonomy RTSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Clark Weissman MLS-PCA: A High Assurance Security Architecture for Future Avionics. Search on Bibsonomy ACSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Darren D. Cofer, Murali Rangarajan Formal Verification of Overhead Accounting in an Avionics RTOS. Search on Bibsonomy RTSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Famantanantsoa Randimbivololona Orientations in Verification Engineering of Avionics Software. Search on Bibsonomy Informatics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Stuart Anderson, Massimo Felici Controlling Requirements Evolution: An Avionics Case Study. Search on Bibsonomy SAFECOMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim 0001 An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Lorraine E. P. Rice, Albert Mo Kim Cheng Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27François Pilarski Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27H. E. Romanowsky, L. A. Bartelme, N. W. Jensen, C. M. Knutson The Rockwell Avionics Group Software Engineering Training Program. Search on Bibsonomy CSEE The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
27Gerard E. Migneault Software reliability and advanced avionics. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
21Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier Virtual prototyping AADL architectures in a polychronous model of computation. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Luca Sterpone, M. A. Aguirre, Jonathan Noel Tombs, Hipólito Guzmán-Miranda On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl The effect of program and model structure on mc/dc test adequacy coverage. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF structural coverage metrics
21Gérard Berry Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm Integration of Formal Analysis into a Model-Based Software Development Process. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model checking, software verification, Model-based development, Flight control
21B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy Tool for Translating Simulink Models into Input Language of a Model Checker. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Darren D. Cofer, Murali Rangarajan Simulation and verification II: event-triggered environments for verification of real-time systems. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21David C. Sharp, Edward Pla, Kenn R. Luecke Evaluating Mission Critical Large-Scale Embedded System Performance In Real-Time Java. Search on Bibsonomy RTSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Axel Schulte Cognitive Automation for Tactical Mission Management: Concept and Prototype Evaluation in Flight Simulator Trials. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Crew assistance, Flight guidance, Decision-making, Automation, Situation awareness, Workload, Human-machine interface, Cognitive engineering
21Ricky W. Butler Formal Methods at NASA Langley. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Bruce Lewis Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems. Search on Bibsonomy RISSEF The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Robert Allen, Steve Vestal, Dennis Cornhill, Bruce A. Lewis Using an architecture description language for quantitative analysis of real-time systems. Search on Bibsonomy Workshop on Software and Performance The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fault-tolerant, real-time, software architecture, embedded
21Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources. Search on Bibsonomy PRDC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21James Debardelaben, Vijay K. Madisetti, Anthony J. Gadient Incorporating Cost Modeling in Embedded-System Design. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Kathy V. C. Parris Implementing Accountability. Search on Bibsonomy IEEE Softw. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Wilfried Steiner, Günther Bauer 0001, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan TTEthernet Dataflow Concept. Search on Bibsonomy NCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF mixed-criticality systems, cross-industry application, Avionics Full-Duplex Switched Ethernet (AFDX), Time-Triggered Protocol (TTP), TTEthernet, Ethernet
19Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang Certified Development Tools Implementation in Objective Caml. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml
19Steven P. Miller Will This Be Formal? Search on Bibsonomy TPHOLs The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, Formal methods, theorem proving, avionics
19Guy Durrieu, Hélène Waeselynck, Virginie Wiels LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, automation, Test oracle, avionics
19Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman Verifying really complex systems: on earth and beyond. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mars Exploration Rover, bald lemurs, rendering software, space vehicles, verification, computer animation, power grids, avionics
19David Cebrián, Valentín Valero Ruiz, Fernando Cuartero Automation of Avionic Systems Testing. Search on Bibsonomy TestCom/FATES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF grammar testing, Real time systems, Testing, Avionics systems
19Panagiotis Manolios, Daron Vroon 0001, Gayatri Subramanian Automating component-based system assembly. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF integrated modular avionics, pseudo-boolean satisfiability, system assembly problem, component-based software development
Displaying result #1 - #100 of 823 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license