kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Constance L. Heitmeyer
8 papers
cited 26×
cites 17
Reply guy/gal
Corina S. Pasareanu
cited you 3×
Mutuals
  1. Alessandro Cimatti1 ⇄ 2
  2. David Notkin1 ⇄ 1
  3. Marco Roveri1 ⇄ 1
  4. Ramesh Bharadwaj1 ⇄ 1
  5. Steve Sims1 ⇄ 2
you ⇄ them
Parasocial crush
Hassen Saïdi
you: 4 · them: 0
Secret admirer
Dimitra Giannakopoulou
them: 2 · you: 0
Main character
Using Model Checking to Generate Tests from Requirements Specifications
FSE 1999 · cited 12×
Ratio'd
Test Generation for Intelligent Networks Using Model Checking
TACAS 1997 · cited 7× · by your 12×
Vintage
You cite like it's 1997
Deepest dig
Model Checking and Abstraction
TOPLAS 1994
Lamport number6
  1. you
  2. Stuart R. Faulk
  3. Lawrence G. Votta
  4. Lalita Jategaonkar Jagadeesan
  5. Rajeev Alur
  6. Robert P. Kurshan
  7. Leslie Lamport
pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.