• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Straight skeletons for general polygonal figures

Aichholzer, O. & Aurenhammer, F., 1995, Graz: . (IIG-Report-Series)

Research output: Book/ReportOther reportResearch

Straight skeletons for general polygonal figures in the plane

Aichholzer, O. & Aurenhammer, F., 1998, Voronoi's impact of modern sciences / Vol. 2. Kiev: ., Vol. 21. p. 7-21 (Proceedings of the Institute of Mathematics of the National Academy of Sciences of Ukraine).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Straight skeletons for general polygonal figures in the plane

Aichholzer, O. & Aurenhammer, F., 1996, Computing and combinatorics. Berlin [u.a.]: Springer, Vol. 1090. p. 117-126 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Straight skeletons of simple polygons

Aichholzer, O., Alberts, D., Aurenhammer, F. & Gärtner, B., 1995, LIESMARS. ., p. 114-124

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code

Luhana, K. K., Schindler, C. & Slany, W., 11 Jun 2018, 2018 IEEE International Conference on Innovative Research and Development (ICIRD). IEEE Xplore, p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
Application programs
Acceptance tests
Paint
Byproducts
Servers

Streamlining Value in a FOSS Project

Müller, M., Vorraber, W., Herold, M., Schindler, C., Slany, W. & Tanaka, K., Sep 2019, Proceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234 . Association of Computing Machinery, 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

StudyBattles: A Learning Environment for Knowledge-based Configuration

Felfernig, A., Shehadeh, A., Jeran, M., Gütl, C., Tran, T., Atas, M., Polat Erdeniz, S., Stettinger, M., Akcay, A. & Reiterer, S., 31 Dec 2016, International Workshop on Configuration 2016: none. Toulouse, p. 109-116 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

E-learning
Sales
Engineers

Sum of squared edges for mst of a point set in a unit square.

Aichholzer, O., Allen, S., Aloupis, G., Barba, L., Bose, P., Carfuel, J-L. D., Iacono, J., Langerman, S., Souvaine, D., Taslakin, P. & Yagnatinsky, M., 2013, Japanese Conference on Discrete and Computational Geometry. ., p. 5-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots

Mühlbacher, C., Steinbauer, G. & Loigge, S., Aug 2016, p. 298-300.

Research output: Contribution to conferencePaperResearchpeer-review

Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts

Lichtenegger, G. J., Maier, M., Hackl, M., Khinast, J. G., Goessler, W., Griesser, T., Kumar, V. S. P., Gruber-Woelfler, H. & Deshpande, P. A., Jan 2017, In : Journal of molecular catalysis / A. 426, p. 39-51

Research output: Contribution to journalArticleResearchpeer-review

Symbolic guided search for CTL model checking

Bloem, R. P., Ravi, K. & Somenzi, F., 2000, Design Automation Conference. ., p. 29-34

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Symbolic implementation of alternating automata

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M. & Semprini, S., 2006, Implementation and application of automata. Berlin [u.a.]: Springer, p. 208-218

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Symbolic Implementation of Alternating Automata

Bloem, R. P., Cimatti, A., Pill, I. H. & Roveri, M., 2007, In : International journal of foundations of computer science. 18, 4, p. 727-743

Research output: Contribution to journalArticleResearchpeer-review

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Synthesis of distributed algorithms with parameterized threshold guards

Lazić, M., Konnov, I., Widder, J. & Bloem, R., 1 Mar 2018, 21st International Conference on Principles of Distributed Systems, OPODIS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 95. 32

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Parallel algorithms
Specifications
Model checking

Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems

Braud-Santoni, N., Bloem, R. & Jacobs, S., 17 Jun 2016.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Parallel algorithms
Stabilization
Temporal logic
Specifications
Formal specification

Synthesize it: from Design by Contract™to Meaningful Test Input Data

Galler, S., Weiglhofer, M. & Wotawa, F., 2010, Software Engineering and Formal Methods 2010. ., p. 1-10

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Bloem, R., Könighofer, R., Pill, I. H. & Röck, F., 2016, p. 17-24. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Temporal logic
Specifications
Testing

Synthesizing Non-Vacuous Systems

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2017, Verification, Model Checking, and Abstract Interpretation. Bouajjani, A. & Monniaux, D. (eds.). Cham: Springer International Publishing AG , p. 55-72 18 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Specifications
Model checking
Hardware

Synthesizing Reactive Systems Using Robustness and Recovery Specifications

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2019, (Accepted/In press) 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). IEEE CS, 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Specifications
Recovery

Systematic strategies for 3-dimensional modular robots

De Parada Munoz, I. M., 2015

Research output: ThesisMaster's ThesisResearch

Systemverifikation im Designprozess heterogener mikroelektrischer Systeme

Pistauer, M., Steger, C., Kajtazovic, S. & Pill, I. H., 2003, ANALOG 2003'. Berlin [u.a.]: VDE Verlag GmbH, Vol. 177. p. 43-44 (ITG-Fachbericht).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Tagging Might Not Be Slower Than Filing in Folders

Voit, K., Andrews, K. & Slany, W., 2012, CHI EA '12 Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems, Extended Abstracts (CHI2012). New York, NY, USA: Association of Computing Machinery, p. 2063-2068 (Conference on Human Factors in Computing Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Tagging Might Not Be Slower Than Filing in Folders

Voit, K., Andrews, K. & Slany, W., 2012.

Research output: Contribution to conferencePosterResearch

Open Access
File

TagTree: Exploring Tag-Based Navigational Structures

Voit, K., Andrews, K., Wintersteller, W. & Slany, W., 2011.

Research output: Contribution to conferencePosterResearch

Open Access
File

TagTree: Exploring Tag-Based Navigational Structures

Voit, K., Andrews, K., Wintersteller, W. & Slany, W., 2011, Information und Wissen: global, sozial und frei?. Boizenburg: Verlag Werner Hülsbusch, Vol. 58. p. 516-518 (Schriften zur Informationswissenschaft).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

TagTree: Storing and Re-finding Files Using Tags

Voit, K., Andrews, K. & Slany, W., 2011, Information Quality in e-Health. Berlin / Heidelberg: Springer, Vol. 7058. p. 471-481 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

TagTree: Storing and Re-Finding Files Using Tags

Voit, K., Andrews, K. & Slany, W., 2011.

Research output: Contribution to conferencePosterResearch

Open Access
File

Task-Dependent Configuration of Robotics Systems

Pagonis, A., Mühlbacher, C., Steinbauer, G., Gspandl, S. & Reip, M., 10 May 2017.

Research output: Contribution to conferencePaperResearchpeer-review

Team Zadeat 2009 — Team Report

Ferrein, A., Steinbauer, G., McPhillips, G., Niemüller, T. & Potgieter, A., 2009, (Accepted/In press) RoboCup International Symposium. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Team Zadeat 2010 --- Application for Participation

Ferrein, A., Niemüller, T. & Steinbauer, G., 2010, (Accepted/In press) RoboCup International Symposium. .

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

TEDUSAR White Book - State of the Art in Search and Rescue Robots

Maurer, J., Steinbauer, G., Lepej, P. & Uran, S., 2014, .

Research output: Book/ReportCommissioned reportResearch

Open Access
File

Telepolis

Slany, W., 1990, .

Research output: Book/ReportOther reportResearch

TEMPLE - a language for staff scheduling problems

Beer, A., Gaertner, J., Musliu, N., Schafhauser, W. & Slany, W., 2009, Proceedings of the 23rd Europen Conference on Operational Research. ., p. ???-???

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

TEMPLE - an end-user language for staff scheduling problems

Schafhauser, W., Beer, A., Gaertner, J., Musliu, N. & Slany, W., 2010, Third international workshop on model-based metaheuristics. ., p. ???-???

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

Fraser, G. & Wotawa, F., 2007, Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007). Los Alamitos, CA, USA: IEEE Computer Society, p. 45-51

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Test Case Generation by Contract Mutation in Spec#

Krenn, W. K. & Aichernig, B., 2009, Model-Based Testing -- MBT 09. Elsevier B.V., Vol. 253. p. 71-86 (Electronic Notes in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Test case generation by OCL mutation and constraint solving

Aichernig, B. & Pari Salas, P., 2005, QSIC 2005. Cai, K-Y. (ed.). Los Alamitos, Calif.: IEEE Computer Soc. Press, p. 64-71

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Test Case Generation for Embedded Automotive Systems: A Semantics Preserving Model Transformation

Chimisliu, V. C., Schwarzl, C. & Peischl, B., 2009, Model-based Testing in Practice. ., Vol. WP09-08. p. 43-52 (CTIT Workshop Proceedings Series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Test Case Generation from QR Models

Brandl, H. & Wotawa, F., 2008, New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings. Nguyen, N. T. (ed.). Springer, Vol. 5027. p. 235-244 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Test case generation in practice for communicating embedded systems

Schwarzl, C. & Wotawa, F., 2011, In : e&i - Elektrotechnik und Informationstechnik. p. 240-244

Research output: Contribution to journalArticleResearchpeer-review

Test-case prioritization with model-checkers

Fraser, G. & Wotawa, F., 2007, IASTED International Conference on Software Engineering. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Test Derivation in a Refinement Process

Aichernig, B., 2003, RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Test-design through abstraction - a systematic approach based on the refinement calculus

Aichernig, B., 2001, In : Journal of Universal Computer Science . 7, 8, p. 710-735

Research output: Contribution to journalArticleResearchpeer-review

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

Wotawa, F., 2017, Automated Driving. Horn, M. & Watzenig, D. (eds.). Springer, p. 519-532

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Testing Chatbots Using Metamorphic Relations

Bozic, J. & Wotawa, F., 2019, Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer, p. 41-55 (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing computer vision applications an experience report on introducing code coverage analysis in the field

Nica, I., Wotawa, F., Jakob, G. & Juhart, K., 2016, p. 15-21. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

Computer vision
Testing
Quality assurance
Software engineering

Testing Concurrent Objects with Application-Specific Schedulers

Schlatte, R., Aichernig, B., de Boer, F. S., Griesmayer, A. & Broch Johnsen, E., 2008, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 2008, Proceedings. Springer, p. 319-333

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review