Projects per year
Fingerprint
Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
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
Profiles
-
SaTC: CORE: Small: Auto-active Hyperproperty Verification for Security
Naumann, D. (PI)
10/1/24 → 9/30/27
Stevens Institute of Technology
Project: Research
Research output
-
An Evaluation Process for Tools that Build or Evidence Competency in Cybersecurity: Development and Lessons Learned
Miller, S., Simpson, C., Vasserman, E. & Wetzel, S., 2026, Information Security Education. Empowering People Through Information Security Education - 17th IFIP WG 11.8 World Conference, WISE 2025, Proceedings. Drevin, L., Leung, W. S. & von Solms, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 31-45 15 p. (IFIP Advances in Information and Communication Technology; vol. 742 IFIPAICT).Stevens Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Nicola, M., Agarwal, C., Koskinen, E. & Wies, T., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 2511-2539 29 p.Stevens Institute of Technology
Research output: Contribution to journal › Article › peer-review
Open Access -
An Abstract Domain for Heap Commutativity
Pincus, J. & Koskinen, E., 2025, Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Proceedings. Shankaranarayanan, K., Sankaranarayanan, S. & Trivedi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 26-49 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15530 LNCS).Stevens Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review