BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Estonia
1 × Hungary
1 × Ireland
1 × Italy
2 × France
2 × United Kingdom
3 × USA
Collaborated with:
C.Ihlemann S.Jacobs J.Faber M.Horbach A.Rybalchenko M.Bender D.Peuter H.Ganzinger U.Waldmann
Talks about:
theori (7) system (5) reason (5) local (5) parametr (4) hierarch (4) extens (4) verif (4) interpol (3) complex (3)

Person: Viorica Sofronie-Stokkermans

DBLP DBLP: Sofronie-Stokkermans:Viorica

Facilitated 1 volumes:

CADE 2011Ed

Contributed to:

IJCAR 20142014
CADE 20132013
IFM 20102010
IJCAR 20102010
CADE 20092009
TACAS 20082008
IFM 20072007
VMCAI 20072007
IJCAR 20062006
CADE 20052005
IJCAR 20042004
CADE 20002000
CADE 19991999
IJCAR 20162016
CADE 20172017
CADE 20192019

Wrote 18 papers:

IJCAR-2014-HorbachS #axiom #locality #reachability
Locality Transfer: From Constrained Axiomatizations to Reachability Predicates (MH, VSS), pp. 192–207.
CADE-2013-Sofronie-Stokkermans #generative #hybrid #parametricity #reasoning #verification
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
IFM-2010-FaberIJS #automation #parametricity #specification #verification
Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
IJCAR-2010-IhlemannS #on the #reasoning
On Hierarchical Reasoning in Combinations of Theories (CI, VSS), pp. 30–45.
IJCAR-2010-Sofronie-Stokkermans #parametricity #reasoning #verification
Hierarchical Reasoning for the Verification of Parametric Systems (VSS), pp. 171–187.
System Description: H-PILoT (CI, VSS), pp. 131–139.
CADE-2009-Sofronie-Stokkermans #locality
Locality Results for Certain Extensions of Theories with Bridging Functions (VSS), pp. 67–83.
TACAS-2008-IhlemannJS #on the #reasoning #verification
On Local Reasoning in Verification (CI, SJ, VSS), pp. 265–281.
IFM-2007-FaberJS #data type #parametricity #specification #verification
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.
VMCAI-2007-RybalchenkoS #constraints #theorem proving
Constraint Solving for Interpolation (AR, VSS), pp. 346–362.
Interpolation in Local Theory Extensions (VSS), pp. 235–250.
CADE-2005-Sofronie-Stokkermans #reasoning
Hierarchic Reasoning in Local Theory Extensions (VSS), pp. 219–234.
IJCAR-2004-GanzingerSW #composition #proving #similarity
Modular Proof Systems for Partial Functions with Weak Equality (HG, VSS, UW), pp. 168–182.
CADE-2000-Sofronie-Stokkermans #on the #unification
On Unification for Bonded Distributive Lattices (VSS), pp. 465–481.
CADE-1999-Sofronie-Stokkermans #complexity #decidability #on the
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results (VSS), pp. 157–171.
IJCAR-2016-Sofronie-Stokkermans #on the
On Interpolation and Symbol Elimination in Theory Extensions (VSS), pp. 273–289.
CADE-2017-BenderS #metric #set
Decision Procedures for Theories of Sets with Measures (MB, VSS), pp. 166–184.
CADE-2019-PeuterS #invariant #on the #parametricity #synthesis
On Invariant Synthesis for Parametric Systems (DP, VSS), pp. 385–405.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.