Home

ISIS Publications

Export 131 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
A
Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "Abstractions for Modeling Complex Systems", ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016. Abstract  Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)
Hedgecock, W., M. Maroti, A. Ledeczi, P. Volgyesi, and R. Banalagay, "Accurate Real-Time Relative Localization Using Single-Frequency GPS", The ACM Conference on Embedded Networked Sensor Systems (SenSys '14), Memphis, TN, USA, ACM, 11/2014. Abstract  Download: Accurate Real-Time Relative Localization Using Single-Frequency GPS.pdf (3.35 MB)
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)
Sallai, J., A. Ledeczi, and P. Volgyesi, "Acoustic Shooter Localization with a Minimal Number of Single-Channel Wireless Sensor Nodes", 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011), Seattle, WA, ACM, 11/2011. Abstract  Download: 49.pdf (1.14 MB)
Kushwaha, M., X. Koutsoukos, P. Volgyesi, and A. Ledeczi, "Acoustic Source Localization and Discrimination in Urban Environments", International Conference on Information Fusion 2009, 2009.  Download: kushwaha_fusion2009.pdf (201 KB)
Babjak, B., S. Szilvasi, P. Volgyesi, O. Yapar, and P. K. Basu, "Analysis and Efficient Onset Time Detection of Acoustic Emission Signals with Power Constrained Sensor Platforms", IEEE Sensors, Baltimore, MD, USA, 2013.  Download: IEEE_Sensors.pdf (1.32 MB)
Mens, T., P. van Gorp, D. Varro, and G. Karsai, "Applying a Model Transformation Taxonomy to Graph Transformation Technology", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
Hemingway, G., J. Porter, N. Kottenstette, C. vanBuskirk, G. Karsai, and J. Sztipanovits, "Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis", Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010. Abstract  Download: RSP10.pdf (349.64 KB)
C
Beccani, M., G. Aiello, N. Gkotsis, H. Tunc, A. Taddese, E. Susilo, P. Volgyesi, A. Ledeczi, E. De Momi, and P. Valdastri, "Component based design of a drug delivery capsule robot", Sensors and Actuators A: Physical, vol. 245: Elsevier, pp. 180–188, 2016.
Volgyesi, P., and A. Ledeczi, "Component-Based Development of Networked Embedded Applications", 28th Euromicro Conference, Component-Based Software Engineering Track, Dortmund, Germany, September, 2002.  Download: Volgyesi_P_9_0_2002_Component_.pdf (204.6 KB)
Ledeczi, A., A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing domain-specific design environments", IEEE Computer, pp. 44--51, November, 2001.
Szilvasi, S., J. Sallai, I. Amundson, P. Volgyesi, and A. Ledeczi, "Configurable Hardware-based Radio Interferometric Node Localization", 2010 IEEE Aerospace Conference, Big Sky, Montana, USA, IEEE, 03/2010.  Download: aeroconf10_szilvasi.pdf (1006.26 KB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "CSC: Criticality-Sensitive Coordination", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
D
Emfinger, W., A. Dubey, S. Eisele, P. Volgyesi, J. Sallai, and G. Karsai, "Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing", The First IEEE/ACM Symposium on Edge Computing, 2016.  Download: PID4355117.pdf (1.85 MB)
Emfinger, W. A., A. Dubey, S. Eisele, P. Volgyesi, J. Sallai, and G. Karsai, "Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing", The First IEEE/ACM Symposium on Edge Computing, 2016.  Download: Emfinger et al. - Demo Abstract RIAPS - A Resilient Information Arc.pdf (1.85 MB)
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Biswas, G., K. Leelawong, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Developing learning by teaching environments that support self-regulated learning", Intelligent Tutoring Systems: Vol. 3220. Lecture Notes in Computer Science, Maceió, Brazil, Springer, pp. 730-740, 2004.
Dubey, A., G. Karsai, P. Volgyesi, M. Metelko, I. Madari, H. Tu, Y. Du, and S. Lukic, "Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid", Embedded System Letters, 05/2018.  Download: ESL_Paper.pdf (566 KB)
Ledeczi, A., J. Sallai, P. Volgyesi, and R. Thibodeaux, "Differential Bearing Estimation for RF Tags", EURASIP Journal of Embedded Systems, vol. (in press), xx/2009. Abstract
Hedgecock, W., P. Volgyesi, A. Ledeczi, and X. Koutsoukos, "Dissemination and Presentation of High Resolution Air Pollution Data from Mobile Sensor Nodes", ACM Southeast Conference, Oxford, MS, 04/2010. Abstract
Maroti, M., P. Volgyesi, G. Simon, G. Karsai, and A. Ledeczi, "Distributed Middleware Services Composition and Synthesis Technology", IEEE Aerospace, Big Sky, MT, March, 2003.  Download: Maroti_M_3_8_2003_Distribute.pdf (251.28 KB)
Kusy, B., A. Ledeczi, M. Maroti, and P. Volgyesi, "Domain Independent Generative Modeling", ECBS '04, Brno, Czech Republic, May, 2004.  Download: Kusy_B_5_24_2004_Domain_Ind.pdf (51.97 KB)
E
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.
Volgyesi, P., M. Maroti, S. Dora, E. Osses, A. Ledeczi, and T. Paka, Embedded Software Composition and Verification, : Institute for Software Integrated Systems, February, 2004.  Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)
Varga, G., J. Sallai, A. Ledeczi, C. R. Iacovella, C. McCabe, and P. T. Cummings, "Enabling Cross-Domain Collaboration in Molecular Dynamics Workflows", The Fourth International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2014), Seville, Spain, IARIA, 06/2014. Abstract  Download: colla_2014_2_40_60052.pdf (1009.97 KB)
Porter, J., G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits, The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis, , Nashville, TN, Vanderbilt University, 09/2010.  Download: ESMoL_TR.pdf (3.99 MB)
Porter, J., Z. Lattmann, G. Hemingway, N. Mahadevan, S. Neema, H. Nine, N. Kottenstette, P. Volgyesi, G. Karsai, and J. Sztipanovits, "The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems", 15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009. Abstract  Download: rtas_demo_2009.pdf (491.24 KB)
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 KB)
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Porter, J., P. Volgyesi, N. Kottenstette, H. Nine, G. Karsai, and J. Sztipanovits, "An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software", 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009. Abstract
Babjak, B., S. Szilvasi, A. Pedchenko, M. Hofacker, E. Barth, P. Volgyesi, and A. Ledeczi, "Experimental Research Platform for Structural Health Monitoring", Advancement in Sensing Technology, vol. SSMI 1, Berlin Heidelberg, Springer-Verlag, pp. 43–68, 2012.
Babjak, B., S. Szilvasi, A. Pedchenko, M. Hofacker, E. J. Barth, P. Volgyesi, and A. Ledeczi, "Experimental Research Platform for Structural Health Monitoring", Advancement in Sensing Technology, Berlin Heidelberg, Springer-Verlag, 2012.
Szilvasi, S., and P. Volgyesi, "An Experimental Wireless platform for Acoustic Source Localization", Networked Digital Technologies Proceedings, Part II, Prague, Czech Republic, Springer, pp. 289–295, 07/2010.
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
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.
F
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
G
Karsai, G., and E. Visser, "Generative Programming and Component Engineering, Third International Conference", Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
Ledeczi, A., M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment", Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
Ledeczi, A., M. Maroti, A. Bakay, G. Nordstrom, J. Garrett, C. Thomasson, J. Sprinkle, and P. Volgyesi, GME 2000 Users Manual (v2.0), : Institute for Software Integrated Systems, December, 2001.  Download: Ledeczi_A_12_18_2001_GME_2000_U.pdf (584.8 KB)
H
Babjak, B., P. Volgyesi, and A. Ledeczi, "Hardware-Software Partitioning of Soft Multi-Core Cyber-Physical Systems", 13th International Conference on Telecommunications (ConTEL ’15), Graz, Austria, 07/2015.
Hedgecock, W., M. Maroti, J. Sallai, P. Volgyesi, and A. Ledeczi, "High-Accuracy Differential Tracking of Low-Cost GPS Receivers", ACM 11th International Conference on Mobile Systems, Applications, and Services (MobiSys '13), Taipei, Taiwan, ACM, 06/2013. Abstract  Download: mobisys229-hedgecock.pdf (3.74 MB)
Scott, J., S. Neema, B. Eames, T. Bapty, A. Vandivort, S. Khamsi, and T. Gangwer, "A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors", 7th Military and Aerospace Programmable Logic Devices, Washington, DC, September, 2004.  Download: Scott_JM_9_11_2004_A_HW_SW_Co.pdf (284.38 KB)
I
Abbas, W., S. Bhatia, Y. Vorobeychik, and X. Koutsoukos, "Immunization Against Infection Propagation In Heterogeneous Networks", 13th IEEE International Symposium on Network Computing & Applications, Cambridge, MA, pp. 296-300, 2014.
Vizhanyo, A., S. Neema, F. Shi, D. Balasubramanian, and G. Karsai, "Improving the Usability of a Graph Transformation Language", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006. Abstract  Download: improve_gtl.pdf (262.32 KB)
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.
Neema, H., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS", The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018. Abstract
Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems", Proceedings of the 8th International Conference on Intelligent User Interfaces, Miami, FL, ACM, pp. 26-33, 2003.
Davis, J., K. Leelawong, K. Belynne, B. Bodenheimer, G. Biswas, N. Vye, and J. Bransford, "Intelligent user interface design for teachable agent systems: A demonstration abstract", The 8th International Conference on Intelligent User Interfaces, Miami, FL, Association for Computing Machinery, pp. 320, 2003.
Szilvasi, S., P. Volgyesi, J. Sallai, A. Ledeczi, and M. Maroti, "Interferometry in Wireless Sensor Networks", Interferometry - Research and Applications in Science and Technology: InTech, 2012.