Testing by C++ template metaprograms
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
The analysis of the IFPUG method sensitivity
The Application and Extension of Retrograde Software Analysis
The artifacts of component-based development
The Athena Data Dictionary and Description Language
The Athena Startup Kit
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
The CCD/Transit Instrument (CTI) data-analysis system
The Community Authorization Service: Status and Future
The contribution of IFSI (Istituto di Fisica dello Spazio Interplanetario) to the ISO project
The DataFlow System of the ATLAS Trigger and DAQ
The Deep Space Network Tracking System, Mark 4-A, 1986
The Detection of Human Spreadsheet Errors by Humans versus Inspection (Auditing) Software
The Distribution of Program Sizes and Its Implications: An Eclipse Case Study
The Emerging Web of Social Machines
The GBT Dynamic Scheduling System: Development and Testing
The HIVE Tool for Informed Swarm State Space Exploration
The implementation of the digital wave processor for the ESA/NASA Cluster mission