2009 | ||
---|---|---|
33 | EE | Ali Mili, Frederick T. Sheldon: Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. HICSS 2009: 1-10 |
32 | EE | Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili: Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission. HICSS 2009: 1-10 |
2008 | ||
31 | EE | Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili: Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value. HASE 2008: 479-482 |
2007 | ||
30 | EE | Ali Mili, Frederick T. Sheldon: Measuring Reliability as a Mean Failure Cost. HASE 2007: 403-404 |
29 | EE | Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed: Towards an Engineering Discipline of Computational Society. HICSS 2007: 281 |
28 | EE | Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon, Kris M. Daley, Robert K. Abercrombie: A Methodology to Evaluate Agent Oriented Software Engineering Techniques. HICSS 2007: 60 |
2006 | ||
27 | EE | Yoshito Kanamori, Seong-Moo Yoo, Frederick T. Sheldon: Bank Transfer over Quantum Channel with Digital Checks. GLOBECOM 2006 |
26 | EE | Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed: Modeling security as a dependability attribute: a refinement-based approach. ISSE 2(1): 39-48 (2006) |
25 | EE | Frederick T. Sheldon, Hong Chung: Measuring the complexity of class diagrams in reverse engineering. Journal of Software Maintenance 18(5): 333-350 (2006) |
2005 | ||
24 | EE | Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais: Perspectives on Redundancy: Applications to Software Certification. HICSS 2005 |
23 | EE | Frederick T. Sheldon, Stephen Gordon Batsell, Stacy J. Prowell, Michael A. Langston: Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures. HICSS 2005 |
22 | EE | Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais: Recoverability preservation: a measure of last resort. ISSE 1(1): 54-62 (2005) |
2004 | ||
21 | EE | Frederick T. Sheldon, Thomas E. Potok, Andy Loebl, Axel W. Krings, Paul W. Oman: Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities. HASE 2004: 293-296 |
20 | EE | Frederick T. Sheldon, Kshamta Jerath: Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems. SAC 2004: 826-833 |
19 | EE | Frederick T. Sheldon, Thomas E. Potok, Krishna M. Kavi: Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment. Informatica (Slovenia) 28(1): 78-89 (2004) |
18 | EE | Hye Yeon Kim, Frederick T. Sheldon: Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System. Software Quality Journal 12(3): 231-264 (2004) |
2003 | ||
17 | EE | Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon: Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. Component-Based Software Quality 2003: 259-286 |
16 | 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. ISCA PDCS 2003: 283-290 | |
15 | EE | Frederick T. Sheldon, Mark T. Elmore, Thomas E. Potok: An Ontology-Based Software Agent System Case Study. ITCC 2003: 500-506 |
2002 | ||
14 | EE | 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. COMPSAC 2002: 211-216 |
13 | Frederick T. Sheldon, Kshamta Jerath, Stefan Greiner: Examining Coincident Failures and Usage Profiles in Reliability Analysis of an Embedded Vehicle Sub-System. ESM 2002: 558-563 | |
12 | EE | 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. ISMSE 2002: 106-113 |
11 | Frederick T. Sheldon, Kshamta Jerath, Hong Chung: Metrics for maintainability of class inheritance hierarchies. Journal of Software Maintenance 14(3): 147-160 (2002) | |
2001 | ||
10 | EE | Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou: A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. PRDC 2001: 311-318 |
9 | Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou: A Review of Some Rigorous Software Design and Analysis Tools. Software Focus 2(4): 140-150 (2001) | |
2000 | ||
8 | EE | Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger: Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. IWSSD 2000: 123-132 |
1999 | ||
7 | EE | David A. Owens, Frederick T. Sheldon: Tool-Based Approach to Distributed Database Design: Includes Web-Based Forms Design for Access to Academic Affairs Data. SAC 1999: 227-231 |
6 | Frederick T. Sheldon, Stefan Greiner: Composing, analyzing and validating software models to assess the performability of competing design candidates. Ann. Software Eng. 8: 239-287 (1999) | |
1998 | ||
5 | Frederick T. Sheldon: Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets. ESM 1998: 776-783 | |
1996 | ||
4 | EE | Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed: Specification and Analysis of Real-Time Systems Using CSP and Petri Nets. International Journal of Software Engineering and Knowledge Engineering 6(2): 229-248 (1996) |
1995 | ||
3 | EE | Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson: Reliability analysis of CSP specifications using Petri nets and Markov processes. HICSS (2) 1995: 516-524 |
1994 | ||
2 | Krishna M. Kavi, Frederick T. Sheldon: Specification of Stochastic Properties with CSP. ICPADS 1994: 288-295 | |
1992 | ||
1 | Frederick T. Sheldon, Krishna M. Kavi, Robert Tausworthe, James T. Yu, Ralph Brettschneider, William W. Everett: Reliability Measurement: From Theory to Practice. IEEE Software 9(4): 13-20 (1992) |