ISIS Publications

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.

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)

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)

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)

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)

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)

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., 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., 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., 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., 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., 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., "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., 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)

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

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., 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., 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., 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., 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., 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., 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., "System Synthesis for Parallel Signal Processing", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.

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., 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., 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., 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.