Frederick T. Sheldon

	2011
40		Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili: Validating Cyber Security Requirements: A Case Study. HICSS 2011: 1-10
39		Lee Hively, Frederick T. Sheldon, Anna Cinzia Squicciarini: Toward Scalable Trustworthy Computing Using the Human-Physiology-Immunity Metaphor. IEEE Security & Privacy 9(4): 14-23 (2011)
	2010
38		Robert K. Abercrombie, Frederick T. Sheldon, Michael R. Grimaila: A Systematic Comprehensive Computational Model for Stake Estimation in Mission Assurance - Applying Cyber Security Econometrics System (CSES) to Mission Assurance Analysis Protocol (MAAP). SocialCom/PASSAT 2010: 1153-1158
37		Frederick T. Sheldon, Claire Vishik: Moving Toward Trustworthy Systems: R&D Essentials. IEEE Computer 43(9): 31-40 (2010)
36		Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili: Quantifying security threats and their potential impacts: a case study. ISSE 6(4): 269-281 (2010)
	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] [36] [38] [40]
2	Anis Ben Aissa	[36]
3	Rahma Ben Ayed	[26] [30]
4	Young-Wook Baik	[14]
5	Stephen Gordon Batsell	[23]
6	Matthias Benzinger	[8]
7	Ralph Brettschneider	[1]
8	Hong Chung	[11] [12] [25]
9	Kris M. Daley	[29]
10	Jules Desharnais	[22] [24] [28]
11	Mark T. Elmore	[15]
12	William W. Everett	[1]
13	Don A. Gregory	[33]
14	Stefan Greiner	[6] [8] [13]
15	Michael R. Grimaila	[38]
16	Lee Hively	[39]
17	Ali R. Hurson (A. R. Hurson)	[3]
18	Kshamta Jerath	[11] [12] [13] [14] [17] [20]
19	Lamia Labed Jilani	[26] [30]
20	Yoshito Kanamori	[27] [33]
21	Krishna M. Kavi	[1] [2] [3] [4] [19] [29]
22	Hye Yeon Kim	[10] [17] [18]
23	Woo-Hun Kim	[12]
24	Axel W. Krings	[21]
25	Young-Jik Kwon	[12] [14]
26	Michael A. Langston	[23]
27	Chia-En Lin	[29]
28	Andy Loebl	[16] [21]
29	Ali Mili	[22] [24] [26] [28] [30] [31] [32] [34] [35] [36] [40]
30	Fatma Mili	[22] [24]
31	Paul W. Oman	[21]
32	David A. Owens	[7]
33	Laurence R. Phillips	[16]
34	Orest Pilskalns	[9] [12]
35	Robert Pollock	[16]
36	Thomas E. Potok	[15] [16] [19] [21]
37	Stacy J. Prowell	[23]
38	Sherman Reed	[4]
39	Mark Shereshevsky	[24] [28]
40	Behrooz Shirazi	[3]
41	Anna Cinzia Squicciarini	[39]
42	Robert Tausworthe	[1]
43	Alexander Thomasian	[26]
44	Alex Vinokurov	[26] [30]
45	Claire Vishik	[37]
46	Lan Wu	[28]
47	Gaoyan Xie	[9]
48	Seong-Moo Yoo	[27] [33]
49	James T. Yu	[1]
50	Zhihe Zhou	[9] [10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page