List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Transcendental inductive invariants generation for non-linear differential and hybrid systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Generating invariants for non-linear loops by linear algebraic methods Formal Aspects of Computing | 2016-01-06 | Paper |
| Generating invariants for non-linear hybrid systems Theoretical Computer Science | 2015-07-24 | Paper |
| Generating invariants for non-linear hybrid systems by linear algebraic methods Static Analysis | 2010-10-01 | Paper |
| Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
| Endomorphisms for Non-trivial Non-linear Loop Invariant Generation Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Research outcomes over time
This page was built for person: Rachid Rebiha
