ISIS Publications

Export 131 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is V  [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
2015
Taddese, A., M. Beccani, E. Susilo, P. Volgyesi, A. Ledeczi, and P. Valdastri, "Toward Rapid Prototyping of Miniature Capsule Robots", IEEE International Conference on Robotics and Automation (ICRA ‘15), Seattle, WA, 05/2015.
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.
Abbas, W., A. Laszka, Y. Vorobeychik, and X. Koutsoukos, "Scheduling Intrusion Detection Systems in Resource-Bounded Cyber-Physical Systems", ACM Workshop on Cyber-Physical Systems Security & Privacy (in Conjunction with 22nd ACM Conference on Computer and Communications Security (CCS)), Denver, CO, ACM, 09/2015.
Potteiger, B., P. Volgyesi, H. Neema, Y. Vorobeychik, A. Laszka, and X. Kousoukos, Resilient traffic light control (Poster), , Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
2016
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)
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.
, "Optimal thresholds for anomaly-based intrusion detection in dynamical environments", 7th Conference on Decision and Game Theory for Security (GameSec 2016), 11/2016.  Download: paper.pdf (442.01 KB)
2017
2018
2019