Sergio Mover

Identifiers

• name variant Sergio Mover 0.60 · backfill

Papers (5)

1. Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic cs.MA · 2026 · author #3
2. Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version) cs.PL · 2019 · author #2
3. DroidStar: Callback Typestates for Android Classes cs.LO · 2017 · author #4
4. Abstracting Event-Driven Systems with Lifestate Rules cs.PL · 2016 · author #4
5. IC3 Modulo Theories via Implicit Predicate Abstraction cs.LO · 2013 · author #3

Mentions

• 2606.21558 #3 · arxiv_oai · confidence 0.70 Sergio Mover
• 1310.6847 #3 · backfill · confidence 0.70 Sergio Mover

Frequent Coauthors

• Bor-Yuh Evan Chang 3 shared papers
• Shawn Meier 3 shared papers
• Alberto Griggio 1 shared papers
• Aleksandar Chakarov 1 shared papers
• Alessandro Cimatti 1 shared papers
• Arjun Radhakrishna 1 shared papers
• Damien Zufferey 1 shared papers
• J\'er\'emy Dubut 1 shared papers
• Krishna Chaitanya Sripada 1 shared papers
• Lydia Bakiri 1 shared papers
• Maxwell Russek 1 shared papers
• Nicholas V. Lewchenko 1 shared papers
• Pavol \v{C}ern\'y 1 shared papers
• Stefano Tonetta 1 shared papers