FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
System Description: H-PILoT (Version 1.9)S. 1 - 43
Sofronie-Stokkermans, Viorica
Sheaves and geometric logic and applications to the modular verification of complex systemsS. 1 - 30
Sofronie-Stokkermans, Viorica
Parametric Systems: Verification and SynthesisS. 1 - 39
Peuter, Dennis; Sofronie-Stokkermans, Viorica
On Invariant Synthesis for Parametric SystemsS. 1 - 33
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsS. 1 - 41
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningS. 1 - 24
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensionsS. 1 - 42
Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
LambdaDL: Syntax and Semantics (Preliminary Report)S. 1 - 15
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsS. 1 - 31
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsS. 1 - 39