ISIS Publications

Export 279 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is L  [Clear All Filters]
2014
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)
Maroti, M., R. Kereskenyi, T. Kecskes, P. Volgyesi, and A. Ledeczi, "Online Collaborative Environment for Designing Complex Computational Systems", The International Conference on Computational Science (ICCS 2014), Cairns, Australia, Elsevier Procedia, 06/2014. Abstract  Download: WebGME-ICCS14.pdf (931.4 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
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai, "Design Space Exploration and Manipulation for Cyber Physical Systems", IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014. Abstract  Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
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)
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)
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)
2013
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)
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)
Carl, J. D., Z. Lattmann, and G. Biswas, "Modeling and Simulation Semantics for Building Large-Scale Multi-Domain Embedded Systems", 27th European Conference on Modelling and Simulation, Norway, 05/2013.  Download: csm_ECMS2013_0091.pdf (1.46 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)
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.  Download: ECBS2013.pdf (416.4 KB)
Lindecker, D., G. Simko, I. Madari, T. Levendovszky, and J. Sztipanovits, "Multi-Way Semantic Specification of Domain-Specific Modeling Languages", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013.
Simko, G., D. Lindecker, T. Levendovszky, S. Neema, and J. Sztipanovits, "Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition", ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS): Springer Berlin Heidelberg, 2013.
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
2012
Lattmann, Z., A. Nagel, T. Levendovszky, T. Bapty, S. Neema, and G. Karsai, "Component-based Modeling of Dynamic Systems using Heterogeneous Composition", 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.  Download: MPM12_paper 20.pdf (260.56 KB)
Lattmann, Z., A. Nagel, J. Scott, K. Smyth, J. Ceisel, C. vanBuskirk, J. Porter, S. Neema, T. Bapty, D. Mavris, et al., "Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs", Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.  Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
Li, B., J. Sallai, P. Volgyesi, and A. Ledeczi, "Rapid Prototyping of Image Processing Workflows on Massively Parallel Architectures", Workshop on Intelligent Solutions in Embedded Systems, Klagenfurt, Austria, 06/2012. Abstract
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Towards a Versatile Wireless Platform for Low-power Applications", International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
Ledeczi, A., and M. Maroti, "Wireless Sensor Node Localization", Philosophical Transactions of the Royal Society A, vol. 370, no. 1958, pp. 85-99, 01/2012. 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.
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
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.
2011
Amundson, I., J. Sallai, X. Koutsoukos, A. Ledeczi, and M. Maroti, "RF angle of arrival-based node localisation", International Journal of Sensor Networks, vol. (to appear), 2011.
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.
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)
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
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)
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Software-defined radio for versatile low-power wireless sensor systems", International Conference on Digital Information Processing and Communications, Ostrawa, Czech Republic, 07/2011. Abstract
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)
Amundson, I., X. Koutsoukos, J. Sallai, and A. Ledeczi, "Mobile Sensor Navigation using Rapid RF-based Angle of Arrival Localization", 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, IL, 04/2011. Abstract
Liu, B., Y. Cao, Y. Cui, Y. Xue, F. Qiu, and Y. Lu, "Minimizing service disruption in Peer-to-Peer streaming", IEEE Consumer Communications and Networking Conference, 2011.
Levendovszky, T., B. Rumpe, B. Schaetz, and J. Sprinkle, "Model Evolution and Management", Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science 6100: Springer, pp. 241-270, 2011. Abstract
Ledeczi, A., P. Volgyesi, E. Barth, A. Nadas, A. Pedchenko, T. Hay, and S. Jayaraman, "Self-sustaining Wireless Acoustic Emission Sensor System for Bridge Monitoring", New Developments in Sensing Technology for Structural Health Monitoring, vol. 96: Springer Berlin Heidelberg, pp. 15-39, 2011.
Li, X., and Y. Xue, A Survey on Web Application Security, , Nashville, TN USA, Vanderbilt University, 2011. Abstract  Download: main.pdf (159.48 KB)
Li, X., Y. Xue, and B. Malin, "Towards Understanding the Usage Pattern of Web-based Electronic Medical Record Systems", The Third International IEEE WoWMoM Workshop on Interdisciplinary Research on E-Health Services and Systems, 2011.
2010