ISIS Publications

Export 78 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is L  [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]
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., 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., 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., 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)
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 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)
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., 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)
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)