Publications

BibTeX Citation

@inproceedings{JaS20,
title = {Software-Based Monitoring and Analysis of a {USB} Host Controller Subject to Electrostatic Discharge},
doi = {10.1109/RTEST49666.2020.9140117},
booktitle = {2020 {CSI}/{CPSSI} International Symposium on Real-Time and Embedded Systems and Technologies ({RTEST})},
author = {Jarus, Natasha and Sabatini, Antonio and Maheshwari, Pratik and Sarvestani, Sahra Sedigh},
month = jun,
year = {2020},
pages = {1--7},
url = {https://arxiv.org/abs/2004.06647}
}
BibTeX Citation

@inproceedings{JaS19b,
address = {San Antonio, TX, USA},
author = {Jarus, Natasha and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = nov,
year = {2019},
title = {Towards Refinement and Generalization of Reliability Models Based on Component States},
booktitle = {Proc. Resilience Week 2019},
url = {https://arxiv.org/abs/1910.04027},
doi = {10.1109/RWS47064.2019.8971824}
}
BibTeX Citation

@inproceedings{ZiS19,
address = {Hangzhou, China},
author = {Ziegler, Brad and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = jan,
year = {2019},
title = {Facilitating Failure Analysis with Software Instrumentation},
booktitle = {Proc. 19th IEEE Int'l. High Assurance Systems Engineering Symp. (HASE)},
doi = {10.1109/HASE.2019.00029}
}
BibTeX Citation

@inproceedings{JaS19a,
address = {Hangzhou, China},
author = {Jarus, Natasha and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = jan,
year = {2019},
title = {Formalizing Cyber--Physical Model Transformation via Abstract Interpretation},
booktitle = {Proc. 19th IEEE Int'l. High Assurance Systems Engineering Symp. (HASE)},
doi = {10.1109/HASE.2019.00025}
}
BibTeX Citation

@inproceedings{JaS18,
address = {Pittsburgh, PA, USA},
author = {Jarus, Natasha and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = oct,
year = {2018},
title = {Facilitating Model--Based Design and Evaluation for Sustainability},
booktitle = {Proc. 9th IEEE Int'l. Green and Sustainable Computing Conf. (IGSC)},
doi = {10.1109/IGCC.2018.8752119}
}
BibTeX Citation

@article{WoM17,
journal = {IEEE Transactions on Network Science and Engineering},
author = {Woodard, Mark and Marashi, Koosha and Sedigh Sarvestani, Sahra},
year = {2017},
title = {Survivability Evaluation and Importance Analysis for Complex Networked Systems}
}
BibTeX Citation

@article{MaS17,
journal = {IEEE Transactions on Sustainable Computing},
author = {Marashi, K. and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
year = {2017},
title = {Consideration of Cyber-Physical Interdependencies in Reliability Modeling of Smart Grids},
doi = {10.1109/TSUSC.2017.2757911}
}
BibTeX Citation

@inproceedings{WoS17,
title = {A Petri-Net Model for Propagation of Corrupted Data in a Networked System},
author = {Woodard, Mark and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
year = {2017}
}
BibTeX Citation

@article{JaW17,
title = {Survey on Modeling and Design of Cyber-Physical Systems},
author = {Jarus, N. and Woodard, Mark and Marashi, Koosha and Sedigh Sarvestani, Sahra and Lin, Jing and Faza, Ayman and Maheshwari, Pratik},
year = {2017},
journal = {Transactions on Cyber-Physical Systems},
publisher = {ACM}
}
BibTeX Citation

@incollection{WoW16,
series = {Advances in Computers},
volume = {102},
author = {Woodard, Mark and Wisely, Michael and Sedigh Sarvestani, Sahra},
editor = {Hurson, Ali R. and Goudarzi, Maziar},
year = {2016},
pages = {63--110},
title = {A Survey of Data Cleansing Techniques for Cyber-Physical Critical Infrastructure Systems},
publisher = {Elsevier},
doi = {10.1016/bs.adcom.2016.05.002}
}
BibTeX Citation

@inproceedings{AlS16,
address = {Chicago, USA},
author = {Alobaidi, Isam A. and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
month = aug,
year = {2016},
title = {Survivability analysis and recovery support for smart grids},
booktitle = {In Proceedings of the 4th International Symposium on Resilient Cyber Systems},
doi = {10.1109/RWEEK.2016.7573303}
}
BibTeX Citation

@inproceedings{MaS16a,
address = {Toulouse, France},
author = {Marashi, K. and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
month = jun,
year = {2016},
title = {Quantification and Analysis of Interdependency in Cyber-Physical Systems},
booktitle = {Proc. of the 3rd Int'l. Workshop on Reliability and Security Aspects for Critical Infrastructure (ReSA4CI '16), in conjunction with the 46th IEEE/IFIP Int'l. Conf. on Dependable Systems and Networks (DSN '16)},
doi = {10.1109/DSN-W.2016.47}
}
BibTeX Citation

@inproceedings{JaS16,
title = {Models, Metamodels, and Model Transformation for Cyber-Physical Systems},
author = {Jarus, N. and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
booktitle = {7th IEEE International Green and Sustainable Computing Conference (IGSC)},
month = nov,
year = {2016},
doi = {https://doi.org/10.1109/IGCC.2016.7892611},
url = {http://web.mst.edu/\%7Enmjxv3/publications/2016%20-%20Models,%20Metamodels,%20and%20Model%20Transformation%20for%20Cyber-Physical%20Systems.pdf}
}
BibTeX Citation

@article{MoS16d,
journal = {Handbook of Applied Learning Theory and Design in Modern Education},
author = {Morrow, T. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
editor = {Railean, E. and Walker, G. and Jackson, L. and Elci, A.},
year = {2016},
title = {PERCEPOLIS: Cyberinfrastructure for Personalized Education},
doi = {10.4018/978-1-4666-9634-1.ch040}
}
BibTeX Citation

@inproceedings{MoS16c,
address = {Pittsburgh, USA},
author = {Morrow, Tyler and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
month = jul,
year = {2016},
title = {Decision Support for Personalized Education},
booktitle = {Proc. 17th Int'l. IEEE Conf. on Information Reuse and Integration (IRI)},
doi = {10.1109/IRI.2016.32}
}
BibTeX Citation

@incollection{MoS16a,
address = {Hershey, USA},
volume = {2},
author = {Morrow, Tyler and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
year = {2016},
pages = {817--839},
title = {Pervasive Cyberinfrastructure for Personalized Education},
booktitle = {Handbook of Research on Applied Learning Theory and Design in Modern Education},
publisher = {IGI Global},
doi = {10.4018/978-1-4666-9634-1.ch040}
}
BibTeX Citation

@inproceedings{MoS16b,
doi = {10.1109/IRI.2016.32},
author = {Morrow, T. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = jul,
year = {2016},
pages = {188--197},
title = {Algorithmic Decision Support for Personalized Education},
booktitle = {2016 IEEE 17th International Conference on Information Reuse and Integration (IRI)}
}
BibTeX Citation

@inproceedings{WiS16,
title = {Energy Consumption of Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels},
author = {Wisely, Michael and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
year = {2016},
address = {Hangzhou, China},
booktitle = {Proceedings of 2016 Seventh International Green and Sustainable Computing Conference (IGSC)},
doi = {10.1109/IGCC.2016.7892601}
}
BibTeX Citation

@article{JaS15,
journal = {{IEEE} Transactions on Instrumentation and Measurement},
author = {Jarus, Natasha and Sabatini, Antonio and Maheshwari, Pratik and Sedigh Sarvestani, Sahra},
year = {2015},
title = {Detection, Analysis, and Prediction of the Effects of Electrostatic Discharge on USB Peripherals}
}
BibTeX Citation

@incollection{WoS15,
series = {Advances in Computers},
author = {Woodard, M. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
year = {2015},
title = {Propagation of Corrupted Data in Critical Infrastructure Cyber-Physical Systems: A Research Survey},
publisher = {Elsevier},
doi = {https://doi.org/10.1016/bs.adcom.2015.03.002}
}
BibTeX Citation

@incollection{WoS16,
title = {A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems},
editor = {Hurson, Ali R.},
publisher = {Elsevier},
year = {2015},
volume = {98},
pages = {59 - 87},
series = {Advances in Computers },
doi = {10.1016/bs.adcom.2015.03.002},
author = {Woodard, Mark and Sedigh Sarvestani, Sahra and Hurson, Ali R.}
}
BibTeX Citation

@article{WiH15,
volume = {23},
number = {3},
journal = {Journal of Information Processing},
author = {Wisely, Michael and Hurson, A. R. and Sedigh Sarvestani, Sahra},
year = {2015},
title = {Public Data Dissemination via Broadcasting},
doi = {10.2197/ipsjjip.23.382}
}
BibTeX Citation

@incollection{HeW15,
series = {Lecture Notes in Computer Science},
number = {9239},
author = {Heendaliya, Lasanthi and Wisely, Michael and Lin, Dan and Sedigh Sarvestani, Sahra and Hurson, Ali},
editor = {Claramunt, Christophe and Schneider, Markus and Wong, Raymond Chi-Wing and Xiong, Li and Loh, Woong-Kee and Shahabi, Cyrus and Li, Ki-Joune},
month = aug,
year = {2015},
pages = {80--97},
title = {Influence-Aware Predictive Density Queries under Road-Network Constraints},
booktitle = {Advances in Spatial and Temporal Databases},
publisher = {Springer International Publishing},
doi = {10.1007/978-3-319-22363-6\_5},
notes = {Is this paper counted as SeNDeComp work?}
}
BibTeX Citation

@incollection{HeL15,
series = {Lecture Notes in Computer Science},
number = {8980},
author = {Heendaliya, Lasanthi and Lin, Dan and Hurson, Ali},
editor = {Hameurlain, Abdelkader and K{\"u}ng, Josef and Wagner, Roland and Decker, Hendrik and Lhotska, Lenka and Link, Sebastian},
year = {2015},
pages = {80--114},
title = {Continuous Predictive Line Queries for On-the-Go Traffic Estimation},
booktitle = {Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII},
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-662-46485-4\_4},
notes = {Is this paper counted as SeNDeComp work?}
}
BibTeX Citation

@inproceedings{Mo15,
author = {Morrow, Tyler},
year = {2015},
pages = {242--244},
title = {A Context-aware Ontology for Personalized Learning: Pervasive Computing for Educational Technology},
booktitle = {IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops)},
doi = {10.1109/PERCOMW.2015.7134036}
}
BibTeX Citation

@inproceedings{WiH16,
author = {Wisely, M. and Hurson, A. and Sedigh Sarvestani, Sahra},
booktitle = {International Conference on Connected Vehicles and Expo (ICCVE)},
title = {An extensible simulation framework for evaluating centralized traffic prediction algorithms},
year = {2015},
pages = {391-396},
doi = {10.1109/ICCVE.2015.86},
month = oct
}
BibTeX Citation

@inproceedings{MaS14,
address = {Miami, USA},
author = {Marashi, K. and Sedigh Sarvestani, Sahra},
month = jan,
year = {2014},
title = {Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges},
booktitle = {Proc. 15th IEEE Int'l. High Assurance Systems Engineering Symp. (HASE)},
doi = {10.1109/HASE.2014.23}
}
BibTeX Citation

@incollection{WhS14,
series = {Advances in Computers},
volume = {94},
author = {White, Steven C. and Sedigh Sarvestani, Sahra},
editor = {Hurson, A. R.},
year = {2014},
pages = {1 -- 24},
title = {Comparison of Security Models: Attack Graphs Versus Petri Nets},
publisher = {Elsevier},
doi = {https://doi.org/10.1016/B978-0-12-800161-5.00001-3},
url = {https://books.google.com/books?id=6gR0AwAAQBAJ&lpg=PP1&pg=PA1#v=onepage&q&f=false}
}
BibTeX Citation

@inproceedings{AlJ14,
author = {Albasrawi, Murtadha N. and Jarus, N. and Joshi, Kamlesh A. and Sedigh Sarvestani, Sahra},
month = jul,
year = {2014},
pages = {529--534},
title = {Analysis of Reliability and Resilience for Smart Grids},
booktitle = {Proceedings of the 38th Annual IEEE Computer Software and Applications Conference (COMPSAC)},
doi = {10.1109/COMPSAC.2014.75}
}
BibTeX Citation

@article{MaW14,
journal = {Transactions of the American Nuclear Society},
author = {Marashi, K. and Woodard, M. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = feb,
year = {2014},
title = {Quantitative Reliability Analysis for Intelligent Water Distribution Networks},
doi = {10.13140/RG.2.1.1836.0081}
}
BibTeX Citation

@article{WaS14a,
volume = {22},
number = {3},
journal = {Journal of Information Processing},
author = {Wagner, C. Shaun and Sedigh Sarvestani, Sahra and Hurson, A. R.},
year = {2014},
pages = {425--434},
title = {Algorithms and Techniques for Proactive Search},
doi = {10.2197/ipsjjip.22.425}
}
BibTeX Citation

@article{WaS14b,
journal = {ACM Transactions on Information Systems},
author = {Wagner, C. S. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
year = {2014},
title = {Proactive Search: Using Outcome-Based Dynamic Nearest-Neighbor Recommendation Algorithms to Increase Search Engine Efficacy}
}
BibTeX Citation

@article{PaS14,
journal = {IEEE Transactions on Instrumentation and Measurement},
author = {Maheshwari, P. and Sedigh Sarvestani, Sahra and Pommerenke, D.},
year = {2014},
title = {Software-Based Methodologies for Root-Cause Analysis of Embedded System Failures Resulting from Electrostatic Discharge}
}
BibTeX Citation

@inproceedings{MaW13,
address = {Washington, D.C., USA},
author = {Marashi, K. and Woodard, M. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = nov,
year = {2013},
title = {Quantitative Reliability Analysis for Intelligent Water Distribution Networks},
booktitle = {Proc. Embedded Topical Meeting on Risk Management for Complex Socio-Technical Systems (RM4CSS), Annual Meeting of the American Nuclear Society},
doi = {10.13140/RG.2.1.1836.0081}
}
BibTeX Citation

@article{FaS13b,
journal = {IEEE Trans. Rel.},
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra and McMillin, B. M.},
year = {2013},
title = {A case study in quantitative analysis of cyber-physical systems: reliability of the electric power grid},
notes = {What is the status? Still under revision?}
}
BibTeX Citation

@article{FaS13a,
journal = {Reliability Engineering and System Safety},
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra and McMillin, B. M.},
year = {2013},
title = {An integrated cyber-physical reliability model for the Smart Grid},
notes = {What is the status? Still under revision?}
}
BibTeX Citation

@incollection{WoS13,
series = {Lecture Notes in Computer Science},
volume = {8166},
author = {Woodard, M. and Sedigh Sarvestani, Sahra},
editor = {Gorbenko, A. and Romanovsky, A. and Kharchenko, V.},
month = oct,
year = {2013},
pages = {133--140},
title = {Modeling of autonomous vehicle operation in intelligent transportation systems},
booktitle = {Software Engineering for Resilient Systems},
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-40894-6\_11}
}
BibTeX Citation

@article{WhS12,
journal = {Principles, Methodologies, and Service-Oriented Approaches for Cloud Computing},
author = {White, S. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
editor = {Yang, K. X. and Liu, L.},
pages = {116--142},
year = {2013},
title = {Security Concepts for Cloud Computing},
doi = {10.4018/978-1-4666-2854-0.ch005}
}
BibTeX Citation

@incollection{LiS13,
author = {Lin, Jing and Hurson, Ali and Sedigh Sarvestani, Sahra},
editor = {Sarbazi-Azad, Hamid and Zomaya, Albert Y.},
year = {2013},
pages = {649--677},
title = {Knowledge Management For Fault-Tolerant Water Distribution},
booktitle = {Large Scale Network-Centric Distributed Systems},
publisher = {John Wiley \& Sons, Inc.},
doi = {10.1002/9781118640708.ch26}
}
BibTeX Citation

@incollection{WaS13b,
address = {New Jersey, USA},
author = {Wagner, C. Shaun and Sedigh Sarvestani, Sahra and Hurson, A. R. and Shirazi, Behrooz},
editor = {Khan, Samee U. and Zomaya, Albert Y. and Wang, Lizhe},
month = jan,
year = {2013},
pages = {467--506},
title = {A Survey of Techniques for Improving Search Engine Scalability through Profiling, Prediction, and Prefetching of Query Results},
booktitle = {Scalable Computing and Communications: Theory and Practice},
publisher = {Wiley-IEEE Computer Society Press},
url = {http://www.wiley.com/WileyCDA/WileyTitle/productCd-111816265X.html}
}
BibTeX Citation

@incollection{WaS13a,
series = {Lecture Notes in Computer Science},
volume = {8199},
author = {Wagner, C. Shaun and Sedigh Sarvestani, Sahra and Hurson, A. R.},
editor = {Brisaboa, Nieves and Pedreira, Oscar and Zezula, Pavel},
year = {2013},
pages = {219--232},
title = {Accurate and Efficient Search Prediction Using Fuzzy Matching and Outcome Feedback},
booktitle = {Proc. 6th Int'l. Conf. on Similarity Search and Applications (SISAP)},
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-41062-8_23}
}
BibTeX Citation

@article{WiC13,
volume = {7},
number = {3},
journal = {International Journal of Semantic Computing},
author = {Winter, V. and Cukic, B. and Khoshgoftaar, T. and Mori, K. and Paul, R. and P{\'e}rez-Leguizamo, C. and Sedigh Sarvestani, Sahra and Sloan, J. and Vouk, M. and Yen, I.},
month = sep,
year = {2013},
pages = {291--324},
title = {High Consequence Systems and Semantic Computing},
doi = {10.1142/S1793351X13500050}
}
BibTeX Citation

@inproceedings{SaJ13,
doi = {10.1109/I2MTC.2013.6555586},
author = {Sabatini, A. and Jarus, N. and Maheshwari, P. and Sedigh Sarvestani, Sahra},
month = may,
year = {2013},
pages = {1109--1114},
title = {Software instrumentation for failure analysis of {USB} host controllers},
booktitle = {IEEE International Instrumentation and Measurement Technology Conference (I2MTC)}
}
BibTeX Citation

@incollection{BaS13,
author = {Bastianini, F. and Sedigh Sarvestani, Sahra and Pascale, G. and Perri, G.},
title = {Cost-Effective Dynamic Structural Health Monitoring with a Compact and Autonomous Wireless Sensor System},
booktitle = {Nondestructive Testing of Materials and Structures},
year = {2013},
publisher = {Springer Netherlands},
pages = {1065--1070},
doi = {10.1007/978-94-007-0723-8\_149}
}
BibTeX Citation

@inproceedings{FaS12,
address = {Rolla, USA},
author = {Faza, A. and Lin, J. and Sedigh Sarvestani, Sahra},
month = feb,
year = {2012},
title = {Net-Centric Assurance for Critical Infrastructure Systems},
booktitle = {Meeting of the NSF Net-Centric Software \& Systems Industry/University Cooperative Research Center}
}
BibTeX Citation

@inproceedings{LiS12a,
address = {Maui, USA},
author = {Lin, J. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = jan,
year = {2012},
title = {Ontologies and Decision Support for Failure Mitigation in Intelligent Water Distribution Networks},
booktitle = {Proc. 45th Hawaii Int'l. Conf. on System Sciences (HICSS)},
doi = {10.1109/HICSS.2012.458}
}
BibTeX Citation

@book{HuS12,
title = {Dependable and Secure Systems Engineering},
editor = {Hurson, A. and Sedigh Sarvestani, Sahra},
isbn = {9780123965257},
series = {Academic Press},
url = {https://books.google.com/books?id=4Q\_d8DW0aWMC},
year = {2012},
publisher = {Elsevier}
}
BibTeX Citation

@article{SeH12,
title = {Introduction to green and sustainable computing},
author = {Sedigh Sarvestani, Sahra and Hurson, Ali R.},
volume = {87},
journal = {Part I of Advances in Computers},
publisher = {Academic Press},
year = {2012},
pages = {1-6},
doi = {https://doi.org/10.1016/B978-0-12-396528-8.00001-8},
url = {http://www.sciencedirect.com.libproxy.mst.edu/science/article/pii/B9780123965288000018}
}
BibTeX Citation

@inproceedings{BaS12,
address = {Vienna, Austria},
doi = {10.1007/978-3-642-32597-7\_10},
author = {Bahmani, A. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = sep,
year = {2012},
pages = {111--120},
title = {Ontology-Based Recommendation Algorithms for Personalized Education},
booktitle = {Proceedings of the 23rd International Conference on Database and Expert Systems Applications (DEXA '12)}
}
BibTeX Citation

@inproceedings{GuP12,
address = {San Diego, USA},
author = {Gunasekaran, A. and Patel, N. and Cross, S. and Sedigh Sarvestani, Sahra},
month = mar,
year = {2012},
title = {Recent enhancements to and applications of the {SmartBrick} structural health monitoring platform},
booktitle = {Proceedings of the 19th International SPIE Symposium on Smart Structures and Materials and Nondestructive Evaluation and Health Monitoring},
doi = {https://doi.org/10.1117/12.917530}
}
BibTeX Citation

@inproceedings{GuP12b,
address = {Baltimore, USA},
author = {Gunasekaran, A. and Patel, N. and Cross, S. and Sedigh Sarvestani, Sahra},
month = apr,
year = {2012},
title = {Towards a military-standard wireless sensor platform for the detection of improvised explosive devices},
booktitle = {Proceedings of the 7th SPIE Symposium on Defense, Security + Sensing}
}
BibTeX Citation

@article{LiS10b,
journal = {Semantic Agent Systems: Foundations and Applications},
author = {Lin, J. and Sedigh Sarvestani, Sahra and Miller, A.},
editor = {Elci, A. and Kone, M. T. and Orgun, M. A.},
year = {2011},
title = {A semantic agent framework for cyber-physical systems},
doi = {10.1007/978-3-642-18308-9\_9}
}
BibTeX Citation

@article{LiS11c,
journal = {Scientific and Engineering Applications Using MATLAB},
author = {Lin, J. and Sedigh Sarvestani, Sahra and Miller, A.},
year = {2011},
title = {Integrated Cyber-physical Simulation of Intelligent Water Distribution Networks},
doi = {10.5772/21451}
}
BibTeX Citation

@article{LiS11b,
volume = {7},
number = {5},
journal = {Int'l. J. of Performability Engineering, Special Issue on Performance and Dependability Modeling of Dynamic Systems},
author = {Lin, J. and Sedigh Sarvestani, Sahra},
month = sep,
year = {2011},
pages = {467--478},
title = {Reliability Modeling for Intelligent Water Distribution Networks},
url = {http://www.ijpe-online.com/september-2011-p6-reliability-modeling-for-intelligent-water-distribution-networks.html#axzz24xocCBre}
}
BibTeX Citation

@inproceedings{LiS11a,
address = {Kauai, USA},
author = {Lin, J. and Sedigh Sarvestani, Sahra and Miller, A.},
month = jan,
year = {2011},
title = {A Game-Theoretic Approach to Decision Support for Intelligent Water Distribution},
booktitle = {Proceedings of the Hawaii International Conference on System Sciences (HICSS '11)},
doi = {10.1109/HICSS.2011.13}
}
BibTeX Citation

@inproceedings{LiS11e,
address = {Anchorage, USA},
author = {Lin, J. and Sedigh Sarvestani, Sahra and Hurson, A. R.},
month = may,
year = {2011},
pages = {93--103},
title = {An Agent-Based Approach to Reconciling Data Heterogeneity in Cyber-Physical Systems},
booktitle = {Proceedings of the 20th IEEE International Heterogeneity in Computing Workshop (HCW '11)},
doi = {10.1109/IPDPS.2011.130}
}
BibTeX Citation

@inproceedings{HuS11a,
address = {Seattle, USA},
author = {Hurson, A. R. and Sedigh Sarvestani, Sahra and Miller, L. and Shirazi, B.},
month = mar,
year = {2011},
pages = {543 -- 549},
title = {Enriching {STEM} Education through Personalization and Teaching Collaboration},
booktitle = {Proceedings of the 7th IEEE International Workshop on PervasivE Learning, Life, and Leisure (PerEL '11)},
doi = {10.1109/PERCOMW.2011.5766949}
}
BibTeX Citation

@article{SuH11,
journal = {Pervasive Computing and Networking},
author = {Jean, E. and Sedigh Sarvestani, Sahra and Hurson, A. R. and Shirazi, B.},
editor = {Denko, M. and Obaidat, M. S.},
year = {2011},
title = {Tools and techniques for interoperability and dynamic reconfiguration of pervasive systems},
doi = {10.1002/9781119970422.ch2}
}
BibTeX Citation

@inproceedings{BaS11,
author = {Bahmani, Amir and Sedigh Sarvestani, Sahra and Hurson, Ali R},
year = {2011},
pages = {1--6},
title = {Context-aware recommendation algorithms for the PERCEPOLIS personalized education platform},
booktitle = {Frontiers in Education Conference (FIE)},
publisher = {IEEE},
doi = {10.1109/FIE.2011.6143102}
}
BibTeX Citation

@incollection{JeS11,
title = {Tools and Techniques for Dynamic Reconfiguration and Interoperability of Pervasive Systems},
author = {Jean, E. and Sedigh Sarvestani, Sahra and Hurson, Ali R. and Shirazi, B.},
booktitle = {Pervasive Computing and Networking},
publisher = {John Wiley \& Sons},
month = jun,
year = {2011},
pages = {09--26},
doi = {10.1002/9781119970422.ch2}
}
BibTeX Citation

@article{JeR11,
volume = {4},
number = {1},
journal = {International Journal of Communications, Network and System Sciences},
author = {Jean, E. and Rauschert, I. and Collins, R. and Sedigh Sarvestani, Sahra and Hurson, A. and Jiao, C.},
month = jan,
year = {2011},
pages = {1--16},
title = {{RISN}: An Efficient Sensor Network Overlay with Support for Autonomous and Distributed Applications},
doi = {10.4236/ijcns.2011.41001}
}
BibTeX Citation

@inproceedings{MaL11,
author = {Maheshwari, P. and Li, T. and Lee, J. and Seol, B. and Sedigh Sarvestani, Sahra and Pommerenke, D.},
month = jul,
year = {2011},
pages = {436 -- 441},
title = {Software-Based Analysis of the Effects of Electrostatic Discharge on Embedded Systems},
booktitle = {IEEE Computer Software and Applications Conference (COMPSAC)},
doi = {10.1109/COMPSAC.2011.64}
}
BibTeX Citation

@inproceedings{GuC11,
address = {San Diego, USA},
author = {Gunasekaran, A. and Chulick, P. and Sedigh Sarvestani, Sahra},
month = mar,
year = {2011},
title = {The {SmartBrick} wireless sensor node for high-resolution structural health monitoring},
booktitle = {Proceedings of the 18th International SPIE Symposium on Smart Structures and Materials and Nondestructive Evaluation and Health Monitoring},
url = {https://www.researchgate.net/publication/228450332\_SmartBrick\_wireless\_sensor\_node\_for\_high-resolution\_structural\_health\_monitoring}
}
BibTeX Citation

@inproceedings{BaP11,
title = {Cost Effectiveness of Structural Health Monitoring in Low Sensor Count Installations using a Wireless Autonomous SHM (WASHM) Device},
author = {Bastianini, F. and Pascale, G. and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
month = jan,
booktitle = {European Workshop on Cultural Heritage Preservation and Training Day (EWCHP '11)},
year = {2011},
url = {https://www.researchgate.net/publication/215481147\_Cost\_Effectiveness\_of\_Structural\_Health\_Monitoring\_in\_Low\_Sensor\_Count\_Installations\_using\_a\_Wireless\_Autonomous\_SHM\_WASHM\_Device}
}
BibTeX Citation

@inproceedings{GuC12,
title = {Military-standard sensor nodes for the {SmartBrick} structural health monitoring platform},
author = {Gunasekaran, A. and Chulick, P. and Sedigh Sarvestani, Sahra and Hurson, Ali R.},
month = sep,
year = {2011},
booktitle = {Proceedings of the 8th International Workshop on Structural Health Monitoring (IWSHM '11)},
pages = {2115--2122},
address = {Stanford, USA}
}
BibTeX Citation

@inproceedings{Se11,
author = {Sedigh Sarvestani, Sahra},
booktitle = {IEEE 35th Annual Computer Software and Applications Conference},
title = {Smart Technology -- Applications and Infrastructure},
year = {2011},
pages = {522--522},
doi = {10.1109/COMPSAC.2011.114},
month = jul
}
BibTeX Citation

@incollection{FaS10,
volume = {6351},
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra and McMillin, B. M.},
year = {2010},
pages = {277--290},
title = {Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid},
booktitle = {Proc. 29th Int'l. Conf. Computer Safety, Reliability and Security (SAFECOMP)},
doi = {10.1007/978-3-642-15651-9\_21}
}
BibTeX Citation

@inproceedings{LiS10c,
address = {Seoul, South Korea},
author = {Lin, J. and Sedigh Sarvestani, Sahra and Miller, A.},
month = jul,
year = {2010},
title = {Modeling Cyber-Physical Systems with Semantic Agents},
booktitle = {Proceedings of the 34th IEEE International Computer Software and Applications Conference (COMPSAC '10)},
doi = {10.1109/COMPSACW.2010.13}
}
BibTeX Citation

@inproceedings{LiS10d,
author = {Lin, Jing and Sedigh Sarvestani, Sahra and Miller, Ann},
title = {Modeling Cyber-Physical Systems with Semantic Agents},
booktitle = {Proceedings of the IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW '10)},
year = {2010},
pages = {13--18},
doi = {10.1109/COMPSACW.2010.13},
address = {Washington, DC, USA}
}
BibTeX Citation

@article{HuS10a,
volume = {2},
number = {10},
journal = {Intelligent Information Management},
author = {Hurson, A. R. and Sedigh Sarvestani, Sahra},
month = oct,
year = {2010},
pages = {583--593},
title = {PERCEPOLIS: Pervasive Cyberinfrastructure for Personalized Learning and Instructional Support},
doi = {10.4236/iim.2010.210067}
}
BibTeX Citation

@inproceedings{HuS10b,
author = {Hurson, A. R. and Sedigh Sarvestani, Sahra},
booktitle = {IEEE Transforming Engineering Education: Creating Interdisciplinary Skills for Complex Global Environments},
title = {Transforming the Instruction of Introductory Computing to Engineering Students},
year = {2010},
pages = {1--19},
doi = {10.1109/TEE.2010.5508834},
month = apr
}
BibTeX Citation

@article{HaS10,
volume = {13},
number = {6},
journal = {IEEE Instrumentation and Measurement Magazine},
author = {Harms, T. and Sedigh Sarvestani, Sahra and Bastianini, F.},
month = dec,
year = {2010},
pages = {14--18},
title = {Structural health monitoring of bridges using wireless sensor networks},
doi = {10.1109/MIM.2010.5669608}
}
BibTeX Citation

@inproceedings{JeC10,
author = {Jean, E. and Collins, R. T. and Hurson, A. R. and Sedigh Sarvestani, Sahra and Jiao, Y.},
booktitle = {IEEE/IFIP International Conference on Embedded and Ubiquitous Computing},
title = {{RISN}: An Efficient, Dynamically Tasked and Interoperable Sensor Network Overlay},
year = {2010},
pages = {224--231},
doi = {10.1109/EUC.2010.40},
month = dec
}
BibTeX Citation

@inproceedings{Se10,
title = {High assurance systems: State of the art and practice (plenary panel)},
author = {Sedigh Sarvestani, Sahra},
year = {2010},
booktitle = {Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium (HASE '10)},
month = nov,
address = {San Jose, USA},
pages = {xiv}
}
BibTeX Citation

@inproceedings{AsS10,
author = {Asami, T. and Sedigh Sarvestani, Sahra},
booktitle = {IEEE 34th Annual Computer Software and Applications Conference},
title = {Green IT -- From Devices to Applications (Panel)},
year = {2010},
pages = {24-24},
doi = {10.1109/COMPSAC.2010.85},
month = jul
}
BibTeX Citation

@inproceedings{LiS09a,
volume = {1},
doi = {10.1109/compsac.2009.103},
author = {Lin, Jing and Sedigh Sarvestani, Sahra and Miller, A.},
year = {2009},
pages = {668 --671},
title = {A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research},
booktitle = {Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC '09)}
}
BibTeX Citation

@inproceedings{FaS09,
volume = {5775},
doi = {10.1007/978-3-642-04468-7\_21},
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra and McMillin, B. M.},
month = sep,
year = {2009},
pages = {257--269},
title = {Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure},
booktitle = {Proc. 28th Int'l. Conf. Computer Safety, Reliability and Security (SAFECOMP)}
}
BibTeX Citation

@inproceedings{LiS09,
author = {Lin, Jing and Sedigh Sarvestani, Sahra and Miller, A.},
year = {2009},
pages = {690--695},
title = {Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution},
booktitle = {Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC '09)},
doi = {10.1109/DASC.2009.140}
}
BibTeX Citation

@inproceedings{FaS11,
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra and McMillin, B. M.},
booktitle = {33rd Annual IEEE International Computer Software and Applications Conference},
title = {Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research},
year = {2009},
volume = {1},
pages = {672--675},
doi = {10.1109/COMPSAC.2009.104},
issn = {0730-3157},
month = jul
}
BibTeX Citation

@article{HuS09a,
journal = {IEEE Transactions on Knowledge and Data Engineering},
author = {Hurson, A. R. and Sun, B. and Hannan, J. and Jiao, Y. and Sedigh Sarvestani, Sahra},
year = {2009},
title = {Energy-Efficient Scheduling Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels},
notes = {What is the status? Still under revision?}
}
BibTeX Citation

@inproceedings{HuS09d,
address = {Wuhan, China},
author = {Hurson, A. R. and Sedigh Sarvestani, Sahra},
month = dec,
year = {2009},
pages = {1--4},
title = {A pervasive computing platform for individualized higher education},
booktitle = {Proceedings of the International Conference on Computational Intelligence and Software Engineering (CiSE '09)},
doi = {10.1109/CISE.2009.5363432}
}
BibTeX Citation

@inproceedings{Se09,
author = {Sedigh Sarvestani, Sahra},
booktitle = {Ninth Annual International Symposium on Applications and the Internet (SAINT '09)},
title = {Emerging Pervasive Systems - Research Challenges and Proposed Solutions (Panel)},
year = {2009},
pages = {xx-xxi},
doi = {10.1109/SAINT.2009.78},
month = jul,
address = {Seattle, USA}
}
BibTeX Citation

@inproceedings{ShS09a,
address = {Orlando, USA},
author = {Shah, P. and Singh, A. and Agarwal, S. and Sedigh Sarvestani, Sahra},
month = apr,
year = {2009},
title = {Sensor data fusion for spectroscopy-based detection of explosives},
booktitle = {Proc. 4th SPIE Symp. on Defense, Security + Sensing},
doi = {10.1117/12.819902}
}
BibTeX Citation

@inproceedings{HaB09b,
address = {Stanford, USA},
author = {Harms, T. and Shah, P. and Sedigh Sarvestani, Sahra and Bourque, Z. and Bastianini, F.},
month = sep,
year = {2009},
pages = {909--917},
title = {Zigbee-enabled structural health monitoring with the {SmartBrick} network},
booktitle = {Proceedings of the 7th International Workshop on Structural Health Monitoring (IWSHM '09)},
url = {https://www.researchgate.net/publication/215480994\_Zigbee-Enabled\_Structural\_Health\_Monitoring\_with\_the\_SmartBrick\_Network}
}
BibTeX Citation

@inproceedings{HaB09,
author = {Harms, T. and Bastianini, F. and Sedigh Sarvestani, Sahra},
booktitle = {12th International IEEE Conference on Intelligent Transportation Systems},
title = {Recent enhancements to the {SmartBrick} structural health monitoring platform},
year = {2009},
pages = {1-6},
doi = {10.1109/ITSC.2009.5309517},
month = oct
}
BibTeX Citation

@inproceedings{AlG09,
author = {Al-Assadi, W. K. and Gandla, S. and Sedigh Sarvestani, Sahra and Dugganapally, I. P.},
booktitle = {12th International IEEE Conference on Intelligent Transportation Systems},
title = {Design of a flood prediction system},
year = {2009},
pages = {1-6},
doi = {10.1109/ITSC.2009.5309516},
month = oct
}
BibTeX Citation

@inproceedings{JeC09,
author = {Jean, E. and Collins, R. T. and Hurson, A. R. and Sedigh Sarvestani, Sahra and Jiao, Y.},
booktitle = {5th International Conference on Wireless Communications, Networking and Mobile Computing},
title = {Pushing Sensor Network Computation to the Edge},
year = {2009},
pages = {1--4},
doi = {10.1109/WICOM.2009.5302659},
month = sep
}
BibTeX Citation

@inproceedings{HaB10,
title = {Design and testing of a low-power wireless sensor network for structural health monitoring of bridges},
author = {Harms, T and Banks, B and Sedigh Sarvestani, Sahra and Bastianini, Filippo},
booktitle = {Proceedings of the 16th International SPIE Symposium on Smart Structures and Materials and Non-destructive Evaluation and Health Monitoring},
year = {2009},
doi = {10.1117/12.815923}
}
BibTeX Citation

@inproceedings{BaH09,
title = {A low-cost wireless system for autonomous generation of road safety alerts},
author = {Banks, Bentley and Harms, T. and Sedigh Sarvestani, Sahra and Bastianini, Filippo},
booktitle = {Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems},
year = {2009},
doi = {10.1117/12.817851}
}
BibTeX Citation

@inproceedings{FaS08,
author = {Faza, Ayman Z. and Sedigh Sarvestani, Sahra and McMillin, Bruce M.},
year = {2008},
pages = {429--439},
title = {The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling},
booktitle = {Proceedings of the 27th international conference on Computer Safety, Reliability, and Security (SAFECOMP '08)},
doi = {10.1007/978-3-540-87698-4\_35}
}
BibTeX Citation

@inproceedings{HaB08a,
title = {Enhancement of autonomous real-time {SHM} with short-range wireless communication},
author = {Harms, T and Banks, B and Bastianini, F and Sedigh Sarvestani, Sahra},
booktitle = {The 4th European Workshop on Structural Health Monitoring (EWSHM 2008)},
year = {2008},
url = {https://www.researchgate.net/publication/215481016\_Enhancement\_of\_autonomous\_real-time\_SHM\_with\_short-range\_wireless\_communication}
}
BibTeX Citation

@inproceedings{GaA08,
author = {Gandla, S. and Al-Assadi, W. K. and Sedigh Sarvestani, Sahra and Rao, R. A. R.},
booktitle = {IEEE Region 5 Conference},
title = {Design and {FPGA} Prototyping of a Flood Prediction System},
year = {2008},
pages = {1-6},
doi = {10.1109/TPSD.2008.4562765},
month = apr
}
BibTeX Citation

@inproceedings{HaB08b,
title = {An embedded wireless system for remote monitoring of bridges},
author = {Harms, T and Bastianini, Filippo and Sedigh Sarvestani, Sahra},
booktitle = {The 15th International Symposium on Smart Structures and Materials \& Nondestructive Evaluation and Health Monitoring},
year = {2008},
doi = {10.1117/12.780421}
}
BibTeX Citation

@inproceedings{FaS07,
volume = {4680},
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra and McMillin, B. M.},
month = sep,
year = {2007},
pages = {370--383},
title = {Reliability Modeling for the Advanced Electric Power Grid},
booktitle = {Proc. 26th Int'l. Conf. Computer Safety, Reliability and Security (SAFECOMP)},
doi = {10.1007/978-3-540-75101-4\_35}
}
BibTeX Citation

@inproceedings{Se07,
author = {Sedigh Sarvestani, Sahra},
booktitle = {31st Annual International Computer Software and Applications Conference (COMPSAC '07)},
title = {Ethics in Computing (Panel)},
year = {2007},
volume = {1},
pages = {16-16},
doi = {10.1109/COMPSAC.2007.111},
month = jul
}
BibTeX Citation

@inproceedings{BaS07a,
title = {An autonomous networked wireless device for structural health monitoring},
author = {Bastianini, Filippo and Sedigh Sarvestani, Sahra and Nanni, A and Plessi, V and Galati, N},
booktitle = {Proceedings of the 3rd International Conference on Structural Health Monitoring of Intelligent Infrastructure},
address = {Vancouver, Canada},
url = {https://www.researchgate.net/publication/215481061\_An\_autonomous\_networked\_wireless\_device\_for\_structural\_health\_monitoring},
year = {2007}
}
BibTeX Citation

@inproceedings{BaS07b,
title = {A low-cost wireless system for real-time structural health monitoring},
author = {Bastianini, F and Sedigh Sarvestani, Sahra and Galati, N and Plessi, V and Nanni, A},
booktitle = {Proceedings of the 6th International Workshop on Structural Health Monitoring (IWSHM '07)},
month = sep,
address = {Stanford, USA},
pages = {129--136},
year = {2007},
url = {https://www.researchgate.net/publication/215481053\_A\_low-cost\_wireless\_system\_for\_real-time\_structural\_health\_monitoring}
}
BibTeX Citation

@incollection{PlB07,
author = {Plessi, Valerio and Bastianini, Filippo and Sedigh Sarvestani, Sahra},
title = {A Wireless System for Real-Time Environmental and Structural Monitoring},
booktitle = {Proceedings of the 5th IFIP Workshop on Software Technologies for Future Embedded \& Ubiquitous Systems (SEUS '07)},
address = {Santorini Island, Greece},
year = {2007},
publisher = {Springer Berlin Heidelberg},
pages = {456--465},
doi = {10.1007/978-3-540-75664-4\_48}
}
BibTeX Citation

@inproceedings{FrS07,
author = {Freiberger, T. V. and Sedigh Sarvestani, Sahra and Atekwana, E.},
booktitle = {International Conference on Sensor Technologies and Applications (SENSORCOMM '07)},
title = {Hydrological Monitoring with Hybrid Sensor Networks},
year = {2007},
pages = {484-489},
address = {Valencia, Spain},
doi = {10.1109/SENSORCOMM.2007.4394967},
month = oct
}
BibTeX Citation

@inproceedings{PlB06,
address = {Chicago, USA},
author = {Plessi, V. and Bastianini, F. and Sedigh Sarvestani, Sahra},
month = sep,
year = {2006},
title = {An Autonomous and Adaptable Wireless Device for Flood Monitoring},
booktitle = {Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC '06)},
doi = {10.1109/COMPSAC.2006.110}
}
BibTeX Citation

@inproceedings{FaS06,
author = {Faza, A. Z. and Sedigh Sarvestani, Sahra},
booktitle = {30th Annual International Computer Software and Applications Conference (COMPSAC '06)},
title = {A General Purpose Framework for Wireless Sensor Network Applications},
year = {2006},
volume = {2},
pages = {356-358},
doi = {10.1109/COMPSAC.2006.97},
month = sep
}
BibTeX Citation

@incollection{MaS06book,
author = {A. Masood, Sedigh Sarvestani, Sahra and Ghafoor, A.},
editor = {Warkentin, M. and Vaughn, R. B.},
year = {2006},
title = {Security Management for an e-Enterprise},
booktitle = {Enterprise Information Systems Assurance and System Security: Managerial and Technical Issues},
url = {https://books.google.com/books?hl=en&lr=&id=b6D\_x-BgfvYC&oi=fnd&pg=PA95&dq=Security+management+for+an+e-enterprise&ots=uFtDBOLlK1&sig=Ot71aCgt2f63z\_4jT6TeZH5v4nQ#v=onepage&q=Security%20management%20for%20an%20e-enterprise&f=false},
doi = {10.4018/978-1-59140-911-3.ch007}
}
BibTeX Citation

@inproceedings{MaS05,
author = {Masood, A. and Sedigh Sarvestani, Sahra and Ghafoor, A.},
booktitle = {29th Annual International Computer Software and Applications Conference (COMPSAC'05)},
title = {Efficiently managing security concerns in component based system design},
year = {2005},
volume = {2},
pages = {164-169},
doi = {10.1109/COMPSAC.2005.71},
month = jul
}
BibTeX Citation

@inproceedings{SeG05,
author = {Sedigh Sarvestani, Sahra and Ghafoor, A.},
booktitle = {10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems},
title = {A graph-based model for component-based software development},
year = {2005},
pages = {254-259},
doi = {10.1109/WORDS.2005.8},
month = feb
}
BibTeX Citation

@incollection{SeG02book,
series = {Lecture Notes in Computer Science},
volume = {2693},
author = {Sedigh Sarvestani, Sahra, A. Ghafoor and Paul, R. A.},
editor = {Cechich, A.},
month = jul,
year = {2003},
title = {A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software},
booktitle = {Component-Based Software Quality: Methods and Techniques},
publisher = {Springer-Verlag},
doi = {10.1007/978-3-540-45064-1\_17}
}
BibTeX Citation

@incollection{SeG03a,
author = {Sedigh Sarvestani, Sahra and Ghafoor, Arif and Paul, Raymond A.},
year = {2003},
pages = {374--402},
title = {A metrics-guided framework for cost and quality management of component-based software},
booktitle = {Component-Based Software Quality},
publisher = {Springer},
doi = {10.1007/978-3-540-45064-1_17}
}
BibTeX Citation

@inproceedings{SeS03,
title = {Research Challenges in e-Enterprise Security},
author = {Sedigh Sarvestani, Sahra and Shafiq, Basit and Masood, Ammar and Ghafoor, Arif},
booktitle = {Proceedings of the IEEE International Workshop on Frontiers of Information Technology},
address = {Lahore, Pakistan},
year = {2003}
}
BibTeX Citation

@inproceedings{SeG03b,
author = {Sedigh Sarvestani, Sahra and Ghafoor, A. and Paul, R. A.},
booktitle = {Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing},
title = {Metrics and models for cost and quality of component-based software},
year = {2003},
pages = {149-155},
doi = {10.1109/ISORC.2003.1199249},
month = may
}
BibTeX Citation

@inproceedings{SeG02abs,
address = {Tokyo, Japan},
author = {Sedigh Sarvestani, Sahra and Ghafoor, A. and Paul, R. A.},
month = oct,
year = {2002},
title = {Metrics-based framework for decision making in COTS-based software systems (short paper)},
booktitle = {Proceedings of the IEEE/IEICE International Symposium on High-Assurance Systems Engineering (HASE '02)},
doi = {10.1109/HASE.2002.1173130}
}
BibTeX Citation

@inproceedings{SeG02,
author = {Sedigh Sarvestani, Sahra and Ghafoor, A. and Paul, R. A.},
booktitle = {Proceedings of the 26th Annual International Computer Software and Applications},
title = {Temporal modeling of software test coverage},
year = {2002},
pages = {823-828},
doi = {10.1109/CMPSAC.2002.1045109},
month = aug
}
BibTeX Citation

@article{FaL01,
volume = {34},
number = {9},
journal = {IEEE Computer, Special Issue on Continuous Media on Demand},
author = {Fahmi, H. and Latif, M. and Sedigh Sarvestani, Sahra and Ghafoor, A. and Liu, P. and Hsu, L. H.},
month = sep,
year = {2001},
title = {Proxy servers for scalable interactive video support},
doi = {10.1109/2.947092}
}
BibTeX Citation

@article{SeG01e,
volume = {34},
number = {5},
journal = {IEEE Computer, Special Issue on Software Engineering on Internet Time},
author = {Sedigh Sarvestani, Sahra and Ghafoor, A. and Paul, R. A.},
month = may,
year = {2001},
title = {Software engineering metrics for COTS-based systems},
doi = {10.1109/2.920611}
}
BibTeX Citation

@inproceedings{SeG01a,
author = {Sedigh Sarvestani, Sahra and Ghafoor, A. and Paul, R. A.},
booktitle = {25th Annual International Computer Software and Applications Conference (COMPSAC '01)},
title = {Metrics-guided quality management for component-based software systems},
year = {2001},
pages = {303-308},
doi = {10.1109/CMPSAC.2001.960631},
issn = {0730-3157},
month = oct
}
BibTeX Citation

@inproceedings{AlP00c,
address = {San Jose, USA},
author = {Sedigh Sarvestani, Sahra and Paul, R. A. and Ghafoor, A.},
month = oct,
year = {2000},
title = {A New Approach to Temporal Coverage Modeling and Assurance-Based Testing (poster)},
booktitle = {Proceedings of the International Symposium on Software Reliability Engineering (ISSRE '00)}
}
BibTeX Citation

@inproceedings{AlS00a,
author = {Ali, S. and Siegel, H. J. and Maheswaran, M. and Hensgen, D. and Sedigh Sarvestani, Sahra},
booktitle = {Proceedings of the 9th Heterogeneous Computing Workshop (HCW 2000)},
title = {Task execution time modeling for heterogeneous computing systems},
year = {2000},
pages = {185-199},
doi = {10.1109/HCW.2000.843743},
issn = {1097-5209},
month = aug
}
BibTeX Citation

@article{AlS00b,
title = {Representing Task and Machine Heterogeneities for Heterogeneous Computing Systems},
author = {Ali, Shoukat and Siegel, Howard Jay and Maheswaran, Muthucumaru and Hensgen, Debra and Sedigh Sarvestani, Sahra},
journal = {Tamkang Journal of Science and Engineering, Special 50th Anniversary Issue},
volume = {3},
number = {3},
year = {2000},
month = sep,
pages = {195-207},
url = {http://www2.tku.edu.tw/~tkjse/3-3/3-3-9.pdf},
doi = {http://dx.doi.org/10.6180/jase.2000.3.3.09}
}
BibTeX Citation

@inproceedings{BaP99,
author = {Bashandy, A. and Paul, R. and Baqai, S. and Sedigh Sarvestani, Sahra and Fahmi, H. and Ghafoor, A.},
booktitle = {Proceedings of IEEE Symposium on Application-Specific Systems and Software Engineering and Technology (ASSET '99)},
title = {A protocol architecture for guaranteed quality of service in collaborated multimedia applications},
year = {1999},
pages = {120-127},
doi = {10.1109/ASSET.1999.756760},
month = aug
}
BibTeX Citation

@inproceedings{SeJ98,
author = {Sedigh Sarvestani, Sahra and Joshi, J. and Bashandy, A. and Ghafoor, A.},
booktitle = {Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems},
title = {Evaluation of filtering mechanisms for {MPEG} video communications},
year = {1998},
pages = {449-454},
doi = {10.1109/RELDIS.1998.740539},
month = oct
}

Modeling and Analysis of Cyber-Physical Critical Infrastructures

Journal Articles

Woodard Mark, Marashi Koosha, and Sedigh Sarvestani Sahra, Survivability Evaluation and Importance Analysis for Complex Networked Systems, IEEE Transactions on Network Science and Engineering, 2017.
Status: Submitted
Export to BibTeX
Marashi K., Sedigh Sarvestani Sahra, and Hurson Ali R., Consideration of Cyber-Physical Interdependencies in Reliability Modeling of Smart Grids, IEEE Transactions on Sustainable Computing, 2017.
Status: Published
Export to BibTeX
Jarus N., Woodard Mark, Marashi Koosha, Sedigh Sarvestani Sahra, Lin Jing, Faza Ayman, and Maheshwari Pratik, Survey on Modeling and Design of Cyber-Physical Systems, Transactions on Cyber-Physical Systems, 2017.
Status: Submitted
Export to BibTeX
Marashi K., Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Quantitative Reliability Analysis for Intelligent Water Distribution Networks, Transactions of the American Nuclear Society, Feb. 2014.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., A case study in quantitative analysis of cyber-physical systems: reliability of the electric power grid, IEEE Trans. Rel., 2013.
Status: Under review
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., An integrated cyber-physical reliability model for the Smart Grid, Reliability Engineering and System Safety, 2013.
Status: Under review
Export to BibTeX
White S., Sedigh Sarvestani Sahra, and Hurson A. R., Security Concepts for Cloud Computing, Principles, Methodologies, and Service-Oriented Approaches for Cloud Computing, pp. 116–142, 2013.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra and Hurson Ali R., Introduction to green and sustainable computing, Part I of Advances in Computers, vol. 87, p. 16, 2012.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., A semantic agent framework for cyber-physical systems, Semantic Agent Systems: Foundations and Applications, 2011.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., Integrated Cyber-physical Simulation of Intelligent Water Distribution Networks, Scientific and Engineering Applications Using MATLAB, 2011.
Status: Published
Export to BibTeX
Lin J. and Sedigh Sarvestani Sahra, Reliability Modeling for Intelligent Water Distribution Networks, Int’l. J. of Performability Engineering, Special Issue on Performance and Dependability Modeling of Dynamic Systems, vol. 7, no. 5, pp. 467–478, Sep. 2011.
Status: Published
Export to BibTeX

Book Chapters

Woodard Mark, Wisely Michael, and Sedigh Sarvestani Sahra, A Survey of Data Cleansing Techniques for Cyber-Physical Critical Infrastructure Systems, vol. 102, Hurson Ali R. and Goudarzi Maziar, Eds. Elsevier, 2016, pp. 63–110.
Status: Published
Export to BibTeX
Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Propagation of Corrupted Data in Critical Infrastructure Cyber-Physical Systems: A Research Survey, Elsevier, 2015.
Status: Published
Export to BibTeX
Woodard Mark, Sedigh Sarvestani Sahra, and Hurson Ali R., A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems, vol. 98, Hurson Ali R., Ed. Elsevier, 2015, p. 5987.
Status: Published
Export to BibTeX
White Steven C. and Sedigh Sarvestani Sahra, Comparison of Security Models: Attack Graphs Versus Petri Nets, vol. 94, Hurson A. R., Ed. Elsevier, 2014, pp. 1 – 24.
Status: Published
Export to BibTeX
Woodard M. and Sedigh Sarvestani Sahra, Modeling of autonomous vehicle operation in intelligent transportation systems, in Software Engineering for Resilient Systems, vol. 8166, Gorbenko A., Romanovsky A., and Kharchenko V., Eds. Springer Berlin Heidelberg, Oct. 2013, pp. 133–140.
Status: Published
Export to BibTeX
Lin Jing, Hurson Ali, and Sedigh Sarvestani Sahra, Knowledge Management For Fault-Tolerant Water Distribution, in Large Scale Network-Centric Distributed Systems, Sarbazi-Azad Hamid and Zomaya Albert Y., Eds. John Wiley & Sons, Inc., 2013, pp. 649–677.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid, in Proc. 29th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), vol. 6351, 2010, pp. 277–290.
Status: Published
Export to BibTeX

Conference Articles

Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Towards Refinement and Generalization of Reliability Models Based on Component States, in Proc. Resilience Week 2019, San Antonio, TX, USA, Nov. 2019.
Status: Published
Export to BibTeX
Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Formalizing Cyber–Physical Model Transformation via Abstract Interpretation, in Proc. 19th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Hangzhou, China, Jan. 2019.
Status: Published
Export to BibTeX
Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Facilitating Model–Based Design and Evaluation for Sustainability, in Proc. 9th IEEE Int’l. Green and Sustainable Computing Conf. (IGSC), Pittsburgh, PA, USA, Oct. 2018.
Status: Published
Export to BibTeX
Woodard Mark, Sedigh Sarvestani Sahra, and Hurson Ali R., A Petri-Net Model for Propagation of Corrupted Data in a Networked System, 2017.
Status: Under review
Export to BibTeX
Alobaidi Isam A., Sedigh Sarvestani Sahra, and Hurson Ali R., Survivability analysis and recovery support for smart grids, in In Proceedings of the 4th International Symposium on Resilient Cyber Systems, Chicago, USA, Aug. 2016.
Status: Published
Export to BibTeX

Awards: Recipient of best paper award
Marashi K., Sedigh Sarvestani Sahra, and Hurson Ali R., Quantification and Analysis of Interdependency in Cyber-Physical Systems, in Proc. of the 3rd Int’l. Workshop on Reliability and Security Aspects for Critical Infrastructure (ReSA4CI ’16), in conjunction with the 46th IEEE/IFIP Int’l. Conf. on Dependable Systems and Networks (DSN ’16), Toulouse, France, Jun. 2016.
Status: Published
Export to BibTeX
Jarus N., Sedigh Sarvestani Sahra, and Hurson Ali R., Models, Metamodels, and Model Transformation for Cyber-Physical Systems, in 7th IEEE International Green and Sustainable Computing Conference (IGSC), Nov. 2016.
Status: Published
Export to BibTeX
Marashi K. and Sedigh Sarvestani Sahra, Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges, in Proc. 15th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Miami, USA, Jan. 2014.
Status: Published
Export to BibTeX
Albasrawi Murtadha N., Jarus N., Joshi Kamlesh A., and Sedigh Sarvestani Sahra, Analysis of Reliability and Resilience for Smart Grids, in Proceedings of the 38th Annual IEEE Computer Software and Applications Conference (COMPSAC), Jul. 2014, pp. 529–534.
Status: Published
Export to BibTeX
Marashi K., Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Quantitative Reliability Analysis for Intelligent Water Distribution Networks, in Proc. Embedded Topical Meeting on Risk Management for Complex Socio-Technical Systems (RM4CSS), Annual Meeting of the American Nuclear Society, Washington, D.C., USA, Nov. 2013.
Status: Published
Export to BibTeX
Faza A., Lin J., and Sedigh Sarvestani Sahra, Net-Centric Assurance for Critical Infrastructure Systems, in Meeting of the NSF Net-Centric Software & Systems Industry/University Cooperative Research Center, Rolla, USA, Feb. 2012.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Hurson A. R., Ontologies and Decision Support for Failure Mitigation in Intelligent Water Distribution Networks, in Proc. 45th Hawaii Int’l. Conf. on System Sciences (HICSS), Maui, USA, Jan. 2012.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., A Game-Theoretic Approach to Decision Support for Intelligent Water Distribution, in Proceedings of the Hawaii International Conference on System Sciences (HICSS ’11), Kauai, USA, Jan. 2011.
Status: Published
Export to BibTeX

Awards: Best paper nominee
Lin J., Sedigh Sarvestani Sahra, and Hurson A. R., An Agent-Based Approach to Reconciling Data Heterogeneity in Cyber-Physical Systems, in Proceedings of the 20th IEEE International Heterogeneity in Computing Workshop (HCW ’11), Anchorage, USA, May 2011, pp. 93–103.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., Modeling Cyber-Physical Systems with Semantic Agents, in Proceedings of the 34th IEEE International Computer Software and Applications Conference (COMPSAC ’10), Seoul, South Korea, Jul. 2010.
Status: Published
Export to BibTeX
Lin Jing, Sedigh Sarvestani Sahra, and Miller Ann, Modeling Cyber-Physical Systems with Semantic Agents, in Proceedings of the IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW ’10), Washington, DC, USA, 2010, pp. 13–18.
Status: Published
Export to BibTeX
Lin Jing, Sedigh Sarvestani Sahra, and Miller A., A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research, in Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC ’09), 2009, vol. 1, pp. 668 –671.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure, in Proc. 28th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), Sep. 2009, vol. 5775, pp. 257–269.
Status: Published
Export to BibTeX

Awards: Recipient of best paper award
Lin Jing, Sedigh Sarvestani Sahra, and Miller A., Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution, in Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC ’09), 2009, pp. 690–695.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research, in 33rd Annual IEEE International Computer Software and Applications Conference, Jul. 2009, vol. 1, pp. 672–675.
Status: Published
Export to BibTeX
Faza Ayman Z., Sedigh Sarvestani Sahra, and McMillin Bruce M., The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling, in Proceedings of the 27th international conference on Computer Safety, Reliability, and Security (SAFECOMP ’08), 2008, pp. 429–439.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Reliability Modeling for the Advanced Electric Power Grid, in Proc. 26th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), Sep. 2007, vol. 4680, pp. 370–383.
Status: Published
Export to BibTeX

Books

Hurson A. and Sedigh Sarvestani Sahra, Eds., Dependable and Secure Systems Engineering. Elsevier, 2012.
Status: Published
Export to BibTeX

Pervasive Computing

Journal Articles

Morrow T., Sedigh Sarvestani Sahra, and Hurson A. R., PERCEPOLIS: Cyberinfrastructure for Personalized Education, Handbook of Applied Learning Theory and Design in Modern Education, 2016.
Status: Published
Export to BibTeX
Wisely Michael, Hurson A. R., and Sedigh Sarvestani Sahra, Public Data Dissemination via Broadcasting, Journal of Information Processing, vol. 23, no. 3, 2015.
Status: Published
Export to BibTeX
Wagner C. Shaun, Sedigh Sarvestani Sahra, and Hurson A. R., Algorithms and Techniques for Proactive Search, Journal of Information Processing, vol. 22, no. 3, pp. 425–434, 2014.
Status: Published
Export to BibTeX
Wagner C. S., Sedigh Sarvestani Sahra, and Hurson A. R., Proactive Search: Using Outcome-Based Dynamic Nearest-Neighbor Recommendation Algorithms to Increase Search Engine Efficacy, ACM Transactions on Information Systems, 2014.
Status: Under revision for resubmission
Export to BibTeX
Jean E., Sedigh Sarvestani Sahra, Hurson A. R., and Shirazi B., Tools and techniques for interoperability and dynamic reconfiguration of pervasive systems, Pervasive Computing and Networking, 2011.
Status: Published
Export to BibTeX
Hurson A. R. and Sedigh Sarvestani Sahra, PERCEPOLIS: Pervasive Cyberinfrastructure for Personalized Learning and Instructional Support, Intelligent Information Management, vol. 2, no. 10, pp. 583–593, Oct. 2010.
Status: Published
Export to BibTeX
Hurson A. R., Sun B., Hannan J., Jiao Y., and Sedigh Sarvestani Sahra, Energy-Efficient Scheduling Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, IEEE Transactions on Knowledge and Data Engineering, 2009.
Status: Under revision
Export to BibTeX

Book Chapters

Morrow Tyler, Sedigh Sarvestani Sahra, and Hurson Ali R., Pervasive Cyberinfrastructure for Personalized Education, in Handbook of Research on Applied Learning Theory and Design in Modern Education, vol. 2, Hershey, USA: IGI Global, 2016, pp. 817–839.
Status: Published
Export to BibTeX
Heendaliya Lasanthi, Wisely Michael, Lin Dan, Sedigh Sarvestani Sahra, and Hurson Ali, Influence-Aware Predictive Density Queries under Road-Network Constraints, in Advances in Spatial and Temporal Databases, no. 9239, Claramunt Christophe, Schneider Markus, Wong Raymond Chi-Wing, Xiong Li, Loh Woong-Kee, Shahabi Cyrus, and Li Ki-Joune, Eds. Springer International Publishing, Aug. 2015, pp. 80–97.
Status: Published
Export to BibTeX
Heendaliya Lasanthi, Lin Dan, and Hurson Ali, Continuous Predictive Line Queries for On-the-Go Traffic Estimation, in Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII, no. 8980, Hameurlain Abdelkader, Küng Josef, Wagner Roland, Decker Hendrik, Lhotska Lenka, and Link Sebastian, Eds. Springer Berlin Heidelberg, 2015, pp. 80–114.
Status: Published
Export to BibTeX
Wagner C. Shaun, Sedigh Sarvestani Sahra, Hurson A. R., and Shirazi Behrooz, A Survey of Techniques for Improving Search Engine Scalability through Profiling, Prediction, and Prefetching of Query Results, in Scalable Computing and Communications: Theory and Practice, Khan Samee U., Zomaya Albert Y., and Wang Lizhe, Eds. New Jersey, USA: Wiley-IEEE Computer Society Press, Jan. 2013, pp. 467–506.
Status: Published
Export to BibTeX
Wagner C. Shaun, Sedigh Sarvestani Sahra, and Hurson A. R., Accurate and Efficient Search Prediction Using Fuzzy Matching and Outcome Feedback, in Proc. 6th Int’l. Conf. on Similarity Search and Applications (SISAP), vol. 8199, Brisaboa Nieves, Pedreira Oscar, and Zezula Pavel, Eds. Springer Berlin Heidelberg, 2013, pp. 219–232.
Status: Published
Export to BibTeX
Jean E., Sedigh Sarvestani Sahra, Hurson Ali R., and Shirazi B., Tools and Techniques for Dynamic Reconfiguration and Interoperability of Pervasive Systems, in Pervasive Computing and Networking, John Wiley & Sons, Jun. 2011, pp. 09–26.
Status: Published
Export to BibTeX

Conference Articles

Morrow Tyler, Sedigh Sarvestani Sahra, and Hurson Ali R., Decision Support for Personalized Education, in Proc. 17th Int’l. IEEE Conf. on Information Reuse and Integration (IRI), Pittsburgh, USA, Jul. 2016.
Status: Published
Export to BibTeX
Morrow T., Sedigh Sarvestani Sahra, and Hurson A. R., Algorithmic Decision Support for Personalized Education, in 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), Jul. 2016, pp. 188–197.
Status: Published
Export to BibTeX
Wisely Michael, Sedigh Sarvestani Sahra, and Hurson Ali R., Energy Consumption of Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, in Proceedings of 2016 Seventh International Green and Sustainable Computing Conference (IGSC), Hangzhou, China, 2016.
Status: Published
Export to BibTeX
Morrow Tyler, A Context-aware Ontology for Personalized Learning: Pervasive Computing for Educational Technology, in IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops), 2015, pp. 242–244.
Status: Published
Export to BibTeX
Wisely M., Hurson A., and Sedigh Sarvestani Sahra, An extensible simulation framework for evaluating centralized traffic prediction algorithms, in International Conference on Connected Vehicles and Expo (ICCVE), Oct. 2015, p. 391396.
Status: Published
Export to BibTeX
Bahmani A., Sedigh Sarvestani Sahra, and Hurson A. R., Ontology-Based Recommendation Algorithms for Personalized Education, in Proceedings of the 23rd International Conference on Database and Expert Systems Applications (DEXA ’12), Vienna, Austria, Sep. 2012, pp. 111–120.
Status: Published
Export to BibTeX
Hurson A. R., Sedigh Sarvestani Sahra, Miller L., and Shirazi B., Enriching STEM Education through Personalization and Teaching Collaboration, in Proceedings of the 7th IEEE International Workshop on PervasivE Learning, Life, and Leisure (PerEL ’11), Seattle, USA, Mar. 2011, pp. 543 – 549.
Status: Published
Export to BibTeX
Bahmani Amir, Sedigh Sarvestani Sahra, and Hurson Ali R, Context-aware recommendation algorithms for the PERCEPOLIS personalized education platform, in Frontiers in Education Conference (FIE), 2011, pp. 1–6.
Status: Published
Export to BibTeX
Hurson A. R. and Sedigh Sarvestani Sahra, Transforming the Instruction of Introductory Computing to Engineering Students, in IEEE Transforming Engineering Education: Creating Interdisciplinary Skills for Complex Global Environments, Apr. 2010, pp. 1–19.
Status: Published
Export to BibTeX
Hurson A. R. and Sedigh Sarvestani Sahra, A pervasive computing platform for individualized higher education, in Proceedings of the International Conference on Computational Intelligence and Software Engineering (CiSE ’09), Wuhan, China, Dec. 2009, pp. 1–4.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Emerging Pervasive Systems - Research Challenges and Proposed Solutions (Panel), in Ninth Annual International Symposium on Applications and the Internet (SAINT ’09), Seattle, USA, Jul. 2009, pp. xx-xxi.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ethics in Computing (Panel), in 31st Annual International Computer Software and Applications Conference (COMPSAC ’07), Jul. 2007, vol. 1, p. 1616.
Status: Published
Export to BibTeX

Assurance and Development of Embedded Systems

Journal Articles

Jarus Natasha, Sabatini Antonio, Maheshwari Pratik, and Sedigh Sarvestani Sahra, Detection, Analysis, and Prediction of the Effects of Electrostatic Discharge on USB Peripherals, IEEE Transactions on Instrumentation and Measurement, 2015.
Status: Submitted
Export to BibTeX
Maheshwari P., Sedigh Sarvestani Sahra, and Pommerenke D., Software-Based Methodologies for Root-Cause Analysis of Embedded System Failures Resulting from Electrostatic Discharge, IEEE Transactions on Instrumentation and Measurement, 2014.
Status: Submitted
Export to BibTeX
Winter V., Cukic B., Khoshgoftaar T., Mori K., Paul R., Pérez-Leguizamo C., Sedigh Sarvestani Sahra, Sloan J., Vouk M., and Yen I., High Consequence Systems and Semantic Computing, International Journal of Semantic Computing, vol. 7, no. 3, pp. 291–324, Sep. 2013.
Status: Published
Export to BibTeX
Jean E., Rauschert I., Collins R., Sedigh Sarvestani Sahra, Hurson A., and Jiao C., RISN: An Efficient Sensor Network Overlay with Support for Autonomous and Distributed Applications, International Journal of Communications, Network and System Sciences, vol. 4, no. 1, pp. 1–16, Jan. 2011.
Status: Published
Export to BibTeX
Harms T., Sedigh Sarvestani Sahra, and Bastianini F., Structural health monitoring of bridges using wireless sensor networks, IEEE Instrumentation and Measurement Magazine, vol. 13, no. 6, pp. 14–18, Dec. 2010.
Status: Published
Export to BibTeX

Book Chapters

Bastianini F., Sedigh Sarvestani Sahra, Pascale G., and Perri G., Cost-Effective Dynamic Structural Health Monitoring with a Compact and Autonomous Wireless Sensor System, in Nondestructive Testing of Materials and Structures, Springer Netherlands, 2013, pp. 1065–1070.
Status: Published
Export to BibTeX
Plessi Valerio, Bastianini Filippo, and Sedigh Sarvestani Sahra, A Wireless System for Real-Time Environmental and Structural Monitoring, in Proceedings of the 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS ’07), Santorini Island, Greece: Springer Berlin Heidelberg, 2007, pp. 456–465.
Status: Published
Export to BibTeX

Conference Articles

Jarus Natasha, Sabatini Antonio, Maheshwari Pratik, and Sarvestani Sahra Sedigh, Software-Based Monitoring and Analysis of a USB Host Controller Subject to Electrostatic Discharge, in 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), Jun. 2020, pp. 1–7.
Status: Published
Export to BibTeX
Ziegler Brad, Sedigh Sarvestani Sahra, and Hurson A. R., Facilitating Failure Analysis with Software Instrumentation, in Proc. 19th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Hangzhou, China, Jan. 2019.
Status: Published
Export to BibTeX
Sabatini A., Jarus N., Maheshwari P., and Sedigh Sarvestani Sahra, Software instrumentation for failure analysis of USB host controllers, in IEEE International Instrumentation and Measurement Technology Conference (I2MTC), May 2013, pp. 1109–1114.
Status: Published
Export to BibTeX
Gunasekaran A., Patel N., Cross S., and Sedigh Sarvestani Sahra, Recent enhancements to and applications of the SmartBrick structural health monitoring platform, in Proceedings of the 19th International SPIE Symposium on Smart Structures and Materials and Nondestructive Evaluation and Health Monitoring, San Diego, USA, Mar. 2012.
Status: Published
Export to BibTeX
Gunasekaran A., Patel N., Cross S., and Sedigh Sarvestani Sahra, Towards a military-standard wireless sensor platform for the detection of improvised explosive devices, in Proceedings of the 7th SPIE Symposium on Defense, Security + Sensing, Baltimore, USA, Apr. 2012.
Status: Published
Export to BibTeX
Maheshwari P., Li T., Lee J., Seol B., Sedigh Sarvestani Sahra, and Pommerenke D., Software-Based Analysis of the Effects of Electrostatic Discharge on Embedded Systems, in IEEE Computer Software and Applications Conference (COMPSAC), Jul. 2011, pp. 436 – 441.
Status: Published
Export to BibTeX
Gunasekaran A., Chulick P., and Sedigh Sarvestani Sahra, The SmartBrick wireless sensor node for high-resolution structural health monitoring, in Proceedings of the 18th International SPIE Symposium on Smart Structures and Materials and Nondestructive Evaluation and Health Monitoring, San Diego, USA, Mar. 2011.
Status: Published
Export to BibTeX
Bastianini F., Pascale G., Sedigh Sarvestani Sahra, and Hurson Ali R., Cost Effectiveness of Structural Health Monitoring in Low Sensor Count Installations using a Wireless Autonomous SHM (WASHM) Device, in European Workshop on Cultural Heritage Preservation and Training Day (EWCHP ’11), Jan. 2011.
Status: Published
Export to BibTeX
Gunasekaran A., Chulick P., Sedigh Sarvestani Sahra, and Hurson Ali R., Military-standard sensor nodes for the SmartBrick structural health monitoring platform, in Proceedings of the 8th International Workshop on Structural Health Monitoring (IWSHM ’11), Stanford, USA, Sep. 2011, pp. 2115–2122.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Smart Technology – Applications and Infrastructure, in IEEE 35th Annual Computer Software and Applications Conference, Jul. 2011, pp. 522–522.
Status: Published
Export to BibTeX
Jean E., Collins R. T., Hurson A. R., Sedigh Sarvestani Sahra, and Jiao Y., RISN: An Efficient, Dynamically Tasked and Interoperable Sensor Network Overlay, in IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec. 2010, pp. 224–231.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, High assurance systems: State of the art and practice (plenary panel), in Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium (HASE ’10), San Jose, USA, Nov. 2010, p. xiv.
Status: Published
Export to BibTeX
Asami T. and Sedigh Sarvestani Sahra, Green IT – From Devices to Applications (Panel), in IEEE 34th Annual Computer Software and Applications Conference, Jul. 2010, p. 2424.
Status: Published
Export to BibTeX
Shah P., Singh A., Agarwal S., and Sedigh Sarvestani Sahra, Sensor data fusion for spectroscopy-based detection of explosives, in Proc. 4th SPIE Symp. on Defense, Security + Sensing, Orlando, USA, Apr. 2009.
Status: Published
Export to BibTeX
Harms T., Shah P., Sedigh Sarvestani Sahra, Bourque Z., and Bastianini F., Zigbee-enabled structural health monitoring with the SmartBrick network, in Proceedings of the 7th International Workshop on Structural Health Monitoring (IWSHM ’09), Stanford, USA, Sep. 2009, pp. 909–917.
Status: Published
Export to BibTeX
Harms T., Bastianini F., and Sedigh Sarvestani Sahra, Recent enhancements to the SmartBrick structural health monitoring platform, in 12th International IEEE Conference on Intelligent Transportation Systems, Oct. 2009, p. 16.
Status: Published
Export to BibTeX
Al-Assadi W. K., Gandla S., Sedigh Sarvestani Sahra, and Dugganapally I. P., Design of a flood prediction system, in 12th International IEEE Conference on Intelligent Transportation Systems, Oct. 2009, p. 16.
Status: Published
Export to BibTeX
Jean E., Collins R. T., Hurson A. R., Sedigh Sarvestani Sahra, and Jiao Y., Pushing Sensor Network Computation to the Edge, in 5th International Conference on Wireless Communications, Networking and Mobile Computing, Sep. 2009, pp. 1–4.
Status: Published
Export to BibTeX
Harms T, Banks B, Sedigh Sarvestani Sahra, and Bastianini Filippo, Design and testing of a low-power wireless sensor network for structural health monitoring of bridges, in Proceedings of the 16th International SPIE Symposium on Smart Structures and Materials and Non-destructive Evaluation and Health Monitoring, 2009.
Status: Published
Export to BibTeX
Banks Bentley, Harms T., Sedigh Sarvestani Sahra, and Bastianini Filippo, A low-cost wireless system for autonomous generation of road safety alerts, in Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems, 2009.
Status: Published
Export to BibTeX
Harms T, Banks B, Bastianini F, and Sedigh Sarvestani Sahra, Enhancement of autonomous real-time SHM with short-range wireless communication, in The 4th European Workshop on Structural Health Monitoring (EWSHM 2008), 2008.
Status: Published
Export to BibTeX
Gandla S., Al-Assadi W. K., Sedigh Sarvestani Sahra, and Rao R. A. R., Design and FPGA Prototyping of a Flood Prediction System, in IEEE Region 5 Conference, Apr. 2008, p. 16.
Status: Published
Export to BibTeX
Harms T, Bastianini Filippo, and Sedigh Sarvestani Sahra, An embedded wireless system for remote monitoring of bridges, in The 15th International Symposium on Smart Structures and Materials & Nondestructive Evaluation and Health Monitoring, 2008.
Status: Published
Export to BibTeX
Bastianini Filippo, Sedigh Sarvestani Sahra, Nanni A, Plessi V, and Galati N, An autonomous networked wireless device for structural health monitoring, in Proceedings of the 3rd International Conference on Structural Health Monitoring of Intelligent Infrastructure, Vancouver, Canada, 2007.
Status: Published
Export to BibTeX
Bastianini F, Sedigh Sarvestani Sahra, Galati N, Plessi V, and Nanni A, A low-cost wireless system for real-time structural health monitoring, in Proceedings of the 6th International Workshop on Structural Health Monitoring (IWSHM ’07), Stanford, USA, Sep. 2007, pp. 129–136.
Status: Published
Export to BibTeX
Freiberger T. V., Sedigh Sarvestani Sahra, and Atekwana E., Hydrological Monitoring with Hybrid Sensor Networks, in International Conference on Sensor Technologies and Applications (SENSORCOMM ’07), Valencia, Spain, Oct. 2007, p. 484489.
Status: Published
Export to BibTeX
Plessi V., Bastianini F., and Sedigh Sarvestani Sahra, An Autonomous and Adaptable Wireless Device for Flood Monitoring, in Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC ’06), Chicago, USA, Sep. 2006.
Status: Published
Export to BibTeX
Faza A. Z. and Sedigh Sarvestani Sahra, A General Purpose Framework for Wireless Sensor Network Applications, in 30th Annual International Computer Software and Applications Conference (COMPSAC ’06), Sep. 2006, vol. 2, p. 356358.
Status: Published
Export to BibTeX

Awards: Recipient of best student paper award

Older Publications on Modeling

Journal Articles

Fahmi H., Latif M., Sedigh Sarvestani Sahra, Ghafoor A., Liu P., and Hsu L. H., Proxy servers for scalable interactive video support, IEEE Computer, Special Issue on Continuous Media on Demand, vol. 34, no. 9, Sep. 2001.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Software engineering metrics for COTS-based systems, IEEE Computer, Special Issue on Software Engineering on Internet Time, vol. 34, no. 5, May 2001.
Status: Published
Export to BibTeX
Ali Shoukat, Siegel Howard Jay, Maheswaran Muthucumaru, Hensgen Debra, and Sedigh Sarvestani Sahra, Representing Task and Machine Heterogeneities for Heterogeneous Computing Systems, Tamkang Journal of Science and Engineering, Special 50th Anniversary Issue, vol. 3, no. 3, p. 195207, Sep. 2000.
Status: Published
Export to BibTeX

Book Chapters

A. Masood Sahra and Ghafoor A., Security Management for an e-Enterprise, in Enterprise Information Systems Assurance and System Security: Managerial and Technical Issues, Warkentin M. and Vaughn R. B., Eds. 2006.
Status: Published
Export to BibTeX
Sedigh Sarvestani A. Ghafoor and Paul R. A., A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software, in Component-Based Software Quality: Methods and Techniques, vol. 2693, Cechich A., Ed. Springer-Verlag, Jul. 2003.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor Arif, and Paul Raymond A., A metrics-guided framework for cost and quality management of component-based software, in Component-Based Software Quality, Springer, 2003, pp. 374–402.
Status: Published
Export to BibTeX

Conference Articles

Masood A., Sedigh Sarvestani Sahra, and Ghafoor A., Efficiently managing security concerns in component based system design, in 29th Annual International Computer Software and Applications Conference (COMPSAC’05), Jul. 2005, vol. 2, p. 164169.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra and Ghafoor A., A graph-based model for component-based software development, in 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Feb. 2005, p. 254259.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Shafiq Basit, Masood Ammar, and Ghafoor Arif, Research Challenges in e-Enterprise Security, in Proceedings of the IEEE International Workshop on Frontiers of Information Technology, Lahore, Pakistan, 2003.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Metrics and models for cost and quality of component-based software, in Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, May 2003, p. 149155.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Metrics-based framework for decision making in COTS-based software systems (short paper), in Proceedings of the IEEE/IEICE International Symposium on High-Assurance Systems Engineering (HASE ’02), Tokyo, Japan, Oct. 2002.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Temporal modeling of software test coverage, in Proceedings of the 26th Annual International Computer Software and Applications, Aug. 2002, p. 823828.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Metrics-guided quality management for component-based software systems, in 25th Annual International Computer Software and Applications Conference (COMPSAC ’01), Oct. 2001, p. 303308.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Paul R. A., and Ghafoor A., A New Approach to Temporal Coverage Modeling and Assurance-Based Testing (poster), in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE ’00), San Jose, USA, Oct. 2000.
Status: Published
Export to BibTeX

Awards: Recipient of student travel award
Ali S., Siegel H. J., Maheswaran M., Hensgen D., and Sedigh Sarvestani Sahra, Task execution time modeling for heterogeneous computing systems, in Proceedings of the 9th Heterogeneous Computing Workshop (HCW 2000), Aug. 2000, p. 185199.
Status: Published
Export to BibTeX
Bashandy A., Paul R., Baqai S., Sedigh Sarvestani Sahra, Fahmi H., and Ghafoor A., A protocol architecture for guaranteed quality of service in collaborated multimedia applications, in Proceedings of IEEE Symposium on Application-Specific Systems and Software Engineering and Technology (ASSET ’99), Aug. 1999, p. 120127.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Joshi J., Bashandy A., and Ghafoor A., Evaluation of filtering mechanisms for MPEG video communications, in Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems, Oct. 1998, p. 449454.
Status: Published
Export to BibTeX

Modeling and Analysis of Cyber-Physical Critical Infrastructures

2019

Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Towards Refinement and Generalization of Reliability Models Based on Component States, in Proc. Resilience Week 2019, San Antonio, TX, USA, Nov. 2019.
Status: Published
Export to BibTeX
Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Formalizing Cyber–Physical Model Transformation via Abstract Interpretation, in Proc. 19th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Hangzhou, China, Jan. 2019.
Status: Published
Export to BibTeX

2018

Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Facilitating Model–Based Design and Evaluation for Sustainability, in Proc. 9th IEEE Int’l. Green and Sustainable Computing Conf. (IGSC), Pittsburgh, PA, USA, Oct. 2018.
Status: Published
Export to BibTeX

2017

Woodard Mark, Marashi Koosha, and Sedigh Sarvestani Sahra, Survivability Evaluation and Importance Analysis for Complex Networked Systems, IEEE Transactions on Network Science and Engineering, 2017.
Status: Submitted
Export to BibTeX
Marashi K., Sedigh Sarvestani Sahra, and Hurson Ali R., Consideration of Cyber-Physical Interdependencies in Reliability Modeling of Smart Grids, IEEE Transactions on Sustainable Computing, 2017.
Status: Published
Export to BibTeX
Woodard Mark, Sedigh Sarvestani Sahra, and Hurson Ali R., A Petri-Net Model for Propagation of Corrupted Data in a Networked System, 2017.
Status: Under review
Export to BibTeX
Jarus N., Woodard Mark, Marashi Koosha, Sedigh Sarvestani Sahra, Lin Jing, Faza Ayman, and Maheshwari Pratik, Survey on Modeling and Design of Cyber-Physical Systems, Transactions on Cyber-Physical Systems, 2017.
Status: Submitted
Export to BibTeX

2016

Woodard Mark, Wisely Michael, and Sedigh Sarvestani Sahra, A Survey of Data Cleansing Techniques for Cyber-Physical Critical Infrastructure Systems, vol. 102, Hurson Ali R. and Goudarzi Maziar, Eds. Elsevier, 2016, pp. 63–110.
Status: Published
Export to BibTeX
Alobaidi Isam A., Sedigh Sarvestani Sahra, and Hurson Ali R., Survivability analysis and recovery support for smart grids, in In Proceedings of the 4th International Symposium on Resilient Cyber Systems, Chicago, USA, Aug. 2016.
Status: Published
Export to BibTeX

Awards: Recipient of best paper award
Marashi K., Sedigh Sarvestani Sahra, and Hurson Ali R., Quantification and Analysis of Interdependency in Cyber-Physical Systems, in Proc. of the 3rd Int’l. Workshop on Reliability and Security Aspects for Critical Infrastructure (ReSA4CI ’16), in conjunction with the 46th IEEE/IFIP Int’l. Conf. on Dependable Systems and Networks (DSN ’16), Toulouse, France, Jun. 2016.
Status: Published
Export to BibTeX
Jarus N., Sedigh Sarvestani Sahra, and Hurson Ali R., Models, Metamodels, and Model Transformation for Cyber-Physical Systems, in 7th IEEE International Green and Sustainable Computing Conference (IGSC), Nov. 2016.
Status: Published
Export to BibTeX

2015

Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Propagation of Corrupted Data in Critical Infrastructure Cyber-Physical Systems: A Research Survey, Elsevier, 2015.
Status: Published
Export to BibTeX
Woodard Mark, Sedigh Sarvestani Sahra, and Hurson Ali R., A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems, vol. 98, Hurson Ali R., Ed. Elsevier, 2015, p. 5987.
Status: Published
Export to BibTeX

2014

Marashi K. and Sedigh Sarvestani Sahra, Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges, in Proc. 15th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Miami, USA, Jan. 2014.
Status: Published
Export to BibTeX
White Steven C. and Sedigh Sarvestani Sahra, Comparison of Security Models: Attack Graphs Versus Petri Nets, vol. 94, Hurson A. R., Ed. Elsevier, 2014, pp. 1 – 24.
Status: Published
Export to BibTeX
Albasrawi Murtadha N., Jarus N., Joshi Kamlesh A., and Sedigh Sarvestani Sahra, Analysis of Reliability and Resilience for Smart Grids, in Proceedings of the 38th Annual IEEE Computer Software and Applications Conference (COMPSAC), Jul. 2014, pp. 529–534.
Status: Published
Export to BibTeX
Marashi K., Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Quantitative Reliability Analysis for Intelligent Water Distribution Networks, Transactions of the American Nuclear Society, Feb. 2014.
Status: Published
Export to BibTeX

2013

Marashi K., Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Quantitative Reliability Analysis for Intelligent Water Distribution Networks, in Proc. Embedded Topical Meeting on Risk Management for Complex Socio-Technical Systems (RM4CSS), Annual Meeting of the American Nuclear Society, Washington, D.C., USA, Nov. 2013.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., A case study in quantitative analysis of cyber-physical systems: reliability of the electric power grid, IEEE Trans. Rel., 2013.
Status: Under review
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., An integrated cyber-physical reliability model for the Smart Grid, Reliability Engineering and System Safety, 2013.
Status: Under review
Export to BibTeX
Woodard M. and Sedigh Sarvestani Sahra, Modeling of autonomous vehicle operation in intelligent transportation systems, in Software Engineering for Resilient Systems, vol. 8166, Gorbenko A., Romanovsky A., and Kharchenko V., Eds. Springer Berlin Heidelberg, Oct. 2013, pp. 133–140.
Status: Published
Export to BibTeX
White S., Sedigh Sarvestani Sahra, and Hurson A. R., Security Concepts for Cloud Computing, Principles, Methodologies, and Service-Oriented Approaches for Cloud Computing, pp. 116–142, 2013.
Status: Published
Export to BibTeX
Lin Jing, Hurson Ali, and Sedigh Sarvestani Sahra, Knowledge Management For Fault-Tolerant Water Distribution, in Large Scale Network-Centric Distributed Systems, Sarbazi-Azad Hamid and Zomaya Albert Y., Eds. John Wiley & Sons, Inc., 2013, pp. 649–677.
Status: Published
Export to BibTeX

2012

Faza A., Lin J., and Sedigh Sarvestani Sahra, Net-Centric Assurance for Critical Infrastructure Systems, in Meeting of the NSF Net-Centric Software & Systems Industry/University Cooperative Research Center, Rolla, USA, Feb. 2012.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Hurson A. R., Ontologies and Decision Support for Failure Mitigation in Intelligent Water Distribution Networks, in Proc. 45th Hawaii Int’l. Conf. on System Sciences (HICSS), Maui, USA, Jan. 2012.
Status: Published
Export to BibTeX
Hurson A. and Sedigh Sarvestani Sahra, Eds., Dependable and Secure Systems Engineering. Elsevier, 2012.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra and Hurson Ali R., Introduction to green and sustainable computing, Part I of Advances in Computers, vol. 87, p. 16, 2012.
Status: Published
Export to BibTeX

2011

Lin J., Sedigh Sarvestani Sahra, and Miller A., A semantic agent framework for cyber-physical systems, Semantic Agent Systems: Foundations and Applications, 2011.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., Integrated Cyber-physical Simulation of Intelligent Water Distribution Networks, Scientific and Engineering Applications Using MATLAB, 2011.
Status: Published
Export to BibTeX
Lin J. and Sedigh Sarvestani Sahra, Reliability Modeling for Intelligent Water Distribution Networks, Int’l. J. of Performability Engineering, Special Issue on Performance and Dependability Modeling of Dynamic Systems, vol. 7, no. 5, pp. 467–478, Sep. 2011.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., A Game-Theoretic Approach to Decision Support for Intelligent Water Distribution, in Proceedings of the Hawaii International Conference on System Sciences (HICSS ’11), Kauai, USA, Jan. 2011.
Status: Published
Export to BibTeX

Awards: Best paper nominee
Lin J., Sedigh Sarvestani Sahra, and Hurson A. R., An Agent-Based Approach to Reconciling Data Heterogeneity in Cyber-Physical Systems, in Proceedings of the 20th IEEE International Heterogeneity in Computing Workshop (HCW ’11), Anchorage, USA, May 2011, pp. 93–103.
Status: Published
Export to BibTeX

2010

Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid, in Proc. 29th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), vol. 6351, 2010, pp. 277–290.
Status: Published
Export to BibTeX
Lin J., Sedigh Sarvestani Sahra, and Miller A., Modeling Cyber-Physical Systems with Semantic Agents, in Proceedings of the 34th IEEE International Computer Software and Applications Conference (COMPSAC ’10), Seoul, South Korea, Jul. 2010.
Status: Published
Export to BibTeX
Lin Jing, Sedigh Sarvestani Sahra, and Miller Ann, Modeling Cyber-Physical Systems with Semantic Agents, in Proceedings of the IEEE 34th Annual Computer Software and Applications Conference Workshops (COMPSACW ’10), Washington, DC, USA, 2010, pp. 13–18.
Status: Published
Export to BibTeX

2009

Lin Jing, Sedigh Sarvestani Sahra, and Miller A., A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research, in Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC ’09), 2009, vol. 1, pp. 668 –671.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure, in Proc. 28th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), Sep. 2009, vol. 5775, pp. 257–269.
Status: Published
Export to BibTeX

Awards: Recipient of best paper award
Lin Jing, Sedigh Sarvestani Sahra, and Miller A., Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution, in Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC ’09), 2009, pp. 690–695.
Status: Published
Export to BibTeX
Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research, in 33rd Annual IEEE International Computer Software and Applications Conference, Jul. 2009, vol. 1, pp. 672–675.
Status: Published
Export to BibTeX

2008

Faza Ayman Z., Sedigh Sarvestani Sahra, and McMillin Bruce M., The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling, in Proceedings of the 27th international conference on Computer Safety, Reliability, and Security (SAFECOMP ’08), 2008, pp. 429–439.
Status: Published
Export to BibTeX

2007

Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Reliability Modeling for the Advanced Electric Power Grid, in Proc. 26th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), Sep. 2007, vol. 4680, pp. 370–383.
Status: Published
Export to BibTeX

Pervasive Computing

2016

Morrow T., Sedigh Sarvestani Sahra, and Hurson A. R., PERCEPOLIS: Cyberinfrastructure for Personalized Education, Handbook of Applied Learning Theory and Design in Modern Education, 2016.
Status: Published
Export to BibTeX
Morrow Tyler, Sedigh Sarvestani Sahra, and Hurson Ali R., Decision Support for Personalized Education, in Proc. 17th Int’l. IEEE Conf. on Information Reuse and Integration (IRI), Pittsburgh, USA, Jul. 2016.
Status: Published
Export to BibTeX
Morrow Tyler, Sedigh Sarvestani Sahra, and Hurson Ali R., Pervasive Cyberinfrastructure for Personalized Education, in Handbook of Research on Applied Learning Theory and Design in Modern Education, vol. 2, Hershey, USA: IGI Global, 2016, pp. 817–839.
Status: Published
Export to BibTeX
Morrow T., Sedigh Sarvestani Sahra, and Hurson A. R., Algorithmic Decision Support for Personalized Education, in 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), Jul. 2016, pp. 188–197.
Status: Published
Export to BibTeX
Wisely Michael, Sedigh Sarvestani Sahra, and Hurson Ali R., Energy Consumption of Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, in Proceedings of 2016 Seventh International Green and Sustainable Computing Conference (IGSC), Hangzhou, China, 2016.
Status: Published
Export to BibTeX

2015

Wisely Michael, Hurson A. R., and Sedigh Sarvestani Sahra, Public Data Dissemination via Broadcasting, Journal of Information Processing, vol. 23, no. 3, 2015.
Status: Published
Export to BibTeX
Heendaliya Lasanthi, Wisely Michael, Lin Dan, Sedigh Sarvestani Sahra, and Hurson Ali, Influence-Aware Predictive Density Queries under Road-Network Constraints, in Advances in Spatial and Temporal Databases, no. 9239, Claramunt Christophe, Schneider Markus, Wong Raymond Chi-Wing, Xiong Li, Loh Woong-Kee, Shahabi Cyrus, and Li Ki-Joune, Eds. Springer International Publishing, Aug. 2015, pp. 80–97.
Status: Published
Export to BibTeX
Heendaliya Lasanthi, Lin Dan, and Hurson Ali, Continuous Predictive Line Queries for On-the-Go Traffic Estimation, in Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII, no. 8980, Hameurlain Abdelkader, Küng Josef, Wagner Roland, Decker Hendrik, Lhotska Lenka, and Link Sebastian, Eds. Springer Berlin Heidelberg, 2015, pp. 80–114.
Status: Published
Export to BibTeX
Morrow Tyler, A Context-aware Ontology for Personalized Learning: Pervasive Computing for Educational Technology, in IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops), 2015, pp. 242–244.
Status: Published
Export to BibTeX
Wisely M., Hurson A., and Sedigh Sarvestani Sahra, An extensible simulation framework for evaluating centralized traffic prediction algorithms, in International Conference on Connected Vehicles and Expo (ICCVE), Oct. 2015, p. 391396.
Status: Published
Export to BibTeX

2014

Wagner C. Shaun, Sedigh Sarvestani Sahra, and Hurson A. R., Algorithms and Techniques for Proactive Search, Journal of Information Processing, vol. 22, no. 3, pp. 425–434, 2014.
Status: Published
Export to BibTeX
Wagner C. S., Sedigh Sarvestani Sahra, and Hurson A. R., Proactive Search: Using Outcome-Based Dynamic Nearest-Neighbor Recommendation Algorithms to Increase Search Engine Efficacy, ACM Transactions on Information Systems, 2014.
Status: Under revision for resubmission
Export to BibTeX

2013

Wagner C. Shaun, Sedigh Sarvestani Sahra, Hurson A. R., and Shirazi Behrooz, A Survey of Techniques for Improving Search Engine Scalability through Profiling, Prediction, and Prefetching of Query Results, in Scalable Computing and Communications: Theory and Practice, Khan Samee U., Zomaya Albert Y., and Wang Lizhe, Eds. New Jersey, USA: Wiley-IEEE Computer Society Press, Jan. 2013, pp. 467–506.
Status: Published
Export to BibTeX
Wagner C. Shaun, Sedigh Sarvestani Sahra, and Hurson A. R., Accurate and Efficient Search Prediction Using Fuzzy Matching and Outcome Feedback, in Proc. 6th Int’l. Conf. on Similarity Search and Applications (SISAP), vol. 8199, Brisaboa Nieves, Pedreira Oscar, and Zezula Pavel, Eds. Springer Berlin Heidelberg, 2013, pp. 219–232.
Status: Published
Export to BibTeX

2012

Bahmani A., Sedigh Sarvestani Sahra, and Hurson A. R., Ontology-Based Recommendation Algorithms for Personalized Education, in Proceedings of the 23rd International Conference on Database and Expert Systems Applications (DEXA ’12), Vienna, Austria, Sep. 2012, pp. 111–120.
Status: Published
Export to BibTeX

2011

Hurson A. R., Sedigh Sarvestani Sahra, Miller L., and Shirazi B., Enriching STEM Education through Personalization and Teaching Collaboration, in Proceedings of the 7th IEEE International Workshop on PervasivE Learning, Life, and Leisure (PerEL ’11), Seattle, USA, Mar. 2011, pp. 543 – 549.
Status: Published
Export to BibTeX
Jean E., Sedigh Sarvestani Sahra, Hurson A. R., and Shirazi B., Tools and techniques for interoperability and dynamic reconfiguration of pervasive systems, Pervasive Computing and Networking, 2011.
Status: Published
Export to BibTeX
Bahmani Amir, Sedigh Sarvestani Sahra, and Hurson Ali R, Context-aware recommendation algorithms for the PERCEPOLIS personalized education platform, in Frontiers in Education Conference (FIE), 2011, pp. 1–6.
Status: Published
Export to BibTeX
Jean E., Sedigh Sarvestani Sahra, Hurson Ali R., and Shirazi B., Tools and Techniques for Dynamic Reconfiguration and Interoperability of Pervasive Systems, in Pervasive Computing and Networking, John Wiley & Sons, Jun. 2011, pp. 09–26.
Status: Published
Export to BibTeX

2010

Hurson A. R. and Sedigh Sarvestani Sahra, PERCEPOLIS: Pervasive Cyberinfrastructure for Personalized Learning and Instructional Support, Intelligent Information Management, vol. 2, no. 10, pp. 583–593, Oct. 2010.
Status: Published
Export to BibTeX
Hurson A. R. and Sedigh Sarvestani Sahra, Transforming the Instruction of Introductory Computing to Engineering Students, in IEEE Transforming Engineering Education: Creating Interdisciplinary Skills for Complex Global Environments, Apr. 2010, pp. 1–19.
Status: Published
Export to BibTeX

2009

Hurson A. R., Sun B., Hannan J., Jiao Y., and Sedigh Sarvestani Sahra, Energy-Efficient Scheduling Algorithms for Data Retrieval from Indexed Parallel Broadcast Channels, IEEE Transactions on Knowledge and Data Engineering, 2009.
Status: Under revision
Export to BibTeX
Hurson A. R. and Sedigh Sarvestani Sahra, A pervasive computing platform for individualized higher education, in Proceedings of the International Conference on Computational Intelligence and Software Engineering (CiSE ’09), Wuhan, China, Dec. 2009, pp. 1–4.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Emerging Pervasive Systems - Research Challenges and Proposed Solutions (Panel), in Ninth Annual International Symposium on Applications and the Internet (SAINT ’09), Seattle, USA, Jul. 2009, pp. xx-xxi.
Status: Published
Export to BibTeX

2007

Sedigh Sarvestani Sahra, Ethics in Computing (Panel), in 31st Annual International Computer Software and Applications Conference (COMPSAC ’07), Jul. 2007, vol. 1, p. 1616.
Status: Published
Export to BibTeX

Assurance and Development of Embedded Systems

2020

Jarus Natasha, Sabatini Antonio, Maheshwari Pratik, and Sarvestani Sahra Sedigh, Software-Based Monitoring and Analysis of a USB Host Controller Subject to Electrostatic Discharge, in 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST), Jun. 2020, pp. 1–7.
Status: Published
Export to BibTeX

2019

Ziegler Brad, Sedigh Sarvestani Sahra, and Hurson A. R., Facilitating Failure Analysis with Software Instrumentation, in Proc. 19th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Hangzhou, China, Jan. 2019.
Status: Published
Export to BibTeX

2015

Jarus Natasha, Sabatini Antonio, Maheshwari Pratik, and Sedigh Sarvestani Sahra, Detection, Analysis, and Prediction of the Effects of Electrostatic Discharge on USB Peripherals, IEEE Transactions on Instrumentation and Measurement, 2015.
Status: Submitted
Export to BibTeX

2014

Maheshwari P., Sedigh Sarvestani Sahra, and Pommerenke D., Software-Based Methodologies for Root-Cause Analysis of Embedded System Failures Resulting from Electrostatic Discharge, IEEE Transactions on Instrumentation and Measurement, 2014.
Status: Submitted
Export to BibTeX

2013

Winter V., Cukic B., Khoshgoftaar T., Mori K., Paul R., Pérez-Leguizamo C., Sedigh Sarvestani Sahra, Sloan J., Vouk M., and Yen I., High Consequence Systems and Semantic Computing, International Journal of Semantic Computing, vol. 7, no. 3, pp. 291–324, Sep. 2013.
Status: Published
Export to BibTeX
Sabatini A., Jarus N., Maheshwari P., and Sedigh Sarvestani Sahra, Software instrumentation for failure analysis of USB host controllers, in IEEE International Instrumentation and Measurement Technology Conference (I2MTC), May 2013, pp. 1109–1114.
Status: Published
Export to BibTeX
Bastianini F., Sedigh Sarvestani Sahra, Pascale G., and Perri G., Cost-Effective Dynamic Structural Health Monitoring with a Compact and Autonomous Wireless Sensor System, in Nondestructive Testing of Materials and Structures, Springer Netherlands, 2013, pp. 1065–1070.
Status: Published
Export to BibTeX

2012

Gunasekaran A., Patel N., Cross S., and Sedigh Sarvestani Sahra, Recent enhancements to and applications of the SmartBrick structural health monitoring platform, in Proceedings of the 19th International SPIE Symposium on Smart Structures and Materials and Nondestructive Evaluation and Health Monitoring, San Diego, USA, Mar. 2012.
Status: Published
Export to BibTeX
Gunasekaran A., Patel N., Cross S., and Sedigh Sarvestani Sahra, Towards a military-standard wireless sensor platform for the detection of improvised explosive devices, in Proceedings of the 7th SPIE Symposium on Defense, Security + Sensing, Baltimore, USA, Apr. 2012.
Status: Published
Export to BibTeX

2011

Jean E., Rauschert I., Collins R., Sedigh Sarvestani Sahra, Hurson A., and Jiao C., RISN: An Efficient Sensor Network Overlay with Support for Autonomous and Distributed Applications, International Journal of Communications, Network and System Sciences, vol. 4, no. 1, pp. 1–16, Jan. 2011.
Status: Published
Export to BibTeX
Maheshwari P., Li T., Lee J., Seol B., Sedigh Sarvestani Sahra, and Pommerenke D., Software-Based Analysis of the Effects of Electrostatic Discharge on Embedded Systems, in IEEE Computer Software and Applications Conference (COMPSAC), Jul. 2011, pp. 436 – 441.
Status: Published
Export to BibTeX
Gunasekaran A., Chulick P., and Sedigh Sarvestani Sahra, The SmartBrick wireless sensor node for high-resolution structural health monitoring, in Proceedings of the 18th International SPIE Symposium on Smart Structures and Materials and Nondestructive Evaluation and Health Monitoring, San Diego, USA, Mar. 2011.
Status: Published
Export to BibTeX
Bastianini F., Pascale G., Sedigh Sarvestani Sahra, and Hurson Ali R., Cost Effectiveness of Structural Health Monitoring in Low Sensor Count Installations using a Wireless Autonomous SHM (WASHM) Device, in European Workshop on Cultural Heritage Preservation and Training Day (EWCHP ’11), Jan. 2011.
Status: Published
Export to BibTeX
Gunasekaran A., Chulick P., Sedigh Sarvestani Sahra, and Hurson Ali R., Military-standard sensor nodes for the SmartBrick structural health monitoring platform, in Proceedings of the 8th International Workshop on Structural Health Monitoring (IWSHM ’11), Stanford, USA, Sep. 2011, pp. 2115–2122.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Smart Technology – Applications and Infrastructure, in IEEE 35th Annual Computer Software and Applications Conference, Jul. 2011, pp. 522–522.
Status: Published
Export to BibTeX

2010

Harms T., Sedigh Sarvestani Sahra, and Bastianini F., Structural health monitoring of bridges using wireless sensor networks, IEEE Instrumentation and Measurement Magazine, vol. 13, no. 6, pp. 14–18, Dec. 2010.
Status: Published
Export to BibTeX
Jean E., Collins R. T., Hurson A. R., Sedigh Sarvestani Sahra, and Jiao Y., RISN: An Efficient, Dynamically Tasked and Interoperable Sensor Network Overlay, in IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec. 2010, pp. 224–231.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, High assurance systems: State of the art and practice (plenary panel), in Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium (HASE ’10), San Jose, USA, Nov. 2010, p. xiv.
Status: Published
Export to BibTeX
Asami T. and Sedigh Sarvestani Sahra, Green IT – From Devices to Applications (Panel), in IEEE 34th Annual Computer Software and Applications Conference, Jul. 2010, p. 2424.
Status: Published
Export to BibTeX

2009

Shah P., Singh A., Agarwal S., and Sedigh Sarvestani Sahra, Sensor data fusion for spectroscopy-based detection of explosives, in Proc. 4th SPIE Symp. on Defense, Security + Sensing, Orlando, USA, Apr. 2009.
Status: Published
Export to BibTeX
Harms T., Shah P., Sedigh Sarvestani Sahra, Bourque Z., and Bastianini F., Zigbee-enabled structural health monitoring with the SmartBrick network, in Proceedings of the 7th International Workshop on Structural Health Monitoring (IWSHM ’09), Stanford, USA, Sep. 2009, pp. 909–917.
Status: Published
Export to BibTeX
Harms T., Bastianini F., and Sedigh Sarvestani Sahra, Recent enhancements to the SmartBrick structural health monitoring platform, in 12th International IEEE Conference on Intelligent Transportation Systems, Oct. 2009, p. 16.
Status: Published
Export to BibTeX
Al-Assadi W. K., Gandla S., Sedigh Sarvestani Sahra, and Dugganapally I. P., Design of a flood prediction system, in 12th International IEEE Conference on Intelligent Transportation Systems, Oct. 2009, p. 16.
Status: Published
Export to BibTeX
Jean E., Collins R. T., Hurson A. R., Sedigh Sarvestani Sahra, and Jiao Y., Pushing Sensor Network Computation to the Edge, in 5th International Conference on Wireless Communications, Networking and Mobile Computing, Sep. 2009, pp. 1–4.
Status: Published
Export to BibTeX
Harms T, Banks B, Sedigh Sarvestani Sahra, and Bastianini Filippo, Design and testing of a low-power wireless sensor network for structural health monitoring of bridges, in Proceedings of the 16th International SPIE Symposium on Smart Structures and Materials and Non-destructive Evaluation and Health Monitoring, 2009.
Status: Published
Export to BibTeX
Banks Bentley, Harms T., Sedigh Sarvestani Sahra, and Bastianini Filippo, A low-cost wireless system for autonomous generation of road safety alerts, in Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems, 2009.
Status: Published
Export to BibTeX

2008

Harms T, Banks B, Bastianini F, and Sedigh Sarvestani Sahra, Enhancement of autonomous real-time SHM with short-range wireless communication, in The 4th European Workshop on Structural Health Monitoring (EWSHM 2008), 2008.
Status: Published
Export to BibTeX
Gandla S., Al-Assadi W. K., Sedigh Sarvestani Sahra, and Rao R. A. R., Design and FPGA Prototyping of a Flood Prediction System, in IEEE Region 5 Conference, Apr. 2008, p. 16.
Status: Published
Export to BibTeX
Harms T, Bastianini Filippo, and Sedigh Sarvestani Sahra, An embedded wireless system for remote monitoring of bridges, in The 15th International Symposium on Smart Structures and Materials & Nondestructive Evaluation and Health Monitoring, 2008.
Status: Published
Export to BibTeX

2007

Bastianini Filippo, Sedigh Sarvestani Sahra, Nanni A, Plessi V, and Galati N, An autonomous networked wireless device for structural health monitoring, in Proceedings of the 3rd International Conference on Structural Health Monitoring of Intelligent Infrastructure, Vancouver, Canada, 2007.
Status: Published
Export to BibTeX
Bastianini F, Sedigh Sarvestani Sahra, Galati N, Plessi V, and Nanni A, A low-cost wireless system for real-time structural health monitoring, in Proceedings of the 6th International Workshop on Structural Health Monitoring (IWSHM ’07), Stanford, USA, Sep. 2007, pp. 129–136.
Status: Published
Export to BibTeX
Plessi Valerio, Bastianini Filippo, and Sedigh Sarvestani Sahra, A Wireless System for Real-Time Environmental and Structural Monitoring, in Proceedings of the 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS ’07), Santorini Island, Greece: Springer Berlin Heidelberg, 2007, pp. 456–465.
Status: Published
Export to BibTeX
Freiberger T. V., Sedigh Sarvestani Sahra, and Atekwana E., Hydrological Monitoring with Hybrid Sensor Networks, in International Conference on Sensor Technologies and Applications (SENSORCOMM ’07), Valencia, Spain, Oct. 2007, p. 484489.
Status: Published
Export to BibTeX

2006

Plessi V., Bastianini F., and Sedigh Sarvestani Sahra, An Autonomous and Adaptable Wireless Device for Flood Monitoring, in Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC ’06), Chicago, USA, Sep. 2006.
Status: Published
Export to BibTeX
Faza A. Z. and Sedigh Sarvestani Sahra, A General Purpose Framework for Wireless Sensor Network Applications, in 30th Annual International Computer Software and Applications Conference (COMPSAC ’06), Sep. 2006, vol. 2, p. 356358.
Status: Published
Export to BibTeX

Awards: Recipient of best student paper award

Older Publications on Modeling

2006

A. Masood Sahra and Ghafoor A., Security Management for an e-Enterprise, in Enterprise Information Systems Assurance and System Security: Managerial and Technical Issues, Warkentin M. and Vaughn R. B., Eds. 2006.
Status: Published
Export to BibTeX

2005

Masood A., Sedigh Sarvestani Sahra, and Ghafoor A., Efficiently managing security concerns in component based system design, in 29th Annual International Computer Software and Applications Conference (COMPSAC’05), Jul. 2005, vol. 2, p. 164169.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra and Ghafoor A., A graph-based model for component-based software development, in 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Feb. 2005, p. 254259.
Status: Published
Export to BibTeX

2003

Sedigh Sarvestani A. Ghafoor and Paul R. A., A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software, in Component-Based Software Quality: Methods and Techniques, vol. 2693, Cechich A., Ed. Springer-Verlag, Jul. 2003.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor Arif, and Paul Raymond A., A metrics-guided framework for cost and quality management of component-based software, in Component-Based Software Quality, Springer, 2003, pp. 374–402.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Shafiq Basit, Masood Ammar, and Ghafoor Arif, Research Challenges in e-Enterprise Security, in Proceedings of the IEEE International Workshop on Frontiers of Information Technology, Lahore, Pakistan, 2003.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Metrics and models for cost and quality of component-based software, in Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, May 2003, p. 149155.
Status: Published
Export to BibTeX

2002

Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Metrics-based framework for decision making in COTS-based software systems (short paper), in Proceedings of the IEEE/IEICE International Symposium on High-Assurance Systems Engineering (HASE ’02), Tokyo, Japan, Oct. 2002.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Temporal modeling of software test coverage, in Proceedings of the 26th Annual International Computer Software and Applications, Aug. 2002, p. 823828.
Status: Published
Export to BibTeX

2001

Fahmi H., Latif M., Sedigh Sarvestani Sahra, Ghafoor A., Liu P., and Hsu L. H., Proxy servers for scalable interactive video support, IEEE Computer, Special Issue on Continuous Media on Demand, vol. 34, no. 9, Sep. 2001.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Software engineering metrics for COTS-based systems, IEEE Computer, Special Issue on Software Engineering on Internet Time, vol. 34, no. 5, May 2001.
Status: Published
Export to BibTeX
Sedigh Sarvestani Sahra, Ghafoor A., and Paul R. A., Metrics-guided quality management for component-based software systems, in 25th Annual International Computer Software and Applications Conference (COMPSAC ’01), Oct. 2001, p. 303308.
Status: Published
Export to BibTeX

2000

Sedigh Sarvestani Sahra, Paul R. A., and Ghafoor A., A New Approach to Temporal Coverage Modeling and Assurance-Based Testing (poster), in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE ’00), San Jose, USA, Oct. 2000.
Status: Published
Export to BibTeX

Awards: Recipient of student travel award
Ali S., Siegel H. J., Maheswaran M., Hensgen D., and Sedigh Sarvestani Sahra, Task execution time modeling for heterogeneous computing systems, in Proceedings of the 9th Heterogeneous Computing Workshop (HCW 2000), Aug. 2000, p. 185199.
Status: Published
Export to BibTeX
Ali Shoukat, Siegel Howard Jay, Maheswaran Muthucumaru, Hensgen Debra, and Sedigh Sarvestani Sahra, Representing Task and Machine Heterogeneities for Heterogeneous Computing Systems, Tamkang Journal of Science and Engineering, Special 50th Anniversary Issue, vol. 3, no. 3, p. 195207, Sep. 2000.
Status: Published
Export to BibTeX

1999

Bashandy A., Paul R., Baqai S., Sedigh Sarvestani Sahra, Fahmi H., and Ghafoor A., A protocol architecture for guaranteed quality of service in collaborated multimedia applications, in Proceedings of IEEE Symposium on Application-Specific Systems and Software Engineering and Technology (ASSET ’99), Aug. 1999, p. 120127.
Status: Published
Export to BibTeX

1998

Sedigh Sarvestani Sahra, Joshi J., Bashandy A., and Ghafoor A., Evaluation of filtering mechanisms for MPEG video communications, in Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems, Oct. 1998, p. 449454.
Status: Published
Export to BibTeX

Publications

Modeling and Analysis of Cyber-Physical Critical Infrastructures

Journal Articles

Woodard Mark, Marashi Koosha, and Sedigh Sarvestani Sahra, Survivability Evaluation and Importance Analysis for Complex Networked Systems, IEEE Transactions on Network Science and Engineering, 2017.

Marashi K., Sedigh Sarvestani Sahra, and Hurson Ali R., Consideration of Cyber-Physical Interdependencies in Reliability Modeling of Smart Grids, IEEE Transactions on Sustainable Computing, 2017.

Jarus N., Woodard Mark, Marashi Koosha, Sedigh Sarvestani Sahra, Lin Jing, Faza Ayman, and Maheshwari Pratik, Survey on Modeling and Design of Cyber-Physical Systems, Transactions on Cyber-Physical Systems, 2017.

Marashi K., Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Quantitative Reliability Analysis for Intelligent Water Distribution Networks, Transactions of the American Nuclear Society, Feb. 2014.

Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., A case study in quantitative analysis of cyber-physical systems: reliability of the electric power grid, IEEE Trans. Rel., 2013.

Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., An integrated cyber-physical reliability model for the Smart Grid, Reliability Engineering and System Safety, 2013.

White S., Sedigh Sarvestani Sahra, and Hurson A. R., Security Concepts for Cloud Computing, Principles, Methodologies, and Service-Oriented Approaches for Cloud Computing, pp. 116–142, 2013.

Sedigh Sarvestani Sahra and Hurson Ali R., Introduction to green and sustainable computing, Part I of Advances in Computers, vol. 87, p. 16, 2012.

Lin J., Sedigh Sarvestani Sahra, and Miller A., A semantic agent framework for cyber-physical systems, Semantic Agent Systems: Foundations and Applications, 2011.

Lin J., Sedigh Sarvestani Sahra, and Miller A., Integrated Cyber-physical Simulation of Intelligent Water Distribution Networks, Scientific and Engineering Applications Using MATLAB, 2011.

Lin J. and Sedigh Sarvestani Sahra, Reliability Modeling for Intelligent Water Distribution Networks, Int’l. J. of Performability Engineering, Special Issue on Performance and Dependability Modeling of Dynamic Systems, vol. 7, no. 5, pp. 467–478, Sep. 2011.

Book Chapters

Woodard Mark, Wisely Michael, and Sedigh Sarvestani Sahra, A Survey of Data Cleansing Techniques for Cyber-Physical Critical Infrastructure Systems, vol. 102, Hurson Ali R. and Goudarzi Maziar, Eds. Elsevier, 2016, pp. 63–110.

Woodard M., Sedigh Sarvestani Sahra, and Hurson A. R., Propagation of Corrupted Data in Critical Infrastructure Cyber-Physical Systems: A Research Survey, Elsevier, 2015.

Woodard Mark, Sedigh Sarvestani Sahra, and Hurson Ali R., A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems, vol. 98, Hurson Ali R., Ed. Elsevier, 2015, p. 5987.

White Steven C. and Sedigh Sarvestani Sahra, Comparison of Security Models: Attack Graphs Versus Petri Nets, vol. 94, Hurson A. R., Ed. Elsevier, 2014, pp. 1 – 24.

Woodard M. and Sedigh Sarvestani Sahra, Modeling of autonomous vehicle operation in intelligent transportation systems, in Software Engineering for Resilient Systems, vol. 8166, Gorbenko A., Romanovsky A., and Kharchenko V., Eds. Springer Berlin Heidelberg, Oct. 2013, pp. 133–140.

Lin Jing, Hurson Ali, and Sedigh Sarvestani Sahra, Knowledge Management For Fault-Tolerant Water Distribution, in Large Scale Network-Centric Distributed Systems, Sarbazi-Azad Hamid and Zomaya Albert Y., Eds. John Wiley & Sons, Inc., 2013, pp. 649–677.

Faza A. Z., Sedigh Sarvestani Sahra, and McMillin B. M., Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid, in Proc. 29th Int’l. Conf. Computer Safety, Reliability and Security (SAFECOMP), vol. 6351, 2010, pp. 277–290.

Conference Articles

Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Towards Refinement and Generalization of Reliability Models Based on Component States, in Proc. Resilience Week 2019, San Antonio, TX, USA, Nov. 2019.

Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Formalizing Cyber–Physical Model Transformation via Abstract Interpretation, in Proc. 19th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Hangzhou, China, Jan. 2019.

Jarus Natasha, Sedigh Sarvestani Sahra, and Hurson A. R., Facilitating Model–Based Design and Evaluation for Sustainability, in Proc. 9th IEEE Int’l. Green and Sustainable Computing Conf. (IGSC), Pittsburgh, PA, USA, Oct. 2018.

Woodard Mark, Sedigh Sarvestani Sahra, and Hurson Ali R., A Petri-Net Model for Propagation of Corrupted Data in a Networked System, 2017.

Alobaidi Isam A., Sedigh Sarvestani Sahra, and Hurson Ali R., Survivability analysis and recovery support for smart grids, in In Proceedings of the 4th International Symposium on Resilient Cyber Systems, Chicago, USA, Aug. 2016.

Jarus N., Sedigh Sarvestani Sahra, and Hurson Ali R., Models, Metamodels, and Model Transformation for Cyber-Physical Systems, in 7th IEEE International Green and Sustainable Computing Conference (IGSC), Nov. 2016.

Marashi K. and Sedigh Sarvestani Sahra, Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges, in Proc. 15th IEEE Int’l. High Assurance Systems Engineering Symp. (HASE), Miami, USA, Jan. 2014.

Albasrawi Murtadha N., Jarus N., Joshi Kamlesh A., and Sedigh Sarvestani Sahra, Analysis of Reliability and Resilience for Smart Grids, in Proceedings of the 38th Annual IEEE Computer Software and Applications Conference (COMPSAC), Jul. 2014, pp. 529–534.