max planck institut
informatik
informatik
Baumgartner, P. and U. Waldmann: A combined superposition and model evolution calculus. Journal of Automated Reasoning 47, 191-227 (2011).
Bjørner, N. and V. Sofronie-Stokkermans (Eds.): Automated Deduction - CADE-23 : 23rd Int. Conf. on Automated Deduction. Lect. Notes Artif. Intell. 6803. Springer, Berlin 2011, 1-505.
Damm, W., S. Disch, W. Hagemann, C. Scholl, U. Waldmann and B. Wirtz: Integrating incremental flow pipes into a symbolic model checker for hybrid systems. , (Eds.) B. Becker, W. Damm, B. Finkbeiner, M. Fränzle, E.-R. Olderog, A. Podelski, Saarbrücken 2011, 14 p.
Damm, W., C. Ihlemann and V. Sofronie-Stokkermans: Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. In: HSCC'11 : Proc. 2011 ACM/SIGBED Hybrid Systems: Computation and Control, (Eds.) E. Frazzoli, R. Grosu. ACM, New York 2011, 73-82.
- PTIME parametric verification of safety properties for reasonable linear hybrid automata. , (Eds.) B. Bernd, W. Damm, M. Fränzle, E.-R. Olderog, A. Podelski, R. Wilhelm, Saarbrücken 2011, 27 p.
- PTIME parametric verification of safety properties for reasonable linear hybrid automata. Mathematics in Computer Science 5, 469-497 (2011).
Eggers, A., E. Kruglov, S. Kupferschmid, K. Scheibler, T. Teige and C. Weidenbach: SUP(NLA) -- combining superposition and non-linear arithmetic. In: 8th Int. Symp. on Frontiers of Combining Systems, Lect. Notes Artif. Intell. 6989, (Eds.) V. Sofronie-Stokkermans, C. Tinelli. Springer, Heidelberg 2011, 119-134.
Fietzke, A. and C. Weidenbach: Superposition as a decision procedure for timed automata. In: Fourth Int. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), (Ed.) S. Ratschan. Internal Conference Proceedings, Beijing 2011, [***Warning: Pages missing!].
Kruglov, E. and C. Weidenbach: SUP(T) decides first-order logic fragment over ground theories. In: Fourth Int. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS-4), (Ed.) S. Ratschan. Internal Conference Proceedings, Beijing 2011, [***Warning: Pages missing!].
Lasaruk, A. and T. Sturm: Automatic verification of the adequacy of models for families of geometric objects. In: Automated Deduction in Geometry : 7th Int. Workshop, ADG 2008, Lect. Notes Artif. Intell. 6301, (Eds.) T. Sturm, C. Zengler. Springer, Berlin 2011, 116-140.
Lu, T., S. Merz and C. Weidenbach: Towards verification of the Pastry routing protocol using TLA+. In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 Int. Conf., FMOODS 2011 and 30th IFIP WG 6.1 Int. Conf., FORTE 2011, Lect. Notes Comput. Sci. 6722, (Eds.) R. Bruni, J. Dingel. Springer, Berlin 2011, 244-258.
Sturm, T. and A. Tiwari: Verification and synthesis using real quantifier elimination. In: ISSAC 2011 : Proc. 36th Int. Symp. on Symbolic and Algebraic Computation, (Ed.) A. Leykin. ACM, New York 2011, 329-336.
Sturm, T. and C. Zengler (Eds.): Automated Deduction in Geometry : 7th Int. Workshop, ADG 2008. Lect. Notes Artif. Intell. 6301. Springer, Berlin 2011, 1-225.
Tinelli, C. and V. Sofronie-Stokkermans (Eds.): Frontiers of Combining Systems. Lect. Notes Artif. Intell. 6989. Springer, Heidelberg 2011, 1-275.
Weber, A., T. Sturm and E.O. Abdel-Rahman: Algorithmic global criteria for excluding oscillations. Bulletin of Mathematical Biology 73, 899-916 (2011).
Burel, G.: Efficiently simulating higher-order arithmetic by a first-order theory modulo. Logical Methods in Computer Science 7, 3:1-3:31 (2011). Internet: <http://arxiv.org/pdf/0805.1464v4>
Damm, W., H. Dierks, S. Disch, W. Hagemann, F. Pigorsch, C. Scholl, U. Waldmann and B. Wirtz: Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Science of Computer Programming in press, 1-29 (2011). Internet: <http://dx.doi.org/10.1016/j.scico.2011.07.006>
Gasse, F. and V. Sofronie-Stokkermans: Efficient TBox subsumption checking in combinations of EL and (fragments of) FL0. In: Proc. 2011 Int. Workshop on Description Logics (DL-2011), (Eds.) R. Rosati, S. Rudolph, M. Zakharyaschev, CEUR Workshop Proceedings 745. CEUR Workshop Proceedings, Aachen 2011, 125-135 Internet: <http://ceur-ws.org/Vol-745/paper_50.pdf>.