Export...\All to MPG RTF format...

Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: IMPRS Evaluation

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#YearedocLckAuthor(s) [non member]Editor(s) [non member]TitleType
38
Hide details for Veröffentlichungen der MitarbeiterVeröffentlichungen der Mitarbeiter
2011Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph
[Bruni, Roberto]
[Dingel, Juergen]
Towards Verification of the Pastry Routing Protocol using TLA+
In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, 244-258
Proceedings Article
2010Fietzke, Arnaud
[Hermanns, Holger]
Weidenbach, Christoph
[Fermüller, Christian G.]
[Voronkov, Andrei]
Superposition-based Analysis of First-Order Probabilistic Timed Automata
In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, 302-316
Proceedings Article
2010Horbach, Matthias[Clarke, Edmund M.]
[Voronkov, Andrei]
Disunification for Ultimately Periodic Interpretations
In: Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, 290-311
Proceedings Article
2010Horbach, Matthias
Weidenbach, Christoph
Superposition for Fixed Domains
In: ACM Transactions on Computational Logic [11], 27,1-27,35
Journal Article
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
[Bernd, Becker]
[Damm, Werner]
[Fränzle, Martin]
[Olderog, Ernst-Rüdiger]
[Podelski, Andreas]
[Wilhelm, Reinhard]
Stop sign IconOn hierarchical reasoning in combinations of theoriesReport
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
[Bernd, Becker]
[Damm, Werner]
[Fränzle, Martin]
[Olderog, Ernst-Rüdiger]
[Podelski, Andreas]
[Wilhelm, Reinhard]
Stop sign IconSystem Description: H-PILoT (Version 1.9)Report
2010Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
[Giesl, Jürgen]
[Hähnle, Reiner]
On Hierarchical Reasoning in Combinations of Theories
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 30-45
Proceedings Article
2010Lu, Tianxiang
[Merz, Stephan]
Weidenbach, Christoph
[Bendisposto, Jens]
[Leuschel, Michael]
[Roggenbach, Markus]
Attachment IconModel Checking the Pastry Routing Protocol
In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), 19-21
Proceedings Article
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
Stop sign IconOn the Saturation of YAGOReport
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
[Giesl, Jürgen]
[Hähnle, Reiner]
On the Saturation of YAGO
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 441-456
Proceedings Article
2010Weidenbach, Christoph
Wischnewski, Patrick
Subterm Contextual Rewriting
In: AI Communications [23], 97-109
Journal Article
2009Althaus, Ernst
Kruglov, Evgeny
Weidenbach, Christoph
[Ghilardi, Silvio]
[Sebastiani, Roberto]
Superposition Modulo Linear Arithmetic SUP(LA)
In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, 84-99
Proceedings Article
2009Fietzke, Arnaud
Weidenbach, Christoph
Labelled Splitting
In: Annals of Mathematics and Artificial Intelligence [55], 3-34
Journal Article
2009Horbach, Matthias
Weidenbach, Christoph
Stop sign IconAttachment IconDeciding the Inductive Validity of Forall Exists* QueriesReport
2009Horbach, Matthias
Weidenbach, Christoph
Stop sign IconAttachment IconSuperposition for Fixed DomainsReport
2009Horbach, Matthias
Weidenbach, Christoph
[Grädel, Erich]
[Kahle, Reinhard]
Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, 332-347
Proceedings Article
2009Horbach, Matthias
Weidenbach, Christoph
[Schmidt, Renate A.]Decidability Results for Saturation-Based Model Building
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 404-420
Proceedings Article
2009Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
Schmidt, Renate A.System Description: H-PILoT
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 131-139
Proceedings Article
2009Jacobs, Swen[Bouajjani, Ahmed]
[Maler, Oded]
Attachment IconIncremental Instance Generation in Local Reasoning
In: Computer Aided Verification : 21st International Conference, CAV 2009, 368-382
Proceedings Article
2009Lamotte-Schubert, Manuel
Weidenbach, Christoph
[Peltier, Nicolas]
Sofronie-Stokkermans, Viorica
Attachment IconAnalysis of Authorizations in SAP R/3
In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, 90-104
Proceedings Article
2009Suda, Martin
[Sutcliffe, Geoff]
Wischnewski, Patrick
Lamotte-Schubert, Manuel
de Melo, Gerard
[Mertsching, Bärbel]
[Hund, Marcus]
[Aziz, Zaheer]
Attachment IconExternal Sources of Axioms in Automated Theorem Proving
In: KI 2009: Advances in Artificial Intelligence, 281-288
Proceedings Article
2009Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick
[Schmidt, Renate A.]SPASS Version 3.5
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 140-145
Proceedings Article
2009Weidenbach, Christoph
Wischnewski, Patrick
Stop sign IconContextual RewritingReport
2008Fietzke, Arnaud
Weidenbach, Christoph
Stop sign IconAttachment IconLabelled SplittingReport
2008Fietzke, Arnaud
Weidenbach, Christoph
Labelled Splitting
In: IJCAR, 459-474
Proceedings Article
2008Horbach, Matthias
Weidenbach, Christoph
Superposition for Fixed Domains
In: CSL, 293-307
Proceedings Article
2008Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica
[Ramakrishnan, C. R.]
[Rehof, Jakob]
On local reasoning in verification
In: Proceedings of TACAS 2008, 265-281
Proceedings Article
2008Jacobs, Swen[Baader, Franz]
[Ghilardi, Silvio]
[Hermann, Miki]
[Sattler, Ulrike]
Sofronie-Stokkermans, Viorica
Attachment IconIncremental Instance Generation in Local Reasoning
In: Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08, 47-62
Proceedings Article
2008Weidenbach, Christoph
Wischnewski, Patrick
Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124
Proceedings Article
2007[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
Jacobs, Swen
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
[Namjoshi, Kedar S.]
[Yoneda, Tomohiro]
[Higashino, Teruo]
[Okamura, Yoshio]
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, 425-440
Proceedings Article
2007[Faber, Johannes]
Jacobs, Swen
Sofronie-Stokkermans, Viorica
[Davies, Jim ]
[Gibbons, Jeremy]
Verifying CSP-OZ-DC specifications with complex data types and timing parameters
In: Proceedings of IFM 2007: Integrated Formal Methods, 233-252
Proceedings Article
2007Hillenbrand, Thomas
Weidenbach, Christoph
Stop sign IconAttachment IconSuperposition for Finite DomainsReport
2007Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Journal Article
2007Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
Automated reasoning in some local extensions of ordered structures
In: Journal of Multiple-Valued Logic and Soft Computing [13], 397-414
Journal Article
2007Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
Automated reasoning in some local extensions of ordered structures
In: Proceedings of ISMVL 2007, Article1
Proceedings Article
2007Stop sign IconWeidenbach, Christoph
[Schmidt, Renate]
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor
[Pfenning, Frank]Stop sign IconAttachment IconSystem Description: Spass Version 3.0
In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, 514-520
Proceedings Article
2006Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
de Nivelle, HansSudokus as Logical Puzzles
In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 2-12
Proceedings Article
2005Jacobs, Swen
Waldmann, Uwe
[Beckert, Bernhard]Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, 153-168
Proceedings Article
6
Hide details for Publikationen im InternetPublikationen im Internet
2011[Damm, Werner]
[Dierks, Henning]
[Disch, Stefan]
Hagemann, Willem
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Attachment IconExact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
In: Science of Computer Programming [in press], 1-29
Electronic Journal Article
2011Gasse, Francis
Sofronie-Stokkermans, Viorica
[Rosati, Riccardo]
[Rudolph, Sebastian]
[Zakharyaschev, Michael]
Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
In: Proceedings of the 2011 International Workshop on Description Logics (DL-2011), 125-135
Electronic Proceedings Article
2009Lamotte-Schubert, Manuel
Weidenbach, Christoph
[Peltier, Nicolas]
Sofronie-Stokkermans, Viorica
Analysis of Authorizations in SAP R/3
In: FTP 2009 : First-Order Theorem Proving, 90-104
Electronic Proceedings Article
2007Jacobs, Swen
Sofronie-Stokkermans, Viorica
Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [174], 39-54
Electronic Journal Article
2006Jacobs, Swen
Sofronie-Stokkermans, Viorica
[Cook, Byron]
[Sebastiani, Roberto]
Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
Electronic Proceedings Article
2006Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Electronic Journal Article
4
Hide details for DissertationenDissertationen
2010Horbach, MatthiasSuperposition-based Decision Procedures for Fixed Domain and Minimal Model Semantics
Universität des Saarlandes
Thesis - PhD thesis
2010Ihlemann, CarstenAttachment IconReasoning in Combinations of Theories
Universität des Saarlandes
Thesis - PhD thesis
2010Jacobs, SwenHierarchic Decision Procedures for Verification
Universität des Saarlandes
Thesis - PhD thesis
2008Hillenbrand, ThomasAttachment IconSuperposition and Decision Procedures -- Back and Forth
Universität des Saarlandes
Thesis - PhD thesis
48

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)