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) |