Frederick T. Sheldon

	2009
35		Ali Mili, Frederick T. Sheldon: Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. HICSS 2009: 1-10
34		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
33		Yoshito Kanamori, Seong-Moo Yoo, Don A. Gregory, Frederick T. Sheldon: Authentication Protocol Using Quantum Superposition States. I. J. Network Security 9(2): 101-108 (2009)
	2008
32		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
31		Ali Mili, Frederick T. Sheldon: Measuring Reliability as a Mean Failure Cost. HASE 2007: 403-404
30		Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed: Towards an Engineering Discipline of Computational Society. HICSS 2007: 281
29		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
28		Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais: Modeling Redundancy: Quantitative and Qualitative Models. AICCSA 2006: 1-8
27		Yoshito Kanamori, Seong-Moo Yoo, Frederick T. Sheldon: Bank Transfer over Quantum Channel with Digital Checks. GLOBECOM 2006
26		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		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		Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais: Perspectives on Redundancy: Applications to Software Certification. HICSS 2005
23		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		Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais: Recoverability preservation: a measure of last resort. ISSE 1(1): 54-62 (2005)
	2004
21		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		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		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		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		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		Frederick T. Sheldon, Mark T. Elmore, Thomas E. Potok: An Ontology-Based Software Agent System Case Study. ITCC 2003: 500-506
	2002
14		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		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		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		Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger: Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. IWSSD 2000: 123-132
	1999
7		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		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		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)

Coauthor Index

1	Robert K. Abercrombie	[29] [32] [34]
2	Rahma Ben Ayed	[26] [30]
3	Young-Wook Baik	[14]
4	Stephen Gordon Batsell	[23]
5	Matthias Benzinger	[8]
6	Ralph Brettschneider	[1]
7	Hong Chung	[11] [12] [25]
8	Kris M. Daley	[29]
9	Jules Desharnais	[22] [24] [28]
10	Mark T. Elmore	[15]
11	William W. Everett	[1]
12	Don A. Gregory	[33]
13	Stefan Greiner	[6] [8] [13]
14	Ali R. Hurson (A. R. Hurson)	[3]
15	Kshamta Jerath	[11] [12] [13] [14] [17] [20]
16	Lamia Labed Jilani	[26] [30]
17	Yoshito Kanamori	[27] [33]
18	Krishna M. Kavi	[1] [2] [3] [4] [19] [29]
19	Hye Yeon Kim	[10] [17] [18]
20	Woo-Hun Kim	[12]
21	Axel W. Krings	[21]
22	Young-Jik Kwon	[12] [14]
23	Michael A. Langston	[23]
24	Chia-En Lin	[29]
25	Andy Loebl	[16] [21]
26	Ali Mili	[22] [24] [26] [28] [30] [31] [32] [34] [35]
27	Fatma Mili	[22] [24]
28	Paul W. Oman	[21]
29	David A. Owens	[7]
30	Laurence R. Phillips	[16]
31	Orest Pilskalns	[9] [12]
32	Robert Pollock	[16]
33	Thomas E. Potok	[15] [16] [19] [21]
34	Stacy J. Prowell	[23]
35	Sherman Reed	[4]
36	Mark Shereshevsky	[24] [28]
37	Behrooz Shirazi	[3]
38	Robert Tausworthe	[1]
39	Alexander Thomasian	[26]
40	Alex Vinokurov	[26] [30]
41	Lan Wu	[28]
42	Gaoyan Xie	[9]
43	Seong-Moo Yoo	[27] [33]
44	James T. Yu	[1]
45	Zhihe Zhou	[9] [10]

Colors in the list of coauthors