Publications List.

Thesis

• Exploiting Hardware/Software Interactions for Analyzing Embedded Systems by S. Mohan, Ph.D. thesis, North Carolina State University, August 2008.

Journal Publications

1. Virtual Integration for Early Analysis of Safety-Critical Avionics Systems by S. Mohan, M. Nam, R. Pellizzoni, L. Sha, R. Bradford and S. Fliginger submitted to the ACM journal Transactions in Embedded Computing Systems (TECS) in 2010.
2. Medical Device Supervision Framework Providing Network Fail-Safe Operations by C. Kim, M. Sun, S. Mohan, H. Yun, L. Sha and T. Abdelzaher submitted to the IEEE Journal Transactions in Industrial Informatics (TII) in 2010.
3. Model-Based Description and Analysis for the Design of Real-Time Wireless Systems Architectures by K. Kang, W. Jeon, N. Nam, S. Mohan, J. Kim and L. Sha submitted to the IEEE Journal Transactions on Computers in 2009.
4. Design of Wireless E-Healthcare Systems with Medical-Grade QoS by K. Kang, S. Mohan, K. Park, C. Kim and L. Sha submitted to the IEEE Systems Journal in 2009.
5. Fixed-Point Loop Analysis for Complex Embedded Processors by S. Mohan, R. Raghavendra and F. Mueller to submitted to the ACM journal Transactions in Embedded Computing Systems (TECS) in 2010.
6. [pdf] Parametric Timing Analysis and its Application to DVS by S. Mohan and F. Mueller accepted for publication in the ACM journal Transactions in Embedded Computing Systems (TECS) in 2007.

Conference Publications

1. S3A: Secure System Simplex Architecture for Safety-Critical Supervisory Control Systems by S. Mohan. S. Bak, E. Betti and L. Sha  submitted to the IEEE Symposium on Security and Privacy (Oakland) to be held in Oakland, California in May 2012.
2. Towards the Auto-Generation of Robust Tree-shaped I/O Architectures by M. Nam, R. Pellizzoni, S. Mohan, R. Bradford and L. Sha submitted to the Design Automation Conference (DAC) to be held in June 2012.
3. [pdf] Exploring the Design Space of IMA System Architectures by R. Bradford, S. Mohan, M. Nam, R. Pellizzoni, L. Sha and S. Fliginger accepted for publication published in the 29th Digital Avionics Systems Conference (DASC), 2010.
4. [pdf] Time-Based Intrusion Detection in Cyber-Physical Systems by C. Zimmer, B. Bhatt, F. Mueller and S. Mohan accepted for publication published in ACM/IEEE ICCPS 2010.
5. [pdf] A Framework for the Safe Interoperability of Medical Devices in the Presence of Connection Failures by C. Kim, M. Sun, S. Mohan, H. Yun, A. Nayeem and L. Sha accepted for publication published in ACM/IEEE ICCPS 2010.
6. [pdf] Rapid Early-Phase Virtual Integration by S. Mohan, M. Nam, R. Pellizzoni, L. Sha, R. Bradford and S. Fliginger submitted to published in IEEE RTSS 2009.
7. [pdf] CheckerCore: Enhancing an FPGA Soft Core to Capture Worst-Case Execution Times by J. Ouyang, R. Raghavendra, S. Mohan, Y. Xie and F. Mueller accepted for publication published in CASES 2009.
8. [pdf] Push-Assisted Migration of Real-Time Tasks in Multi-Core Processors by A. Sarkar, F. Mueller, H. Ramaprasad and S. Mohan in LCTES 2009.
9. [pdf] Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors by S. Mohan and F. Mueller in IEEE RTSS 2008.
10. [pdf] Hybrid Timing Analysis of Modern Processor Pipeline via Hardware/Software Interactions by S. Mohan and F. Mueller in IEEE RTAS 2008.
11. [pdf] Temporal Analysis for Adapting Concurrent Applications to Embedded Systems by S. Mohan and J. Helander in ECRTS 2008.
12. [pdf] ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling by S. Mohan, F. Mueller, W, Hawkins, M. Root, C. Healy and D. Whalley in IEEE RTSS 2005.
13. [pdf] Timing Analysis for Sensor Network Nodes of the Atmega Processor Family by S. Mohan, F. Mueller, D. Whalley and C. Healy in IEEE RTAS 2005.

Workshop Publications

1. Anytime Algorithms for Multicore Processors by A. Saba, S. Mohan and R. Mangharam accepted for publication in the Work in Progress session at ECRTS to be held in Brussels, Belgium in July 2010.
2. Time-Based Intrusion Detection in Cyber-Physical Systems by C. Zimmer, B. Bhatt, F. Mueller and S. Mohan published in the Work in Progress session at the IEEE RTSS Conference held in Washington, DC in Dec. 2009.
3. Addressing Safety and Security Contradictions in Cyber-Physical Systems by M. Sun, S. Mohan, L. Sha and C. Gunter submitted to the Fourth Workshop on Embedded Systems Security (WESS) to be held as part of ESWeek in Oct. 2009.
4. Integrating Security into Real-Time Systems using Temporal Constraints by C. Zimmer, F. Mueller and S. Mohan submitted to the Fourth Workshop on Embedded Systems Security (WESS) to be held as part of ESWeek in Oct. 2009.
5. Addressing Safety and Security Contradictions in Cyber-Physical Systems by M. Sun, S. Mohan, L. Sha and C. Gunter. Position Paper. Published/presented at the First Workshop on Future Directions in Cyber-Physical Systems held in July 2009. This is a by-invitation only workshop.
6. Time-Based Intrusion Detection in Cyber-Physical Systems by C. Zimmer, B. Bhatt, F. Mueller and S. Mohan published in the Work in Progress session at the EUROMICRO Conference on Real-Time Systems (ECRTS) held in Dublin, Ireland in July 2009.
7. Building Robust Automotive Systems through Separation of Concerns by S. Mohan and J. Helander. Position paper at the National Workshop on High-Confidence Automotive Cyber-Physical Systems, April 2008. This is a by-invitation only workshop.
8. [pdf] Worst-Case Execution Time Analysis of Security Policies for Deeply Embedded Real-Time Systems by S. Mohan at the PhD student forum in IEEE RTSS 2007. Published in ACM SIGBED Review Vol 5, Number 1 -- Special issue on the RTSS Forum on Deeply Embedded Real-Time Computing, January 2008.
9. [pdf] CheckerMode: A Hybrid Scheme for Timing Analysis of Modern Processor Pipelines Involving Hardware/Software Interactions by S. Mohan and F. Mueller in IEEE RTAS WIP 2007.

Technical Reports

1. Preserving Timing Anomalies in Pipelines of High-End Processors by S. Mohan and F. Mueller; North Carolina State University Dept. of Computer Science Technical Report, 2008 (TR-2008-13).
2. Temporal Analysis for Adapting Concurrent Applications to Embedded Systems by S. Mohan and J. Helander; Microsoft Research Technical Report (MSR-TR-2008-37) 2008.
3. Embedded Systems Research at DemoFest 2007 by O. Almeida, A. Forin, P. Garcia, J. Helander, N. Khantal, H. Lu, K. Meier, S. Mohan, H. Nielsen, R. Pittman, R. Serg, B. Sukhwani, M. Veanes, B. Zorn, S. Berry, C. Boyce, D. Chaszar, B. Culrich, M. Khisin, G. Knezeck, W. Linam-Church, S. Liu, M. Stewart and D. Toney; Microsoft Research Technical Report (MSR-TR-2007-94) 2007.
   

Posters

1. Scalable Embedded Systems by J. Helander, R. Serg, S. Mohan, M. Veanes and P. Garcia at the RTSS 2007 Poster session, December 2007.
2. Scalable Embedded Systems by J. Helander, R. Serg, S. Mohan, M. Veanes and P. Garcia at the Microsoft Faculty Summit DemoFest, Summer 2007.
3. Static Timing Analysis for Sensor Nodes by S. Mohan and F. Mueller in the ACM SiGBED/SIGPLAN conference on Languages, Tools and Embedded Systems (LCTES) 2004.

Talks

• Analysis Techniques for Cyber-Physical Systems at Virginia Tech, Blacksburg. Feb 2010. ECE Faculty Search series.
• Rapid Early-Phase Virtual Integration at IEEE RTSS, Washington DC. December 2009.
• Analysis Techniques for Cyber-Physical Systems at the Bell Labs, Bangalore India. Nov. 2009. Invited talk.
• Analysis Techniques for Cyber-Physical Systems at the Indian Institute of Science, Bangalore India. Nov. 2009. Invited talk.
• Analysis Techniques for Cyber-Physical Systems at General Motors Labs, Bangalore India. Nov. 2009. Invited talk.
• Analysis Techniques for Cyber-Physical Systems at the Indian Institute of Technology, Madras India. Nov. 2009. Invited talk.
• Analysis Techniques for Cyber-Physical Systems at the HP Labs, Bangalore India. Nov. 2009. Invited talk.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at the Computer Science dept. in Simon Fraser University, Vancouver. July 2009. Invited talk.
• Merging State and Preserving Anomalies in Pipelines of High-End Processors at IEEE RTSS, Barcelona, Spain. December 2008.
• Exploiting Hardware/Software Interactions for Analyzing Embedded Systems NC State Ph.D. Defence. August 2008.
• Temporal Analysis for Adapting Concurrent Applications to Embedded Systems at ECRTS, Prague, Czech Republic. July 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at European Microsoft Innovation Center (EMIC), Aachen, Germany. June 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at Southern Illinois University, Carbondale. Apr 2008.
• Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions at IEEE RTAS 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at Virginia Tech, Blacksburg. Apr 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at George Mason University, Virginia. Feb 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at University of British Columbia, Vancouver. Feb 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at Microsoft Research, Redmond. Feb 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at Duke University, Durham. Jan 2008.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at the Systems Tea Research Seminar Series, University of North Carolina, Chapel Hill. Jan 2008.
• Integrating Security Policies with Deeply Embedded Real-Time Systems at the NSF planning workshop on Cyber Physical Challenges in the Automobile Domain, conducted in conjunction with IEEE RTSS 2007.
• Worst-Case Execution Time Analysis of Security Policies for Deeply Embedded Real-Time Systems at the PhD Students' forum on Deeply Embedded Real-Time Computing, IEEE RTSS 2007.
• Exploiting Hardware/Software Interactions for Embedded Systems Design at the Systems Research Seminar Series, Fall 2007.
• Reliable Distributed Embedded Systems at Microsoft Research, Redmond summer 2007.
• CheckerMode: A Hybrid Scheme for Timing Analysis of Modern Processor Pipelines Involving Hardware/Software Interactions at the IEEE RTAS Work in Progress session 2007.
• CheckerMode: A Hybrid Scheme for Timing Analysis of Modern Processor Pipelines Involving Hardware/Software Interactions at the Systems Research Seminar Series, Spring 2007.
• Exploiting Hardware/Software Interactions for Static Timing Analysis of Modern Processor Pipelines - PhD Topic Defense (prelims), Fall 2006.
• ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling at IEEE RTSS 2005.
• ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling at the Systems Research Seminar Series, Fall 2005.
• Timing Analysis for Sensor Network Nodes of the Atmega Processor Family at IEEE RTAS 2005.
• Timing Analysis for Sensor Network Nodes of the Atmega Processor Family at the Systems Research Seminar series, Spring 2005.
• Processor Pipelines and Static Worst-Case Execution Time Analysis - Dissertation of Jakob Engblom at the Systems Research Seminar series, Fall 2004.
• Static Timing Analysis for Sensor Node - PhD Qualifying exam, Summer 2004.

[Note: In Computer Science, publications at top-ranking conferences are considered more important and prestigious than journals (of course they have their place as well). Here is an official memo from the Computing Research Association (CRA) stating that fact.

Some systems/real-time conference rankings: 1, 2, 3.
Of course, these not authoritative and not in any order, and they seem to have a slight bias towards US-based conferences. Some of the best work in systems (especially embedded/real-time systems) also happens in Europe, Singapore, etc.)]