Jose, C., C. Kulkarni, G. Biswas, S. Sankalita, and G. Kai,
"A Model-based Prognostics Methodology for Electrolytic Capacitors Based on Electrical Overstress Accelerated Aging",
Annual Conference of the Prognostics and Health Management Society (PHM 2011), Montreal, Canada, Prognostics and Health Management Society, 10/2011.
Kulkarni, C., G. Biswas, C. Jose, and G. Kai,
"Prognostics Health Management and Failure Analysis Modeling techniques for Accelerated Life testing in Electrolytic Capacitors",
IEEE 2011 Workshop on Accelerated Stress Testing & Reliability, San Francisco, CA, IEEE, 10/2011.
Jackson, E. K., T. Levendovszky, and D. Balasubramanian,
"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs",
Model Driven Engineering Languages and Systems (MoDELS), vol. 6981, Wellington, New Zealand, Springer, 10/2011.
Abstract
Mehrotra, R., A. Dubey, J. Kwalkowski, M. Paterno, A. Singh, R. Herber, and S. Abdelwahed,
"RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach",
ISIS Technical Report, Nashville, Vanderbilt University, 10/2011.
Download: SensorReport_Paper.pdf (1.64 MB)
Sallai, J., P. Volgyesi, K. Pence, and A. Ledeczi,
"Fusing Distributed Muzzle Blast and Shockwave Detections",
International Conference on Information Fusion, Chicago, IL, pp. 748-755, 07/2011.
Abstract
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry,
"Polyglot: Modeling and Analysis for Multiple Statechart Formalisms",
International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011.
Abstract
Download: ISSTA2011.pdf (1.53 MB)
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray,
"Managing the Quality of Software Product Line Architectures through Reusable Model Transformations",
To Appear in the 7th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Boulder, CO, USA, ACM, 06/2011.
Download: templatization.pdf (963.29 KB)
Otte, W. R., A. Gokhale, and D. C. Schmidt,
"Predictable deployment in component-based enterprise distributed real-time and embedded systems",
14th international ACM Sigsoft symposium on Component based software engineering, Boulder, Colorado, USA, ACM, pp. 21-30, 06/2011.
Abstract
Download: cbse-2011.pdf (389.91 KB)
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger,
"Rapid Property Specification and Checking for Model-Based Formalisms",
IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011.
Abstract
Download: RSP2011.pdf (2.08 MB)
Kottenstette, N., H. LeBlanc, E. Eyisi, and J. Porter,
A Backstepping Control Framework for m-Triangular Systems,
, Nashville, Institute for Software Integrated Systems, pp. 1-13, 04/28/2011.
Abstract
Download: official_sop_bstep_press_Apr_28_2011.pdf (554.37 KB)
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits,
"High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study",
International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
An, K., A. Trewyn, A. Gokhale, and S. Sastry,
"Model-driven Performance Analysis of Reconfigurable Conveyor Systems used in Material Handling Applications",
Second IEEE/ACM International Conference on Cyber Physical Systems (ICCPS 2011), Chicago, IL, USA, IEEE, pp. 141–150, 04/2011.
Download: ICCPS2011.pdf (914.94 KB)
Tambe, S., A. Daholkar, and A. Gokhale,
"MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems",
To Appear in 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011), Las Vegas, NV, USA, IEEE, 04/2011.
Download: MoPED.pdf (1.29 MB)
Tambe, S., A. Dabholkar, and A. Gokhale,
"MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems",
18th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2011),, Las Vegas, NV, USA, 04/2011.
Download: MoPED.pdf (1.29 MB)
Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits,
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
Jose, C., C. Kulkarni, G. Biswas, and G. Kai,
"Towards Prognostics of Electrolytic Capacitors",
Infotech@Aerospace 2011, St. Louis, Missouri, AIAA, 04/2011.
Shah, A., K. An, A. Gokhale, and J. White,
"Maximizing Service Uptime of Smartphone-based Distributed Real-time and Embedded Systems",
14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011), Newport Beach, CA, USA, IEEE, pp. 3–10, 03/2011.
Download: paper.pdf (384.42 KB)
Riley, D., E. Eyisi, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits,
"Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems",
4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), Barcelona, Spain, 03/2011.
Abstract
Kulkarni, C., G. Biswas, C. Jose, and G. Kai,
"Prognostics Techniques For Capacitor Degradation and Health Monitoring",
The Maintenance & Reliability Conference, MARCON 2011, Knoxville, TN, MARCON, 03/2011.
Abstract
Download: MARCON_2011_Kulkarni_Biswas_Celaya_Goebel.pdf (367.09 KB)
Hemingway, G., H. Neema, H. Nine, J. Sztipanovits, and G. Karsai,
"Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach",
SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011.
Abstract
Download: 0037549711401950.full_.pdf (815.53 KB)
Mahadevan, N., A. Dubey, and G. Karsai,
"Application of Software Health Management Techniques",
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011.
Abstract
Download: Paper.pdf (5.15 MB)
Kottenstette, N., J. Hall, X. Koutsoukos, P. Antsaklis, and J. Sztipanovits,
"Digital Control of Multiple Discrete Passive Plants Over Networks",
International Journal of Systems, Control and Communications (IJSCC), no. Special Issue on Progress in Networked Control Systems, 2011.
Abstract