Get started
Author

Arslan Bisharat

Observed name: Bisharat, Arslan
Observed institution: Loyola University Chicago
ORCID: 0009-0005-7815-4311
Observed ORCID: 0009-0005-7815-4311
OpenAlex ID: A5120686779
1D-CNN-IDS: 1D CNN-based Intrusion Detection System for IIoT
2024 · Arslan Bisharat, Muhammad Mubeen, et al. · International Conference on Automation and Computing (ICAC) · 29
PDF
Detecting LGBTQ+ Instances of Cyberbullying
2024 · Bisharat, Arslan, Madrigal, Manuel Sandoval, et al. · arXiv (Cornell University) · 6
PDF
TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
2026 · Bisharat, Arslan, Spencer, Eric, et al. · arXiv (Cornell University) · 4
PDF
From Moderation to Mediation: Can LLMs Serve as Mediators in Online Flame Wars?
2026 · Dawei Li, Abdullah Alnaibari, et al. · Lecture notes in computer science · 3
PDF
Can LLMs Write Correct TLA + Specifications? Evaluating Natural-Language-to-TLA + Generation
2026 · Arslan Bisharat, Brian Ortiz, et al. · International Conference on Software Technologies (ICSOFT) · 2
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
2026 · Eric Spencer, Arslan Bisharat, et al. · International Conference on Software Technologies (ICSOFT) · 2
SpectrumNet: Detecting LGBTQ+ Cyberbullying with Dynamic Context-Aware Attention
2026 · Arslan Bisharat, Manuel Sandoval, et al. · Proceedings of the International AAAI Conference on Web and Social Media · 1
ALIAS: Evaluating Performance and Memorization in LLM-Written TLA+ Specifications
2026 · Bisharat, Arslan, Nazari, Mujtaba, et al. · arXiv (Cornell University)
PDF
How the Dirty Set Moves: Characterizing Schedule Reuse in Incremental Sparse Matrix Multiplication
2026 · Horne, Hunter, Spencer, Eric, et al. · arXiv (Cornell University)
PDF
Strategies to Avoid Illegal Data Access
2026 · Mubeen, Muhammad, Bisharat, Arslan, et al. · arXiv (Cornell University)
PDF
SPILLOVER: Measuring Cyberbullying NormPropagation on Social Media
2026 · Bisharat, Arslan, Skees, Katelyn, et al. · arXiv (Cornell University)
PDF
A Structured Benchmarking Dataset for TLA+ Specification Reasoning
2026 · Bisharat, Arslan, Spencer, Eric, et al. · Figshare
TLA+ Bench
2026 · Bisharat, Arslan, Spencer, Eric, et al. · Harvard Dataverse
Large Language Models (LLM) and Temporal Logic of Actions (TLA): How Effective are LLMs for Verification Systems
2026 · Ortiz, Brian, Bisharat, Arslan, et al. · Figshare
Evaluating Financial Sentiment in the Age of AI
2026 · Arslan Bisharat, Oudom Hean · SSRN Electronic Journal
ML Model to Better Identify Instances of Bullying Faced by Members of the LGBTQ+ Community
2025 · Bisharat, Arslan · Loyola eCommons (Loyola University of Chicago)
PDF
Works count: 18
Citation count: 48
H-index: 3
I10-index: 1
Year
Topic
Type