dblp.uni-trier.dewww.uni-trier.de

Frederick T. Sheldon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
34EEAli Mili, Frederick T. Sheldon: Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost. HICSS 2009: 1-10
33EEFrederick 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
32EERobert 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
31EEAli Mili, Frederick T. Sheldon: Measuring Reliability as a Mean Failure Cost. HASE 2007: 403-404
30EEAli Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed: Towards an Engineering Discipline of Computational Society. HICSS 2007: 281
29EEChia-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
28EEAli Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais: Modeling Redundancy: Quantitative and Qualitative Models. AICCSA 2006: 1-8
27EEYoshito Kanamori, Seong-Moo Yoo, Frederick T. Sheldon: Bank Transfer over Quantum Channel with Digital Checks. GLOBECOM 2006
26EEAli 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)
25EEFrederick T. Sheldon, Hong Chung: Measuring the complexity of class diagrams in reverse engineering. Journal of Software Maintenance 18(5): 333-350 (2006)
2005
24EEAli Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais: Perspectives on Redundancy: Applications to Software Certification. HICSS 2005
23EEFrederick T. Sheldon, Stephen Gordon Batsell, Stacy J. Prowell, Michael A. Langston: Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures. HICSS 2005
22EEAli Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais: Recoverability preservation: a measure of last resort. ISSE 1(1): 54-62 (2005)
2004
21EEFrederick 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
20EEFrederick 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
19EEFrederick 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)
18EEHye 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
17EEHye 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
15EEFrederick T. Sheldon, Mark T. Elmore, Thomas E. Potok: An Ontology-Based Software Agent System Case Study. ITCC 2003: 500-506
2002
14EEFrederick 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
12EEFrederick 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
10EEFrederick 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
8EEFrederick T. Sheldon, Stefan Greiner, Matthias Benzinger: Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. IWSSD 2000: 123-132
1999
7EEDavid 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
4EEKrishna 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
3EEKrishna 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)