Timing Analysis and Symbolic Computation [TASCo]
Project Lead
Project Duration
01/02/2009 - 01/02/2014Project URL
Go to WebsitePublications
2015
[Dramnesc]
Theory Exploration of Binary Trees
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat
In: The IEEE 13th Jubilee International Symposium on Intelligent Systems and Informatics, . (ed.), Proceedings of SISY 2015, pp. 139-144. 2015. IEEE Xplore, ..@inproceedings{RISC5165,
author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Theory Exploration of Binary Trees}},
booktitle = {{The IEEE 13th Jubilee International Symposium on Intelligent Systems and Informatics}},
language = {english},
pages = {139--144},
publisher = {IEEE Xplore},
isbn_issn = {.},
year = {2015},
editor = {.},
refereed = {yes},
length = {6},
conferencename = {SISY 2015}
}
author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Theory Exploration of Binary Trees}},
booktitle = {{The IEEE 13th Jubilee International Symposium on Intelligent Systems and Informatics}},
language = {english},
pages = {139--144},
publisher = {IEEE Xplore},
isbn_issn = {.},
year = {2015},
editor = {.},
refereed = {yes},
length = {6},
conferencename = {SISY 2015}
}
[Dramnesc]
Synthesis of Some Algorithms for Trees: Experiments in Theorema
Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat
Technical report no. 15-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2015. [pdf]@techreport{RISC5147,
author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Synthesis of Some Algorithms for Trees: Experiments in Theorema}},
language = {english},
number = {15-04},
year = {2015},
length = {57},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Synthesis of Some Algorithms for Trees: Experiments in Theorema}},
language = {english},
number = {15-04},
year = {2015},
length = {57},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
2011
[Popov]
Sound and Complete Verification Condition Generator for Functional Recursive Programs.
N. Popov, T. Jebelean
In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 219-256. 2011. Springer, Wien, ISBN 978-3-7091-0793-5.@incollection{RISC4342,
author = {N. Popov and T. Jebelean},
title = {{Sound and Complete Verification Condition Generator for Functional Recursive Programs.}},
booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
language = {english},
pages = {219--256},
publisher = {Springer},
address = {Wien},
isbn_issn = {ISBN 978-3-7091-0793-5},
year = {2011},
editor = {U. Langer and P. Paule},
refereed = {yes},
length = {38}
}
author = {N. Popov and T. Jebelean},
title = {{Sound and Complete Verification Condition Generator for Functional Recursive Programs.}},
booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
language = {english},
pages = {219--256},
publisher = {Springer},
address = {Wien},
isbn_issn = {ISBN 978-3-7091-0793-5},
year = {2011},
editor = {U. Langer and P. Paule},
refereed = {yes},
length = {38}
}
2010
[Buchberger]
From Program Verification to Automated Debugging
N. Popov, T. Jebelean, B. Buchberger
In: Workshop on Symbolic Computation in Software Science, T. Jebelean and M. Mosbah and N. Popov (ed.), Proceedings of SCSS 2010, pp. 55-65. July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, ..@inproceedings{RISC4192,
author = {N. Popov and T. Jebelean and B. Buchberger},
title = {{From Program Verification to Automated Debugging}},
booktitle = {{Workshop on Symbolic Computation in Software Science}},
language = {english},
pages = {55--65},
publisher = {RISC-Linz Report Series},
isbn_issn = {.},
year = {2010},
month = {July},
annote = {2010-07-00-A},
editor = {T. Jebelean and M. Mosbah and N. Popov},
refereed = {yes},
institution = {Johannes Kepler University of Linz, Austria},
length = {11},
conferencename = {SCSS 2010}
}
author = {N. Popov and T. Jebelean and B. Buchberger},
title = {{From Program Verification to Automated Debugging}},
booktitle = {{Workshop on Symbolic Computation in Software Science}},
language = {english},
pages = {55--65},
publisher = {RISC-Linz Report Series},
isbn_issn = {.},
year = {2010},
month = {July},
annote = {2010-07-00-A},
editor = {T. Jebelean and M. Mosbah and N. Popov},
refereed = {yes},
institution = {Johannes Kepler University of Linz, Austria},
length = {11},
conferencename = {SCSS 2010}
}
[Popov]
Projects of Evidence Algorithm and Theorema
A. Anisimov, T. Jebelean, A. Lyaletski, N. Popov
In: Theoretical and Applied Aspects of Program Systems Development, A. Anisimov, V. Redko (ed.), pp. 54-58. October 2010. Kiev, Ukraine, ..@inproceedings{RISC4195,
author = {A. Anisimov and T. Jebelean and A. Lyaletski and N. Popov},
title = {{Projects of Evidence Algorithm and Theorema}},
booktitle = {{Theoretical and Applied Aspects of Program Systems Development}},
language = {russian},
pages = {54--58},
address = {Kiev, Ukraine},
isbn_issn = {.},
year = {2010},
month = {October},
editor = {A. Anisimov and V. Redko},
refereed = {yes},
length = {5}
}
author = {A. Anisimov and T. Jebelean and A. Lyaletski and N. Popov},
title = {{Projects of Evidence Algorithm and Theorema}},
booktitle = {{Theoretical and Applied Aspects of Program Systems Development}},
language = {russian},
pages = {54--58},
address = {Kiev, Ukraine},
isbn_issn = {.},
year = {2010},
month = {October},
editor = {A. Anisimov and V. Redko},
refereed = {yes},
length = {5}
}
[Popov]
Proceedings of SCSS 2010 Symbolic Computation in Software Science
T. Jebelean, M. Mosbah, N. Popov (eds.)
Technical report no. 10-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). August 2010. [pdf]@techreport{RISC4191,
author = {T. Jebelean and M. Mosbah and N. Popov (eds.)},
title = {{Proceedings of SCSS 2010 Symbolic Computation in Software Science}},
language = {english},
number = {10-10},
year = {2010},
month = {August},
length = {160},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
author = {T. Jebelean and M. Mosbah and N. Popov (eds.)},
title = {{Proceedings of SCSS 2010 Symbolic Computation in Software Science}},
language = {english},
number = {10-10},
year = {2010},
month = {August},
length = {160},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
[Popov]
Proving Partial Correctness and Termination of Mutually Recursive Programs
N. Popov, T. Jebelean
In: SYNASC 2010, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, and, D. Zaharie (ed.), Proceedings of Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 153-158. September 2010. IEEE , ISBN 978-0-7695-4324-6. [pdf]@inproceedings{RISC4287,
author = {N. Popov and T. Jebelean},
title = {{Proving Partial Correctness and Termination of Mutually Recursive Programs}},
booktitle = {{SYNASC 2010}},
language = {english},
pages = {153--158},
publisher = {IEEE },
isbn_issn = {ISBN 978-0-7695-4324-6},
year = {2010},
month = {September},
editor = {T. Ida and V. Negru and T. Jebelean and D. Petcu and S. Watt and and and D. Zaharie},
refereed = {yes},
length = {5},
conferencename = {Symposium on Symbolic and Numeric Algorithms for Scientific Computing}
}
author = {N. Popov and T. Jebelean},
title = {{Proving Partial Correctness and Termination of Mutually Recursive Programs}},
booktitle = {{SYNASC 2010}},
language = {english},
pages = {153--158},
publisher = {IEEE },
isbn_issn = {ISBN 978-0-7695-4324-6},
year = {2010},
month = {September},
editor = {T. Ida and V. Negru and T. Jebelean and D. Petcu and S. Watt and and and D. Zaharie},
refereed = {yes},
length = {5},
conferencename = {Symposium on Symbolic and Numeric Algorithms for Scientific Computing}
}
2009
[Buchberger]
Automated Reasoning
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url]@incollection{RISC3844,
author = {Tudor Jebelean and Bruno Buchberger and Temur Kutsia and Nikolaj Popov and Wolfgang Schreiner and Wolfgang Windsteiger},
title = {{Automated Reasoning}},
booktitle = {{Hagenberg Research}},
language = {english},
pages = {63--101},
publisher = {Springer Dordrecht Heidelberg London New York},
isbn_issn = {ISBN 978-3-642-02126-8},
year = {2009},
annote = {2009-00-00-B},
editor = {B. Buchberger and M. Affenzeller and A. Ferscha and M. Haller and T. Jebelean and E.P. Klement and P. Paule and G. Pomberger and W. Schreiner and R. Stubenrauch and R. Wagner and G. Weiss and W. Windsteiger},
refereed = {no},
length = {39},
url = {http://www.springer.com/computer/programming/book/978-3-642-02126-8}
}
author = {Tudor Jebelean and Bruno Buchberger and Temur Kutsia and Nikolaj Popov and Wolfgang Schreiner and Wolfgang Windsteiger},
title = {{Automated Reasoning}},
booktitle = {{Hagenberg Research}},
language = {english},
pages = {63--101},
publisher = {Springer Dordrecht Heidelberg London New York},
isbn_issn = {ISBN 978-3-642-02126-8},
year = {2009},
annote = {2009-00-00-B},
editor = {B. Buchberger and M. Affenzeller and A. Ferscha and M. Haller and T. Jebelean and E.P. Klement and P. Paule and G. Pomberger and W. Schreiner and R. Stubenrauch and R. Wagner and G. Weiss and W. Windsteiger},
refereed = {no},
length = {39},
url = {http://www.springer.com/computer/programming/book/978-3-642-02126-8}
}
[Popov]
Verification of Mutual Recursive Functional Programs
N. Popov, T. Jebelean
In: Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09, T. Ida, A. Bouhoula (ed.), pp. 120-122. September 2009. Carthage, Tunisia, .. [pdf]@inproceedings{RISC3912,
author = {N. Popov and T. Jebelean},
title = {{Verification of Mutual Recursive Functional Programs}},
booktitle = {{Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09}},
language = {english},
pages = {120--122},
address = {Carthage, Tunisia},
isbn_issn = {.},
year = {2009},
month = {September},
editor = {T. Ida and A. Bouhoula},
refereed = {yes},
length = {15}
}
author = {N. Popov and T. Jebelean},
title = {{Verification of Mutual Recursive Functional Programs}},
booktitle = {{Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09}},
language = {english},
pages = {120--122},
address = {Carthage, Tunisia},
isbn_issn = {.},
year = {2009},
month = {September},
editor = {T. Ida and A. Bouhoula},
refereed = {yes},
length = {15}
}
[Popov]
Functional Program Verification in Theorema. Soundness and Completeness
N. Popov, T. Jebelean
In: Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09, J. Knoop, A. Prantl (ed.), pp. 221-229. October 2009. Maria Taferl, Austria, .. [pdf]@inproceedings{RISC3913,
author = {N. Popov and T. Jebelean},
title = {{Functional Program Verification in Theorema. Soundness and Completeness}},
booktitle = {{Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09}},
language = {english},
pages = {221--229},
address = {Maria Taferl, Austria},
isbn_issn = {.},
year = {2009},
month = {October},
editor = {J. Knoop and A. Prantl},
refereed = {yes},
length = {9}
}
author = {N. Popov and T. Jebelean},
title = {{Functional Program Verification in Theorema. Soundness and Completeness}},
booktitle = {{Proceedings of 15th Biennial Workshop on Programmiersprachen und Grundlagen der Programmierung KPS'09}},
language = {english},
pages = {221--229},
address = {Maria Taferl, Austria},
isbn_issn = {.},
year = {2009},
month = {October},
editor = {J. Knoop and A. Prantl},
refereed = {yes},
length = {9}
}
[Popov]
A Complete Method for Algorithm Validation
N. Popov, T. Jebelean
In: Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09, B. Buchberger, R. McCasland, A. Craciun (ed.), pp. 21-25. June 2009. Hagenberg, Austria, -. [pdf]@inproceedings{RISC3915,
author = {N. Popov and T. Jebelean},
title = {{A Complete Method for Algorithm Validation}},
booktitle = {{Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09}},
language = {english},
pages = {21--25},
address = {Hagenberg, Austria},
isbn_issn = {-},
year = {2009},
month = {June},
editor = {B. Buchberger and R. McCasland and A. Craciun},
refereed = {yes},
length = {5}
}
author = {N. Popov and T. Jebelean},
title = {{A Complete Method for Algorithm Validation}},
booktitle = {{Proceedings of the Workshop on Automated Mathematical Theory Exploration AUTOMATHEO'09}},
language = {english},
pages = {21--25},
address = {Hagenberg, Austria},
isbn_issn = {-},
year = {2009},
month = {June},
editor = {B. Buchberger and R. McCasland and A. Craciun},
refereed = {yes},
length = {5}
}
