| # |  | edoc | Lck | Author/Editor | | Year | | Title | edoc identifier | |
|---|
| 15 |
 | Veröffentlichungen der Mitarbeiter |
| |
| | |  | Baumgartner, Waldmann | | 2011 | | A Combined Superposition and Model Evolution Calculus
In: Journal of Automated Reasoning [47], 191-227 | 7A229209F0F88A46C12578410073AE24-BaumgartnerWaldmann2011 | |
| | | | Bjørner, Sofronie-Stokkermans (ed.) | | 2011 | | Automated Deduction - CADE-23 : 23rd International Conference on Automated Deduction | E9D0E28A5AE75EECC1257921007520A4-Sofronie-Stokkermans-cade-2011 | |
| | | | Damm, Disch, Hagemann, Scholl, Waldmann, Wirtz |  | 2011 | | Integrating incremental flow pipes into a symbolic model checker for hybrid systems | E1B826F115B0F158C1257AF70046441C-DammDierksHagemannEtAl2011 | |
| | | | Damm, Ihlemann, Sofronie-Stokkermans | | 2011 | | 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, 73-82 | 14754FD9A7E29655C12577FF005852C8-Damm-Ihlemann-Sofronie-Stokkermans2011 | |
| | | | Damm, Ihlemann, Sofronie-Stokkermans | | 2011 | | {PTIME} parametric verification of safety properties for reasonable linear hybrid automata | DEB90D4E9EAE27B7C1257855003AF8EE-Damm-Ihlemann-Sofronie-Stokkermans2011-report | |
| | | | Damm, Ihlemann, Sofronie-Stokkermans | | 2011 | | {PTIME} parametric verification of safety properties for reasonable linear hybrid automata
In: Mathematics in Computer Science [5], 469-497 | 933697580C59ACEEC1257853005850F7-Damm-Ihlemann-Sofronie-Stokkermans2011-msc | |
| | | | Eggers, Kruglov, Kupferschmid, Scheibler, Teige, Weidenbach | | 2011 | | {SUP(NLA)} -- Combining Superposition and Non-Linear Arithmetic
In: 8th International Symposium on Frontiers of Combining Systems, 119-134 | 59E8D32EE47CD848C1257A1700418D35-KruglovFroCoS2011 | |
| | | | Fietzke, Weidenbach | | 2011 | | Superposition as a Decision Procedure for Timed Automata
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), | 25D7BE40531ADE12C12579FB003E3A47-FietzkeWeidenbach2011 | |
| | | | Kruglov, Weidenbach | | 2011 | | {SUP(T)} Decides First-Order Logic Fragment Over Ground Theories
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4), | 5EE574D5B4210948C1257A170042F970-KruglovMACIS2011 | |
| | | | Lasaruk, Sturm | | 2011 | | Automatic Verification of the Adequacy of Models for Families of Geometric Objects
In: Automated Deduction in Geometry : 7th International Workshop, ADG 2008, 116-140 | 6C7DAF04032485E3C1257987003DD415-LasarukSturm:11a | |
| | | | Lu, Merz, Weidenbach | | 2011 | | 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 | 3A4D1F5C6FC10A4BC125785A003BAB25-LuTlaPastryForte2011 | |
| | | | Sturm, Tiwari | | 2011 | | Verification and Synthesis Using Real Quantifier Elimination
In: ISSAC 2011 : Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, 329-336 | 7E61E0C62FFBF07EC1257987003B0382-SturmTiwari:11a | |
| | | | Sturm, Zengler (ed.) | | 2011 | | Automated Deduction in Geometry : 7th International Workshop, ADG 2008 | 19039A4D3799AF97C12579880036C296-SturmZengler2011 | |
| | | | Tinelli, Sofronie-Stokkermans (ed.) | | 2011 | | Frontiers of Combining Systems | 43453B31C7035702C125792100759450-Sofronie-Stokkermans-frocos-2011 | |
| | | | Weber, Sturm, Abdel-Rahman | | 2011 | | Algorithmic Global Criteria for Excluding Oscillations
In: Bulletin of Mathematical Biology [73], 899-916 | BF20726C557FAF02C1257987003F79BE-WeberSturm:11a | |
| 3 |
| Publikationen im Internet |
| |
| | | | Burel | | 2011 | | Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In: Logical Methods in Computer Science [7], 3:1-3:31 | 3D13ACDE62D02282C125783F0031B40F-Burel2010a | |
| | | | Damm, Dierks, Disch, Hagemann, Pigorsch, Scholl, Waldmann, Wirtz | | 2011 |  | Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
In: Science of Computer Programming [in press], 1-29 | 84433C7FC34FC48BC125781B004BC664-DammDierksDischEtAl2011 | |
| | | | Gasse, Sofronie-Stokkermans | | 2011 | | 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 | 4926854F23FED981C12578C60036D515-Gasse-Sofronie-Stokkermans-dl2011 | |
| 18 |
| |
