Parker Ljung Source Confirmed

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

Researcher

John Brown University

unknown

2 h-index 2 pubs 24 cited

Research Areas

Formal Methods in Verification Distributed systems and fault tolerance Security and Verification in Computing Model-Driven Software Engineering Techniques Embedded Systems Design Techniques

Is this your profile? Verify and claim your profile

Metrics

  • h-index: 2
  • Publications: 2
  • Citations: 24

Selected Publications

  • Distributed runtime verification of metric temporal properties (2023) DOI
  • Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols (2022) DOI

Collaborators

Researchers in the database who share publications

Benjamin Schornstein John Brown University 2 shared publications

Similar Researchers

Based on overlapping research topics

Ben Greenman John Brown University
Formal Methods in Verification Model-Driven Software Engineering Techniques
Related
Michael Lowry University of Arkansas for Medical Sciences
Formal Methods in Verification Distributed systems and fault tolerance
Related
Frédéric Prost Lyon College
Formal Methods in Verification Model-Driven Software Engineering Techniques
Related
Shobha Vasudevan John Brown University
Formal Methods in Verification Embedded Systems Design Techniques
Related
Aditi Barua University of Arkansas at Little Rock
Formal Methods in Verification Model-Driven Software Engineering Techniques
Related
Albert L. Baker University of Arkansas at Little Rock
Formal Methods in Verification Model-Driven Software Engineering Techniques
Related