Viorica Sofronie-Stokkermans

Identifiers

• name variant Viorica Sofronie-Stokkermans 0.60 · backfill

Papers (7)

1. On Invariant Synthesis for Parametric Systems cs.LO · 2019 · author #2
2. Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata cs.LO · 2016 · author #3
3. Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions cs.LO · 2013 · author #1
4. System Description: H-PILoT (Version 1.9) cs.LO · 2010 · author #2
5. Sheaves and geometric logic and applications to the modular verification of complex systems cs.LO · 2008 · author #1
6. On combinations of local theory extensions cs.LO · 2008 · author #1
7. Interpolation in local theory extensions cs.LO · 2008 · author #1

Mentions

• 1311.2973 #1 · backfill · confidence 0.70 Viorica Sofronie-Stokkermans
• 1009.0673 #2 · backfill · confidence 0.70 Viorica Sofronie-Stokkermans
• 0810.2877 #1 · backfill · confidence 0.70 Viorica Sofronie-Stokkermans
• 0810.2653 #1 · backfill · confidence 0.70 Viorica Sofronie-Stokkermans
• 0806.4553 #1 · backfill · confidence 0.70 Viorica Sofronie-Stokkermans

Frequent Coauthors

• Carsten Ihlemann 1 shared papers
• Dennis Peuter 1 shared papers
• Matthias Horbach 1 shared papers
• Werner Damm 1 shared papers