ISIS Publications

Laszka, A., S. Eisele, A. Dubey, G. Karsai, and K. Kvaternik, "TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids", The 24th International Conference on Parallel and Distributed Systems, Singapore, IEEE, 12/2018. Abstract

Download: TRANSAX-2018.pdf (479.27 KB)

Laszka, A., A. Dubey, M. Walker, and D. C. Schmidt, "Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers", The 7th International Conference on the Internet of Things (IoT 2017) , Linz, Austria, ACM, 10/2017. Abstract

Download: paper.pdf (208.49 KB)

Laszka, A., B. Potteiger, Y. Vorobeychik, S. Amin, and X. Koutsoukos, "Vulnerability of transportation networks to traffic-signal tampering", Proceedings of the 7th International Conference on Cyber-Physical Systems, Vienna, Austria, IEEE Press, pp. 16, 2016.

Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, and S. Neema, META Design Space Exploration Using Dynamics, , no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.

Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)

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., An Analysis-Driven Rapid Design Process for Cyber-Physical Systems, : Vanderbilt University, August, 2016.

Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, , no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.

Download: Integration Platform Technology Components in the META Toolchain.pdf (2.3 MB)

Lattmann, Z., A multi-domain functional dependency modeling tool based on extended hybrid bond graphs, : Vanderbilt University, 2010.

Download: thesis_Zsolt.pdf (1.59 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)

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)

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)

LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach To Deployment In Multi-Agent Networks", Seventh International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010), Funchal, Madeira - Portugal, SciTePress, pp. 53-62, 06/2010.

Download: ICINCO_2010_265_CR_press.pdf (581.69 KB)

LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach to Group Coordination in Multi-Agent Networks", Informatics in Control, Automation and Robotics, 1, vol. 89: Springer, 2011.

LeBlanc, H. J., H. Zhang, S. Sundaram, and X. Koutsoukos, Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information, : Institute for Software-Integrated Systems, 06/2012.

Download: HiCoNSISISTech.pdf (1005.39 KB)

LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach to Deployment in Multi-Agent Networks", 7th International Conference on Informatics in Control, Automation and Robotics, vol. 1, Funchal, Madeira - Portugal, SciTePress, pp. 53–62, 06/2010.

Download: ICINCO_2010_265_CR.pdf (555.39 KB)

LeBlanc, H., and X. Koutsoukos, "Consensus in Networked Multi-Agent Systems with Adversaries", Hybrid Systems: Computation and Control, 04/2011. Abstract

Download: hscc21c-leblanc.pdf (299.24 KB)

Ledeczi, A., "Parallel Systems with Flexible Topology", PhD Dissertation: Vanderbilt University, 1995.

Download: Ledeczi_A_0_0_1995_Parallel_S.pdf (1.37 MB)

Ledeczi, A., "Model-Integrated Parallel Application Synthesis", Engineering of Computer Based Systems (ECBS), Monterey, CA, pp. 38--45, March, 1997.

Download: Ledeczi_A_3_0_1997_Model_Inte.pdf (118.81 KB)

Ledeczi, A., P. Volgyesi, J. Sallai, and R. Thibodeaux, "A Novel RF Ranging Method", Sixth Workshop on Intelligent Solutions in Embedded Systems, Regensburg, Germany, 07/2008. Abstract

Download: wises08final.pdf (792.04 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.

Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.

Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)

Ledeczi, A., B. Abbott, C. Biegl, G. Karsai, and J. Sztipanovits, "Modeling Parallel Hardware Architectures", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.

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.

Ledeczi, A., C. Biegl, B. Abbott, T. Bapty, and J. Sztipanovits, "Automatic Parallel Program Generation for Aerospace Testing", 9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.

Ledeczi, A., G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, "On Metamodel Composition", IEEE CCA 2001, Mexico City, Mexico, September, 2001.

Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)

Ledeczi, A., "System Synthesis for Parallel Signal Processing", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.

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.

Ledeczi, A., S. Sastry, M. Meingast, M. Kushwaha, S. Oh, and X. Koutsoukos, "Fusion-based localization for a Heterogeneous camera network", ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC-08), Stanford University, California, USA, 09/2008.

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

Ledeczi, A., G. Balogh, Z. Molnar, P. Volgyesi, and M. Maroti, "Model Integrated Computing in the Large", IEEE Aerospace, Big Sky, MT, March, 2005.

Download: Ledeczi_A_3_6_2005_Model_Inte.pdf (1.62 MB)

Ledeczi, A., M. Maroti, G. Karsai, and G. Nordstrom, "Metaprogrammable Toolkit for Model-Integrated Computing", Engineering of Computer Based Systems (ECBS), Nashville, TN, pp. 311--317, March, 1999.

Download: Ledeczi_A_3_0_1999_Metaprogra.pdf (70.05 KB)

Ledeczi, A., P. Volgyesi, J. Sallai, B. Kusy, X. Koutsoukos, and M. Maroti, "Towards Precise Indoor RF Localization", HOTEMNETS'08, Charlottesville, VA, 06/02, 2008.

Download: hotemnets08-indoorloc.pdf (717.53 KB); hotemnets08-indoorloc.ppt (2.33 MB)

Ledeczi, A., J. Davis, S. Neema, B. Eames, G. Nordstrom, V. Prasanna, C. Raghavendra, A. Bakshi, S. Mohanty, V. Mathur, et al., "Overview of the Model-based Integrated Simulation Framework", ISIS-01-201: Institute for Software Integrated Systems, January, 2001.

Download: Ledeczi_A_1_30_2001_Overview_o.pdf (84.4 KB)

Ledeczi, A., and B. Abbott, "Model-Based Hardware Configuration Management", Transputer Research and Applications, ISSN: 0925-4986, ISO Press, vol. 6, pp. 318--332, 1993.

Ledeczi, A., C. Biegl, and B. Abbott, "High Performance Graphics for Parallel Systems", Int. Conf. on Signal Processing Applications and Technology, Dallas, TX, pp. 733--738, January, 1994.

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)

Ledeczi, A., T. Bapty, G. Karsai, and J. Sztipanovits, "Modeling Paradigm for Parallel Signal Processing", The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.

Ledeczi, A., J. Davis, S. Neema, and A. Agrawal, "Modeling Methodology for Integrated Simulation of Embedded Systems", ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.

Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)

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

Ledeczi, A., P. Volgyesi, M. Maroti, G. Simon, G. Balogh, A. Nadas, B. Kusy, S. Dora, and G. Pap, "Multiple Simultaneous Acoustic Source Localization in Urban Terrain", In Proc. of IPSN, Los Angeles, CA, April, 2005.

Download: Ledeczi_A_4_25_2005_Multiple_S.pdf (682.65 KB)

Ledeczi, A., "Model Construction for Model-Integrated Computing", 13th International Conference on Systems Engineering, Las Vegas, NV, pp. CS103--108, 1999.

Download: Ledeczi_A_8_0_1999_Model_Cons.pdf (49.62 KB)

Ledeczi, A., T. Hay, P. Volgyesi, R. Hay, A. Nadas, and S. Jayaraman, "Wireless Acoustic Emission Sensor Network for Structural Monitoring", IEEE Sensors Journal, 2009. Abstract

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., B. Abbott, C. Biegl, T. Bapty, G. Karsai, and J. Sztipanovits, "Parallel DSP System Integration", Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.

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

Ledeczi, A., and B. Abbott, "Parallel Systems with Flexible Topology", Scalable High Performance Computing Conference, Knoxville, TN, pp. 460--470, January, 1994.

Ledeczi, A., A. Bakay, and M. Maroti, "Model-Integrated Embedded Systems", Robertson, Shrobe, Laddaga (eds) Self Adaptive Software, Springer-Verlag Lecture Notes in CS, #1936, February, 2001.

Download: Ledeczi_A_4_0_2000_Model_Inte.pdf (217.28 KB)

Lee, Y., J. Werner, and J. Sztipanovits, "Integration and Verification of Privacy Policies Using DSML's Structural Semantics in a SOA-Based Workflow Enviroonment", Journal of Korean Society for Internet Information, vol. 10, no. 149, 09/2009.

Download: 2009.0830-KSII Journal Paper_Vol.10_No.4_Yonghwan.pdf (665.37 KB)

Lee, Y., and D. Min, "A peak load control-based orchestration system for stable execution of hybrid services", CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, vol. 20, no. 20, 10/2008.

Download: 2008-02-CCPE Journal.pdf (509.86 KB)