Tim Nelson Source Confirmed

Affiliation confirmed via AI analysis of OpenAlex, ORCID, and web sources.

Researcher

John Brown University

faculty

tim_nelson@brown.edu

12 h-index 42 pubs 420 cited

Research Areas

Software Testing and Debugging Techniques Software-Defined Networks and 5G Formal Methods in Verification Software Engineering Research Network Security and Intrusion Detection

Links

ORCID

Is this your profile? Verify and claim your profile

OverviewAI-generated summary

Tim Nelson, a faculty member at John Brown University, focuses on software testing, debugging techniques, and software-defined networks. His research also encompasses formal methods in verification, software engineering, network security, and intrusion detection. Nelson's recent publication record extends to 2025, indicating ongoing activity in these fields.

Metrics

  • h-index: 12
  • Publications: 42
  • Citations: 420

Selected Publications

  • Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2025) DOI
  • Conceptual Mutation Testing for Student Programming Misconceptions (2023) DOI
  • Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information (artifact) (2022) DOI
  • Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information (artifact) (2022) DOI
  • Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions (2022) DOI
  • Little Tricky Logic: Misconceptions in the Understanding of LTL (2022) DOI
  • Applying cognitive principles to model-finding output: the positive value of negative information (2022) DOI
  • Automated, Targeted Testing of Property-Based Testing Predicates (2021) DOI
  • Automated, Targeted Testing of Property-Based Testing Predicates (2021) DOI

Collaborators

Researchers in the database who share publications

Shriram Krishnamurthi John Brown University 17 shared publications Ben Greenman John Brown University 14 shared publications Sam Saarinen John Brown University 7 shared publications John Wrenn John Brown University 3 shared publications Elijah Rivera John Brown University 2 shared publications

Similar Researchers

Based on overlapping research topics

Jack Wrenn John Brown University
Software Testing and Debugging Techniques Software Engineering Research
Good match
Elijah Rivera John Brown University
Software Testing and Debugging Techniques Software Engineering Research
Related
John Wrenn John Brown University
Software Testing and Debugging Techniques Software Engineering Research
Related
Shriram Krishnamurthi John Brown University
Software Testing and Debugging Techniques Software Engineering Research
Related
Lukas Lazarek John Brown University
Software Testing and Debugging Techniques Software Engineering Research
Related
Shobha Vasudevan John Brown University
Software Testing and Debugging Techniques Formal Methods in Verification
Related