Missouri S&T

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.
    Status: Submitted
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
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
  • 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
  • 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
  • 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
  • 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
    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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
    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
  • 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
  • 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
  • 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
  • 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
    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
  • 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
  • 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
  • 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
Books
  • Hurson A. and Sedigh Sarvestani Sahra, Eds., Dependable and Secure Systems Engineering. Elsevier, 2012.
    Status: Published

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

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
  • 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
  • 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
  • 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
  • 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
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
  • 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
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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Sedigh Sarvestani Sahra, Smart Technology – Applications and Infrastructure, in IEEE 35th Annual Computer Software and Applications Conference, Jul. 2011, pp. 522–522.
    Status: Published
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
    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
  • 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
  • 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
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
  • 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
  • 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
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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
    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
  • 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
  • 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

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
  • 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
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
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
  • 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
  • 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
  • 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
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
  • 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
    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
  • 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
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
  • 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
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
  • 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
  • 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
  • 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
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
  • 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
  • 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
  • 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
  • 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
  • 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
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
  • 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
  • Hurson A. and Sedigh Sarvestani Sahra, Eds., Dependable and Secure Systems Engineering. Elsevier, 2012.
    Status: Published
  • 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
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
  • 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
  • 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
  • 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
    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
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
  • 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
  • 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
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
  • 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
    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
  • 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
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
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

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

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
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
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
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
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
  • 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
  • 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
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
  • 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
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
  • 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
  • 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
  • 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
  • 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
  • Sedigh Sarvestani Sahra, Smart Technology – Applications and Infrastructure, in IEEE 35th Annual Computer Software and Applications Conference, Jul. 2011, pp. 522–522.
    Status: Published
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
  • 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
  • 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
  • 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
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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
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
  • 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
  • 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
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
  • 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
  • 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
  • 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
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
  • 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
    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
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
  • 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
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
  • 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
  • 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
  • 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
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
  • 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
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
  • 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
  • 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
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
    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
  • 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
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
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