Projects per year
Fingerprint
Dive into the research topics where Iulian Neamtiu 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
-
Collaborative Research: SHF: Medium: Precise Static Analysis of Event-based Systems
Neamtiu, I. (PI)
9/24/18 → 9/30/25
Project: Research project
-
SHF: Small: Program Analysis for Dependable Clustering
Neamtiu, I. (PI)
10/1/20 → 9/30/23
Project: Research project
-
Twc: Small: Collaborative: Improving Android Security With Dynamic Slicing
Neamtiu, I. (PI)
9/1/16 → 8/31/19
Project: Research project
-
Career: Differential Types And Declarative Hypothesis Testing For Software Evolution
Neamtiu, I. (PI)
9/1/15 → 3/31/17
Project: Research project
-
Tc: Medium: Collaborative Research: Program Analysis For Smartphone Application Security
Neamtiu, I. (PI)
9/1/15 → 8/31/17
Project: Research project
-
DeAnomalyzer: Improving Determinism and Consistency in Anomaly Detection Implementations
Ahmed, M. & Neamtiu, I., 2023, Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023. Institute of Electrical and Electronics Engineers Inc., p. 17-25 9 p. (Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Detecting Potential User-data Save & Export Losses due to Android App Termination
Rahaman, S., Farooq, U., Neamtiu, I. & Zhao, Z., 2023, Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023. Institute of Electrical and Electronics Engineers Inc., p. 152-162 11 p. (Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Diagnosing Medical Score Calculator Apps
Rahaman, S., Samuel, R. & Neamtiu, I., Sep 27 2023, In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 7, 3, 118.Research output: Contribution to journal › Article › peer-review
Open Access -
Anomalous Anomaly Detection
Ahmed, M. & Neamtiu, I., 2022, Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Bddl: A Type System for Binary Decision Diagrams
Lembachar, Y., Rusich, R., Neamtiu, I. & Ciardo, G., 2022, Tests and Proofs - 16th International Conference, TAP 2022, held as Part of STAF 2022, Proceedings. Kovács, L. & Meinke, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 31-47 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13361 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Press/Media
-
NEW DIAGNOSIS TOOLS WILL HELP PROTECT DATA IN EVENT-BASED APPLICATIONS
8/4/21
1 item of Media coverage
Press/Media: Press / Media
-
COMPUTING PROFESSOR MAKES ARTIFICIAL INTELLIGENCE MORE RELIABLE
2/1/21
1 item of Media coverage
Press/Media: Press / Media
-
-Ruhr-Universitat Bochum: How secure are Knock Codes for smartphone lock screens
7/15/20
1 item of Media coverage
Press/Media: Press / Media