ISIS Publications

List
Filter

Export 517 results:

Filters: First Letter Of Last Name is S [Clear All Filters]

Conference Paper

Mavridou, A., A. Laszka, E. Stachtiari, and A. Dubey, "VeriSolid: Correct-by-Design Smart Contracts for Ethereum", Financial Cryptograph, St. Kitts, 2019. Abstract

Download: verisolid.pdf (1.02 MB)

Chhokra, K., T. Bapty, and J. Scott, "WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms", Engineering of Computer Based Systems, Brno, Czech Republic, pp. 121--127, May, 2004.

Download: Chhokra_K_5_0_2004_WASP__A_Ra.pdf (408.31 KB)

Sallai, J., G. Varga, S. Toth, C. R. Iacovella, C. Klein, C. McCabe, A. Ledeczi, and P. T. Cummings, "Web- and Cloud-based Software Infrastructure for Materials Design", The 14th International Conference on Computational Science (ICCS 2014), Cairns, Australia, Procedia Computer Science, 06/2014. Abstract

Tunc, H., A. Taddese, P. Volgyesi, J. Sallai, P. Valdastri, and A. Ledeczi, "Web-based integrated development environment for event-driven applications", SoutheastCon 2016: IEEE, pp. 1–8, 2016.

Varga, G., S. Toth, C. R. Iacovella, J. Sallai, P. Volgyesi, A. Ledeczi, and P. T. Cummings, "Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations", 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), Reykjavik, Iceland, 07/2013. Abstract

Download: SimulTech.pdf (366.16 KB)

Balasubramanian, J., A. Gokhale, F. Wolf, A. Dubey, C. Lu, C. Gill, and D. C. Schmidt, "{Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems}", Proceedings of the 16th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS '10), Stockholm, Sweden, pp. 69–78, 2010.

Conference Proceedings

Sallai, J., P. Volgyesi, A. Ledeczi, K. Pence, T. Bapty, S. Neema, and J. Davis, "Acoustic Shockwave-Based Bearing Estimation", The 12th ACM/IEEE Conference on Information Processing in Sensor Networks (IPSN), Philadelphia, PA, USA, 04/2013.

Download: ipsn07-sallai.pdf (2.56 MB)

Sagedy, J., B. Sulcer, and G. Biswas, "Are ILEs Ready for the Classroom? Bringing Teachers into the Feedback Loop", The 10th International Conference on Intelligent Tutoring Systems, Pittsburgh, pp. 405-407, 2010.

Wagster, J., H. Kwong, J. Sagedy, G. Biswas, and D. Shwartz, "Bringing CBLEs into classrooms: Experiences with the Betty's Brain system", The Eighth IEEE International Conference on Advanced Learning Technologies, Santander, Cantabria, Spain., pp. 252-256, 2008.

Roy, N., Y. Xue, A. Gokhale, L. Dowdy, and D. C. Schmidt, "A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals", 11th International Symposium on Distributed Objects, Middleware,and Applications (DOA), 11/2009.

Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract

Download: data-driven-health.pdf (2.29 MB)

Wagster, J., J. Tan, Y. Wu, G. Biswas, and D. Schwartz, "Do learning by teaching environments with metacognitive support help students develop better learning behaviors?", The 29th Annual Meeting of the Cognitive Science Society, Nashville, TN, pp. 695-700, 2007.

Shekhar, S., "Dynamic Data Driven Cloud Systems for Cloud-Hosted CPS", 2016 IEEE International Conference on Cloud Engineering Workshop (IC2EW), pp. 195-197, April, 2016.

Leelawong, K., J. Davis, N. Vye, G. Biswas, D. Schwartz, T. Belynne, T. Katzlberger, and J. Bransford, "The effects of feedback in supporting learning by teaching in a teachable agent environment", Keeping Learning Complex: The Proceedings of the Fifth International Conference of the Learning Sciences, Mahwah, NJ, Erlbaum, pp. 245-252, 2002.

Saxena, T., A. Dubey, D. Balasubramanian, and G. Karsai, "Enabling Self-Management by Using Model-Based Design Space Exploration", AUTONOMIC & AUTONOMOUS SPACE EXPLORATION SYSTEMS, 2010, 2009. Abstract

Download: PID1113091.pdf (7.01 MB)

Volgyesi, P., S. Szilvasi, J. Sallai, and A. Ledeczi, "External smart microphone for mobile phones", Sensing Technology (ICST), 2011 Fifth International Conference on, Palmerston North, pp. 171-176, 12/2011.

Tan, J., G. Biswas, and D. Schwartz, "Feedback for metacognitive support in learning by teaching environments", The 28th Annual Meeting of the Cognitive Science Society, Vancouver, Canada, pp. 828-833, 2006.

Wagster, J., J. Tan, G. Biswas, and D. Schwartz, "How metacognitive feedback affects behavior in learning and transfer", The 13th International Conference on Artificial Intelligence in Education, Marina del Rey, CA, IOS Press, 2007.

Biswas, G., K. Leelawon, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Incorporating self regulated learning techniques into learning by teaching environments", The 26th Annual Meeting of the Cognitive Science Society, Chicago, Erlbaum, pp. 120-125, 2004.

Segedy, J., J. S. Kinnebrew, and G. Biswas, "Investigating the Relationship Between Dialogue Responsiveness and Learning in a Teachable Agent Environment", The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.

Saha, B., T. Honda, I. Matei, E. Saund, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Model-Based Approach for an Optimal Maintenance Strategy", 2nd European Conference of the PHM Society - PHME'14, Nantes, France, 07/2014. Abstract

Neema, H., J. Gohl, Z. Lattmann, J. Sztipanovits, G. Karsai, S. Neema, T. Bapty, J. Batteh, H. Tummescheit, and C. Sureshkumar, "Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 235-245, 03/2014. Abstract

Download: Neema_H_12_8_2013_Modelica_2014_FMUCS_HLA.PDF (536.88 KB)

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.

Barve, Y., H. Neema, A. S. Gokhale, and J. Sztipanovits, "Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud", MODELS 2017 Satellite Event: Posters co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems, Austin,TX,USA, pp. 463–464, 09/2017. Abstract

Download: posters_1.pdf (641.33 KB)

Roy, N., A. Dabholkar, L. Dowdy, and D. Schmidt, "Modeling Software Contention using Colored Petri Nets", Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Baltimore, MD, USA, 09/2008.

Download: SoftwareContention.pdf (381.37 KB)

Maheswaran, R., C. M. Rogers, R. Sanchez, P. Szekely, G. Gati, K. Smyth, and C. vanBuskirk, "Multi-Agent Systems for the Real World", Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, 2009. Abstract

Riley, D., E. Emeka, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, "Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems", Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools), 2011.

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

Eyisi, E., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems", 19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011. Abstract

Maheswaran, R. T., P. Szekely, M. Becker, S. Fitzpatrick, G. Gati, J. Jin, R. Neches, N. Noori, C. M. Rogers, R. Sanchez, et al., "Predictability & criticality metrics for coordination in complex environments", Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, vol. 2, 2008. Abstract

Celaya, J., S. Abhinav, C. Kulkarni, S. Sankalita, and G. Kai, "Prognostics Approach for Power MOSFET under Thermal-Stress Aging", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.

Biswas, G., R. Roscoe, H. Jeong, and B. Sulcer, "Promoting self-regulated learning skills in agent-based learning environments", The 17th International Conference on Computers in Education, Hong Kong: Asia-Pacific Society for Computers in Education, 2009.

Tan, J., N. Skirvin, G. Biswas, and K. Catley, "Providing guidance and opportunities for self-assessment and transfer in a simulation environment for discovery learning", The 29th Annual Meeting of the Cognitive Science Society, Nashville, TN, pp. 1539-1544, 2007.

Leelawong, K., Y. Wang, G. Biswas, N. Vye, J. Bransford, and D. Schwartz, "Qualitative reasoning techniques to support learning by teaching: The teachable agents project", The Fifteenth International Workshop on Qualitative Reasoning, San Antonio, TX, AAAI Press, 2001.

Sallai, J., P. Volgyesi, and A. Ledeczi, "Radio Interferometric Quasi Doppler Bearing Estimation", Information Processing in Sensor Networks (IPSN 09, SPOTS Track), San Francisco, CA, 04/2009. Abstract

Download: ipsn09.pdf (1.37 MB)

Linn, J. G., J. Sagedy, H. Jeong, B. Podgursky, and G. Biswas, "Reconfigurable architecture for building intelligent learning environments", The 14th International Conference on Artificial Intelligence in Education, Brighton, United Kingdom: IOS Press, pp. 115-120, 2009.

Jackson, E. K., W. Schulte, D. Balasubramanian, and G. Karsai, "Reusing Model Transformations While Preserving Properties", Fundamental Approaches to Software Engineering, vol. 6013: Springer, 04/2010.

Ledeczi, A., J. Sallai, and P. Volgyesi, "RF Bearing Estimation in Wireless Sensor Networks", Government Microcircuit Application and Critical Technology Conference (GOMACTech 09), Orlando, FL, 03/2009. Abstract

Basu, S., G. Biswas, and P. Sengupta, "Scaffolding to Support Learning of Ecology in Simulation Environments", The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.

Honda, T., E. Saund, I. Matei, W. Janssen, B. Saha, D. G. Bobrow, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Simulation and Modeling Based Reliability Requirement Assessment Methodology", 26th International Conference on Design Theory and Methodology (DTM), Buffalo, NY, USA, 08/2014. Abstract

Sun, F., C. Samal, J. White, and A. Dubey, "Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles ", 3rd IEEE International Conference on Smart Computing: IEEE, 05/2017. Abstract

Download: unsupervised-mechanisms-optimizing.pdf (3.64 MB)

Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract

Download: MDHPCL 2013 04-paper.pdf (1.08 MB)

Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al., "Verification and Design Exploration through Meta Tool Integration with OpenModelica", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 353-362, 03/2014.

Download: Modelica2014_ecp14096037.pdf (1.51 MB)

Biswas, G., and B. Sulcer, "Visual exploratory data analysis methods to characterize student progress in intelligent learning environments", 2010 International Conference on Technology for Education, Mumbai, pp. 114-121, 2010.

Journal Article

Sztipanovits, J., and J. Bourne, "Architecture of Intelligent Medical Instruments", Journal of Biomedical Measurements Informatics and Control, London, UK, vol. 1, pp. 140--146, 1987.