Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 8:59, 24 May 2013

Search the publication database

  . Return

Your search returned the following 73 documents:

  1. Viorica Sofronie-Stokkermans
    Hierarchical reasoning and model generation for the verification of parametric hybrid systems
    In: Proceedings of the 24th International Conference on Automated Deduction (CADE-24), Lake Placid, New York, 2013, 360-376. Note: to appear
  2. Viorica Sofronie-Stokkermans
    On combinations of local theory extensions
    In: Programming Logics, Essays in Memory of Harald Ganzinger, Saarbrücken, 2013
  3. Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans
    Preface: Special Issue of Selected Extended Papers of CADE-23
    Journal of Automated Reasoning , 2013. Note: To appear.
  4. Nicolas Peltier and Viorica Sofronie-Stokkermans
    First-order theorem proving: Foreword
    Journal of Symbolic Computation 47 (9): 1009-1010, 2012
  5. Werner Damm, Carsten Ihlemann, and Viorica Sofronie-Stokkermans
    Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
    In: HSCC'11 : Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, Chicago, Ill., 2011, 73-82
  6. Francis Gasse and Viorica Sofronie-Stokkermans
    Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
    In: Proceedings of the 2011 International Workshop on Description Logics (DL-2011), Barcelona, Spain, 2011, 125-135
  7. Werner Damm, Carsten Ihlemann, and Viorica Sofronie-Stokkermans
    PTIME parametric verification of safety properties for reasonable linear hybrid automata
    Mathematics in Computer Science 5 (4): 469-497, 2011
  8. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Werner Damm, Carsten Ihlemann, and Viorica Sofronie-Stokkermans
    PTIME parametric verification of safety properties for reasonable linear hybrid automata
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 70, Technical Report
  9. Viorica Sofronie-Stokkermans
    Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms-
    In: Interaction versus Automation : the two Faces of Deduction, Schloss Dagstuhl, 2010, 1-33
  10. Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    Automatic Verification of Parametric Specifications with Complex Topologies
    In: Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, 2010, 152-167
  11. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    Automatic Verification of Parametric Specifications with Complex Topologies
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 66, Technical Report
  12. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    Journal of Symbolic Computation 45 (11): 1212-1233, 2010
  13. Viorica Sofronie-Stokkermans
    Hierarchical Reasoning for the Verification of Parametric Systems
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, 2010, 171-187
  14. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Carsten Ihlemann and Viorica Sofronie-Stokkermans
    On hierarchical reasoning in combinations of theories
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 60, Technical Report
  15. Carsten Ihlemann and Viorica Sofronie-Stokkermans
    On Hierarchical Reasoning in Combinations of Theories
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, 2010, 30-45
  16. Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, and Ashish Tiwari
    Special issue on automated deduction: Decidability, complexity, tractability
    Journal of Symbolic Computation 45 (2): 151-152, 2010
  17. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Carsten Ihlemann and Viorica Sofronie-Stokkermans
    System Description: H-PILoT (Version 1.9)
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 61, Technical Report
  18. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 56, Technical Report
  19. Viorica Sofronie-Stokkermans
    Locality results for certain extensions of theories with bridging functions
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 67-83
  20. Viorica Sofronie-Stokkermans
    Reasoning in Complex Theories and Applications. Advanced Lecture
    In: ESSLLI 2009 : European Summer School in Logic, Language and Information, Bordeaux, France, 2009, 1-64
  21. Viorica Sofronie-Stokkermans
    Sheaves and geometric logic and applications to modular verification of complex systems
    Electronic Notes in Theoretical Computer Science 230: 161-187, 2009
  22. Carsten Ihlemann and Viorica Sofronie-Stokkermans
    System Description: H-PILoT
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 131-139
  23. Viorica Sofronie-Stokkermans
    Efficient hierarchical reasoning about functions over numerical domains
    In: KI 2008: Advances in Artificial Intelligence, Kaiserslautern, Germany, 2008, 135-143
  24. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Viorica Sofronie-Stokkermans
    Efficient Hierarchical Reasoning about Functions over Numerical Domains
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 45, Reports of SFB/TR 14 AVACS. Note: extended version of an article with the same name published in the proceedings of KI 2008.
  25. Viorica Sofronie-Stokkermans
    Interpolation in local theory extensions
    Logical Methods in Computer Science 4 (4): 31 pages p., 2008. Note: Special issue of LMCS dedicated to IJCAR 2006.
  26. Viorica Sofronie-Stokkermans
    Locality and subsumption testing in $\mathcalEL$ and some of its extensions
    In: Advances in Modal Logic, Vol.7 (Proceedings of AIML 2008), Nancy, France, 2008, 315-339
  27. Viorica Sofronie-Stokkermans
    Locality and subsumption testing in $\mathcalEL$ and some of its extensions
    In: Proceedings of the 21st International Workshop on Description Logics (DL-2008), Dresden, Germany, 2008, 11pages p.
  28. Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    On local reasoning in verification
    In: Proceedings of TACAS 2008, Budapest, Hungary, 2008, 265-281
  29. Viorica Sofronie-Stokkermans
    Reasoning in Complex Theories and Applications
    KI 2008: Proceedings of the tutorial "Reasoning in Complex Theories and Applications"
  30. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Viorica Sofronie-Stokkermans
    Sheaves and geometric logic and applications to modular verification of complex systems
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 46, Reports of SFB/TR 14 AVACS
  31. Viorica Sofronie-Stokkermans
    Algebraic and logical methods in computer science: some aspects
    In: Grigore C. Moisil and his followers, 2007, 488-493
  32. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    Electronic Notes in Theoretical Computer Science 174 (8): 39-54, 2007

  33. Viorica Sofronie-Stokkermans and Carsten Ihlemann
    Automated reasoning in some local extensions of ordered structures
    In: Proceedings of ISMVL 2007, Oslo, Norway, 2007, Article1 p.
  34. Viorica Sofronie-Stokkermans and Carsten Ihlemann
    Automated reasoning in some local extensions of ordered structures
    Journal of Multiple-Valued Logic and Soft Computing 13 (4-6): 397-414, 2007
  35. Viorica Sofronie-Stokkermans
    Automated theorem proving by resolution in non-classical logics
    Annals of Mathematics and Artificial Intelligence 49 (1-4): 221-252, 2007

  36. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 346-362
  37. Viorica Sofronie-Stokkermans
    Hierarchical and modular reasoning in complex theories: The case of local theory extensions
    In: Frontiers of Combining Systems. 6th International Symposium FroCos 2007, Proceedings, Liverpool, UK, 2007, 47-71. Note: Invited paper
  38. Viorica Sofronie-Stokkermans
    Hierarchical and modular reasoning in complex theories: The case of local theory extensions.
    In: Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007), Liverpool, UK, 2007, 1 p.. Note: the full paper appeared in the proceedings of FroCos 2007
  39. Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    In: Deduction and Decision Procedures, Dagstuhl, Germany, 2007, 1-22
  40. Viorica Sofronie-Stokkermans
    On unification for bounded distributive lattices
    ACM Transactions on Computational Logic 8 (2): 12.1-12.28, 2007

  41. Viorica Sofronie-Stokkermans
    On unification in certain finitely generated varieties of algebras
    In: Proceedings of the 21th International Workshop on Unification (UNIF 2007), Paris, France, 2007, 1-5
  42. Johannes Faber, Swen Jacobs, and Viorica Sofronie-Stokkermans
    Verifying CSP-OZ-DC specifications with complex data types and timing parameters
    In: Proceedings of IFM 2007: Integrated Formal Methods, Oxford, UK, 2007, 233-252
  43. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, Seattle, USA, 2006, 15-26
  44. Viorica Sofronie-Stokkermans
    Automatisches Beweisen in komplexen Theorien
    MPG Jahrbuch , 2006
  45. Viorica Sofronie-Stokkermans
    Interpolation in local theory extensions
    In: Proceedings of IJCAR 2006, Seattle, USA, 2006, 235-250
    [PDF: Download: sofronie-ijcar-06.pdf]
  46. Viorica Sofronie-Stokkermans
    Local reasoning in verification
    In: IJCAR'06 Workshop : VERIFY'06: Verification Workshop, Seattle, USA, 2006, 128-145
  47. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Evans Equality
    Information and Computation 204 (10): 1453-1492, 2006
  48. Viorica Sofronie-Stokkermans
    Sheaves and geometric logic in concurrency
    In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), Bonn, Germany, 2006
  49. Viorica Sofronie-Stokkermans
    Hierarchic reasoning in local theory extensions
    In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 219-234
    [PDF: Download: sofronie-cade-2005.pdf]
  50. Viorica Sofronie-Stokkermans
    Algebraic and logical methods in automated theorem proving and in the study of concurrency
    Habilitation thesis, Universität des Saarlandes, 2004. Note: cumulative habilitation, no publication.
  51. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Weak Equality
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, 2004, 168-182
  52. Viorica Sofronie-Stokkermans
    Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
    In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), Toronto, Canada, May 19-22, 2004, 2004, 32-37
  53. Viorica Sofronie-Stokkermans
    Automated theorem proving by resolution in non-classical logics
    In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), Metz, France, September 3-6, 2003, 2003, 151-167. Note: Invited paper
    [PS: Download: jim-03-sofronie.ps.gz]
  54. Viorica Sofronie-Stokkermans
    Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
    In: Beyond Two: Theory and Applications of Multiple Valued Logic, 2003, 59-100
    [PS: Download: mvl-book-02.ps]
  55. Viorica Sofronie-Stokkermans
    On uniform word problems involving bridging operators on distributive lattices
    In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, Copenhagen, Denmark, 2002, 235-250
    [PDF: Download: tableaux-2002.pdf]
  56. Viorica Sofronie-Stokkermans
    Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
    Multiple-Valued Logic - An International Journal 6 (3/4): 289-344, 2001

  57. Viorica Sofronie-Stokkermans
    Representation theorems and the semantics of (semi)lattice-based logics
    In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, Warsaw, Poland, May, 22-24, 2001, 125-134
  58. Harald Ganzinger and Viorica Sofronie-Stokkermans
    Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
    In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), Portland, Oregon, May, 23 - 25, 2000, 337-344
    [PS: Download: _00ISMVL_ps.gz]
  59. Viorica Sofronie-Stokkermans
    Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
    Studia Logica 64 (2): 151-172, 2000

  60. Viorica Sofronie-Stokkermans
    Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
    Studia Logica 64 (1): 93-132, 2000

  61. Viorica Sofronie-Stokkermans
    On unification for bounded distributive lattices
    In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Pittsburgh, Pennsylvania, USA, June 17-20, 2000, 465-481
    [PS: Download: sofronie-cade2000.ps]
  62. Viorica Sofronie-Stokkermans
    Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
    Multiple-Valued Logic - An International Journal 5 (4): 281-305, 2000

  63. Viorica Sofronie-Stokkermans
    Resolution-based theorem proving for SHn-logics
    In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), Vienna, Austria, November, 23 - 25, 1998, 2000, 268-282. Note: %Extended version of [Sofronie1998b].
    [PDF: Download: ftp98-lncs-selection.pdf]
  64. Viorica Sofronie-Stokkermans
    Some properties of Kleene algebras
    In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 2000, 1-7
  65. Luisa Iturrioz and Viorica Sofronie-Stokkermans
    SHn-algebras (Symmetric Heyting algebras of order n)
    In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 2000, 1-11
  66. Viorica Sofronie-Stokkermans and Karel Stokkermans
    Modeling Interaction by Sheaves and Geometric Logic
    In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), Iasi, Romania, August, 31 - September, 3 1999, 1999, 512-523
    [PS: Download: sofronie-stokkermans-fct-1999.ps.gz]
  67. Viorica Sofronie-Stokkermans
    On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
    In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, July 7-10, 1999, 1999, 157-171
    [PDF: Download: cade-99.pdf]
  68. Viorica Sofronie-Stokkermans
    Priestley representation for distributive lattices with operators and applications to automated theorem proving
    In: Dualities, Interpretability and Ordered Structures, Lisbon, Portugal, September, 26-27, 1997, 1999, 43-54
  69. Viorica Sofronie-Stokkermans
    Representation Theorems and Automated Theorem Proving in Non-Classical Logics
    In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), Freiburg im Breisgau, Germany, May 20-22, 1999, 1999, 242-247
  70. Viorica Sofronie-Stokkermans
    Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
    In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, Cracow, Poland, August, 20-26, 1999, 481-481
  71. Viorica Sofronie-Stokkermans
    On Translation of Finitely-Valued Logics to Classical First-Order Logic
    In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, UK, August 23-28, 1998, 1998, 410-411
  72. Viorica Sofronie-Stokkermans
    Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
    In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), Brighton, UK, August 23-28., 1998
  73. Viorica Sofronie-Stokkermans
    Resolution-based Theorem Proving for SHn-Logics
    Technische Universität Wien, Vienna, E1852-GS-981, Technical Report. Note: an extended version will appear in LNCS (subseries LNAI); Proceedings of FTP'98