Frederick T. Sheldon

137 papers A 1B 9C 2Misc 3Journal 47Unranked 70
YearRankTypeTitle / Venue / Authors
2026 J jnl
Investigating Security Vulnerabilities in 5G Control and User Planes: Attack Patterns and Protection Strategies.
J. Cybersecur. Priv.
Samuel Aiello, Bhaskar Prasad Rimal, Frederick T. Sheldon, Yong Wang
2025 J jnl
A Blockchain-Augmented CPS Framework to Mitigate FDI Attacks and Improve Resiliency.
Digit.
Mordecai Opoku Ohemeng, Frederick T. Sheldon
2025 J jnl
A Deep Learning Framework for Enhanced Detection of Polymorphic Ransomware.
Future Internet
Mazen Gazzan, Bader Alobaywi, Mohammed Almutairi, Frederick T. Sheldon
2025 J jnl
Cloud Security Assessment: A Taxonomy-Based and Stakeholder-Driven Approach.
Inf.
Abdullah Abuhussein, Faisal Alsubaei, Vivek Shandilya, Frederick T. Sheldon, Sajjan G. Shiva
2025 Misc conf
Course Recommender System Using Hybrid Machine Learning for Higher Education.
IRI
Shrooq Algarni, Frederick T. Sheldon
2025 J jnl
Personalized Course Recommendations Leveraging Machine and Transfer Learning Toward Improved Student Outcomes.
Mach. Learn. Knowl. Extr.
Shrooq Algarni, Frederick T. Sheldon
2025 J jnl
Taxonomy of Existing Sustainable Smart City IoT Projects.
IEEE Access
Frederick T. Sheldon, Youssef Saleh, Matthew Cox, Ananth A. Jillepalli, Bhaskar P. Rimal, Ahmed Abdel-Rahim
2024 J jnl
An Incremental Mutual Information-Selection Technique for Early Ransomware Detection.
Inf.
Mazen Gazzan, Frederick T. Sheldon
2024 J jnl
Cloud Security Using Fine-Grained Efficient Information Flow Tracking.
Future Internet
Fahad Alqahtani, Mohammed Almutairi, Frederick T. Sheldon
2024 J jnl
Ensembling Supervised and Unsupervised Machine Learning Algorithms for Detecting Distributed Denial of Service Attacks.
Algorithms
Saikat Das, Mohammad Ashrafuzzaman, Frederick T. Sheldon, Sajjan G. Shiva
2024 J jnl
Novel Ransomware Detection Exploiting Uncertainty and Calibration Quality Measures Using Deep Learning.
Inf.
Mazen Gazzan, Frederick T. Sheldon
2024 — conf
Trusting Classifiers with Interpretable Machine Learning Based Feature Selection Backpropagation.
CCWC
Saikat Das, Raktim Ranjan Das, Frederick T. Sheldon, Sajjan G. Shiva
2024 J jnl
Trustworthy High-Performance Multiplayer Games with Trust-but-Verify Protocol Sensor Validation.
Sensors
Alexander Joens, Ananth A. Jillepalli, Frederick T. Sheldon
2024 J jnl
eMIFS: A Normalized Hyperbolic Ransomware Deterrence Model Yielding Greater Accuracy and Overall Performance.
Sensors
Abdullah Alqahtani, Frederick T. Sheldon
2023 J jnl
An Enhanced Minimax Loss Function Technique in Generative Adversarial Network for Ransomware Behavior Prediction.
Future Internet
Mazen Gazzan, Frederick T. Sheldon
2023 J jnl
Opportunities for Early Detection and Prediction of Ransomware Attacks against Industrial Control Systems.
Future Internet
Mazen Gazzan, Frederick T. Sheldon
2023 J jnl
Systematic Review of Recommendation Systems for Course Selection.
Mach. Learn. Knowl. Extr.
Shrooq Algarni, Frederick T. Sheldon
2023 J jnl
Temporal Data Correlation Providing Enhanced Dynamic Crypto-Ransomware Pre-Encryption Boundary Delineation.
Sensors
Abdullah Alqahtani, Frederick T. Sheldon
2022 J jnl
A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure.
IEEE Access
Ananth A. Jillepalli, Daniel Conte de Leon, Jim Alves-Foss, Clinton L. Jeffery, Frederick T. Sheldon
2022 J jnl
A Survey of Crypto Ransomware Attack Detection Methodologies: An Evolving Outlook.
Sensors
Abdullah Alqahtani, Frederick T. Sheldon
2022 J jnl
Adaptive IDS for Cooperative Intelligent Transportation Systems Using Deep Belief Networks.
Algorithms
Sultan Ahmed Almalki, Ahmed Abdel-Rahim, Frederick T. Sheldon
2022 — conf
Disrupting the Cooperative Nature of Intelligent Transportation Systems.
AIIoT
Sultan Ahmed Almalki, Ahmed Abdel-Rahim, Frederick T. Sheldon
2022 J jnl
Network Intrusion Detection and Comparative Analysis Using Ensemble Machine Learning and Feature Selection.
IEEE Trans. Netw. Serv. Manag.
Saikat Das, Sajal Saha, Annita Tahsin Priyoti, Etee Kawna Roy, Frederick T. Sheldon, Anwar Haque, Sajjan G. Shiva
2021 — conf
An Adaptive Deep-Ensemble Anomaly-Based Intrusion Detection System for the Internet of Things.
AIIoT
Khalid Albulayhi, Frederick T. Sheldon
2021 J jnl
Examining the Performance of Fog-Aided, Cloud-Centered IoT in a Real-World Environment.
Sensors
Mohammed A. Aleisa, Abdullah Abuhussein, Faisal Alsubaei, Frederick T. Sheldon
2021 J jnl
IoT Intrusion Detection Taxonomy, Reference Architecture, and Analyses.
Sensors
Khalid Albulayhi, Abdallah A. Smadi, Frederick T. Sheldon, Robert K. Abercrombie
2021 — conf
Key Factors Influencing the Rise of Current Ransomware Attacks on Industrial Control Systems.
CCWC
Mazen Gazzan, Abdullah Alqahtani, Frederick T. Sheldon
2021 J jnl
Validation of VANET message dissemination algorithms otherwise vulnerable to broadcast storms in urban contexts.
Trans. Emerg. Telecommun. Technol.
Osama AlQahtani, Frederick T. Sheldon
2020 — conf
A proposed Crypto-Ransomware Early Detection(CRED) Model using an Integrated Deep Learning and Vector Space Model Approach.
CCWC
Abdullah Alqahtani, Mazen Gazzan, Frederick T. Sheldon
2020 J jnl
Access Control in Fog Computing: Challenges and Research Agenda.
IEEE Access
Mohammed A. Aleisa, Abdullah Abuhussein, Frederick T. Sheldon
2020 J jnl
Detecting stealthy false data injection attacks in the smart grid using ensemble-based machine learning.
Comput. Secur.
Mohammad Ashrafuzzaman, Saikat Das, Yacine Chakhchoukh, Sajjan G. Shiva, Frederick T. Sheldon
2020 — conf
Elliptic Envelope Based Detection of Stealthy False Data Injection Attacks in Smart Grid Control Systems.
SSCI
Mohammad Ashrafuzzaman, Saikat Das, Ananth A. Jillepalli, Yacine Chakhchoukh, Frederick T. Sheldon
2020 — conf
Empirical Evaluation of the Ensemble Framework for Feature Selection in DDoS Attack.
CSCloud/EdgeCom
Saikat Das, Deepak Venugopal, Sajjan G. Shiva, Frederick T. Sheldon
2020 — conf
Fine-Grained Access Control in the Era of Cloud Computing: An Analytical Review.
CCWC
Khalid Albulayhi, Abdullah Abuhussein, Faisal Alsubaei, Frederick T. Sheldon
2020 — conf
G-Model: A Novel Approach to Privacy-Preserving 1: M Microdata Publication.
CSCloud/EdgeCom
Khalid Albulayhi, Predrag T. Tosic, Frederick T. Sheldon
2020 — conf
Network Intrusion Detection using Natural Language Processing and Ensemble Machine Learning.
SSCI
Saikat Das, Mohammad Ashrafuzzaman, Frederick T. Sheldon, Sajjan G. Shiva
2020 — conf
Performance Analysis of Two Cloud-Based IoT Implementations: Empirical Study.
CSCloud/EdgeCom
Mohammed A. Aleisa, Abdullah Abuhussein, Faisal Alsubaei, Frederick T. Sheldon
2020 — conf
Taxonomy and Survey of Interpretable Machine Learning Method.
SSCI
Saikat Das, Namita Agarwal, Deepak Venugopal, Frederick T. Sheldon, Sajjan G. Shiva
2020 — conf
Trusted Security Model for IDS Using Deep Learning.
ICSPIS
Khalid Al Makdi, Frederick T. Sheldon, Abdullah Abuhussein
2020 — conf
Voice Feature Learning using Convolutional Neural Networks Designed to Avoid Replay Attacks.
SSCI
Salahaldeen Duraibi, Wasim Alhamdani, Frederick T. Sheldon
2019 — conf
Microgrid Disaster Resiliency Analysis: Reducing Costs in Continuity of Operations (COOP) Planning.
HICSS
Robert K. Abercrombie, Thomas Ben Ollis, Frederick T. Sheldon, Ananth A. Jillepalli
2018 — conf
A Best-Effort Damage Mitigation Model for Cyber-Attacks on Smart Grids.
COMPSAC (2)
Mohammad Ashrafuzzaman, Hasan Jamil, Yacine Chakhchoukh, Frederick T. Sheldon
2018 — conf
Authoring Adaptive Digital Computational Thinking Lessons Using vTutor for Web-Based Learning.
ICWL
Hasan M. Jamil, Xin Mou, Robert B. Heckendorn, Clinton L. Jeffery, Frederick T. Sheldon, Cassidy S. Hall, Nina M. Peterson
2018 J jnl
CERES NetSec: hands-on network security tutorials.
J. Comput. Sci. Coll.
Ananth A. Jillepalli, Daniel Conte de Leon, Frederick T. Sheldon
2018 B conf
Detecting Stealthy False Data Injection Attacks in Power Grids Using Deep Learning.
IWCMC
Mohammad Ashrafuzzaman, Yacine Chakhchoukh, Ananth A. Jillepalli, Predrag T. Tosic, Daniel Conte de Leon, Frederick T. Sheldon, Brian K. Johnson
2018 B conf
HESTIA: Adversarial Modeling and Risk Assessment for CPCS.
IWCMC
Ananth A. Jillepalli, Daniel Conte de Leon, Mohammad Ashrafuzzaman, Yacine Chakhchoukh, Brian K. Johnson, Frederick T. Sheldon, Jim Alves-Foss, Predrag T. Tosic, Michael A. Haney
2018 — conf
METICS: A Holistic Cyber Physical System Model for IEEE 14-bus Power System Security.
MALWARE
Ananth A. Jillepalli, Daniel Conte de Leon, Brian K. Johnson, Yacine Chakhchoukh, Ibukun A. Oyewumi, Mohammad Ashrafuzzaman, Frederick T. Sheldon, Jim Alves-Foss, Michael A. Haney
2018 J jnl
Tutorials and laboratory for hands-on OS cybersecurity instruction.
J. Comput. Sci. Coll.
Daniel Conte de Leon, Ananth A. Jillepalli, Victor J. House, Jim Alves-Foss, Frederick T. Sheldon
2017 J jnl
A data integrity verification scheme in mobile cloud computing.
J. Netw. Comput. Appl.
Chen Lin, Zhidong Shen, Qian Chen, Frederick T. Sheldon
2017 — conf
A virtual testbed for security management of industrial control systems.
MALWARE
Venkata S. Koganti, Mohammad Ashrafuzzaman, Ananth A. Jillepalli, Frederick T. Sheldon
2017 — conf
Hardening the Client-Side: A Guide to Enterprise-Level Hardening of Web Browsers.
DASC/PiCom/DataCom/CyberSciTech
Ananth A. Jillepalli, Daniel Conte de Leon, Stuart Steiner, Frederick T. Sheldon, Michael A. Haney
2017 — conf
Introduction to Supply Chain Security and Mutual Trust Research Minitrack.
HICSS
Frederick T. Sheldon, Robert K. Abercrombie, Xiaohui Cui
2017 B conf
Security management of cyber physical control systems using NIST SP 800-82r2.
IWCMC
Ananth A. Jillepalli, Frederick T. Sheldon, Daniel Conte de Leon, Michael A. Haney, Robert K. Abercrombie
2016 B conf
CSSR: Cloud Services Security Recommender.
SERVICES
Abdullah Abuhussein, Sajjan G. Shiva, Frederick T. Sheldon
2016 B conf
Evaluating Security and Privacy in Cloud Services.
COMPSAC
Abdullah Abuhussein, Faisal Alsubaei, Sajjan G. Shiva, Frederick T. Sheldon
2016 — conf
HERMES: A high-level policy language for high-granularity enterprise-wide secure browser configuration management.
SSCI
Ananth A. Jillepalli, Daniel Conte de Leon, Stuart Steiner, Frederick T. Sheldon
2016 J jnl
Model-based autonomic security management for cyber-physical infrastructures.
Int. J. Crit. Infrastructures
Qian Chen, Madhulika Trivedi, Sherif Abdelwahed, Thomas H. Morris, Frederick T. Sheldon
2016 — conf
Using a knowledge-based security orchestration tool to reduce the risk of browser compromise.
SSCI
Daniel Conte de Leon, Venkata A. Bhandari, Ananth A. Jillepalli, Frederick T. Sheldon
2015 J jnl
Risk Assessment For Industrial Control Systems Quantifying Availability Using Mean Failure Cost (MFC).
J. Artif. Intell. Soft Comput. Res.
Qian Chen, Robert K. Abercrombie, Frederick T. Sheldon
2015 — conf
Risk and Vulnerability Assessment Using Cybernomic Computational Models: Tailored for Industrial Control Systems.
CISR
Robert K. Abercrombie, Frederick T. Sheldon, Bob G. Schlicher
2015 — conf
Security Analysis of Smart Grid Cyber Physical Infrastructures Using Game Theoretic Simulation.
SSCI
Robert K. Abercrombie, Frederick T. Sheldon
2014 — conf
Improving Cyber Resiliency of Cloud Application Services by Applying Software Behavior Encryption (SBE).
CSER
Danny Thebeau II, Benjamin Reidy, Ricardo Valerdi, Avinash Gudagi, Hemayamini Kurra, Youssif B. Al-Nashif, Salim Hariri, Frederick T. Sheldon
2014 — conf
Quantifying availability in SCADA environments using the cyber security metric MFC.
CISR
Anis Ben Aissa, Latifa Ben Arfa Rabai, Robert K. Abercrombie, Ali Mili, Frederick T. Sheldon
2014 — conf
Quantifying the impact of unavailability in cyber-physical environments.
CICS
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2014 — conf
Security Analysis of Selected AMI Failure Scenarios Using Agent Based Game Theoretic Simulation.
HICSS
Robert K. Abercrombie, Bob G. Schlicher, Frederick T. Sheldon
2013 — ed.
Cyber Security and Information Intelligence, CSIIRW '13, Oak Ridge, TN, USA, January 8-10, 2013
CSIIRW
Frederick T. Sheldon, Annarita Giani, Axel W. Krings, Robert K. Abercrombie
2013 — conf
Designing and operating through compromise: architectural analysis of CKMS for the advanced metering infrastructure.
CSIIRW
Michael Duren, Hal Aldridge, Robert K. Abercrombie, Frederick T. Sheldon
2013 — conf
Economic Incentives for Cybersecurity: Using Economics to Design Technologies Ready for Deployment.
ISSE
Claire Vishik, Frederick T. Sheldon, David Ott
2013 — conf
Failure impact analysis of key management in AMI using cybernomic situational assessment (CSA).
CSIIRW
Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili
2013 — conf
Intrinsically resilient energy control systems.
CSIIRW
Frederick T. Sheldon, Daniel Fetzer, David O. Manz, Jingshan Huang, Stuart Goose, Thomas H. Morris, Jiangbo Dang, Jonathan Kirsch, Dong Wei
2013 — conf
Risk Assessment Methodology Based on the NISTIR 7628 Guidelines.
HICSS
Robert K. Abercrombie, Frederick T. Sheldon, Katie R. Hauser, Margaret W. Lantz, Ali Mili
2012 J jnl
Defining and computing a value based cyber-security measure.
Inf. Syst. E Bus. Manag.
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2012 — conf
Intrinsically Resilient Energy Control Systems.
STIDS
Frederick T. Sheldon, Jingshan Huang, Jiangbo Dang, Daniel Fetzer, Stuart Goose, Jonathan Kirsch, David O. Manz, Thomas H. Morris, Dong Wei
2012 J jnl
Introduction to the special issue on cyber security and management.
Inf. Syst. E Bus. Manag.
Frederick T. Sheldon, Jeffrey Todd McDonald
2012 J jnl
The Insecurity of Wireless Networks.
IEEE Secur. Priv.
Frederick T. Sheldon, John Mark Weber, Seong-Moo Yoo, W. David Pan
2011 — conf
Addressing the need for independence in the CSE model.
CICS
Robert K. Abercrombie, Erik M. Ferragut, Frederick T. Sheldon, Michael R. Grimaila
2011 — conf
Anomaly detection in multiple scale for insider threat analysis.
CSIIRW
Yoohwan Kim, Frederick T. Sheldon
2011 — conf
Has the cyber warfare threat been overstated?: a cheap talk game-theoretic analysis on the Google-hacking claim?
CSIIRW
Zhanshan (Sam) Ma, Hongju (Daisy) Chen, Jiajin Zhang, Axel W. Krings, Frederick T. Sheldon
2011 — ed.
Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2011, Oak Ridge, TN, USA, October 12-14, 2011
CSIIRW
Frederick T. Sheldon, Robert K. Abercrombie, Axel W. Krings
2011 — conf
Secure VM for monitoring industrial process controllers.
CSIIRW
Dipankar Dasgupta, Mohd. Hassan Ali, Robert K. Abercrombie, Bob G. Schlicher, Frederick T. Sheldon, Marco Carvalho
2011 — conf
Secure cryptographic key management system (CKMS) considerations for smart grid devices.
CSIIRW
Robert K. Abercrombie, Frederick T. Sheldon, Hal Aldridge, Michael Duren, Tracy Ricci, Elisa Bertino, N. Athula Kulatunga, Uditha Navaratne
2011 J jnl
Toward Scalable Trustworthy Computing Using the Human-Physiology-Immunity Metaphor.
IEEE Secur. Priv.
Lee M. Hively, Frederick T. Sheldon, Anna Cinzia Squicciarini
2011 — conf
Validating Cyber Security Requirements: A Case Study.
HICSS
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010 — conf
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
Robert K. Abercrombie, Frederick T. Sheldon, Michael R. Grimaila
2010 — conf
Data diodes in support of trustworthy cyber infrastructure.
CSIIRW
Hamed Okhravi, Frederick T. Sheldon
2010 — conf
Modeling stakeholder/value dependency through mean failure cost.
CSIIRW
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010 J jnl
Moving Toward Trustworthy Systems: R&D Essentials.
Computer
Frederick T. Sheldon, Claire Vishik
2010 — ed.
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2010, Oak Ridge, TN, USA, April 21-23, 2010
CSIIRW
Frederick T. Sheldon, Stacy J. Prowell, Robert K. Abercrombie, Axel W. Krings
2010 J jnl
Quantifying security threats and their potential impacts: a case study.
Innov. Syst. Softw. Eng.
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010 — conf
Software requirements for a system to compute mean failure cost.
CSIIRW
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2010 — conf
The handicap principle, strategic information warfare and the paradox of asymmetry.
CSIIRW
Zhanshan (Sam) Ma, Frederick T. Sheldon, Axel W. Krings
2009 — conf
An outline of the three-layer survivability analysis architecture for strategic information warfare research.
CSIIRW
Zhanshan (Sam) Ma, Axel W. Krings, Frederick T. Sheldon
2009 J jnl
Authentication Protocol Using Quantum Superposition States.
Int. J. Netw. Secur.
Yoshito Kanamori, Seong-Moo Yoo, Don A. Gregory, Frederick T. Sheldon
2009 — conf
Challenging the Mean Time to Failure: Measuring Dependability as a Mean Failure Cost.
HICSS
Ali Mili, Frederick T. Sheldon
2009 — conf
DOE grass roots panel.
CSIIRW
John McHugh, Robert C. Armstrong, Thomas A. Longstaff, Daniel Quinlan, Frederick T. Sheldon, Deborah A. Frincke
2009 — ed.
Fifth Cyber Security and Information Intelligence Research Workshop, CSIIRW '09, Knoxville, TN, USA, April 13-15, 2009
CSIIRW
Frederick T. Sheldon, Greg Peterson, Axel W. Krings, Robert K. Abercrombie, Ali Mili
2009 — conf
Managing complex IT security processes with value based measures.
CICS
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2009 — conf
Methodology for Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission.
HICSS
Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili
2009 — conf
Quantifying security threats and their impact.
CSIIRW
Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2008 — conf
4
CSIIRW
Joseph P. Trien, Robert K. Abercrombie, Frederick T. Sheldon
2008 — conf
Evaluating security controls based on key performance indicators and stakeholder mission.
CSIIRW
Frederick T. Sheldon, Robert K. Abercrombie, Ali Mili
2008 — ed.
Proceedings of the 4th annual workshop on Cyber security and information intelligence research - developing strategies to meet the cyber security and information intelligence challenges ahead, CSIIRW '08, Oak Ridge, Tennessee, USA, May 12-14, 2008
CSIIRW
Frederick T. Sheldon, Axel W. Krings, Robert K. Abercrombie, Ali Mili
2008 — conf
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value.
HASE
Robert K. Abercrombie, Frederick T. Sheldon, Ali Mili
2007 — conf
A Methodology to Evaluate Agent Oriented Software Engineering Techniques.
HICSS
Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon, Kris M. Daley, Robert K. Abercrombie
2007 — conf
Measuring Reliability as a Mean Failure Cost.
HASE
Ali Mili, Frederick T. Sheldon
2007 — conf
Towards an Engineering Discipline of Computational Society.
HICSS
Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
2006 B conf
Bank Transfer over Quantum Channel with Digital Checks.
GLOBECOM
Yoshito Kanamori, Seong-Moo Yoo, Frederick T. Sheldon
2006 J jnl
Measuring the complexity of class diagrams in reverse engineering.
J. Softw. Maintenance Res. Pract.
Frederick T. Sheldon, Hong Chung
2006 C conf
Modeling Redundancy: Quantitative and Qualitative Models.
AICCSA
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shereshevsky, Jules Desharnais
2006 J jnl
Modeling security as a dependability attribute: a refinement-based approach.
Innov. Syst. Softw. Eng.
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed
2005 B conf
On quantum authentication protocols.
GLOBECOM
Yoshito Kanamori, Seong-Moo Yoo, Don A. Gregory, Frederick T. Sheldon
2005 — conf
Perspectives on Redundancy: Applications to Software Certification.
HICSS
Ali Mili, Frederick T. Sheldon, Fatma Mili, Mark Shereshevsky, Jules Desharnais
2005 — conf
Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures.
HICSS
Frederick T. Sheldon, Stephen Gordon Batsell, Stacy J. Prowell, Michael A. Langston
2005 J jnl
Recoverability preservation: a measure of last resort.
Innov. Syst. Softw. Eng.
Ali Mili, Frederick T. Sheldon, Fatma Mili, Jules Desharnais
2004 Misc conf
Assessing the effect of failure severity, coincident failures and usage-profiles on the reliability of embedded control systems.
SAC
Frederick T. Sheldon, Kshamta Jerath
2004 — conf
Managing Secure Survivable Critical Infrastructures to Avoid Vulnerabilities.
HASE
Frederick T. Sheldon, Thomas E. Potok, Andy Loebl, Axel W. Krings, Paul W. Oman
2004 J jnl
Multi-Agent System Case Studies in Command and Control, Information Fusion and Datat Managment.
Informatica (Slovenia)
Frederick T. Sheldon, Thomas E. Potok, Krishna M. Kavi
2004 J jnl
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.
Softw. Qual. J.
Hye Yeon Kim, Frederick T. Sheldon
2003 — conf
An Ontology-Based Software Agent System Case Study.
ITCC
Frederick T. Sheldon, Mark T. Elmore, Thomas E. Potok
2003 — conf
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability.
Component-Based Software Quality
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
2003 — conf
Suitability of Agent-Based Systems for Command and Control in Fault-Tolerant, Safety-Critical Responsive Decision Networks.
PDCS
Thomas E. Potok, Laurence R. Phillips, Robert Pollock, Andy Loebl, Frederick T. Sheldon
2002 — conf
Case Study: B2B E-Commerce System Specification and Implementation Employing Use-Case Diagrams, Digital Signatures and XML.
ISMSE
Frederick T. Sheldon, Kshamta Jerath, Orest Pilskalns, Young-Jik Kwon, Woo-Hun Kim, Hong Chung
2002 B conf
Case Study: Implementing a Web Based Auction System Using UML and Component-Based Programming.
COMPSAC
Frederick T. Sheldon, Kshamta Jerath, Young-Jik Kwon, Young-Wook Baik
2002 — conf
Examining Coincident Failures and Usage Profiles in Reliability Analysis of an Embedded Vehicle Sub-System.
ESM
Frederick T. Sheldon, Kshamta Jerath, Stefan Greiner
2002 J jnl
Metrics for maintainability of class inheritance hierarchies.
J. Softw. Maintenance Res. Pract.
Frederick T. Sheldon, Kshamta Jerath, Hong Chung
2001 C conf
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.
PRDC
Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou
2001 J jnl
A Review of Some Rigorous Software Design and Analysis Tools.
Softw. Focus
Frederick T. Sheldon, Gaoyan Xie, Orest Pilskalns, Zhihe Zhou
2000 — conf
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models.
IWSSD
Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger
1999 J jnl
Composing, analyzing and validating software models to assess the performability of competing design candidates.
Ann. Softw. Eng.
Frederick T. Sheldon, Stefan Greiner
1999 Misc conf
Tool-Based Approach to Distributed Database Design: Includes Web-Based Forms Design for Access to Academic Affairs Data.
SAC
David A. Owens, Frederick T. Sheldon
1998 — conf
Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets.
ESM
Frederick T. Sheldon
1996 J jnl
Specification and Analysis of Real-Time Systems Using CSP and Petri Nets.
Int. J. Softw. Eng. Knowl. Eng.
Krishna M. Kavi, Frederick T. Sheldon, Sherman Reed
1995 — conf
Reliability analysis of CSP specifications using Petri nets and Markov processes.
HICSS (2)
Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson
1994 B conf
Specification of Stochastic Properties with CSP.
ICPADS
Krishna M. Kavi, Frederick T. Sheldon
1993 A conf
Reliability prediction of distributed embedded fault-tolerant systems.
ISSRE
Frederick T. Sheldon, Hsing Mei, Seung-Min Yang
1992 J jnl
Reliability Measurement: From Theory to Practice.
IEEE Softw.
Frederick T. Sheldon, Krishna M. Kavi, Robert C. Tausworthe, James T. Yu, Ralph Brettschneider, William W. Everett
1992 — conf
Simulation-Based Analysis for Real-Time Systems Development.
NATO ASI RTC
Frederick T. Sheldon, Seung-Min Yang, Trina L. Bornejko