Grants & Projects per year
Personal profile
Fingerprint
Dive into the research topics where Lukasz Ziarek is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SHF: Small: Open Choreographies via Session Types
Hirsch, A. (PI) & Ziarek, L. (CoI)
09/1/25 → 08/31/28
Project: Research
-
Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols
Ziarek, L. (PI)
07/1/22 → 06/30/26
Project: Research
-
CRI: CI-New: Collaborative Research: Extensible, Software Enabled Unmanned Aerial Vehicles
Ziarek, L. (PI) & Dantu, K. (CoI)
08/23/18 → 09/30/22
Project: Research
-
CAREER: Enabling Adaptable, Object Oriented, Real-time Systems
Ziarek, L. (PI)
03/1/18 → 02/29/24
Project: Research
-
MRI: Development of iCAVE2 (Instrument for Connected and Autonomous Vehicle Evaluation and Experimentation)
Qiao, C. (PI), Hulme, K. (CoPI), Sadek, A. (CoPI), Ziarek, L. (CoI), He, Q. (CoPI), Wu, C. (CoPI) & Koutsonikolas, D. (CoI)
10/1/16 → 09/30/21
Project: Research
-
Microft: Exploring and Mitigating Cross-State Control-Flow Hijacking Attacks on ARM Cortex-M TrustZone
Ma, Z., Tan, X., Ziarek, L., Zhang, N., Upadhyaya, S., Hu, H. & Zhao, Z., Oct 24 2025, In: IEEE Transactions on Information Forensics and Security. 20, p. 12096-12111 16 p.Research output: Contribution to journal › Article › peer-review
-
Rate-Based Session Types for IoT Systems
Iraci, G., Chuang, C. E., Hu, R. & Ziarek, L., Sep 17 2025, In: ACM Transactions on Programming Languages and Systems. 47, 3, p. 1-39 39 p.Research output: Contribution to journal › Article › peer-review
-
Semantic Logical Relations for Timed Message-Passing Protocols
Yao, Y., Iraci, G., Chuang, C. E., Balzer, S. & Ziarek, L., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 3704895.Research output: Contribution to journal › Article › peer-review
Open Access -
A Comprehensive Study of Systems Challenges in Visual Simultaneous Localization and Mapping Systems
Semenova, S., Ko, S., Liu, Y. D., Ziarek, L. & Dantu, K., Sep 27 2024, In: ACM Transactions on Embedded Computing Systems. 24, 1, 2.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
PTDETECTOR: An Automated JavaScript Front-end Library Detector
Liu, X. & Ziarek, L., 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 649-660 12 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations