Search the dblp DataBase
Frederick T. Sheldon :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Thomas E. Potok , Laurence R. Phillips , Robert Pollock , Andy Loebl , Frederick T. Sheldon Suitability of Agent-Based Systems for Command and Control in Fault-Tolerant, Safety-Critical Responsive Decision Networks. [Citation Graph (0, 0)][DBLP ] ISCA PDCS, 2003, pp:283-290 [Conf ] Hye Yeon Kim , Kshamta Jerath , Frederick T. Sheldon Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. [Citation Graph (0, 0)][DBLP ] Component-Based Software Quality, 2003, pp:259-286 [Conf ] Frederick T. Sheldon , Kshamta Jerath , Young-Jik Kwon , Young-Wook Baik Case Study: Implementing a Web Based Auction System Using UML and Component-Based Programming. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2002, pp:211-216 [Conf ] Frederick T. Sheldon Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] ESM, 1998, pp:776-783 [Conf ] Frederick T. Sheldon , Kshamta Jerath , Stefan Greiner Examining Coincident Failures and Usage Profiles in Reliability Analysis of an Embedded Vehicle Sub-System. [Citation Graph (0, 0)][DBLP ] ESM, 2002, pp:558-563 [Conf ] Frederick T. Sheldon , Thomas E. Potok , Andy Loebl , Axel W. Krings , Paul W. Oman Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities. [Citation Graph (0, 0)][DBLP ] HASE, 2004, pp:293-296 [Conf ] Krishna M. Kavi , Frederick T. Sheldon , Behrooz Shirazi , Ali R. Hurson Reliability analysis of CSP specifications using Petri nets and Markov processes. [Citation Graph (0, 0)][DBLP ] HICSS (2), 1995, pp:516-524 [Conf ] Ali Mili , Frederick T. Sheldon , Fatma Mili , Mark Shereshevsky , Jules Desharnais Perspectives on Redundancy: Applications to Software Certification. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Frederick T. Sheldon , Stephen Gordon Batsell , Stacy J. Prowell , Michael A. Langston Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures. [Citation Graph (0, 0)][DBLP ] HICSS, 2005, pp:- [Conf ] Ali Mili , Alex Vinokurov , Lamia Labed Jilani , Frederick T. Sheldon , Rahma Ben Ayed Towards an Engineering Discipline of Computational Society. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:281- [Conf ] Chia-En Lin , Krishna M. Kavi , Frederick T. Sheldon , Kris M. Daley , Robert K. Abercrombie A Methodology to Evaluate Agent Oriented Software Engineering Techniques. [Citation Graph (0, 0)][DBLP ] HICSS, 2007, pp:60- [Conf ] Krishna M. Kavi , Frederick T. Sheldon Specification of Stochastic Properties with CSP. [Citation Graph (0, 0)][DBLP ] ICPADS, 1994, pp:288-295 [Conf ] Frederick T. Sheldon , Mark T. Elmore , Thomas E. Potok An Ontology-Based Software Agent System Case Study. [Citation Graph (0, 0)][DBLP ] ITCC, 2003, pp:500-506 [Conf ] Frederick T. Sheldon , Stefan Greiner , Matthias Benzinger Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP ] IWSSD, 2000, pp:123-132 [Conf ] Frederick T. Sheldon , Kshamta Jerath , Orest Pilskalns , Young-Jik Kwon , Woo-Hun Kim , Hong Chung Case Study: B2B E-Commerce System Specification and Implementation Employing Use-Case Diagrams, Digital Signatures and XML. [Citation Graph (0, 0)][DBLP ] ISMSE, 2002, pp:106-113 [Conf ] Frederick T. Sheldon , Hye Yeon Kim , Zhihe Zhou A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. [Citation Graph (0, 0)][DBLP ] PRDC, 2001, pp:311-318 [Conf ] David A. Owens , Frederick T. Sheldon Tool-Based Approach to Distributed Database Design: Includes Web-Based Forms Design for Access to Academic Affairs Data. [Citation Graph (0, 0)][DBLP ] SAC, 1999, pp:227-231 [Conf ] Frederick T. Sheldon , Kshamta Jerath Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:826-833 [Conf ] Frederick T. Sheldon , Stefan Greiner Composing, analyzing and validating software models to assess the performability of competing design candidates. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 1999, v:8, n:, pp:239-287 [Journal ] Frederick T. Sheldon , Thomas E. Potok , Krishna M. Kavi Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment. [Citation Graph (0, 0)][DBLP ] Informatica (Slovenia), 2004, v:28, n:1, pp:78-89 [Journal ] Frederick T. Sheldon , Kshamta Jerath , Hong Chung Metrics for maintainability of class inheritance hierarchies. [Citation Graph (0, 0)][DBLP ] Journal of Software Maintenance, 2002, v:14, n:3, pp:147-160 [Journal ] Frederick T. Sheldon , Hong Chung Measuring the complexity of class diagrams in reverse engineering. [Citation Graph (0, 0)][DBLP ] Journal of Software Maintenance, 2006, v:18, n:5, pp:333-350 [Journal ] Frederick T. Sheldon , Gaoyan Xie , Orest Pilskalns , Zhihe Zhou A Review of Some Rigorous Software Design and Analysis Tools. [Citation Graph (0, 0)][DBLP ] Software Focus, 2001, v:2, n:4, pp:140-150 [Journal ] Frederick T. Sheldon , Krishna M. Kavi , Robert Tausworthe , James T. Yu , Ralph Brettschneider , William W. Everett Reliability Measurement: From Theory to Practice. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1992, v:9, n:4, pp:13-20 [Journal ] Hye Yeon Kim , Frederick T. Sheldon Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. [Citation Graph (0, 0)][DBLP ] Software Quality Journal, 2004, v:12, n:3, pp:231-264 [Journal ] Yoshito Kanamori , Seong-Moo Yoo , Frederick T. Sheldon Bank Transfer over Quantum Channel with Digital Checks. [Citation Graph (0, 0)][DBLP ] GLOBECOM, 2006, pp:- [Conf ] Modeling Redundancy: Quantitative and Qualitative Models. [Citation Graph (, )][DBLP ] Measuring Reliability as a Mean Failure Cost. [Citation Graph (, )][DBLP ] Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. [Citation Graph (, )][DBLP ] Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. [Citation Graph (, )][DBLP ] Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. [Citation Graph (, )][DBLP ] Moving Toward Trustworthy Systems: R&D Essentials. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.008secs