Hamid Didari Khamseh Motlagh, Matthias Josef Eder, Gernot Grömer, Richard Halatschek, Seda Özdemir-Fritz, Raphael Prinz, Johannes Scholz and Gerald Steinbauer-WagnerThe AMADEE-20 Robotic Exploration Cascade: An Experience ReportAdvances in Service and Industrial Robotics - RAAD 2022477-484Show publication in PURE
Journal Article
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz WotawaSpreadsheet debuggingJournal of Systems and Software184,
2022, DOIShow publication in PURE
Andrei Popescu, Seda Polat Erdeniz, Alexander Felfernig, Mathias Uta, Müslüm Atas, Viet Man Le, Klaus Pilsl, Martin Enzelsberger and Trang TranAn overview of machine learning techniques in constraint solvingJournal of Intelligent Information Systems58,
91-118,
2022, DOIShow publication in PURE
Qamar Alfalouji, Thomas Schranz, Alexander Kümpel, Markus Schraven, Thomas Storek, Stephan Gross, Antonello Monti, Dirk Müller and Gerald SchweigerIoT Middleware Platforms for Smart Energy Systems: An Empirical Expert SurveyBuildings12,
2022, DOIShow publication in PURE
Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus and Anisur Rahaman MollaGreedy routing and the algorithmic small-world phenomenon.Journal of Computer and System Sciences125,
59-105,
2022, DOIShow publication in PURE
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner and Stefan WoltranAdvanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT SolvingArtificial Intelligence307,
2022, DOIShow publication in PURE
Conference/Workshop Article
Sarina Gursch, Katja Urak, Michael Herold, Stefan Kutschera, Silvia de los Rios Perez, Rebeca Garcia-Betances, Maria Cabrera-Umpierrez, Yolanda Ursa, Wolfgang Slany and Vesna KrnjicInequalities for Women in Science, Technology and InnovationProceedings of the 5th International Conference on Gender Research88-96Show publication in PURE
Franz Welscher, Rizwan Bulbul, Johannes Scholz and Peter LedererOptimising Antenna Positioning for Maximum Coverage: The Case Study of Cattle Tracking in Austrian Alps Using Long Range (LoRa) Based Monitoring SystemWeb and Wireless Geographical Information Systems61-70Show publication in PURE
Adrian Haret and Johannes Peter WallnerAn Axiomatic Approach to Revising PreferencesProceedings AAAI 2022Show publication in PURE
Other Article
Keren Censor-Hillel, Yannic Maus, Shahar Romem Peled and Tigran TonoyanDistributed Vertex Cover ReconfigurationShow publication in PURE
2021
Book Chapter
Alexander Felfernig, Thi Ngoc Trang Tran and Viet-Man LeRecommender Systems Beyond E-Commerce: Presence and FutureConsumer Happiness: Multiple Perspectives203-230Show publication in PURE
Man Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit VogtenhuberColoring Circle ArrangementsTrends in Mathematics84-91Show publication in PURE
Alexander FelfernigAI Techniques for Software Requirements PrioritizationArtificial Intelligence Methods For Software Engineering29-47Show publication in PURE
Konstantin Schekotihin, Birgit Gertraud Hofer, Franz Wotawa and Dietmar JannachAI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399Show publication in PURE
Wolfgang Mayer and Franz WotawaArtificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435Show publication in PURE
Nour Chetouane and Franz WotawaOn the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268Show publication in PURE
Florian Steffen Klück, Franz Wotawa, Hermann Felbinger, Martin Jochen Zimmermann, Yihao Li and Jianbo Tao"Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems"Recent Verification & Validation Methodologies for Advanced Driver Assistance SystemsShow publication in PURE
David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin DosedelFoundations of Real Time Predictive Maintenance with Root Cause AnalysisArtificial Intelligence for Digitising Industry47-61Show publication in PURE
David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin DosedelReal-Time Predictive Maintenance – Model-Based, Simulation-Based and Machine Learning Based DiagnosisArtificial Intelligence for Digitising Industry63-81Show publication in PURE
David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin DosedelReal-Time Predictive Maintenance – Artificial Neural Network Based DiagnosisArtificial Intelligence for Digitising Industry83-101Show publication in PURE
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly and Johannes Peter WallnerEnforcement in Formal ArgumentationHandbook of Formal Argumentation445-510Show publication in PURE
Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Daniel Perz and Birgit VogtenhuberNo Selection Lemma for Empty TrianglesTrends in Mathematics720-725Show publication in PURE
Proceedings
Wolfgang Faber, Gerhard Friedrich, Martin Gebser and Michael MorakLogics in Artificial IntelligenceShow publication in PURE
Martin Stettinger, Gerhard Leitner, Alexander Felfernig and Zbigniew W RasIntelligent Systems in Industrial ApplicationsShow publication in PURE
Journal Article
Seda Polat Erdeniz, Alexander Felfernig and Müslüm AtasApplying matrix factorization to consistency-based direct diagnosisApplied Intelligence
,
2021, DOIShow publication in PURE
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloDeclarative Algorithms and Complexity Results for Assumption-Based ArgumentationJournal of Artificial Intelligence Research71,
265-318,
2021, DOIShow publication in PURE
Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides and José GalindoDIRECTDEBUGSoftware Impacts9,
2021, DOIShow publication in PURE
Iva Ridjan Skov, Noémi Schneider, Gerald Schweiger, Josef Peter Schöggl and Alfred PoschPower-to-x in DenmarkEnergies14,
2021, DOIShow publication in PURE
Josip BožićOntology-based metamorphic testing for chatbotsSoftware Quality Journal
,
2021, DOIShow publication in PURE
Gerald Steinbauer-Wagner, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven KoenigEducation in Artificial Intelligence K-12Künstliche Intelligenz35,
127-129,
2021, DOIShow publication in PURE
Alexander Pilz and Patrick SchniderBisecting three classes of linesComputational Geometry: Theory and Applications98,
2021, DOIShow publication in PURE
Elisabeth Lex, Dominik Kowald, Paul Seitlinger, Thi Ngoc Trang Tran, Alexander Felfernig and Markus SchedlPsychology-informed recommender systemsFoundations and Trends in Information Retrieval15,
134-242,
2021, DOIShow publication in PURE
David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit VogtenhuberRainbow polygons for colored point sets in the planeDiscrete Mathematics344,
2021, DOIShow publication in PURE
Thi Ngoc Trang Tran, Alexander Felfernig and Nava TintarevHumanized Recommender SystemsACM Transactions on Interactive Intelligent Systems 11,
2021, DOIShow publication in PURE
Andreas Bjerre-Nielsen, Valentin Kassarnig, David Dreyer Lassen and Sune LehmannTask-specific information outperforms surveillance-style big data in predictive analyticsProceedings of the National Academy of Sciences of the United States of America118,
2021, DOIShow publication in PURE
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer StrichmanVacuity in SynthesisFormal Methods in System Design57,
473-495,
2021, DOIShow publication in PURE
Ruy Fabila-Monroy, Daniel Perz and Ana Laura Trujillo-NegreteEmpty rainbow triangles in k-colored point setsComputational Geometry: Theory and Applications95,
2021, DOIShow publication in PURE
Alfredo García Olaverri, Javier Tejel Altarriba and Alexander PilzOn plane subgraphs of complete topological drawingsArs Mathematica Contemporanea20,
69-87,
2021, DOIShow publication in PURE
Müslüm Atas, Alexander Felfernig, Seda Polat-Erdeniz, Andrei Popescu, Thi Ngoc Trang Tran and Mathias UtaTowards psychology-aware preference construction in recommender systems: Overview and research issuesJournal of Intelligent Information Systems57,
467-489,
2021, DOIShow publication in PURE
Thomas Mach, Hermann Edtmayer, Gerald Schweiger, Michael Monsberger, Lisa-Marie Fochler and Richard HeimrathEnergie System AnalyseÖsterreichische Ingenieur- und Architekten-Zeitschrift2021,
2021Show publication in PURE
Ruy Fabila-Monroy, Daniel Perz and Ana Laura TrujilloEmpty rainbow triangles in k-colored point setsComputational Geometry95,
2021, DOIShow publication in PURE
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn and Yannic MausImproved distributed Δ-coloring.Distributed Computing 34,
239-258,
2021, DOIShow publication in PURE
Cristian Vidal, Alexander Felfernig, José Galindo, Müslüm Atas and David BenavidesExplanations for over-constrained problems using QuickXPlain with speculative executionsJournal of Intelligent Information Systems57,
491-508,
2021, DOIShow publication in PURE
David Kaufmann, Iulia Nica and Franz WotawaIntelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.Advanced Intelligent Systems3,
2000218,
2021, DOIShow publication in PURE
Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova and Christiane SchmidtFolding polyominoes with holes into a cubeComputational Geometry93,
1-14,
2021, DOIShow publication in PURE
Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit VogtenhuberFlip distances between graph orientationsAlgorithmica83,
116-143,
2021, DOIShow publication in PURE
Tuomo Lehtonen, Johannes Peter Wallner and Matti JärvisaloHarnessing incremental answer set solving for reasoning in assumption-based argumentationTheory and Practice of Logic Programming21,
717 - 734,
2021, DOIShow publication in PURE
Johan Simonsson, Khalid Tourkey Atta, Gerald Schweiger and Wolfgang BirkExperiences from city-scale simulation of thermal gridsResources10,
2021, DOIShow publication in PURE
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgoňa, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar and Peter Gorm LarsenConstructing Neural Network-Based Models for Simulating Dynamical SystemsarXiv.org e-Print archive
,
2021Show publication in PURE
Matthias Josef Eder, Michael Reip and Gerald SteinbauerCreating a robot localization monitor using particle filter and machine learning approachesApplied Intelligence
,
1-15,
2021, DOIShow publication in PURE
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand LarsenL*-Based Learning of Markov Decision Processes (Extended Version)Formal Aspects of Computing33,
575-615,
2021, DOIShow publication in PURE
Massimo Vecchio, Paolo Azzoni, Andreas Menychtas, Ilias Maglogiannis and Alexander FelfernigA fully open-source approach to intelligent edge computingSensors 21,
1-14,
2021, DOIShow publication in PURE
Gerald Steinbauer-Wagner, Martin Kandlhofer, Tara Chklovski, Fredrik Heintz and Sven KoenigA Differentiated Discussion About AI Education K-12Künstliche Intelligenz35,
131-137,
2021, DOIShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer-Wagner, Julia Petra Laßnig, Manuel Menzinger, Wilfried Baumann, Margit Ehardt-Schmiederer, Ronald Bieber, Thomas Winkler, Sandra Plomer, Inge Strobl-Zuchtriegl, Marlene Miglbauer, Aron Ballagi, Claudiu Pozna, Istvan Alfoldi and Imre SzalayEDLRIS: A European Driving License for Robots and Intelligent SystemsKünstliche Intelligenz35,
221-232,
2021, DOIShow publication in PURE
Birgit Hofer, Dietmar Jannach, Patrick Koch, Konstantin Schekotihin and Franz WotawaProduct metrics for spreadsheets — a systematic reviewJournal of Systems and Software175,
2021, DOIShow publication in PURE
Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack and Thomas SchmicklCIMAXAdaptive Behavior29,
297-314,
2021, DOIShow publication in PURE
Conference/Workshop Article
Bernhard Aichernig, Edi Muskardin and Andrea PferscherLearning-Based Fuzzing of IoT Message BrokersProceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 202147-58Show publication in PURE
V. -M. Le, A. Felfernig, M. Uta, D. Benavides, J. Galindo and T. N. T. TranDirectDebug: Automated Testing and Debugging of Feature ModelsProceedings - 2021 ACM/IEEE 43rd International Conference on Software Engineering81-85Show publication in PURE
V. -M. LeGroup Recommendation Techniques for Feature Modeling and ConfigurationProceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering266-268Show publication in PURE
Zeynep G. Saribatur and Johannes Peter WallnerExistential Abstraction on Argumentation Frameworks via ClusteringProceedings KR 2021549-559Show publication in PURE
Atacan Ketenci, Matthias Josef Eder, Markus Ritter and Christian RamsauerScenario-based Simulation for Energy Optimization in Learning Factory EnvironmentsProceedings of the Conference on Learning Factories (CLF) 20211-6Show publication in PURE
Jesus Savage, Stalin Munoz Gutierrez, Luis Contreras, Mauricio Matamoros, Marco Negrete, Carlos Rivera, Gerald Steinbauer, Oscar Fuentes and Hiroyuki OkadaGenerating Reactive Robots' Behaviors using Genetic AlgorithmsICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence698-707Show publication in PURE
Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada and Birgit VogtenhuberCrossing-optimal extension of simple drawings48th International Colloquium on Automata, Languages, and Programming, ICALP 2021Show publication in PURE
Bernadette Spieler and Vesna KrnjicCreative, Engaging, and Playful Making-Activities with Smartphones and Embroidery MachinesProceedings of 5th FabLearn Europe / MakeEd Conference 2021Show publication in PURE
Franz Wotawa and Vlad Andrei DumitruJava2CSP—A Model-Based Diagnosis Tool Not Only for Software DebuggingIntelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference519-529Show publication in PURE
V. Lomonaco, L. Pellegrini, A. Cossu, A. Carta, G. Graffieti, T.L. Hayes, M. De Lange, M. Masana, J. Pomponi, G.M. Van De Ven, M. Mundt, Q. She, K. Cooper, J. Forest, E. Belouadah, S. Calderara, G.I. Parisi, F. Cuzzolin, A.S. Tolias, S. Scardapane, L. Antiga, S. Ahmad, A. Popescu, C. Kanan, J. Van De Weijer, T. Tuytelaars, D. Bacciu and D. MaltoniAvalanche: An end-to-end library for continual learningIEEE Computer Society Conference on Computer Vision and Pattern Recognition WorkshopsShow publication in PURE
Benjamin Kovács, Pierre Tassel, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein and Martin GebserUtilizing constraint optimization for industrial machine workload balancing27th International Conference on Principles and Practice of Constraint Programming, CP 2021Show publication in PURE
Marco De Bortoli, Stalin Munoz Gutierrez and Gerald Steinbauer-WagnerDiagnosis of hidden faults in the RCLL32nd International Workshop on Principle of DiagnosisShow publication in PURE
Elena Arseneva, Linda Kleist, Boris Klemz, Maarten Löffler, André Schulz, Birgit Vogtenhuber and Alexander WolffAdjacency graphs of polyhedral surfaces37th International Symposium on Computational Geometry, SoCG 2021Show publication in PURE
Trang Tran, Carmen Isabella Baumann, Alexander Felfernig and Viet-Man LeThe Immunity of Users’ Item Selection from Serial Position Effects in Multi-Attribute Item Recommendation ScenariosProceedings of the 8th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2021), Online Event, September 25 and September 29, 2021.101-111Show publication in PURE
Oswin Aichholzer, Jan Kyncl, Manfred Scheucher and Birgit VogtenhuberOn 4-Crossing-Families in Point Sets and an Asymptotic Upper BoundProceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)38:1-38:8Show publication in PURE
Alexander Felfernig, Mathias Uta, Andrei Popescu, Viet-Man Le, Seda Polat Erdeniz, Martin Stettinger, Müslüm Atas and Trang TranConfiguring Multiple Instances with Multi-ConfigurationProceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021)45-47Show publication in PURE
Oswin Aichholzer, David Eppstein and Eva-Maria HainzlGeometric Dominating Sets - A Minimum Version of the No-Three-In-Line ProblemProceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)17:1-17:7Show publication in PURE
Thomas HirschA Fault Localization and Debugging Support Framework driven by Bug Tracking DataProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020139-142Show publication in PURE
Franz Wotawa and Stephan ValentanOn the Automation of Audio Plugin TestingProceedings of the 21st IEEE International Conference on Software Quality, Reliability, and SecurityShow publication in PURE
Mathias Uta, Alexander Felfernig, Viet Man Le, Andrei Popescu, Thi Ngoc Trang Tran and Denis HelicEvaluating recommender systems in feature model configuration.Proceedings of the 25th ACM International Systems and Software Product Line Conference, SPLC 202158-63Show publication in PURE
Herbert Mühlburger and Franz WotawaOn the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion DetectionProceedings of the 21st IEEE International Conference on Software Quality, Reliability, and SecurityShow publication in PURE
Oliver Tazl and Franz WotawaMetamorphic Testing of Logic Theorem ProverProceedings of the 33rd IFIP International Conference on Testing Software and SystemsShow publication in PURE
Franz WotawaIntegrating multiple observation sets into consistency-based diagnosisProceedings of the 32nd International Workshop on Principle of DiagnosisShow publication in PURE
Thi Ngoc Trang Tran, Viet Man Le, Müslüm Atas, Alexander Felfernig, Martin Stettinger and Andrei PopescuDo Users Appreciate Explanations of Recommendations? An Analysis in the Movie DomainRecSys 2021 - 15th ACM Conference on Recommender Systems645–650Show publication in PURE
Franz Wotawa and Horst LewitschnigMonitoring hierarchical systems for safety assuranceProceedings of the 14th International Symposium on Intelligent Distributed ComputingShow publication in PURE
Franz WotawaOn the Use of Available Testing Methods for Verification & Validation of AI-based Software and SystemsProceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021)Show publication in PURE
Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra WeinbergerPlane Matchings in Simple Drawings of Complete GraphsAbstracts of the Young Researchers Forum of the 37th International Symposium on Computational Geometry (SoCG:YRF 2021)6-10Show publication in PURE
Oswin Aichholzer, Michael Hoffmann, Johannes Obenaus, Rosna Paul, Daniel Perz, Nadja Seiferth, Birgit Vogtenhuber and Alexandra WeinbergerPlane Spanning Trees in Edge-Colored Simple Drawings of KnGraph Drawing and Network Visualization - 28th International Symposium, GD 2020, Revised Selected Papers482-489Show publication in PURE
Franz Wotawa, Oliver Tazl and David KaufmannAutomated Diagnosis of Cyber-Physical SystemsAdvances and Trends in Artificial Intelligence. From Theory to Practice - 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Proceedings441-452Show publication in PURE
Jan Maly and Johannes Peter WallnerRanking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and CharacterizationsProceedings AAAI6435-6443Show publication in PURE
Markus Ulbricht and Johannes Peter WallnerStrong Explanations in Abstract ArgumentationProceedings AAAI6496-6504Show publication in PURE
Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada and Birgit VogtenhuberCrossing-optimal extension of simple drawingsProc. XIX Encuentros de Geometría Computacional5Show publication in PURE
Bettina Könighofer, Roderick Bloem, Martin Tappler, Julian Rudolf and Alexander PalmisanoOnline Shielding for Stochastic SystemsNASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings231-248Show publication in PURE
Man-Kwun Chiu, Stefan Felsner, Manfred Scheucher, Felix Schröder, Raphael Steiner and Birgit VogtenhuberColoring Circle Arrangements: New 4-Chromatic Planar GraphsProceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)42:1-42:7Show publication in PURE
Matthias Josef Eder, Richard Halatschek, Gernot Grömer, Willibald Stumptner and Gerald Steinbauer-WagnerAn augmented reality user interface for operating a mobile robot in analog planetary researchAustrian Robotics Workshop 2021Show publication in PURE
Maria Grandl, Martin Ebner, Sandra Schön and Benedikt BrünnerMAKER DAYS for Kids: Learnings from a Pop-up MakerspaceRobotics in Education360-365Show publication in PURE
Alice Tarzariol, Martin Gebser and Konstantin SchekotihinLifting Symmetry Breaking Constraints with Inductive Logic ProgrammingProceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021)2062-2068Show publication in PURE
Matthias Josef Eder, Maria Ursula Hulla, Felix Auer and Christian RamsauerInteractive Teaching Concept for a Data Analytics Workshop in Learning FactoriesProceedings of the Conference on Learning Factories (CLF) 2021Show publication in PURE
Matthias Josef Eder, Michael Spitzer, Matthias Hebenstreit and Christian RamsauerDevelopment and Evaluation of a Mixed Reality Assistance System in the Context of Manual AssemblyProceedings of the Conference on Learning Factories (CLF) 2021Show publication in PURE
Florian Kluck, Franz Wotawa, Gerhard Neubauer, Jianbo Tao and Mihai NicaAnalysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving FunctionsProceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021213-219Show publication in PURE
Andrea Pferscher and Bernhard AichernigFingerprinting Bluetooth Low Energy Devices via Active Automata LearningFormal Methods - 24th International Symposium, FM 2021, Proceedings524-542Show publication in PURE
Edi Muskardin, Bernhard Aichernig, Ingo Pill, Andrea Pferscher and Martin TapplerAALpy: An Active Automata Learning LibraryAutomated Technology for Verification and Analysis - ATVA 202167-73Show publication in PURE
Sarina Gursch, Vesna Krnjic, Katja Urak, Wolfgang Slany and Michael HeroldHow to Encourage girls to code Through Embroidery PatternsProceedings of the 4th International Conference on Gender Research, ICGR 2021122-129Show publication in PURE
Thomas Schranz, Johannes Exenberger, Christian Møldrup Legaard, Ján Drgoňa and Gerald SchweigerEnergy Prediction under Changed Demand Conditions: Robust Machine Learning Models and Input Feature CombinationsProceedings of the 17th International Conference of the International Building Performance Simulation Association (Building Simulation 2021)Show publication in PURE
Viet-Man Le, Trang Tran and Alexander FelfernigA Conversion of Feature Models into an Executable Representation in Microsoft ExcelIntelligent Systems in Industrial Applications 153-168Show publication in PURE
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Macedo and Peter Gorm LarsenA Universal Mechanism for Implementing Functional Mock-up UnitsProceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH121-129Show publication in PURE
Thomas Schranz, Christian Møldrup Legaard, Daniella Tola and Gerald SchweigerPortable runtime environments for Python-based FMUsProceedings of 14th Modelica Conference 2021419--424Show publication in PURE
Basak Falay, Sandra Wilfling, Qamar Alfalouji, Johannes Exenberger, Thomas Schranz, Christian Møldrup Legaard, Ingo Leusbrock and Gerald SchweigerCoupling physical and machine learning modelsProceedings of 14th Modelica Conference 2021335-341Show publication in PURE
Gerald Schweiger, Johannes Exenberger, Avichal Malhotra, Thomas Schranz, Theresa Boiger, C. Van Treeck and James O'DonnellData shortage for urban energy simulations? An empirical survey on data availability and enrichment methods using machine learningWorkshop on Intelligent Computing in Engineering301-309Show publication in PURE
Thomas Hirsch and Birgit Gertraud HoferWhat we can learn from how programmers debug their codeProceedings - 2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice, SER and IP 202137-40Show publication in PURE
Oswin Aichholzer, Alan Arroyo, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec and Birgit VogtenhuberOn Compatible MatchingsWALCOM221-233Show publication in PURE
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig and Ingo PillActive Model Learning of Stochastic Reactive SystemsSoftware Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings481-500Show publication in PURE
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen and Roderick BloemAdaptive Shielding under Uncertainty.2021 American Control Conference, ACC 20213467-3474Show publication in PURE
Noura El Moussa, Davide Molinelli, Mauro Pezzè and Martin TapplerHealth of smart ecosystemsESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering1491-1494Show publication in PURE
Alexander Felfernig, Viet-Man Le, Andrei Popescu, Mathias Uta, Trang Tran and Müslüm AtasAn Overview of Recommender Systems and Machine Learning in Feature Modeling and ConfigurationVaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems1-8Show publication in PURE
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Elisabeth Lex, Pasquale Lops, Giovanni Semeraro and Martijn C. WillemsenJoint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS’21)RecSys 2021 - 15th ACM Conference on Recommender Systems783-786Show publication in PURE
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard and Roderick BloemCoco: Co-Design and Co-Verification of Masked Software Implementations on CPUsProceedings of the 30th USENIX Security SymposiumShow publication in PURE
Other Article
Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Daniel Perz and Birgit VogtenhuberNo Selection Lemma for Empty TrianglesShow publication in PURE
Jonas Cleve, Nicolas Grelier, Kristin Knorr, Maarten Löffler, Wolfgang Mulzer and Daniel PerzNearest-Neighbor Decompositions of DrawingsShow publication in PURE
Oswin Aichholzer, Alfredo García, Javier Tejel, Birgit Vogtenhuber and Alexandra WeinbergerPlane paths in simple drawings of complete graphsShow publication in PURE
Keren Censor-Hillel, Yannic Maus and Volodymyr PolosukhinNear-Optimal Scheduling in the Congested Clique.Show publication in PURE
Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus and Tigran TonoyanEfficient randomized distributed coloring in CONGESTShow publication in PURE
Alkida Balliu, Keren Censor-Hillel, Yannic Maus, Dennis Olivetti and Jukka SuomelaLocally Checkable Labelings with Small Messages.Show publication in PURE
Yannic Maus and Jara UittoEfficient CONGEST Algorithms for the Lovász Local Lemma.Show publication in PURE
Matthias Josef Eder and Gerald Steinbauer-WagnerAutonomous robot navigation for search and rescue operations in remote terrainShow publication in PURE
Pierre Paul Alain Tassel, Martin Gebser and Konstantin SchekotihinA Reinforcement Learning Environment For Job-Shop SchedulingShow publication in PURE
Matthias Josef Eder, Richard Halatschek and Gerald Steinbauer-WagnerAutonomous robot navigation in alpine terrainShow publication in PURE
Thomas Hirsch and Birgit Gertraud HoferIdentifying non-natural language artifacts in bug reportsShow publication in PURE
Oswin Aichholzer, Maarten Löffler, Jayson Lynch, Zuzana Masárová, Joachim Rupert Orthaber, Irene Parada, Rosna Paul, Daniel Perz, Birgit Vogtenhuber and Alexandra WeinbergerDominect: a simple yet deep 2-player board gameShow publication in PURE
Bernhard Aichernig, Stefan Marksteiner, Andrea Pferscher, Rupert Schlick and Gerald StieglbauerAspects of Learning-based Security TestingShow publication in PURE
Rosna Paul, Oswin Aichholzer, Birgit Vogtenhuber, Daniel Perz, Ruy Fabila-Monroy, Irene Parada, Philipp Kindermann and Patrick SchniderPerfect Matchings with crossingsShow publication in PURE
Christoph Pilz, Andrea Ulbel and Gerald Steinbauer-WagnerThe Components of Cooperative Perception-a Proposal for Future WorksShow publication in PURE
2020
Book Chapter
Franz WotawaUsing model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310Show publication in PURE
Franz WotawaMessage from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viiiShow publication in PURE
Bingyang Wei, Yihao Li, Lin Deng and Nicholas VisalliTeaching Distributed Software Architecture by Building an Industrial Level E-Commerce ApplicationStudies in Computational Intelligence43-54Show publication in PURE
Proceedings
Denis Helic, Gerhard Leitner, Martin Stettinger, Alexander Felfernig and Zbigniew W RasFoundations of Intelligent SystemsShow publication in PURE
Peter M. Roth, Gerald Steinbauer, Friedrich Fraundorfer, Mathias Brandstötter and Roland PerkoProceedings of the Joint Austrian Computer Vision and Robotics WorkshopShow publication in PURE
Journal Article
Bernadette Spieler, Maria Grandl, Martin Ebner and Wolfgang SlanyBridging the Gap: A Computer Science Pre-MOOC for First Semester StudentsElectronic Journal of e-Learning18,
248-260,
2020, DOIShow publication in PURE
Hyobin Kim, Stalin Muñoz, Pamela Osuna and Carlos GershensonAntifragility Predicts the Robustness and Evolvability of Biological Networks through Multi-Class Classification with a Convolutional Neural NetworkEntropy22,
2020, DOIShow publication in PURE
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber and Alexander Matteo PalmisanoIt's Time to Play SafearXiv.org e-Print archive
,
2020Show publication in PURE
Thi Ngoc Trang Tran, Alexander Felfernig, Christoph Trattner and Andreas HolzingerRecommender systems in the healthcare domain: state-of-the-art and research issuesJournal of Intelligent Information Systems
,
1-31,
2020, DOIShow publication in PURE
Roxane Koitz-Hristov and Franz WotawaFaster horn diagnosis - a performance comparison of abductive reasoning algorithmsApplied Intelligence50,
1558-1572,
2020, DOIShow publication in PURE
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela and Jara UittoImproved distributed degree splitting and edge coloring.Distributed Comput.33,
293-310,
2020, DOIShow publication in PURE
Yannic MausThe power of locality - Exploring the limits of randomness in distributed computing.it Inf. Technol.62,
271-278,
2020, DOIShow publication in PURE
Martin Gebser, Marco Maratea and Francesco RiccaThe Seventh Answer Set Programming Competition: Design and ResultsTheory and Practice of Logic Programming 20,
176-204,
2020, DOIShow publication in PURE
Sebastian Daum, Fabian Kuhn and Yannic MausRumor spreading with bounded in-degree.Theoretical Computer Science810,
43-57,
2020, DOIShow publication in PURE
Oswin Aichholzer, Frank Duque, Ruy Fabila-Monroy, Oscar E. García-Quintero and Carlos Hidalgo-ToscanoAn Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing ConstantsJournal of Graph Algorithms and Applications 24,
421-432,
2020, DOIShow publication in PURE
Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kyncl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo WelzlMinimal representations of order types by geometric graphsJournal of Graph Algorithms and Applications 24,
551-572,
2020, DOIShow publication in PURE
Jurek Czyzowicz, Konstantinos Georgiou, Evangelos Kranakis, Lata Narayanan, Jarda Opatrny and Birgit VogtenhuberEvacuating Robots from a Disk Using Face-to-Face CommunicationDiscrete Mathematics & Theoretical Computer Science22,
2020, DOIShow publication in PURE
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca and Torsten SchaubASP-Core-2 Input Language FormatTheory and Practice of Logic Programming 20,
294-309,
2020, DOIShow publication in PURE
Bernadette Spieler, Libora Oates-Indruchovà and Wolfgang SlanyFemale students in computer science educationJournal of Women and Minorities in Science and Engineering26,
473-510,
2020, DOIShow publication in PURE
Josip Bozic and Franz WotawaPlanning-based security testing of web applications with attack grammarsSoftware Quality Journal28,
307-334,
2020, DOIShow publication in PURE
Peter Kohout, Marco De Bortoli, Jakob Ludwiger, Thomas Ulz and Gerald SteinbauerEine Multi-Roboter-Architektur für die RoboCup Logistics LeagueElektrotechnik und Informationstechnik137,
291-296,
2020, DOIShow publication in PURE
Basak Falay, Gerald Schweiger, Keith O'Donovan and Ingo LeusbrockEnabling large-scale dynamic simulations and reducing model complexity of district heating and cooling systems by aggregationEnergy209,
2020, DOIShow publication in PURE
Bahareh Banyassady, Man Kwun Chiu, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max WillertRouting in polygonal domainsComputational Geometry: Theory and Applications87,
2020, DOIShow publication in PURE
Thi Ngoc Trang Tran, Müslüm Atas, Viet-Man Le, Ralph Samer and Martin StettingerSocial Choice-based Explanations: An Approach toEnhancing Fairness and Consensus AspectsJournal of Universal Computer Science 26,
402-431,
2020Show publication in PURE
Thi Ngoc Trang Tran, Muesluem Atas, Man Viet Le, Ralph Samer and Martin StettingerSocial choice-based explanationsJournal of Universal Computer Science 26,
402-431,
2020Show publication in PURE
Martin Zimmermann and Franz WotawaAn adaptive system for autonomous drivingSoftware Quality Journal28,
1189-1212,
2020, DOIShow publication in PURE
Joshua Cherian Varughese, Hannes Hornischer, Payam Zahadat, Ronald Thenius, Franz Wotawa and Thomas SchmicklA swarm design paradigm unifying swarm behaviors using minimalistic communicationBioinspiration and Biomimetics15,
2020, DOIShow publication in PURE
Yihao Li, Jianbo Tao and Franz WotawaOntology-based test generation for automated and autonomous driving functionsInformation and Software Technology117,
2020, DOIShow publication in PURE
Conference/Workshop Article
Franz Wotawa, Josip Bozic and Yihao LiOntology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and SoftwareProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 202014-17Show publication in PURE
Bernadette Spieler, Vesna Krnjic, Wolfgang Slany, Karin Horneck and Ute NeudorferDesign, Code, Stitch, Wear, and Show It! Mobile Visual Pattern Design in School Contexts2020 IEEE Frontiers in Education Conference, FIE 2020 - ProceedingsShow publication in PURE
Bernhard Aichernig and Benedikt MaderbacherStep-Wise Development of Provably Correct Actor SystemsLeveraging Applications of Formal Methods, Verification and Validation426-448Show publication in PURE
Manuel Menzinger and Gerald SteinbauerDesign and Implementation of an AI Programming Playground for Schools2nd International Workshop on Education in Artificial Intelligence K-12 in conjunction with the 21st International Conference on Artificial intelligence in EducationShow publication in PURE
Manuel Menzinger, Martin Kandlhofer, Gerald Steinbauer, Ronald Biber, Wilfried Baumann, Margit Ehardt-Schmiederer and Thomas WinklerEDLRIS: European Driving License for Robots and Intelligent SystemsJoint Austrian Computer Vision and Robotics WorkshopShow publication in PURE
Marco De Bortoli and Gerald SteinbauerThe RoboCup Logistics League from a Planning PerspectiveICAPS 2020Show publication in PURE
Marco De Bortoli, Gerald Steinbauer, Felicitas Fabricius, Maximilian Selmair, Michael Reip and Martin GebserTowards ASP-based Scheduling for Industrial Transport VehiclesJoint Austrian Computer Vision and Robotics Workshop34-41Show publication in PURE
Andrea Pferscher and Bernhard AichernigLearning Abstracted Non-deterministic Finite State MachinesTesting Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings52-69Show publication in PURE
Bernhard Aichernig, Andrea Pferscher and Martin TapplerFrom Passive to Active: Learning Timed Automata EfficientlyNASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings1-19Show publication in PURE
Thomas Hirsch and Birgit Gertraud HoferRoot cause prediction based on bug reportsProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020171-176Show publication in PURE
Bernhard Aichernig, Martin Tappler and Felix WallnerBenchmarking Combinations of Learning and Testing Algorithms for Active Automata LearningTests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings3-22Show publication in PURE
Bernhard Aichernig and Christian BurghardGiving a Model-Based Testing Language a Formal Semantics via Partial MAX-SATTesting Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings35-51Show publication in PURE
Franz Wotawa and Lorenz KlampflExplaining Object Motion Using Answer Set ProgrammingFoundations of Intelligent Systems 298-307Show publication in PURE
Nour Chetouane, Franz Wotawa, Hermann Felbinger and Mihai NicaOn Using k-means Clustering for Test Suite ReductionProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020380 - 385Show publication in PURE
Lorenz Klampfl, Nour Chetouane and Franz WotawaMutation Testing for Artificial Neural Networks: An Empirical EvaluationProceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020356-365Show publication in PURE
Yihao Li and Franz WotawaOn Using Ontologies for Testing CompilersProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020181-184Show publication in PURE
Franz WotawaOn the use of answer set programming for model-based diagnosisTrends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings518-529Show publication in PURE
Edi Muškardin, Ingo Pill and Franz WotawaCatIO - A Framework for Model-Based Diagnosis of Cyber-Physical SystemsFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings267-276Show publication in PURE
O. Aichholzer, L. E. Caraballo, J.M. Díaz-Báñez, Ruy Fabila-Monroy, I. Parada, I. Ventura and B. VogtenhuberScheduling drones to cover outdoor eventsProceedings of the 36th European Workshop on Computational Geometry (EuroCG 2020))24:1-24:7Show publication in PURE
Oswin Aichholzer, Manuel Borrazzo, Prosenjit Bose, Jean Cardinal, Fabrizio Frati, Pat Morin and Birgit VogtenhuberDrawing Graphs as SpannersGraph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers310-324Show publication in PURE
Jared Coleman, Evangelos Kranakis, Oscar Morales Ponce, Jaroslav Opatrny, Jorge Urrutia and Birgit VogtenhuberMinimizing The Maximum Distance Traveled To Form Patterns With Systems of Mobile RobotsProceedings of the 32nd Canadian Conference on Computational Geometry (CCCG 2020)73-79Show publication in PURE
Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo WiederaInserting one edge into a simple drawing is hardGraph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers325-338Show publication in PURE
Bettina Könighofer, Roderick Bloem, Nils Jansen and Florian Lukas LorberShield Synthesis for Reinforcement LearningLeveraging Applications of Formal Methods, Verification and Validation290-306Show publication in PURE
Syed Ahmed Ali, Shahzad Memon and Farhan SahitoAnalysis of Cloud Forensics Techniques for Emerging TechnologiesProceedings - 2020 International Conference on Computing, Networking, Telecommunications and Engineering Sciences Applications, CoNTESA 2020106-111Show publication in PURE
Seda Polat Erdeniz, Ralph Samer and Muesluem AtasMatrix Factorization Based Heuristics Learning for Solving Constraint Satisfaction ProblemsFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings287-297Show publication in PURE
Cristian Vidal Silva, Alexander Felfernig, Jose Galindo, Müslüm Atas and David BenavidesA Parallelized Variant of Junker’s QuickXPlain AlgorithmFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings457-468Show publication in PURE
Bernadette Spieler, Naomi Pfaff and Wolfgang SlanyReducing Cognitive Load through the Worked Example Effect within a Serious Game EnvironmentProceedings of 6th International Conference of the Immersive Learning Research Network, iLRN 20201-8Show publication in PURE
Thomas Eckstein and Gerald SteinbauerAction-based programming with yagi - an update on usability and performanceTrends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings557-569Show publication in PURE
Mathias Uta and Alexander FelfernigConmerge – arbitration of constraint-based knowledge basesTrends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings127-139Show publication in PURE
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. WillemsenInterfaces and Human Decision Making for Recommender SystemsRecSys 2020 - 14th ACM Conference on Recommender Systems613-618Show publication in PURE
Ralph Samer, Martin Stettinger and Alexander FelfernigGroup Recommender User Interfaces for Improving Requirements PrioritizationUMAP 2020 - Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization221-229Show publication in PURE
Martin Stettinger, Trang Tran, Ingo Pribik, Gerhard Leitner, Alexander Felfernig, Ralph Samer, Müslüm Atas and Manfred WundaraKNOWLEDGECHECKR: Intelligent Techniques for Counteracting ForgettingECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings3034-3039Show publication in PURE
Ralph Samer, Martin Stettinger, Alexander Felfernig, Xavier Franch and Andreas FalknerIntelligent Recommendation & Decision Technologies for Community-Driven Requirements EngineeringECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings3017-3025Show publication in PURE
Mathias Uta and Alexander FelfernigTowards machine learning based configuration22nd International Configuration Workshop25-28Show publication in PURE
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten BaunachA Formal Modeling Approach for Portable Low-Level OS FunctionalitySoftware Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings155-174Show publication in PURE
Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Franz Wotawa and Thomas SchmicklCollective event detection using bio-inspired minimalistic communication in a swarm of underwater robotsALIFE 2019634-641Show publication in PURE
Josip Bozic, Yihao Li and Franz WotawaOntology-driven Security Testing of Web ApplicationsProceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020115-122Show publication in PURE
Other Article
Matthias Hebenstreit, Michael Spitzer, Matthias Josef Eder and Christian RamsauerAn Industry 4.0 Production Workplace Enhanced by Using Mixed Reality Assembly Instructions with Microsoft HoloLensShow publication in PURE
Gerald Steinbauer, Richard Halatschek, Christian Brommer, Alessandro Fornasier, Stefanie Garnitschnig, Gernot Grömer, Sophie Gruber, Keerthi Datta Konanur Ramanna, Vittorio Netti, Paolo Guardabasso and Stephan WeissAMADEE-20 Exploration Cascade using Robotic VehiclesShow publication in PURE
Richard Halatschek, Keerthi Datta Konanur Ramanna, Wolfgang Url and Gerald SteinbauerUniversal Offroad Robot Platform for Disaster ResponseShow publication in PURE
Ruy Fabila-Monroy, Daniel Perz and Ana Laura TrujilloEmpty Rainbow Triangles in k-colored Point SetsShow publication in PURE
Oswin Aichholzer, Julia Obmann, Pavel Paták, Daniel Perz and Josef TkadlecDisjoint tree-compatible plane perfect matchingsShow publication in PURE
Martin Jochen Zimmermann, Ingo Pill and Franz WotawaDrawing on SFL for Making Intelligent Decisions in RBLShow publication in PURE
Alexander Felfernig, Viet Man Le and Trang TranSupporting Feature Model-Based Configuration in Microsoft ExcelShow publication in PURE
Oswin Aichholzer, Alfredo García, Irene Parada, Birgit Vogtenhuber and Alexandra WeinbergerSimple Drawings of Km,n Contain Shooting StarsShow publication in PURE
Philipp Bamberger, Fabian Kuhn and Yannic MausEfficient Deterministic Distributed Coloring with Small Bandwidth.Show publication in PURE
Reuven Bar-Yehuda, Keren Censor-Hillel, Yannic Maus, Shreyas Pai and Sriram V. PemmarajuDistributed Approximation on Power GraphsShow publication in PURE
Magnús M. Halldórsson, Fabian Kuhn and Yannic MausDistance-2 Coloring in the CONGEST ModelShow publication in PURE
Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus and Alexandre NolinColoring Fast Without Learning Your Neighbors' ColorsShow publication in PURE
Yannic Maus and Tigran TonoyanLocal Conflict Coloring Revisited - Linial for ListsShow publication in PURE
Pierre Tassel, Martin Gebser and Mohamed RbaiaAn ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning ProblemShow publication in PURE
Mohammed El-Kholany and Martin GebserJob Shop Scheduling with Multi-shot ASPShow publication in PURE
Alice Tarzariol, Martin Gebser and Konstantin SchekotihinLifting Symmetry Breaking Constraints with Inductive Logic ProgrammingShow publication in PURE
Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti and Jukka SuomelaClassification of Distributed Binary Labeling ProblemsShow publication in PURE
Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti and Jukka SuomelaBrief Announcement - Classification of Distributed Binary Labeling ProblemsShow publication in PURE
Sonia Cisneros-Cabrera, Alexander Felfernig, Nikolay Mehandjiev, Pedro Sampaio and Sophia KununkaA laddering approach to explore the motivations of taking computer advice for supply networks formationShow publication in PURE
2019
Book Chapter
Joshua Cherian Varughese, Daniel Moser, Ronald Thenius, Franz Wotawa and Thomas SchmicklswarmFSTaxisUnderstanding Complex Systems213-222Show publication in PURE
Franz WotawaReasoning from first principles for self-adaptive and autonomous systemsPredictive Maintenance in Dynamic Systems Show publication in PURE
Dave Catlin, Martin Kandlhofer, John-John Cabibihan, Julian Angel-Fernandez, Stephanie Holmquist and Andrew Paul Csizmadia,EduRobot TaxonomySmart Learning with Educational Robotics333-338Show publication in PURE
Proceedings
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis AliAdvances in Artificial Intelligence. From Theory to PracticeShow publication in PURE
Journal Article
Wolfgang Vorraber, Matthias Müller, Siegfried Voessner and Wolfgang SlanyAnalyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information SystemsIEEE Software36,
55-60,
2019, DOIShow publication in PURE
Alan Arroyo, Fabian Klute, Irene Parada, Raimund Seidel, Birgit Vogtenhuber and Tilo WiederaExtending simple drawings with one edge is hardarXiv.org e-Print archive
,
2019Show publication in PURE
Bernhard Aichernig and Martin TapplerEfficient Active Automata Learning via Mutation TestingJournal of Automated Reasoning63,
1103-1134 ,
2019, DOIShow publication in PURE
Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener and Franz RöckSynthesizing adaptive test strategies from temporal logic specificationsFormal Methods in System Design55,
103-135,
2019, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, André van Renssen, Marcel Roeloffzen, Günter Rote and Birgit VogtenhuberPacking plane spanning graphs with short edges in complete geometric graphsComputational Geometry782,
1-15,
2019, DOIShow publication in PURE
Matthias Müller and Wolfgang SlanyPhänomen Open Source - Wertschöpfung durch Offenheit und ZusammenarbeitWING-Business2019,
25-27,
2019Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia Galicia and Birgit VogtenhuberCross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$Computational Geometry77,
51-61,
2019, DOIShow publication in PURE
Martin Gebser, Roland Kaminski, Benjamin Kaufmann and Torsten SchaubMulti-shot ASP solving with clingoTheory and Practice of Logic Programming 2019,
27-82,
2019, DOIShow publication in PURE
Yannis Dimopoulus, Martin Gebser, Patrick Lühne, Javier Romero and Torsten Schaubplasp 3: Towards Effective ASP PlanningTheory and Practice of Logic Programming 19,
477-504,
2019, DOIShow publication in PURE
Oswin Aichholzer, Martin Balko, Thomas Hackl, Jan Kyncl, Irene Parada, Manfred Scheucher, Pavel Valtr and Birgit VogtenhuberA superlinear lower bound on the number of 5-holesJournal of Combinatorial Theory. Series A
,
1-31,
2019, DOIShow publication in PURE
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz WotawaMetric-based Fault Prediction for SpreadsheetsIEEE Transactions on Software Engineering47,
2195 - 2207,
2019, DOIShow publication in PURE
Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric WongUsing Tri-Relation Networks for Effective Software Fault-Proneness PredictionIEEE Access
,
63066 - 63080,
2019, DOIShow publication in PURE
Daniela Kengyel, Payam Zahadat, Thomas Schmickl and Franz WotawaTowards swarm level optimisation: The role of different movement patterns in swarm systemsInternational Journal of Parallel, Emergent and Distributed Systems
,
241 - 259,
2019Show publication in PURE
Patrick Koch, Birgit Gertraud Hofer and Franz WotawaOn the Refinement of Spreadsheet Smells by means of Structure InformationThe Journal of Systems and Software
,
64 - 85,
2019Show publication in PURE
Gerald Schweiger, Fabian Kuttin and Alfred PoschDistrict heating systemsEnergies12,
2019, DOIShow publication in PURE
Bernhard Aichernig and Martin TapplerProbabilistic black-box reachability checking (extended version)Formal Methods in System Design54,
416-448,
2019, DOIShow publication in PURE
Clemens Huemer, Alexander Pilz and Rodrigo I. SilveiraA new lower bound on the maximum number of plane graphs using production matricesComputational Geometry84,
36-49,
2019, DOIShow publication in PURE
Eugenio Gaeta, María Eugenia Beltrán-Jaunsaras, Gloria Cea, Bernadette Spieler, Andrew Burton, Rebeca Isabel García-Betances, María Fernanda Cabrera-Umpiérrez, David Brown, Helen Boulton and María T.Arredondo WaldmeyerEvaluation of the create@school game-based learning–teaching approachSensors 19,
2019, DOIShow publication in PURE
Bernhard K. Aichernig and Richard Alexander SchumiProperty-Based Testing of Web Services by Deriving Properties from Business-Rule ModelsSoftware and Systems Modeling18,
889-911,
2019, DOIShow publication in PURE
Zulfiqar Ali, Aiman Mamdouh Ayyal Awwad and Wolfgang SlanyUsing executable specification and regression testing for broadcast mechanism of visual programming language on smartphonesInternational Journal of Interactive Mobile Technologies13,
50-65,
2019, DOIShow publication in PURE
Georg EngelSorption thermal energy storageEnergy Conversion and Management184,
466-474,
2019, DOIShow publication in PURE
Alexander Felfernig, Seda Polat Erdeniz, Christoph Uran, Stefan Reiterer, Müslüm Atas, Thi Ngoc Trang Tran, Paolo Azzoni, Csaba Kiraly and Koustabh DoluiAn Overview of Recommender Systems in the Internet of ThingsJournal of Intelligent Information Systems52,
285-309,
2019, DOIShow publication in PURE
Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and T.N.T. TranRecommender Systems for IoT Enabled Quantified-Self ApplicationsEvolving Systems
,
2019, DOIShow publication in PURE
Wolfgang Vorraber and Matthias MüllerA Networked Analysis and Engineering Framework for New Business ModelsSustainability 11,
2019, DOIShow publication in PURE
Seda Polat Erdeniz, Andreas Menychtas, Ilias Maglogiannis, Alexander Felfernig and Thi Ngoc Trang TranRecommender systems for IoT enabled quantified‐self applicationsEvolving Systems
,
2019, DOIShow publication in PURE
Bernhard Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick and Richard Alexander SchumiLearning and statistical model checking of system response timesSoftware Quality Journal27,
757-795,
2019, DOIShow publication in PURE
Conference/Workshop Article
Thomas Ulz, Jakob Chrysant Ludwiger and Gerald SteinbauerA Robust and Flexible System Architecture for Facing the RoboCup Logistics League ChallengeRoboCup 2018: Robot World Cup XXII488-499Show publication in PURE
Kay Uwe Römer, Klaus Witrisal, Marcel Carsten Baunach, Roderick Bloem and Martin HornDependable Internet of ThingsProceedings of the International Conference on Sensor Networks (SENSORNETS) 2019Show publication in PURE
Roderick Bloem, Swen Jacobs and Yakir VizelEfficient Information-Flow Verification Under Speculative ExecutionEfficient Information-Flow Verification Under Speculative ExecutionShow publication in PURE
Oswin Aichholzer, Matias Korman, Yoshio Okamoto, Irene Maria De Parada, Daniel Perz, André van Renssen and Birgit VogtenhuberGraphs with large total angular resolutionGraph Drawing and Network Visualization193-199Show publication in PURE
Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmovic, Robin Flatland, Matias Korman, Belen Palop, Irene Parada, André van Renssen and Vera SacristánUniversal Reconfiguration of Facet-Connected Modular Robots by Pivots: The O(1) Musketeers27th Annual European Symposium on Algorithms (ESA 2019)3:1-3:14Show publication in PURE
Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kynčl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo WelzlMinimal Representations of Order Types by Geometric Graphs Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)101-113Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco ZaragozaOn the 2-Colored Crossing NumberProceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)87-100Show publication in PURE
Alan Arroyo, Martin Derka and Irene ParadaExtending Simple DrawingsGraph Drawing and Network Visualization 230-243Show publication in PURE
Ingo Pill and Franz WotawaExtending Automated FLTL Test Oracles With Diagnostic SupportProceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019354-361Show publication in PURE
Oswin Aichholzer, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Linda Kleist, Irina Kostitsyna, Maarten Löffler, Zuzana Masárová, Klara Mundilova, Christiane Schmidt and Sándor P. FeketeFolding Polyominoes with Holes into a CubeProc. 31th Annual Canadian Conference on Computational Geometry CCCG 2019164-170Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy and Julia ObmannOn the Triangle VectorProc. XVIII Encuentros de Geometría Computacional55-58Show publication in PURE
Oswin Aichholzer, José Miguel Díaz-Báñez, Thomas Hackl, David Orden Martín, Alexander Pilz, Inmaculada Ventura and Birgit VogtenhuberErdos-Szekeres-Type GamesProc. $35^th$ European Workshop on Computational Geometry EuroCG '1923:1-23:7Show publication in PURE
Nour Chetouane, Lorenz Klampfl and Franz WotawaInvestigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural NetworksAdvances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings766-777Show publication in PURE
Oswin Aichholzer, Linda Kleist, Boris Klemz, Felix Schröder and Birgit VogtenhuberOn the Edge-Vertex Ratio of Maximal ThracklesGraph Drawing and Network Visualization. GD 2019482-495Show publication in PURE
Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner and Birgit VogtenhuberFlip distances between graph orientations45th International Workshop on Graph-Theoretic Concepts in Computer Science120-134Show publication in PURE
David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit VogtenhuberPerfect rainbow polygons for colored point sets in the planeProc. XVIII Encuentros de Geometría Computacional43-46Show publication in PURE
David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia and Birgit VogtenhuberPerfect rainbow polygons for colored point sets in the planeProc. 22nd Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3 2019)57-58Show publication in PURE
Matthias Müller, Christian Schindler and Wolfgang SlanyIntroducing Agile Product Owners in a FLOSS ProjectOpen Source Systems38-43Show publication in PURE
Matthias Müller, Christian Schindler and Wolfgang SlanyPocket Code - A Mobile Visual Programming Framework For App Development2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)Show publication in PURE
Matthias MüllerManaging the Open Cathedral Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering1176-1179Show publication in PURE
Matthias Josef Eder, Michael Reip and Gerald SteinbauerUsing Particle Filter and Machine Learning for Accuracy Estimation of Robot LocalizationAdvances and Trends in Artificial Intelligence. From Theory to Practice700-713Show publication in PURE
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer StrichmanSynthesizing Reactive Systems Using Robustness and Recovery Specifications2019 Formal Methods in Computer Aided Design, FMCAD 2019147-151Show publication in PURE
Thomas Hirsch, Christian Schindler, Matthias Müller, Thomas Schranz and Wolfgang SlanyAn Approach to Test Classification in Big Android Applications 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)300-308Show publication in PURE
Hermann Felbinger, Florian Steffen Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa and Martin Jochen ZimmermannComparing two systematic approaches for testing automated driving functions2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - ProceedingsShow publication in PURE
Thomas Schranz, Christian Schindler, Matthias Müller and Wolfgang SlanyContributors' Impact on a FOSS Project's QualityProceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies (SQUADE ’19)35-38Show publication in PURE
Julian Harty and Matthias MüllerBetter Android Apps using Android VitalsProceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics (WAMA ’19)26-32Show publication in PURE
Bernadette Spieler, Maria Grandl, Martin Ebner and Wolfgang Slany“Computer Science for all”: Concepts to engage teenagers and non-CS students in technologyProceedings of the 13th European Conference on Games Based Learning667-674Show publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Julia Petra Laßnig, Wilfried Baumann, Sandra Plomer, Aron Ballagi and Istvan AlfoldiEnabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to SchoolsIEEE Conference on Frontiers in Education (FIE) 2019Show publication in PURE
Yavuz Koroglu and Franz WotawaFully automated compiler testing of a reasoning engine via mutated grammar fuzzingProceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 201928-34Show publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Manuel Menzinger, Richard Halatschek, Ferenc Kemeny and Karin LanderlMINT-Robo: Empowering Gifted High School Students with RoboticsIEEE Conference on Frontiers in Education (FIE) 2019Show publication in PURE
Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen and Florian LorberTime to Learn - Learning Timed Automata from TestsFormal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings216 - 235Show publication in PURE
Matthias Müller, Christian Schindler and Wolfgang SlanyEngaging Students in Open Source: Establishing FOSS Development at a UniversityProceedings of the 52nd Annual Hawaii International Conference on System Sciences7721-7730Show publication in PURE
Peter Brusilovsky, Marco De Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. WillemsenREcSys'19 joint workshop on interfaces and human decision making for recommender systemsRecSys 2019 - 13th ACM Conference on Recommender Systems560-561Show publication in PURE
Gerald Schweiger, Filip Jorissen, Hakan Runvik and Lieve HelsenEquation-based modelling for dynamic optimization of district scale energy systems- A scalability studySEST 2019 - 2nd International Conference on Smart Energy Systems and TechnologiesShow publication in PURE
Matthias Müller, Wolfgang Vorraber, Michael Herold, Christian Schindler, Wolfgang Slany and Kenji TanakaStreamlining Value in a FOSS ProjectProceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234 Show publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan GspandlConstraint-Based Testing of An Industrial Multi-Robot Navigation System 2019 IEEE International Conference On Artificial Intelligence Testing (AITest)129-137Show publication in PURE
Christian Schindler and Matthias MüllerGender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of TechnologyECSA '19 - Proceedings of the 13th European Conference on Software Architecture 100-104Show publication in PURE
Georg EngelNeural Networks to Approximate Solutions of Ordinary Differential EquationsIntelligent Computing - Proceedings of the 2019 Computing Conference776-784Show publication in PURE
Georg EngelMachine Learning to Approximate Solutions of Ordinary Differential EquationsComputational Science – ICCS 2019 - 19th International Conference, Proceedings169-177Show publication in PURE
Valentin Kassarnig and Franz WotawaAn Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational DatabasesProceedings - 2018 IEEE International Conference on Big Data, Big Data 20184932-4939Show publication in PURE
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler and Markus TranningerLearning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine LearningTesting Software and Systems3-21Show publication in PURE
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand LarsenL*-Based Learning of Markov Decision ProcessesFormal Methods - The Next 30 Years 651 - 669Show publication in PURE
Georg Engel, Ajay S. Chakkaravarthy and Gerald SchweigerA General Method to Compare Different Co-simulation InterfacesSimulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers351-365Show publication in PURE
Ralph Samer, Alexander Felfernig and Martin StettingerTowards Issue Recommendation for Open Source CommunitiesIEEE/WIC/ACM International Conference on Web Intelligence164-171Show publication in PURE
Martin Stettinger, Alexander Felfernig and Ralph SamerDecision Biases in Preference AcquisitionProceedings of the 21st Configuration Workshop20-21Show publication in PURE
Müslüm Atas, Ralph Samer, Alexander Felfernig, Trang Tran, Seda Polat Erdeniz and Martin StettingerSocially-Aware Diagnosis for Constraint-Based RecommendationUMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization121-129Show publication in PURE
Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas and Ralph SamerMatrix Factorization based Heuristics for Constraint-based RecommendersSAC '19, Proceedings Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing1655-1662Show publication in PURE
Seda Polat Erdeniz, Alexander Felfernig and Müslüm AtasLearned Constraint Ordering for Consistency Based Direct DiagnosisAdvances and Trends in Artificial Intelligence347-359Show publication in PURE
Thi Ngoc Trang Tran, Alexander Felfernig, Viet Man Le, Müslüm Atas, Martin Stettinger and Ralph SamerUser Interfaces for Counteracting Decision Manipulation in Group Recommender SystemsUMAP'19 Adjunct: Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization93-98Show publication in PURE
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Viet Man Le, Ralph Samer and Martin StettingerTowards Social Choice-based Explanations in Group Recommender SystemsUMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization13-21Show publication in PURE
Josip Bozic, Oliver A. Tazl and Franz WotawaChatbot testing using AI planningProceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 201937-44Show publication in PURE
Oliver A. Tazl and Franz WotawaUsing model-based reasoning for enhanced chatbot communicationAdvances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings791-798Show publication in PURE
Müslüm Atas, Thi Ngoc Trang Tran, Alexander Felfernig, Seda Polat Erdeniz, Ralph Samer and Martin StettingerTowards Similarity-Aware Constraint-Based RecommendationAdvances and Trends in Artificial Intelligence287-299Show publication in PURE
Josip Bozic and Franz WotawaTesting Chatbots Using Metamorphic RelationsTesting Software and Systems 41-55Show publication in PURE
Ralph Samer, Martin Stettinger, Müslüm Atas, Alexander Felfernig, G. Ruhe and G. DeshpandeNew Approaches to the Identification of Dependencies between Requirements 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)1265-1270Show publication in PURE
Josip Bozic and Franz WotawaSoftware Testing: According to Plan!IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)23-31Show publication in PURE
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic and Franz WotawaWeighted Combinatorial Sequence Testing for the TLS ProtocolIEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)Show publication in PURE
Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin and Daniel GrussA Systematic Evaluation of Transient Execution Attacks and DefensesProceedings of the 28th USENIX Security Symposium249-266Show publication in PURE
Bernhard AichernigA Testing Perspective on Algebraic, Denotational, and Operational SemanticsUnifying Theories of Programming22-38Show publication in PURE
Bernhard Aichernig, Benedikt Maderbacher and Stefan TiranProgramming Behavioral Test Models for SMT Solving in Scala2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 201952-60Show publication in PURE
Bernhard Aichernig, Christian Burghard and Robert KorosecLearning-Based Testing of an Industrial Measurement DeviceNASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings1-18Show publication in PURE
Bernhard Aichernig, Franz Pernkopf, Richard Alexander Schumi and Andreas WurmPredicting and Testing Latencies with Deep Learning: An IoT Case StudyTests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings93-111Show publication in PURE
Marco De BortoliDistributed Answer Set Coloring: Stable Models Computation via Graph ColoringProceedings 35th International Conference on Logic Programming (Technical Communications) (ICLP 2019)441-451Show publication in PURE
Thesis
Alexandra WeinbergerSimple Drawings and Rotation Systems Beyond the Complete GraphShow publication in PURE
Irene ParadaOn straight-line and topological drawings of graphs in the planeShow publication in PURE
Other Article
Christoph Pilz, Gerald Steinbauer, Markus Schratter and Daniel WatzenigDevelopment of a Scenario Simulation Platform to Support Autonomous Driving VerificationShow publication in PURE
Oswin Aichholzer, Irene Maria De Parada, Manfred Scheucher, Birgit Vogtenhuber and Alexandra WeinbergerShooting Stars in Simple Drawings of K<sub>m,n</sub>Show publication in PURE
Oswin Aichholzer and Daniel PerzTriangles in the colored Euclidean planeShow publication in PURE
Carolina Medina, Irene Parada, Gelasio Salazar and Birgit VogtenhuberBounding the number of crossings for a particular class of drawings of $K_{n,n}$Show publication in PURE
Oswin Aichholzer, Carlos Alegría, Irene Parada, Alexander Pilz, Javier Tejel, Csaba D. Tóth, Jorge Urrutia Galicia and Birgit VogtenhuberHamiltonian meander paths and cycles on bichromatic point sets.Show publication in PURE
Thekla Hamm, Irene Parada and Fabian KluteExtending to 1-plane drawings.Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Adrian Fuchs, Carlos Hidalgo-Toscano, Irene Parada, Birgit Vogtenhuber and Francisco ZaragozaOn the 2-colored crossing numberShow publication in PURE
Hugo A. Akitaya, Esther M. Arkin, Mirela Damian, Erik D. Demaine, Vida Dujmović, Robin Flatland, Matias Korman, Belén Palop, Irene Parada, André van Renssen and Vera SacristánReconfiguring edge-connected pivoting modular robotsShow publication in PURE
Helmut Brunner, Xuelei Zhi, Matthias Mietschnig, Stephen Jones, Su Zhou, Gerald Steinbauer and Mario HirzResearch on Autonomous Driving based on a Highly Flexible Prototype VehicleShow publication in PURE
Clemens Huemer, Deborah Oliveros, Pablo PLantero, Ferran Torra and Birgit VogtenhuberOn weighted sums of numbers of convex polygons in point setsShow publication in PURE
Frederik Mallmann-Trenn, Yannic Maus and Dominik PajakNoidy Conmunixatipn - On the Convergence of the Averaging Population ProtocolShow publication in PURE
Philipp Bamberger, Mohsen Ghaffari, Fabian Kuhn, Yannic Maus and Jara UittoOn the Complexity of Distributed Splitting ProblemsShow publication in PURE
Philipp Bamberger, Fabian Kuhn and Yannic MausLocal Distributed Algorithms in Highly Dynamic NetworksShow publication in PURE
Yannic MausP-SLOCAL-Completeness of Maximum Independent Set ApproximationShow publication in PURE
Janosch Deurer, Fabian Kuhn and Yannic MausDeterministic Distributed Dominating Set Approximation in the CONGEST ModelShow publication in PURE
Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald TheniusCollective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater RobotsShow publication in PURE
Sebastian Brandt, Yannic Maus and Jara UittoA Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local LemmaShow publication in PURE
Michael Stradner and Gerald SteinbauerLifting Robot Exploration to 3D EnvironmentsShow publication in PURE
Ingo Pill and Franz WotawaExploiting Observations from Combinatorial Testing for Diagnostic ReasoningShow publication in PURE
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de KleerDiagnosing Sequential Circuits as Boolean SatisfactionShow publication in PURE
Vesna Krnjic and Bernadette SpielerCode’n’Stitch: Design your own Embroidery Pattern - Codi It - Stitch ItShow publication in PURE
Vesna KrnjicDesign it – Code it – Stitch it – Program your Embroidery Designs on Mobile PhonesShow publication in PURE
Bernadette Spieler, Vesna Krnjic and Wolfgang SlanyGirls Create Games: Lessons LearnedShow publication in PURE
Thi Ngoc Trang Tran, Alexander Felfernig, Viet Man Le, Müslüm Atas, Martin Stettinger and Ralph SamerUser Interfaces for Counteracting Decision Manipulation in Group Recommender SystemsShow publication in PURE
Marco De BortoliDistributed Answer Set Coloring: Stable Models Computation via Graph ColoringShow publication in PURE
2018
Book
Alexander Felfernig, Martin Stettinger, Ludovico Boratto and Marko TkalcicGroup Recommender Systems978-3-319-75067-5Show publication in PURE
Book Chapter
Ingo Pill and Franz WotawaFault detection and localization using modelica and abductive reasoningDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems45-72Show publication in PURE
Bernhard Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler and Masoumeh TaromiradModel Learning and Model-Based TestingMachine Learning for Dynamic Software Analysis: Potentials and Limits74 - 100Show publication in PURE
Roderick Bloem, Krishnendu Chatterjee and Barbara JobstmannGraph Games and Reactive SynthesisHandbook of Model Checking921-962Show publication in PURE
Alexander Felfernig, Müslüm Atas, Denis Helic, Thi Ngoc Trang Tran, Martin Stettinger and Ralph SamerAlgorithms for Group RecommendationGroup Recommender Systems27-58Show publication in PURE
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Stefan ReitererGroup Recommender ApplicationsGroup Recommender Systems75-89Show publication in PURE
Alexander Felfernig, Nava Tintarev, Thi Ngoc Trang Tran and Martin StettingerExplanations for GroupsGroup Recommender Systems105-126Show publication in PURE
Alexander Felfernig, Müslüm Atas, Ralph Samer, Martin Stettinger, Thi Ngoc Trang Tran and Stefan ReitererFurther Choice ScenariosGroup Recommender Systems129-144Show publication in PURE
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Thi Ngoc Trang Tran and Gerhard LeitnerBiases in Group DecisionsGroup Recommender Systems145-155Show publication in PURE
Franz Wotawa, Bernhard Peischl and Roxane KoitzDiagnosis as a serviceDigital Marketplaces Unleashed557-567Show publication in PURE
Alexander Felfernig, Ludovico Boratto, Martin Stettinger and Marko TkalcicDecision Tasks and Basic AlgorithmsGroup Recommender Systems : An Introduction3-26Show publication in PURE
Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray and Franz LangmayrWind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems17-43Show publication in PURE
Proceedings
Marina Zanella, Ingo Pill and Alessandro Cimatti28th International Workshop on Principles of Diagnosis (DX'17)Show publication in PURE
Alexander Felfernig and Martin StettingerProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018Show publication in PURE
Alexander Felfernig and Martijn C. WillemsenProceedings of the 5th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems, IntRS 2018, co-located with ACM Conference on Recommender Systems (RecSys 2018), Vancouver, Canada, October 7, 2018Show publication in PURE
Journal Article
Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit VogtenhuberIntersection Graphs of Rays and Grounded SegmentsJournal of Graph Algorithms and Applications 22,
273-295,
2018, DOIShow publication in PURE
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Dan McQuillan, Bojan Mohar, Petra Mutzel, Pedro Ramos, R. Bruce Richter and Birgit VogtenhuberBishellable drawings of $K_n$SIAM Journal on Discrete Mathematics32,
2482-2492,
2018, DOIShow publication in PURE
Gerald Schweiger, Richard Heimrath, Basak Falay, Keith O'Donovan, Peter Nageler, Reinhard Pertschy, Georg Engel, Wolfgang Streicher and Ingo LeusbrockDistrict energy systems: Modelling paradigms and general-purpose toolsEnergy
,
1326-1340,
2018, DOIShow publication in PURE
Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit VogtenhuberHoles in 2-convex point setsComputational Geometry74,
38-49,
2018, DOIShow publication in PURE
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit VogtenhuberLinear transformation distance for bichromatic matchingsComputational Geometry68,
77-88,
2018, DOIShow publication in PURE
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei and Franz WotawaTesting TLS using planning-based combinatorial methods and execution frameworkSoftware Quality Journal
,
1-27,
2018, DOIShow publication in PURE
Matias Korman, Stefan Langerman, Wolfgang Mulzer, Alexander Pilz, Maria Saumell and Birgit VogtenhuberThe dual diameter of triangulationsComputational Geometry68,
243-252,
2018, DOIShow publication in PURE
Franz Wotawa and Valentin KassarnigEvolutionary Propositionalization of Multi- Relational DataInternational Journal of Software Engineering and Knowledge Engineering
,
1739–1754,
2018Show publication in PURE
Ingo Pill and Franz WotawaAutomated generation of (F)LTL oracles for testing and debuggingThe Journal of Systems and Software 139,
124-141,
2018Show publication in PURE
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz WotawaFragment-based spreadsheet debuggingAutomated Software Engineering
,
2018, DOIShow publication in PURE
Oswin Aichholzer, Michael Biro, Erik Demaine, Martin Demaine, David Eppstein, Sándor P. Fekete, Adam Hesterberg, Irina Kostitsyna and Christiane SchmidtFolding Polyominoes into (Poly)CubesInternational Journal of Computational Geometry and Applications28,
197-226,
2018, DOIShow publication in PURE
Oswin Aichholzer, Nieves Atienza, José M. Díaz-Báñez, Ruy Fabila-Monroy, David Flores-Peñaloza, Pablo Pérez-Lantero, Birgit Vogtenhuber and Jorge Urrutia GaliciaComputing Balanced Islands in Two Colored Point Sets in the PlaneInformation Processing Letters135,
28 - 32,
2018, DOIShow publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Jorge Urrutia Galicia and Birgit VogtenhuberModem Illumination of Monotone PolygonsComputational Geometry68,
101-118,
2018, DOIShow publication in PURE
Oswin Aichholzer, Lukas Andritsch, Karin Baur and Birgit VogtenhuberPerfect $k$-Colored Matchings and $(k+2)$-Gonal TilingsGraphs and Combinatorics34,
1333-1346,
2018, DOIShow publication in PURE
Amal Shehadeh, Hector Amado-Salvatierra, Miguel Morales, Rocael Hernandez Rizzardini and Christian GütlThe adoption of cloud-based tools in MOOC settings - advantages and challengesRE@D - Revista de Educação a Distância e Elearning1,
23-40,
2018Show publication in PURE
Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai NicaQuality assurance methodologies for automated drivingElektrotechnik und Informationstechnik135,
322-327,
2018, DOIShow publication in PURE
Alexander Felfernig, Rouven Walter, Jose Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas and Stefan ReitererAnytime Diagnosis for ReconfigurationJournal of Intelligent Information Systems
,
1-22,
2018, DOIShow publication in PURE
Trang Tran, Müslüm Atas, Alexander Felfernig and Martin StettingerAn Overview of Recommender Systems in the Healthy Food DomainJournal of Intelligent Information Systems50,
501-526,
2018, DOIShow publication in PURE
Alexander Felfernig, Thomas Gruber and Martin StettingerConsistency Management Techniques for Variability ModellingEnterprise Modelling and Information Systems Architectures 13,
207-215,
2018, DOIShow publication in PURE
Alexander Felfernig, Thomas Gruber, Günter Brandner, Paul Blazek and Martin StettingerCustomizing events with EventHelprProceedings of SPIE
,
1-4,
2018Show publication in PURE
Roxane Koitz-Hristov and Franz WotawaApplying algorithm selection to abductive diagnostic reasoningApplied Intelligence
,
1–19,
2018, DOIShow publication in PURE
Conference/Workshop Article
Hugo A. Akitaya, Maarten Löffler and Irene ParadaHow to fit a tree in a box Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)361-367Show publication in PURE
Kirshan Kumar Luhana, Christian Schindler and Wolfgang SlanyStreamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code2018 IEEE International Conference on Innovative Research and Development (ICIRD)1-6Show publication in PURE
John Iacono and Birgit VogtenhuberIn pursuit of a dynamic tree decompositionProceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018)23-25Show publication in PURE
Josip Bozic, Lina Marsso, Radu Mateescu and Franz WotawaA formal TLS handshake model in LNTProceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS1-40Show publication in PURE
Wolfgang Slany, Kirshan Kumar Luhana, Matthias Müller, Christian Schindler and Bernadette SpielerRock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on SmartphonesConstructionism 2018, Vilnius104-119Show publication in PURE
Philipp Kindermann, Stephen Kobourov, Maarten Löffler, Martin Nöllenburg, André Schulz and Birgit VogtenhuberLombardi Drawings of Knots and LinksProceedings of the 25th International Symposium on Graph Drawing (GD 2017)113-126Show publication in PURE
Ingo Pill and Franz WotawaSpectrum-Based Fault Localization for Logic-Based ReasoningProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018192-199Show publication in PURE
Thorsten Ruprechter, Foaad Khosmood, Toshihiro Kuboi, Alex Dekhtyar and Christian GütlGaining efficiency in human assisted transcription and speech annotation in legislative proceedingsProceedings of the 19th Annual International Conference on Digital Government ResearchShow publication in PURE
Stefan Felsner and Manfred ScheucherArrangements of pseudocirclesGraph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers127-139Show publication in PURE
Oswin Aichholzer, Martin Balko, Thomas Hackl, Alexander Pilz, Pedro Ramos, Pavel Valtr and Birgit VogtenhuberHoles in 2-convex point setsCombinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers169-181Show publication in PURE
Josip Bozic and Franz WotawaPlanning-based security testing of web applicationsProceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 201820-26Show publication in PURE
Martin Kandlhofer and Gerald SteinbauerA Driving License for Intelligent Systems AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial IntelligenceShow publication in PURE
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa and Thomas SchmitzCombining spreadsheet smells for improved fault predictionProceedings 2018 ACM/IEEE 40th International Conference on Software Engineering25-28Show publication in PURE
Josip Bozic and Franz WotawaSecurity testing for chatbotsTesting Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings33-38Show publication in PURE
Dave Catlin, Martin Kandlhofer and Stephanie HolmquistEduRobot TaxonomyRobotics in Education 2018Show publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai NicaAdapting unit tests by generating combinatorial test dataProceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018352-355Show publication in PURE
Dave Catlin, Martin Kandlhofer, Stephanie Holmquist, Andrew Paul Csizmadia,, Julian Angel-Fernandez and John-John Cabibihan,EduRobot Taxonomy and Papert’s ParadigmConstructionism 2018Show publication in PURE
Kirshan Kumar LuhanaPocket code build variants2018 IEEE International Conference on Innovative Research and Development, ICIRD 20181-6Show publication in PURE
Matthias Müller, Christian Schindler, Kirshan Kumar Luhana and Wolfgang SlanyEnabling Teenagers to Create and Share Apps2018 IEEE Conference on Open Systems (ICOS)25-30Show publication in PURE
Franz Wotawa and Martin ZimmermannAdaptive System for Autonomous DrivingProceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018519-525Show publication in PURE
Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler and Johannes WinterAutomata Learning for Symbolic Execution2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018130 - 138Show publication in PURE
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum and Ufuk TopcuSafe Reinforcement Learning via ShieldingProceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orl2669-2678Show publication in PURE
Ayrat Khalimov, Benedikt Maderbacher and Roderick BloemBounded Synthesis of Register TransducersAutomated Technology for Verification and Analysis 494-510Show publication in PURE
Ezio Bartocci, Roderick Bloem, Dejan Nickovic and Franz RöckA Counting Semantics for Monitoring LTL Specifications over Finite TracesComputer Aided Verification 547-564Show publication in PURE
Alexander Buchegger, Konstantin Lassnig, Stefan Loigge, Clemens Mühlbacher and Gerald SteinbauerAn Autonomous Vehicle for Parcel Delivery in Urban Areas21st IEEE International Conference on Intelligent Transportation Systems2961-2967Show publication in PURE
Marijana Lazić, Igor Konnov, Josef Widder and Roderick BloemSynthesis of distributed algorithms with parameterized threshold guards21st International Conference on Principles of Distributed Systems, OPODIS 2017Show publication in PURE
Thomas Lenz and Vesna KrnjicTowards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)1157-1163Show publication in PURE
Alexander Pilz and Patrick SchniderExtending the Centerpoint Theorem to Multiple PointsProc. 29th International Symposium on Algorithms and Computation (ISAAC 2018)53:1-53:13Show publication in PURE
Matthias MüllerAgile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project2018 IEEE Conference on Open Systems (ICOS)1-6Show publication in PURE
L. Shao, M. Glatz, E. Gergely, M. Müller, D. Munter, S. Papst and T. SchreckExtending Document Exploration with Image Retrieval: Concept and First ResultsPoster at IEEE/VGTC Conference on Visualization (EuroVis)Show publication in PURE
Oswin Aichholzer, Michael Kerber, István Talata and Birgit VogtenhuberA Note on Planar Monohedral TilingsProc. 34th European Workshop on Computational Geometry EuroCG '1831:1-31:6Show publication in PURE
Oswin Aichholzer, Wolfgang Mulzer, Partick Schnider and Birgit VogtenhuberNP-Completeness of Max-Cut for Segment Intersection GraphsProc. $34^th$ European Workshop on Computational Geometry EuroCG '1832:1-32:6Show publication in PURE
Michael Lodi, Dario Malchiodi, Mattia Monga, Anna Morpurgo and Bernadette SpielerLearning to program in a constructionist wayConstructionism888 - 911Show publication in PURE
Ralph Samer, Müslüm Atas, Alexander Felfernig, Martin Stettinger, Andreas A. Falkner and Gottfried SchennerGroup Decision Support for Requirements Management ProcessesProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.19-24Show publication in PURE
Seda Polat Erdeniz and Alexander FelfernigOCSH: optimized cluster specific heuristics for the university course timetabling problem8th International Conference on Information Systems and Technologies, ACM (ISST'18)13-18Show publication in PURE
Seda Polat Erdeniz, Ilias Maglogiannis, Andreas Menychtas, Alexander Felfernig and Thi Ngoc Trang TranRecommender Systems for IoT Enabled m-Health ApplicationsArtificial Intelligence Applications and Innovations227-237Show publication in PURE
Seda Polat Erdeniz and Alexander FelfernigLearnDiag: A Direct Diagnosis Algorithm Based On Learned HeuristicsJoint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18)190-197Show publication in PURE
Seda Polat Erdeniz and Alexander FelfernigCLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring12th International Conference on the Practice and Theory of Automated Timetabling (PATAT'18)401-404Show publication in PURE
Mikko Raatikainen, Juha Tiihonen, Tomi Männistö, Alexander Felfernig, Martin Stettinger and Ralph SamerUsing a Feature Model Configurator for Release PlanningProceedings of the 22Nd International Systems and Software Product Line Conference - Volume 229-33Show publication in PURE
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig, Ralph Samer and Martin StettingerInvestigating Serial Position Effects in Sequential Group Decision MakingUMAP '18: Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization239-243Show publication in PURE
Alexander Felfernig, Johannes Spöcklberger, Ralph Samer, Martin Stettinger, Müslüm Atas, Juha Tiihonen and Mikko RaatikainenConfiguring Release PlansProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.9-14Show publication in PURE
Muesluem Atas, Thi Ngoc Trang Tran, Ralph Samer, Alexander Felfernig, Martin Stettinger and Davide FucciLiquid Democracy in Group-based Configuration.Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.93-98Show publication in PURE
Muesluem Atas, Thi Ngoc Trang Tran, Alexander Felfernig and Ralph SamerSocially-Aware Recommendation for Over-Constrained ProblemsRecent Trends and Future Technology in Applied Intelligence 267-278Show publication in PURE
Alexander Felfernig, Martin Stettinger, Müslüm Atas, Ralph Samer, Jennifer Nerlich, Simon Scholz, Juha Tiihonen and Mikko RaatikainenTowards Utility-Based Prioritization of Requirements in Open Source Environments26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018406-411Show publication in PURE
Muesluem Atas, Ralph Samer and Alexander FelfernigAutomated Identification of Type-Specific Dependencies between Requirements2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018688-695Show publication in PURE
Sara Shafiee, Alexander Felfernig, Lars Hvam, Poorang Piroozfar and Cipriano ForzaCost Benefit Analysis in Product Configuration Systems (short paper)Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.37-40Show publication in PURE
Juha Tiihonen, Iivo Raitahila, Mikko Raatikainen, Alexander Felfernig and Tomi MännistöGenerating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance AssessmentProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.69-76Show publication in PURE
Mathias Uta and Alexander FelfernigTowards Knowledge Infrastructure for Highly Variant Voltage Transmission SystemsProceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.109-118Show publication in PURE
Ingo Pill and Franz WotawaModel-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model28th International Workshop on Principles of Diagnosis (DX'17)248-263Show publication in PURE
Markus Meyer, Klaus Donsa, Thomas Truskaller, Matthias Frohner, Birgit Pohn, Alexander Felfernig, Frank Sinner and Thomas R. PieberDevelopment of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design GuidelinesHealth Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions - Proceedings of the 12th eHealth Conference, eHealth 2018, Vienna, Austria, May 2018132-139Show publication in PURE
Davide Fucci, Cristina Palomares, Xavier Franch, Dolors Costal, Mikko Raatikainen, Martin Stettinger, Zijad Kurtanovic, Tero Kojo, Lars Koenig, Andreas A. Falkner, Gottfried Schenner, Fabrizio Brasca, Tomi Männistö, Alexander Felfernig and Walid MaalejNeeds and challenges for a platform to support large-scale requirements engineering: a multiple-case studyProceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 201819:1-19:10Show publication in PURE
Christoph Uran and Alexander FelfernigLazy Conflict Detection with Genetic AlgorithmsRecent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings175-186Show publication in PURE
Carme Quer, Xavier Franch, Cristina Palomares, Andreas A. Falkner, Alexander Felfernig, Davide Fucci, Walid Maalej, Jennifer Nerlich, Mikko Raatikainen, Gottfried Schenner, Martin Stettinger and Juha TiihonenReconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems ConstructionThe Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings205-220Show publication in PURE
Peter Brusilovsky, Marco de Gemmis, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro and Martijn C. WillemsenRecsys'18 joint workshop on interfaces and human decision making for recommender systemsProceedings of the 12th ACM Conference on Recommender Systems, RecSys 2018, Vancouver, BC, Canada, October 2-7, 2018519-520Show publication in PURE
J. Ch Varughese, R. Thenius, F. Wotawa and Th SchmicklFSTT algorithmNew Trends in Medical and Service Robots - Design, Analysis and Control319-330Show publication in PURE
Roderick Bloem, Hannes Groß, Rinat Iusupov, Bettina Könighofer, Stefan Mangard and Johannes WinterFormal Verification of Masked Hardware Implementations in the Presence of GlitchesEUROCRYPT 321-353Show publication in PURE
Muesluem Atas, Stefan Reiterer, Alexander Felfernig, Thi Ngoc Trang Tran and Martin StettingerPolarization Effects in Group DecisionsUMAP 2018: Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization305-310Show publication in PURE
Maria Grandl, Martin Ebner, Wolfgang Slany and Stefan JanischIt's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contextsConference Proceeding Open Education Global ConferenceShow publication in PURE
Bernhard K. Aichernig and Richard Alexander SchumiHow Fast is MQTT? Statistical Model Checking and Testing of IoT ProtocolsQuantitative Evaluation of Systems - 15th International Conference, QEST 2018Show publication in PURE
Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert KorošecA daily dose of DSL MDE micro injections in practiceMODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development642-651Show publication in PURE
Bernhard K. Aichernig, Severin Kann and Richard Alexander SchumiStatistical Model Checking of Response Times for Different System DeploymentsDependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018Show publication in PURE
Bernadette Spieler and Wolfgang SlanyFemale Teenagers and Coding: Create Gender Sensitive and Creative Learning EnvironmentsShow publication in PURE
Bernadette Spieler and Wolfgang SlanyGame Development-Based Learning Experience: Gender Differences in Game DesignShow publication in PURE
Martin Kandlhofer and Gerald SteinbauerA Driving License for Intelligent SystemsShow publication in PURE
Oswin Aichholzer, Martin Balko, Michael Hoffmann, Jan Kyncl, Wolfgang Mulzer, Irene Parada, Alexander Pilz, Manfred Scheucher, Pavel Valtr, Birgit Vogtenhuber and Emo WelzlMinimal Geometric Graph Representations of Order TypesShow publication in PURE
Franz Wotawa and Yihao LiFrom Ontologies to Input Models for Combinatorial TestingShow publication in PURE
Franz Wotawa, Gerhard Friedrich and Artur AndrzejakSoftware configuration diagnosis? A Survey of existing methods and open challengesShow publication in PURE
Franz Wotawa, Iulia-Dana Nica and Oliver TazlChatbot-based tourist recommendations using model-based reasoningShow publication in PURE
Franz Wotawa and Valentin KassarnigEvolutionary propositionalization of multi-relational dataShow publication in PURE
Ingo Pill and Franz WotawaOn Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and SimulationShow publication in PURE
Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin SerweUsing LNT Formal Descriptions for Model-Based DiagnosisShow publication in PURE
Franz WotawaCombining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning SystemShow publication in PURE
Yanick Pencole, Clemens Mühlbacher, Gerald Steinbauer and Louise Trave-MassuyesDiagnosing Discrete Event Systems Using Nominal Models OnlyShow publication in PURE
Gerald Steinbauer, Tim Niemueller and Ulrich KarrasThe RoboCup Logistics League - A Testbed for Novel Concepts in Flexible ProductionShow publication in PURE
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn and Yannic MausImproved Distributed Delta-ColoringShow publication in PURE
Fabian Kuhn, Yannic Maus and Simon WeidnerDeterministic Distributed Ruling Sets of Line GraphsShow publication in PURE
Mohsen Ghaffari, Fabian Kuhn, Yannic Maus and Jara UittoDeterministic distributed edge-coloring with fewer colorsShow publication in PURE
Philipp Bamberger, Fabian Kuhn and Yannic MausBrief Announcement - Local Distributed Algorithms in Highly Dynamic NetworksShow publication in PURE
Bernadette SpielerReinforcing Gender Equality by Analysing Female Teenagers’ Performances in Coding Activities: A Lesson LearnedShow publication in PURE
2017
Book Chapter
Franz WotawaTesting Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532Show publication in PURE
Roxane Koitz, Johannes Lüftenegger and Franz WotawaModel-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind TurbinesAdvances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I440-445Show publication in PURE
Journal Article
Aichholzer Oswin, Anja Fischer, Frank Fischer, J. Fabian Meier, Ulrich Pferschy, Alexander Pilz and Rostislav StaněkMinimization and maximization versions of the quadratic travelling salesman problemOptimization66,
521-546,
2017, DOIShow publication in PURE
Birgit Hofer, Andrea Höfler and Franz WotawaCombining Models for Improved Fault Localization in SpreadsheetsIEEE Transactions on Reliability66,
38-53,
2017, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann and Emo WelzlPacking plane spanning trees and paths in complete geometric graphsInformation Processing Letters124,
35-41,
2017, DOIShow publication in PURE
G. J. Lichtenegger, M. Maier, M. Hackl, J. G. Khinast, W. Goessler, T. Griesser, V. S. Phani Kumar, H. Gruber-Woelfler and P. A. DeshpandeSuzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalystsJournal of Molecular Catalysis A426,
39-51,
2017, DOIShow publication in PURE
Martin Ebner, Stefan Janisch, Bettina Höllerbauer, Maria Grandl and Wolfgang SlanyPocket Code – Programmieren für Alle mit einem offenen Online-Kursfnma-Magazin01/2017,
16-19,
2017Show publication in PURE
Annemarie HarzlCan FOSS projects benefit from integrating Kanban: a case studyJournal of Internet Services and Applications8,
7-13,
2017, DOIShow publication in PURE
Maria Grandl, Bettina Höllerbauer, Martin Ebner and Wolfgang SlanyEin offenes Unterrichtskonzept für den Einstieg in die Programmierung mit Hilfe von „Pocket Code“Schule aktiv!Sonderheft,
32-37,
2017Show publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra HuberKI ab dem KindergartenOCG Journal01/2017/Jg. 42,
2017Show publication in PURE
Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger and Kay Uwe RömerDependable Internet of Things for Networked CarsInternational Journal of Computing16,
226-237,
2017Show publication in PURE
Amal Shehadeh, Alexander Felfernig, Martin Stettinger, Michael Jeran and Stefan ReitererAutomated Learning Content Generation from Knowledge Bases in the StudyBattles EnvironmentInternational Journal of Software Engineering and Knowledge Engineering 27,
1387-1408,
2017, DOIShow publication in PURE
Juha Tiihonen and Alexander FelfernigAn Introduction to Personalization and Mass CustomizationJournal of Intelligent Information Systems
,
1-6,
2017Show publication in PURE
Valentin Kassarnig, Andreas Bjerre-Nielsen, Enys Mones, Sune Lehmann and David Dreyer LassenClass attendance, peer similarity, and academic performance in a large field studyPLoS ONE12,
2017, DOIShow publication in PURE
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard AichernigBounded determinization of timed automata with silent transitionsReal-time systems53,
291–326,
2017, DOIShow publication in PURE
Conference/Workshop Article
Jean Cardinal, Stefan Felsner, Tillmann Miltzow, Casey Tompkins and Birgit VogtenhuberIntersection Graphs of Rays and Grounded SegmentsProceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2017)153-166Show publication in PURE
Bahareh Banyassady, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max WillertRouting in Polygonal DomainsProceedings of the of the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3$$2017)88-89Show publication in PURE
Bahareh Banyassady, Man-Kwun Chiu, Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max WillertRouting in Polygonal Domains28th International Symposium on Algorithms and Computation (ISAAC 2017)10:1-10:13Show publication in PURE
Oswin Aichholzer, Martin Balko, Thomas Hackl, Jan Kyncl, Irene Parada, Manfred Scheucher, Pavel Valtr and Birgit VogtenhuberA Superlinear Lower Bound on the Number of 5-Holes33rd International Symposium on Computational Geometry (SoCG 2017)8:1-8:16Show publication in PURE
Matias Korman, Wolfgang Mulzer, André van Renssen, Marcel Roeloffzen, Paul Seiferth, Yannik Stein, Birgit Vogtenhuber and Max WillertRouting in Simple PolygonsProceedings of the 33rd European Workshop on Computational Geometry (EuroCG$$2017)17-20Show publication in PURE
Bernhard K. Aichernig and Richard Alexander SchumiStatistical Model Checking Meets Property-Based Testing10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)390-400Show publication in PURE
Bernhard K. Aichernig, Silvio Marcovic and Richard Alexander SchumiProperty-Based Testing with External Test-Case Generators10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017337-346Show publication in PURE
Alexander Felfernig, Müslüm Atas, Martin Stettinger, Stefan Reiterer, Christina Palomares, Andreas Falkner and Xavier FranchOpenReq: Recommender Systems in Requirements EngineeringCEUR Workshop Proceedings1-4Show publication in PURE
Roderick Bloem, Hana Chockler, Masoud Ebrahimi and Ofer StrichmanSynthesizing Non-Vacuous SystemsVerification, Model Checking, and Abstract Interpretation55-72Show publication in PURE
Bernhard K. Aichernig and Martin TapplerLearning from Faults: Mutation Testing in Active Automata LearningNASA Formal Methods - 9th International Symposium19-34Show publication in PURE
M. Tappler, B. K. Aichernig and R. BloemModel-Based Testing IoT Communication via Active Automata Learning2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)276-287Show publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai NicaMutation Score, Coverage, Model InferenceProceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017171-180Show publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipModel-Based Testing of an Industrial Multi-Robot Navigation System (Extended Abstract)Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017)Show publication in PURE
O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr and B. VogtenhuberA superlinear lower bound on the number of 5-holes33rd International Symposium on Computational Geometry (SoCG 2017)8:1-8:16Show publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipAdapting Edge Weights for Optimal Paths in a Navigation GraphRAAD 2017Show publication in PURE
O. Aichholzer, Martin Balko, T. Hackl, J. Kyncl, I. Parada, M. Scheucher, P. Valtr and B. VogtenhuberA superlinear lower bound on the number of 5-holesProceedings of the 33rd European Workshop on Computational Geometry (EuroCG '17)69-73Show publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipEstimation of the Traversal Time for a Fleet of Industrial Transport RobotsRAAD 2017Show publication in PURE
O. Aichholzer, L. Andritsch, K. Baur and B. VogtenhuberPerfect $k$-colored matchings and $k+2$-gonal tilingsProc. $33^rd$ European Workshop on Computational Geometry EuroCG '1781-84Show publication in PURE
B.M. Ábrego, O. Aichholzer, S. Fernández-Merchant, D. McQuillan, B. Mohar, P. Mutzel, P. Ramos, R.B. Richter and B. VogtenhuberBishellable drawings of $K_n$Proc. XVII Encuentros de Geometría Computacional17-20Show publication in PURE
Oswin Aichholzer, Florian Ebenführer, Irene Parada, Alexander Pilz and Birgit VogtenhuberOn semi-simple drawings of the complete graphProc. XVII Encuentros de Geometría Computacional25-28Show publication in PURE
Bernhard Aichernig and Martin TapplerProbabilistic Black-Box Reachability CheckingRuntime Verification, 17th International Conference50-67Show publication in PURE
Richard Alexander Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn and Rupert SchlickChecking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017)Show publication in PURE
Hermann Felbinger, Ingo Pill and Franz WotawaA “strength of decision tree equivalence”-taxonomy and its impact on test suite reductionTesting Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings197-212Show publication in PURE
Alexander Felfernig, Andreas Falkner, Müslüm Atas, Seda Polat Erdeniz, Christoph Uran and Paolo AzzoniASP-based Knowledge Representations for IoT Configuration Scenarios19th International Configuration Workshop62-67Show publication in PURE
Müslüm Atas, Alexander Felfernig, Seda Polat Erdeniz, Stefan Reiterer, Amal Shehadeh and Thi Ngoc Trang TranCluster-Based Constraint Ordering for Direct Diagnosis19th International Configuration Workshop 68-71Show publication in PURE
Seda Polat Erdeniz, Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Michael Jeran and Martin StettingerCluster-Specific Heuristics for Constraint SolvingAdvances in Artificial Intelligence: From Theory to Practice. IEA/AIE 201721-30Show publication in PURE
Bernadette Spieler, Christian Schindler, Wolfgang Slany and Olena MashkinaApp Creation in Schools for different Curricula Subjects - Lessons LearnedEDULEARN17 ProceedingsShow publication in PURE
Alexander Felfernig, Seda Polat Erdeniz, Michael Jeran and Arda AkcayRecommendation Technologies for IoT Edge DevicesInternational Workshop on Internet of Things: Networking Applications and Technologies504-509Show publication in PURE
Bernadette Spieler, Christian Schindler, Wolfgang Slany, Olena Mashkina, María Eugenia Beltrán, Helen Boulton and David BrownEvaluation of Game Templates to support Programming Activities in SchoolsProceedings of the 11th European Conference on Games Based LearningShow publication in PURE
Birgit Hofer, Iulia Nica and Franz WotawaQualitative Deviation Models for Spreadsheet Debugging8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops191-198Show publication in PURE
Josip Bozic, Kristoffer Kleine, Dimitris E. Simos and Franz WotawaPlanning-Based Security Testing of the SSL/TLS ProtocolIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)Show publication in PURE
Birgit HoferRemoving Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops199-206Show publication in PURE
Josip Bozic and Franz WotawaPlanning the Attack! Or How to use AI in Security Testing?First International Workshop on AI in Security (IWAIse)Show publication in PURE
Birgit Hofer, Iulia Nica and Franz WotawaAI for Localizing Faults in Spreadsheets29th International Conference on Testing Software and Systems (ICTSS)71-87Show publication in PURE
Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran, Martin Stettinger, Seda Polat Erdeniz and Gerhard LeitnerAn Analysis of Group Recommendation Heuristics for High-and Low-Involvement ItemsAdvances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017335-344Show publication in PURE
Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei and Franz WotawaTesting TLS Using Combinatorial Methods and Execution FrameworkIFIP International Conference on Testing Software and Systems (ICTSS'17)Show publication in PURE
Elisabeth Getzner, Birgit Hofer and Franz WotawaImproving Spectrum-Based Fault Localization for Spreadsheet DebuggingIEEE International Conference on Software Quality, Reliability and Security (QRS)102-113Show publication in PURE
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin and Franz WotawaA decomposition-based approach to spreadsheet testing and debuggingIEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)117-121Show publication in PURE
Johanna Pirker, Michael Holly, Patrick Hipp, Christopher König, Dominik Jeitler and Christian GütlImproving Physics Education through different Immersive and Engaging Laboratory SetupsInteractive Mobile Communication, Technologies and Learning443-454Show publication in PURE
Müslüm Atas, Alexander Felfernig, Martin Stettinger and Thi Ngoc Trang TranBeyond item recommendationSocial Informatics - 9th International Conference, SocInfo 2017, Proceedings368-377Show publication in PURE
Franz WotawaThe future of automated debugging & focus on the niches firstProceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 201792-93Show publication in PURE
Thesis
Martin KandlhoferDevelopment and Evaluation of Innovative Concepts in Educational Robotics and Education in Artificial IntelligenceShow publication in PURE
Other Article
Stefan Loigge, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipA Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systemsShow publication in PURE
Alexander Pagonis, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipTask-Dependent Configuration of Robotics SystemsShow publication in PURE
Konstantin Lassnig, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipAn Autonomous Transportation Robot for Urban EnvironmentsShow publication in PURE
Marco Wallner, Clemens Mühlbacher, Gerald Steinbauer, Sarah Haas, Thomas Ulz and Jakob Chrysant LudwigerA Robust and Flexible Software Architecture for Autonomous Robots in the Context of Industrie 4.0Show publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipModel-Based Testing of An Industrial Multi-Robot Navigation SystemShow publication in PURE
Mohsen Ghaffari, Fabian Kuhn and Yannic MausOn the complexity of local distributed graph problemsShow publication in PURE
Aiman M. Ayyal Awwad, Christian Schindler, Kirshan Kumar Luhana, Bernadette Spieler and Zulfiqar AliImproving pocket paint usability via material design compliance and internationalization & localization support on application levelShow publication in PURE
Karl Bringmann, Ralph Keusch, Johannes Lengler, Yannic Maus and Anisur Rahaman MollaGreedy Routing and the Algorithmic Small-World PhenomenonShow publication in PURE
Mohsen Ghaffari, Juho Hirvonen, Fabian Kuhn, Yannic Maus, Jukka Suomela and Jara UittoImproved Distributed Degree Splitting and Edge ColoringShow publication in PURE
Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro, Nava Tintarev and Martijn WillemsenRecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017)Show publication in PURE
Amal Shehadeh, Alexander Felfernig, Michael Jeran, Martin Stettinger and Stefan ReitererKnowledge-based Learning Content Generation in the StudyBattles EnvironmentShow publication in PURE
Amal Shehadeh, Alexander Felfernig and Müslüm AtasAutomated Question Generation from Configuration Knowledge BasesShow publication in PURE
2016
Book Chapter
Franz WotawaMessage from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and SecurityxiiiShow publication in PURE
Gerhard Friedrich, Malte Helmert and Franz WotawaPrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VIShow publication in PURE
Andre Calero-Valdez, Martina Ziefle, Katrien Verbert, Alexander Felfernig and Andreas HolzingerRecommender Systems for Health Informatics: State-of-the-Art and Future PerspectivesMachine Learning for Health Informatics1-24Show publication in PURE
Max Leingartner, Johannes Maurer, Alexander Ferrein and Gerald SteinbauerEvaluation of Sensors and Mapping Approaches for Disasters in TunnelsJournal of field robotics33,
1037-1057,
2016, DOIShow publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaOn the practical performance of minimal hitting set algorithms from a diagnostic perspectiveInternational Journal of Prognostics and Health Management7,
2016Show publication in PURE
Oswin Aichholzer, G. Araujo-Pardo, N. García-Colín, Thomas Hackl, N. Lara, C. Rubio-Montinel and J. UrrutiaGeometric achromatic and pseudoachromatic indicesGraphs and Combinatorics32,
431-451,
2016, DOIShow publication in PURE
Stefan Janisch, Wolfgang Slany and Martin EbnerProgrammieren für KinderLA-Multimedia2,
40-41,
2016Show publication in PURE
Oswin Aichholzer, Jean Cardinal, Vincent Kusters, Stefan Langerman and Pavel ValtrReconstructing Point Set Order Types from Radial OrderingsInternational Journal of Computational Geometry and Applications26,
167-184,
2016, DOIShow publication in PURE
Stefan Janisch, Martin Ebner and Wolfgang SlanyPocket Code – Freier Online-Kurs für KinderSchule aktiv!
,
43-46,
2016Show publication in PURE
Harald Burgsteiner, Martin Kandlhofer and Gerald SteinbaueriRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in HighschoolsLecture notes in computer science9904,
218-223,
2016Show publication in PURE
Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald SteinbauerThe Educational Robotics Landscape Exploring Common Ground and Contact PointsAdvances in Intelligent Systems and Computing457,
105-111,
2016, DOIShow publication in PURE
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan TiranRequire, test, and trace ITInternational journal on software tools for technology transfer
,
2016Show publication in PURE
Bernhard K. Aichernig, Elisabeth Jöbstl and Martin TapplerDoes this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.The journal of logic and algebraic programming85,
806-823,
2016, DOIShow publication in PURE
Nava Tintarev, John O'Donovan and Alexander FelfernigHuman Interaction with Artificial Advice GiversACM Transactions on Interactive Intelligent Systems6,
1-10,
2016Show publication in PURE
Carlo Alberto Boano, Kay Uwe Römer, Roderick Bloem, Klaus Witrisal, Marcel Carsten Baunach and Martin HornDependability for the Internet of ThingsElektrotechnik und Informationstechnik133,
304–309,
2016, DOIShow publication in PURE
Nava Tintarev, John O'Donovan and Alexander FelfernigHuman Interaction with Artificial Advice GiversACM Transactions on Interactive Intelligent Systems6,
1-10,
2016Show publication in PURE
Rouven Walter, Wolfgang Küchlin and Alexander FelfernigConstraint-Based and SAT-Based Diagnosis of Automotive Configuration ProblemsJournal of Intelligent Information Systems1,
1-32,
2016, DOIShow publication in PURE
Thomas Ulz, Michael Schwarz, Alexander Felfernig, Sarah Haas, Amal Shehadeh, Stefan Reiterer and Martin StettingerHuman Computation for Constraint-based RecommendersJournal of Intelligent Information Systems1,
1-21,
2016Show publication in PURE
Stefan Nungesser, Wolfgang Eixelsberger, Alexander Felfernig, Martin Stettinger, Stefan Reiterer and Michael JeranEinsatz von GruppenempfehlungssystemenTourismus Wissen Quarterly5,
1-4,
2016Show publication in PURE
Conference/Workshop Article
Sara Shafiee, K. Kristjansdottir, Lars Hvam, Alexander Felfernig and A. MyrodiaAnalysis of Product Modelling Techniques for Product Configuration Systems in Industrial CompaniesIEEE International Conference on Industrial Engineering and Engineering Management1-10Show publication in PURE
Alexander Felfernig, Müslüm Atas, Trang Tran and Martin StettingerTowards Group-based ConfigurationProceedings of the 18th International Configuration Workshop69-72Show publication in PURE
Alexander Felfernig, Amal Shehadeh, Michael Jeran, Christian Gütl, Trang Tran, Müslüm Atas, Seda Polat Erdeniz, Martin Stettinger, Arda Akcay and Stefan ReitererStudyBattles: A Learning Environment for Knowledge-based ConfigurationProceedings of the 18th International Configuration Workshop109-116Show publication in PURE
Alexander Felfernig, Seda Polat Erdeniz, Paolo Azzoni, Michael Jeran, Arda Akcay and Charalampos DoukasTowards Configuration Technologies for IoT GatewaysProceedings of the 18th International Configuration Workshop73-76Show publication in PURE
Gerhard Leitner, Anton Fercher, Alexander Felfernig, Klaus Isak, Seda Polat Erdeniz, Arda Akcay and Michael JeranRecommending and Configuring Smart Home InstallationsInternational Workshop on Configuration 2016 (ConfWS'16)17-22Show publication in PURE
Bernhard K. Aichernig, Florian Lorber and Martin TapplerConformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model CheckingTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday15-32Show publication in PURE
Bernhard Peischl, Ingo Pill and Franz WotawaUsing modelica programs for deriving propositional horn clause abduction problemsAdvances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings185-191Show publication in PURE
Ingo Pill, Ivan Rubil, Franz Wotawa and Mihai NicaSIMULTATEProceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016168-173Show publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai NicaTest-Suite Reduction Does Not Necessarily Require Executing the Program under TestProceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 201623-30Show publication in PURE
Oswin Aichholzer, Victor Alvarez, Thomas Hackl, Alexander Pilz, Bettina Speckmann and Birgit VogtenhuberAn improved lower bound on the minimum number of triangulations32nd International Symposium on Computational Geometry, SoCG 20167.1-7.16Show publication in PURE
Hermann Felbinger, Ingo Pill and Franz WotawaClassifying test suite effectiveness via model inference and ROBBDsTests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings76-93Show publication in PURE
Patrick W. Koch, Birgit Hofer and Franz WotawaStatic Spreadsheet Analysis2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops167-174Show publication in PURE
Thomas Schmitz, Birgit Hofer, Dietmar Jannach and Franz WotawaFragment-Based Diagnosis of SpreadsheetsSoftware Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop)372-387Show publication in PURE
Ingo Pill and Franz WotawaAn Automated (F) LTL Test Oracle for Testing with Requirements2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW197-204Show publication in PURE
Marina Zanella and Ingo Pill PillMinimal hitting set computation via hypothesis exploration27th International Workshop on Principles of DiagnosisShow publication in PURE
Bernhard Josef Peischl, Ingo Pill Pill and Franz WotawaAbductive Diagnosis based on Modelica Models27th International Workshop on Principles of DiagnosisShow publication in PURE
Franz WotawaTesting Self-Adaptive Systems Using Fault Injection and Combinatorial TestingProceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016305-310Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, P. Ramos, M. Balko and Pavel ValtrHoles in two convex point setProceedings of European Workshop on Computational Geometry 2016263-266Show publication in PURE
Oswin Aichholzer, Thomas Hackl and Manfred ScheucherPlanar L-Shaped Point Set Embedding of TreesProceedings of the European Workshop on Computational Geometry 201651-54Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber, V. Alvarez and B. SpeckmannAn improved lower bound on the number of triangulationsProceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics7:1-7:16Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, Günter Rote, A. van Renssen, Marcel Roeloffzen and Birgit VogtenhuberPacking Short Plane Spanning Trees in Complete Geometric GraphsProceedings of the 27th Internationel Symposium on Algorithms and Computation9.1-9.12Show publication in PURE
Clemens Mühlbacher and Gerald SteinbauerDiagnosis makes the difference for a successful execution of high-level robot control programsIntelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 20141119-1132Show publication in PURE
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemueller, Gerald Steinbauer and Stavros VassosControlling logistics robots with the action-based language YAGIIntelligent Robotics and Applications 525-537Show publication in PURE
Harald Burgsteiner, Martin Kandlhofer and Gerald SteinbaueriRobot: Teaching the Basics of Artificial Intelligence in High Schools AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence4126 - 4127Show publication in PURE
Lara Lammer, Markus Vincze, Martin Kandlhofer and Gerald SteinbauerThe Educational Robotics Landscape Exploring Common Ground and Contact PointsInternational Conference on Robotics in Education 2016Show publication in PURE
Alexander FelfernigApplication of Constraint-based Technologies in Financial Services Recommendation2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16)22-23Show publication in PURE
Annemarie HarzlCombining FOSS and KanbanIFIP Advances in Information and Communication Technology71-84Show publication in PURE
Roxane Koitz and Franz WotawaOn Structural Properties to Improve FMEA-Based Abductive DiagnosisProceedings of the Workshop on Knowledge-based Techniques for Problem Solving and ReasoningShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Pavel Valtr and Birgit VogtenhuberA Note on the Number of General 4-holes in (Perturbed) GridsDiscrete and Computational Geometry and Graphs. JCDCGG 2015.1-12Show publication in PURE
Roxane Koitz and Franz WotawaImproving Abductive Diagnosis Through Structural Features: A Meta-ApproachProceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16)Show publication in PURE
Roxane Koitz and Franz WotawaExploiting Structural Metrics in FMEA-Based Abductive Diagnosis.Proceedings of the 27th International Workshop on Principles of Diagnosis (DX)1-7Show publication in PURE
Roxane Koitz and Franz WotawaIntegration of Failure Assessments into the Diagnostic ProcessProceedings of the Annual Conference of the Prognostics and Health Management Society 2016124-135Show publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra HuberArtificial Intelligence and Computer Science in Education: From Kindergarten to UniversityIEEE Conference on Frontiers in Education (FIE) 2016Show publication in PURE
Irene Parada, Vera Sacristán and Rodrigo I. SilveiraA new meta-module for efficient reconfiguration of hinged-units modular robotsProceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016)5197-5202Show publication in PURE
Bernhard K. Aichernig and Florian Lukas LorberOn-the-Fly Determinization of Networks of Timed AutomataProceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China14-21Show publication in PURE
Bernhard K. Aichernig and Richard SchumiProperty-based Testing with FsCheck by Deriving Properties from Business Rule ModelsNinth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016219-228Show publication in PURE
Bernhard K. Aichernig and Martin TapplerSymbolic Input-Output Conformance Checking for Model-Based Mutation TestingThe 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings3-19Show publication in PURE
Bernhard K. Aichernig and Richard Alexander SchumiTowards Integrating Statistical Model Checking into Property-Based Testing14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 201671-76Show publication in PURE
Bernhard Aichernig, Roderick Bloem, Franz Pernkopf, Franz Röck, Tobias Schrank and Martin TapplerLearning Models of a Network Protocol using Neural Network Language ModelsIEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016Show publication in PURE
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas SchmicklFSTaxis algorithmProceedings of the Artificial Life Conference 2016, ALIFE 2016330-337Show publication in PURE
Peter Brusilovsky, Alexander Felfernig, Pasquale Lops, John O'Donovan, Giovanni Semeraro, Nava Tintarev and Martijn WillemsenRecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)ACM RecSys 2016 Workshops1-2Show publication in PURE
Thesis
Roxane KoitzFormula Composition and Manipulation in Educational Programming Languages for Children and TeenagersShow publication in PURE
Technical Report
Gerald Steinbauer, Gerald Christian Lichtenegger and Johannes MaurerRequest a Rescue Robot (R-CUBED)Show publication in PURE
Other Article
Alexander FelfernigApplication of Constraint-based Technologies in Financial Services RecommendationShow publication in PURE
Clemens Mühlbacher, Michael Reip, Stephan Gspandl and Gerald SteinbauerImproving Dependability of Industrial Transport Robots Using Model-Based TechniquesShow publication in PURE
Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin JuhartTesting computer vision applications an experience report on introducing code coverage analysis in the fieldShow publication in PURE
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas SchmicklFireSlime Algorithm: Bio-Inspired Emergent Gradient TaxisShow publication in PURE
Harald Burgsteiner, Martin Kandlhofer and Gerald SteinbauerPoster: iRobot: Teaching the Basics of Artificial Intelligence in High SchoolsShow publication in PURE
Alexander FelfernigRecommendation Technologies for Configurable ProductsShow publication in PURE
Nicolas Braud-Santoni, Roderick Bloem and Swen JacobsSynthesis of Self-Stabilizing and Byzantine-Resilient Distributed SystemsShow publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai NicaEmpirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy AssessmentShow publication in PURE
Anja Christin Petri and Bernadette SpielerEngaging and playful activities with smartphones in school contextsShow publication in PURE
Roderick Bloem, Robert Könighofer, Ingo Hans Pill and Franz RöckSynthesizing Adaptive Test Strategies from Temporal Logic SpecificationsShow publication in PURE
Dan Hefetz, Fabian Kuhn, Yannic Maus and Angelika StegerPolynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL ModelShow publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Sarah Haas, Thomas Ulz, Marco Wallner and Dino KeskicRoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPSShow publication in PURE
Clemens Mühlbacher, Gerald Steinbauer and Stefan LoiggeSupervision of Hardware, Software and Behavior of Autonomous Industrial Transport RobotsShow publication in PURE
Clemens Mühlbacher and Gerald SteinbauerBelief Management using the Action History and Consistency-Based-DiagnosisShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Petra HuberArtificial Intelligence and Computer Science in EducationShow publication in PURE
Sebastian Daum, Fabian Kuhn and Yannic MausRumor Spreading with Bounded In-DegreeShow publication in PURE
Thi Ngoc Trang Tran, Müslüm Atas, Alexander Felfernig and Martin StettingerAn Extension of CHOICLA User Interfaces for Configurable ProductsShow publication in PURE
Alexander Felfernig, Müslüm Atas, Thi Ngoc Trang Tran and Martin StettingerTowards Group-based ConfigurationShow publication in PURE
Alexander Felfernig, Trang Tran, Martin Stettinger and Seda Polat ErdenizStudybattles: A Learning Environment for Knowledge-based ConfigurationShow publication in PURE
Clemens Mühlbacher and Gerald SteinbauerHands Off - A Holistic Model-Based Approach for Long-Term AutonomyShow publication in PURE
Stefan Imlauer, Clemens Mühlbacher, Gerald Steinbauer, Stephan Gspandl and Michael ReipHierarchical Planning with Traffic Zones for a Team of Industrial Transport RobotsShow publication in PURE
Anja Christin Petri, Christian Schindler, Wolfgang Slany and Bernadette SpielerGame Design with Pocket CodeShow publication in PURE
Bernadette Spieler and Wolfgang SlanyPocket Code: Learn how to program by creating games/apps directly on your smartphoneShow publication in PURE
Bernadette Spieler, Anja Christin Petri, Wolfgang Slany, Christian Schindler, María Eugenia Beltrán, Jonathan Smith, Eugenio Gaeta and Helen BoultonPocket Code: A mobile App for Game Jams To Facilitate Classroom Learning through Game CreationShow publication in PURE
Matthias Müller and Bernadette SpielerPocket Code: Computational Thinking for allShow publication in PURE
Helen Boulton, Bernadette Spieler, Anja Christin Petri, Christian Schindler, Wolfgang Slany and María Eugenia BeltránThe role of game jams in developing informal learning of computational thinking: a cross-European case studyShow publication in PURE
2015
Book
Luis Almeida, Jianmin Ji, Gerald Steinbauer and Sean LukeRoboCup 2015: Robot World Cup XIX978-3-319-29339-4Show publication in PURE
Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic and Bernhard AichernigBounded Determinization of Timed Automata with Silent TransitionsShow publication in PURE
Book Chapter
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus ZankerConstraint-based Recommender SystemsRecommender Systems Handbook161-191Show publication in PURE
Anthony Jameson, Martijn Willemsen, Alexander Felfernig, Marco deGemmis, Pasquale Lops, Giovanni Semeraro and Li ChenHuman Decision Making and Recommender SystemsRecommender Systems Handbook619-655Show publication in PURE
Proceedings
John O'Donovan, Alexander Felfernig, Nava Tintarev, Peter Brusilovsky, Giovanni Semeraro and Pasquale LopsRecSys'15 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'15)Show publication in PURE
Alexander Felfernig, Juha Tiihonen and Paul Blazek1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)Show publication in PURE
Journal Article
Michael Hofbaur, Andreas Müller, Justus Piater, Bernhard Rinner, Gerald Steinbauer, Markus Vincze and Christian WögererMaking Better Robots – Beiträge Österreichs zur Europäischen Robotics Research RoadmapElektrotechnik und Informationstechnik132,
237-248,
2015Show publication in PURE
Peter Grasch and Alexander FelfernigOn the Importance of Subtext in Recommender Systemsi-com. Journal for interactive media14,
41-52,
2015, DOIShow publication in PURE
I. Bárány, Ruy Fabila-Monroy and Birgit Vogtenhuber$(n,m)$-Fold Covers of SpheresProceedings of the Steklov Institute of Mathematics288,
203-208,
2015, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze, Alexander Pilz and Birgit VogtenhuberMonotone Simultaneous Embedding of Upward Planar DigraphsJournal of Graph Algorithms and Applications 19,
87-110,
2015, DOIShow publication in PURE
Oswin Aichholzer, L. Caraballo, R. Fabila-Monroy, C. Ochoa, Paul Alois Nigsch and J. M. Diaz-BanezCharacterization of extremal antipodal polygonsGraphs and Combinatorics
,
321-333,
2015Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit VogtenhuberEmpty triangles in good drawings of the complete graphGraphs and Combinatorics31,
335-345,
2015, DOIShow publication in PURE
Bernhard Peischl, Michaela Ferk and Andreas HolzingerThe fine art of user-centered software developmentSoftware Quality Journal23,
509-536,
2015, DOIShow publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre PerezOn the empirical evaluation of similarity coefficients for spreadsheets fault localizationAutomated Software Engineering22,
47-74,
2015, DOIShow publication in PURE
Oswin Aichholzer, Andrei Asinowski and Tillmann MiltzowDisjoint compatibility graph of non-crossing matchings of points in convex positionThe Electronic Journal of Combinatorics 22,
1-53,
2015Show publication in PURE
Bernhard Aichernig, Elisabeth Jöbstl and Stefan TiranModel-Based Mutation Testing via Symbolic Refinement CheckingScience of computer programming97, Part 4,
383-404,
2015Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, R. Fabila-Monroy, Hernan Gonzales-Aguilar, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Pavel ValtrOn k-Gons and k-Holes in Point SetsComputational Geometry
,
528-537,
2015Show publication in PURE
Oswin Aichholzer, Alexander Pilz and Wolfgang MulzerFlip Distance Between Triangulations of a Simple Polygon is NP-CompleteDiscrete & Computational Geometry
,
368-389,
2015Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit VogtenhuberEmbedding Four-directional Paths on Convex Point SetsJournal of Graph Algorithms and Applications 19,
743-759,
2015, DOIShow publication in PURE
Martin Kandlhofer and Gerald SteinbauerEvaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudesRobotics and autonomous systems75B,
679-685,
2015, DOIShow publication in PURE
Roxane Koitz and Franz WotawaOn the computational feasibility of abductive diagnosis for practical applicationsIFAC-PapersOnLine28,
410-415,
2015, DOIShow publication in PURE
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick and Stefan TiranKilling strategies for model-based mutation testingSoftware Testing, Verification and Reliability25,
716-748,
2015, DOIShow publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre PerezUsing constraints to diagnose faulty spreadsheetsSoftware Quality Journal23,
297-322,
2015, DOIShow publication in PURE
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. van Renssen, P. Taslakian and S. VerdonschotReprint of: Theta-3 is connectedComputational Geometry
,
369-442,
2015Show publication in PURE
José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara and Rodrigo SilveiraNew results on stabbing segments with a polygonComputational Geometry48,
14-29,
2015, DOIShow publication in PURE
O. Aichholzer, W. Aigner, F. Aurenhammer, K. Dobiásová, B. Jüttler and G. RoteTriangulations with circular arcsJournal of Graph Algorithms and Applications
,
43-65,
2015Show publication in PURE
Georg Franz Heinrich Macher, Müslüm Atas, Eric Armengaud and Christian Josef KreinerA Model-Based Configuration Approach for Automotive Real-Time Operating SystemsSAE International Journal of Passenger Cars / Electronic and Electrical Systems8,
270-277,
2015, DOIShow publication in PURE
O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz and B. Vogtenhuber3-Colorability of pseudo-triangulationsInternational Journal of Computational Geometry and Applications
,
283-298,
2015Show publication in PURE
Stefan Reiterer, Manfred Wundara and Alexander FelfernigEmpfehlungstechnologien in der Öffenlichen VerwaltungeGovernment review
,
18-19,
2015Show publication in PURE
Conference/Workshop Article
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz WotawaTest suite coverage measurement and reporting for testing an operating system without instrumentationProceedings of the 17th Real-Time Linux Workshop13-22Show publication in PURE
Alexander FelfernigLearning Games for Configuration and Diagnosis TasksInternational Workshop on ConfigurationShow publication in PURE
Alexander Felfernig, Rouven Walter and Stefan ReitererFlexDiag: AnyTime Diagnosis for ReconfigurationInternational Workshop on ConfigurationShow publication in PURE
María Eugenia Beltrán, Yolanda Ursa, Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler, Silvia de los Rios, Maria Fernanda Cabrera-Umpierrez and Maria Teresa ArredondoInclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind4th International Conference, DUXU 2015Show publication in PURE
Markus Ernst, Stefan Erlachner, Mario Hirz, Jürgen Fabian and Franz WotawaAnalysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive SoftwareVolume II63-68Show publication in PURE
Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha TiihonenTowards Understanding Cognitive Aspects of Configuration Knowledge FormalizationVamos117-124Show publication in PURE
Tracy Booysen, Marcel Stüttgen, Alexander Ferrein and Gerald SteinbauerThe Scarab ProjectDeveloping Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015)Show publication in PURE
Stefan Reiterer, Alexander Felfernig, Martin Stettinger, Manfred Wundara and Wolfgang EixelsbergerA Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain3rd Workshop on PErsonalization in eGOVernment and Smart Cities: Smart Services for Smart Territories1-10Show publication in PURE
Annemarie Harzl, Stephan Fellhofer and Wolfgang SlanyScaling and Internationalizing an Agile FOSS Project: Lessons LearnedOpen Source Systems: Adoption and ImpactShow publication in PURE
Roxane Koitz and Franz WotawaOn the Feasibility of Abductive Diagnosis for Practical ApplicationProceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes410-415Show publication in PURE
Jorge Santos Simon, Clemens Mühlbacher and Gerald SteinbauerAutomatic Model Generation to Diagnose Autonomous SystemsInternational Workshop on Principles of DiagnosisShow publication in PURE
Bernhard Aichernig, Dejan Nickovic and Stefan TiranScalable Incremental Test-case Generation from Large Behavior ModelsTests and Proofs1-18Show publication in PURE
Riaan Stopforth, Alexander Ferrein and Gerald SteinbauerEurope and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics CenterDeveloping Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015)Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Birgit Vogtenhuber and G. SalazarDeciding monotonicity of good drawings of the complete graphEncuentros de Geometría Computacional33-36Show publication in PURE
Stefan Kaltner, Jürgen Gugler, Manfred Wonisch and Gerald SteinbauerAn Autonomous Forklift for Battery Change in Electrical VehiclesAustrian Robotics WorkshopShow publication in PURE
Josip Bozic and Franz WotawaPURITY: a Planning-based secURITY testing toolWorkshop on Trustworthy ComputingShow publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Simon AußerlechnerTesting for Distinguishing Repair Candidates in Spreadsheets - the Mussco ApproachTesting Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings124-140Show publication in PURE
Viktoria Pammer-Schindler, Jörg Peter Simon, Karin Wilding, Stephan Keller and Reinhold SchererDesigning for Engaging BCI Training: A Jigsaw PuzzleCHI PLAY '15667-672Show publication in PURE
Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan ReitererCounteracting Serial Position Effects in the CHOICLA Group Decision Support EnvironmentACM Conference on Intelligent User InterfacesShow publication in PURE
Franz Wotawa, Martin Stettinger, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander FelfernigConflict Management for Constraint-based RecommendationIJCAI 2015, Workshop on Intelligent Personalizationnx-nyShow publication in PURE
Stefan TiranIncremental Model-based Mutation TestingIEEE International Conference on Software Testing, Verification and Validation1-2Show publication in PURE
Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz WotawaFocussed Diagnosis for Failing Software TestsIEA/AIE 2015712-721Show publication in PURE
Oswin Aichholzer, E. Demaine, M. Demaine, S. Fekete, Michael Biro, David Eppstein, Adam Hesterberg, Irina Kostitsyna and Christiane SchmidtFolding Polyominoes into Poly(Cubes)Canadian Conference on Computational GeometryShow publication in PURE
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz WotawaAn Abductive Diagnosis and Modeling Concept for Wind Power PlantsProceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes1-6Show publication in PURE
Anja Christin Petri, Christian Schindler, Wolfgang Slany, Bernadette Spieler and Jonathan SmithPocket Game Jams: a Constructionist Approach at SchoolsMobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct156-526Show publication in PURE
Franz Wotawa, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander FelfernigICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge basesIJCAI 2015, Workshop on Intelligent Personalizationnx-nyShow publication in PURE
Rouven Walter, Alexander Felfernig and Wolfgang KüchlinInverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and PracticeInternational Workshop on ConfigurationShow publication in PURE
Roxane Koitz and Franz WotawaFrom Theory to Practice: Model-Based Diagnosis in Industrial ApplicationsProceedings of the Annual Conference of the PHM Society (PHM)197-205Show publication in PURE
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard AichernigBounded Determinization of Timed Automata with Silent TransitionsFormal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain288-304Show publication in PURE
Alexander Felfernig, Martin Stettinger and Gerhard LeitnerFostering Knowledge Exchange Using Group RecommendationsACM Recommender Systems 2015 Workshop on Interfaces and Human Decision Making for Recommender SystemsShow publication in PURE
Alexander Felfernig, Thomas Ulz, Sarah Haas, Michael Schwarz, Stefan Reiterer and Martin StettingerPeopleViews: Human Computation for Constraint-based RecommendationACM Recommender Systems 2015 CrowdRec WorkshopShow publication in PURE
Roderick Paul Bloem, Daniel Hein, Franz Röck and Richard Alexander SchumiCase Study: Automatic Test Case Generation for a Secure Cache ImplementationInternational Conference on Tests And ProofsShow publication in PURE
Roxane Koitz and Franz WotawaSAT-Based Abductive DiagnosisProceedings of the 26th International Workshop on Principles of Diagnosis (DX)167-175Show publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaParse Tree Structure in LTL Requirements DiagnosisThe 26th International Symposium on Software Reliability Engineering Workshops100-107Show publication in PURE
Roxane Koitz and Franz WotawaDiagnosis of Technical SystemsProceedings of the International Joint Conference on Artificial Intelligence 20154375-4376Show publication in PURE
Martin Stettinger, Alexander Felfernig, Gerhard Leitner and Stefan ReitererCounteracting Anchoring Effects in Group Decision MakingUser Modeling, Adaptation and Personalization118-130Show publication in PURE
Roxane Koitz and Franz WotawaFinding Explanations: an Empirical Evaluation of Abductive Diagnosis AlgorithmsProceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning1-7Show publication in PURE
Annemarie HarzlCombining Kanban and FOSS: Can it work?Agile Processes, in Software Engineering, and Extreme Programming352-353Show publication in PURE
Florian-Christoph ReinfrankA Goal-Question-Metrics Model for Configuration Knowledge basesWorkshop on Configurationnx-nyShow publication in PURE
Alexander Felfernig and Martin StettingerConflict Management in Interactive Financial Service Selection1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)3-10Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber and Pavel ValtrA note on the number of general 4-holes in perturbed gridsA note on the number of general 4-holes in perturbed grids68-69Show publication in PURE
Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler and Franz WotawaAttack Pattern-Based Combinatorial Testing with Constraints for Web Security TestingProceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15), 2015.Show publication in PURE
Florian-Christoph ReinfrankIntelligent Techniques for the Maintainance of Constraint-based systemsWorkshop on Configurationnx-nyShow publication in PURE
Florian-Christoph ReinfrankMaintaining constraint-based Configuration systems: Challenges aheadWorkshop on Configurationnx-nyShow publication in PURE
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Thomas Hackl, Jürgen Pammer, Alexander Pilz, Pedro Ramos, Gelasio Salazar and Birgit VogtenhuberAll Good Drawings of Small Complete GraphsCollection of Abstracts of the 31st European Workshop on Computational Geometry 201557-60Show publication in PURE
Ingo Hans Pill and Thomas QuaritschRC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set AlgorithmThe 26th International Symposium on Software Reliability Engineering Workshops78-84Show publication in PURE
Alexander Felfernig, Stefan Reiterer, Martin Stettinger and Juha TiihonenIntelligent Techniques for Configuration Knowledge EvolutionVamos51-60Show publication in PURE
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Karl Krenn, Rupert Schlick and Stefan TiranMoMuT::UML - model-based mutation testing for UMLIEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 20151-8Show publication in PURE
Birgit Gertraud Hofer and Franz WotawaFault Localization in the Light of Faulty User InputProceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15)282-291Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz WotawaBPEL Integration TestingInternational Conference on Fundamental Approaches to Software EngineeringShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Birgit Vogtenhuber, T. Biedl, M. Held, S. Huber and P. PalfraderRepresenting Directed Trees as Straight SkeletonsInternational Symposium on Graph Drawing335-347Show publication in PURE
Josip Bozic, Bernhard Garn, Dimitris E. Simos and Franz WotawaEvaluation of the IPO-Family Algorithms for Test Case Generation in Web Security TestingEighth International Conference on Software Testing, Verification and Validation WorkshopsShow publication in PURE
Bernadette SpielerDevelopment and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy EducationStudies in Health Technology and Informatics182-189Show publication in PURE
Oswin Aichholzer, Alexander Pilz, Wolfgang Mulzer, M. Wettstein and V. KustersAn optimal algorithm for reconstructing point set order types from radial orderingsAn optimal algorithm for reconstructing point set order types from radial orderings505-516Show publication in PURE
Alexander Felfernig, Michael Jeran, Martin Stettinger, Thomas Absenger, Thomas Gruber, Sarah Haas, Emanuel Kirchengast, Michael Schwarz, Lukas Skofitsch and Thomas UlzHuman Computation Based Acquisition Of Financial Service Advisory Practices1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)27-34Show publication in PURE
Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan TiranRequire, Test and Trace ITFormal Methods for Industrial Critical Systems113-127Show publication in PURE
Alexander Ferrein, Christopher Maier, Clemens Mühlbacher, Tim Niemüller, Gerald Steinbauer and Stavros VassosControlling Logistics Robots with the Action-based Language YAGIIROS Workshop on Task Planning for Intelligent Robots in Service and ManufacturingShow publication in PURE
Mihai Nica, Ingo Hans Pill and Franz WotawaTesting Diagnostics Components Supervising Functional Safety RequirementsProceedings of the Annual Conference of the Prognostics and Health Management Society 2015150-157Show publication in PURE
Ingo Hans Pill, Seema Jehan, Franz Wotawa and Mihai NicaAnalyzing the Reduction of Test Suite RedundancyThe 26th International Symposium on Software Reliability Engineering Workshops65-65Show publication in PURE
Bernhard Aichernig and Florian Lukas LorberTowards Generation of Adaptive Test Cases from Partial Models of Determinized Timed AutomataSoftware Testing, Verification and Validation Workshops (ICSTW) 20151-6Show publication in PURE
Thesis
Irene Maria De Parada MunozSystematic strategies for 3-dimensional modular robotsShow publication in PURE
Manfred ScheucherOrthogeodesic Point Set Embeddings of Outerplanar GraphsShow publication in PURE
Other Article
Irene Parada, Vera Sacristán and Rodrigo I. SilveiraA new meta-module for efficient robot reconfigurationShow publication in PURE
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz WotawaTest suite coverage measurement and reporting for testing an operating system without instrumentationShow publication in PURE
Bernhard Aichernig and Florian Lukas LorberKilling Bugs in a Black Box with Model-based TestingShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Hans EckChildren discover science: robotics, informatics and artificial intelligence in kindergarten and schoolShow publication in PURE
Florian Lukas Lorber, Bernhard Aichernig, Stefan Tiran and Dejan NickovicRequire, Test and Trace ITShow publication in PURE
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha TiihonenKnowledge-based Configuration: From Research to Business CasesShow publication in PURE
Lothar Hotz, Alexander Felfernig, Markus Stumptner, Anna Ryabokon, Claire Bagley and Katharina WolterConfiguration Knowledge Representation and ReasoningKnowledge-based Configuration: From Research to Business Cases41-72Show publication in PURE
Martin Stettinger, Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan ReitererBasic Approaches in Recommendation SystemsRecommendation Systems in Software Engineering15-37Show publication in PURE
Juha Tiihonen, Alexander Felfernig and Monika MandlPersonalized ConfigurationKnowledge-based Configuration: From Research to Business Cases167-179Show publication in PURE
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha TiihonenConfiguration-Related Research ChallengesKnowledge-based Configuration: From Research to Business Cases191-195Show publication in PURE
Alexander Felfernig, Claire Bagley, Juha Tiihonen, Lois Wortley and Lothar HotzBenefits of Configuration SystemsKnowledge-based Configuration: From Research to Business Cases29-33Show publication in PURE
Monika Mandl, Alexander Felfernig and Erich TeppanConsumer Decision-Making and Configuration SystemsKnowledge-based Configuration: From Research to Business Cases181-190Show publication in PURE
Alexander Felfernig, Lothar Hotz, Claire Bagley and Juha TiihonenKnowledge-based Configuration: MotivationKnowledge-based Configuration: From Research to Business Cases3-7Show publication in PURE
Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire BagleyKnowledge-based Configuration: Overview of the BookKnowledge-based Configuration: From Research to Business Cases35-37Show publication in PURE
Lothar Hotz, Alexander Felfernig, Andreas Günter and Juha TiihonenA Short History of Configuration TechnologiesKnowledge-based Configuration: From Research to Business Cases9-19Show publication in PURE
Alexander Felfernig, Florian-Christoph Reinfrank, Gerald Ninaus and Paul BlazekRedundancy Detection in Configuration KnowledgeKnowledge-based Configuration: From Research to Business Cases157-165Show publication in PURE
Gerhard Leitner, Alexander Felfernig, Paul Blazek, Florian-Christoph Reinfrank and Gerald NinausUser Interfaces for Configuration EnvironmentsKnowledge-based Configuration: From Research to Business Cases89-106Show publication in PURE
Alexander Felfernig, Lothar Hotz, Juha Tiihonen and Claire BagleyConfiguration-Related TopicsKnowledge-based Configuration: From Research to Business Cases21-27Show publication in PURE
Alexander Felfernig, Stefan Reiterer, Paul Blazek, Gerhard Leitner, Florian-Christoph Reinfrank and Gerald NinausWeeVisKnowledge-based Configuration: From Research to Business Cases297-307Show publication in PURE
Alexander Felfernig, Stefan Reiterer, Florian-Christoph Reinfrank, Gerald Ninaus and Michael JeranConflict Detection and Diagnosis in ConfigurationKnowledge-based Configuration: From Research to Business Cases73-87Show publication in PURE
Proceedings
Nava Tintarev, John O'Donovan, Alexander Felfernig, Peter Brusilovsky, Giovanni Semeraro and Pasquale LopsRecSys'14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'14)Show publication in PURE
Alexander Felfernig, Cipriano Forza and Albert Haag16th International Workshop on ConfigurationShow publication in PURE
Journal Article
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit VogtenhuberLower bounds for the number of small convex k-holesComputational Geometry47,
605-613,
2014, DOIShow publication in PURE
Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit VogtenhuberGeodesic Order TypesAlgorithmica70,
112-128,
2014, DOIShow publication in PURE
Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz WotawaAvoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QAThe Journal of Systems and Software 94,
129-150,
2014, DOIShow publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Birgit Vogtenhuber4-Holes in Point SetsComputational Geometry47,
644-650,
2014, DOIShow publication in PURE
Alexander PilzFlip Distance Between Triangulations of a Planar Point Set is APX-HardComputational Geometry47,
589-604,
2014, DOIShow publication in PURE
Oswin Aichholzer, Jean Cardinal, Thomas Hackl, Ferran Hurtado, Matias Korman, Alexander Pilz, Rodrigo Silveira, Ryuhei Uehara, Pavel Valtr, Birgit Vogtenhuber and Emo WelzlCell-Paths in Mono- and Bichromatic Line Arrangements in the PlaneDiscrete Mathematics & Theoretical Computer Science16,
317-332,
2014Show publication in PURE
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. SalazarShellable drawings and the cylindrical crossing number of KnDiscrete & Computational Geometry52,
743-753,
2014, DOIShow publication in PURE
Stefan J. Galler and Bernhard AichernigSurvey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and JavaInternational journal on software tools for technology transfer16,
753-773,
2014Show publication in PURE
Oswin Aichholzer, G. Aloupis, E. Demaine, M. Demaine, S. Fekete, A. Lubiw, J. Snoeyink, A. Winslow and M. HoffmannCovering Folded ShapesJournal of Computational Geometry 5,
150-168,
2014Show publication in PURE
Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell and Birgit VogtenhuberFlips in combinatorial pointed pseudo-triangulations with face degree at most fourInternational Journal of Computational Geometry and Applications24,
197-224,
2014, DOIShow publication in PURE
O. Aichholzer, F. Aurenhammer, T. Hackl, F. Hurtado, A. Pilz, P. Ramos, J. Urrutia, P. Valtr and B. VogtenhuberOn k-convex point setsComputational Geometry: Theory and Applications47,
809-832,
2014, DOIShow publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer and Jorge UrrutiaEmpty Monochromatic SimplicesDiscrete & Computational Geometry52,
362-393,
2014, DOIShow publication in PURE
Gerhard Leitner, Alexander Felfernig, A. J. Fercher and Martin HitzDisseminating Ambient Assisted Living in the Rural AreaSensors 14,
13496-13531,
2014Show publication in PURE
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. SalazarShellable drawings and the cylindrical crossing number of K_nDiscrete & Computational Geometry52,
743-573,
2014, DOIShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Johann Eck and Sabine Hirschmugl-GaischA Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn TogetherJournal of automation, mobile robotics & intelligent systems8,
2014, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit VogtenhuberGeodesic-preserving polygon simplificationInternational Journal of Computational Geometry and Applications24,
307-323,
2014, DOIShow publication in PURE
Oswin Aichholzer, Tillmann Miltzow and Alexander PilzReprint of: Extreme points and halving edge search in abstract order typesComputational Geometry
,
518-526,
2014, DOIShow publication in PURE
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. Renssen, P. Taslakian and S. VerdonschotTheta-3 is connectedComputational Geometry47,
910-917,
2014, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Alexander Pilz, Günter Rote, Bettina Speckmann and Birgit VogtenhuberPlane graphs with parity constraintsGraphs and Combinatorics30,
47-69,
2014, DOIShow publication in PURE
Conference/Workshop Article
Josip Bozic, Dimitris Simos and Franz WotawaAttack Pattern-Based Combinatorial TestingInternational Workshop on Automation of Software Test1-7Show publication in PURE
Martin Kandlhofer and Gerald SteinbauerEvaluating the impact of robotics in education on pupils' skills and attitudesRobotics in Education 2014Show publication in PURE
Birgit Gertraud Hofer, Seema Jehan, Ingo Hans Pill and Franz WotawaFunctional Diagnosis of a SOA's BPEL ProcessesInternational Workshop on Principles of Diagnosis1-8Show publication in PURE
Stefan Imlauer, Konstantin Lassnig, Johannes Maurer and Gerald SteinbauerLife Sign Detection Based on Sound and Gas MeasurementsAustrian Robotics WorkshopShow publication in PURE
Bernardo Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Birgit VogtenhuberNon-Shellable Drawings of Kn with Few CrossingsProc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-onlyShow publication in PURE
Julia Nitsch, Alexander Buchegger, Dorothea Koert, Christian Rose, Johannes Maurer, Stefan Kohlbrecher, Oskar Von Stryk and Gerald SteinbauerTowards Autonomous Manipulation in RoboCup Rescue18th annual RoboCup International SymposiumShow publication in PURE
Bernhard Peischl, Michaela Ferk and Andreas HolzingerIntegrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health OrganisationsInternational Joint Conference on e-Business and Telecommunications185-195Show publication in PURE
Gerald Ninaus, Alexander Felfernig, Martin Stettinger, Stefan Reiterer, Gerhard Leitner, Leopold Weninger and Walter SchanilIntelliReq: Intelligent Techniques for Software Requirements EngineeringPrestigious Applications of Intelligent Systems (PAIS)1161-1166Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Perez-Lantero, Andres Ruiz-Vargas, Jorge Urrutia and Birgit VogtenhuberOrder types and cross-sections of line arrangements in R3(Kopie von) Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-onlyShow publication in PURE
Birgit Gertraud Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin and Franz WotawaTool-supported fault localization in spreadsheets: Limitations of current research practiceInternational Workshop on Software Engineering Methods in Spreadsheets1-2Show publication in PURE
Roxane Koitz and Wolfgang SlanyEmpirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for TeenagersPLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools21-30Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Sarah Lutteropp, Tamara Mchedlidze and Birgit VogtenhuberMonotone Simultaneous Embedding of Directed PathsCollection of Abstracts of the 30th European Workshop on Computational Geometry 20140-0Show publication in PURE
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz WotawaAn Abductive Diagnosis and Modeling Concept for Wind Power PlantsInternational Workshop on Principles of Diagnosis404-409Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Ferran Hurtado, Pablo Pérez-Lantero, Andres J. Ruiz-Vargas, Jorge Urrutia and Birgit VogtenhuberOrder types and cross-sections of line arrangements in ℝ<sup>3</sup>26th Canadian Conference on Computational Geometry, CCCG 2014267-272Show publication in PURE
Clemens Mühlbacher and Gerald SteinbauerKnowledge-Aware Execution of Programs in IndiGologInternational Workshop on Cognitive RoboticsShow publication in PURE
Bernhard Aichernig, Klaus Hörmaier and Florian Lukas LorberDebugging with Timed Automata MutationsComputer Safety, Reliability, and Security49-64Show publication in PURE
Gerald Ninaus, Florian-Christoph Reinfrank, Martin Stettinger and Alexander FelfernigContent-based Recommendation Techniques in Requirements EngineeringFirst International Workshop on Artificial Intelligence for Requirements Engineering27-34Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Stefan Huber and Birgit VogtenhuberStraight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance FunctionsProc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-onlyShow publication in PURE
Franz Wotawa and Ingo Hans PillTesting Configuration Knowledge-BasesProceedings of the 16th International Configuration Workshop39-46Show publication in PURE
Bernhard Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Stefan Tiran and Didier SimoneauIntegration of Requirements Engineering and Test-Case Generation via OSLC2014 14th International Conference on Quality Software117-126Show publication in PURE
Oswin Aichholzer, M. Hoffmann, M. van Kreveld and G. RoteGraph Drawings with Relative Edge Length SpecificationsCanadian Conference on Computational Geometry---Show publication in PURE
Martin Stettinger, Alexander Felfernig, Stefan Reiterer, Michael Jeran, Gerald Ninaus and Gerhard LeitnerConfiguring Decision TasksWorkshop on Configuration17-21Show publication in PURE
Birgit Gertraud Hofer and Franz WotawaOn the Usage of Dependency-based Models for Spreadsheet DebuggingInternational Workshop on Software Engineering Methods in Spreadsheets1-4Show publication in PURE
Franz WotawaFailure Mode and Effect Analysis for Abductive DiagnosisInternational Workshop on Defeasible and Ampliative Reasoning1-13Show publication in PURE
Alexander FelfernigBiases in Decision MakingProceedings of the International Workshop on Decision Making and Recommender Systems 201432-37Show publication in PURE
Varvana Myllärniemi, Mikko Raatikainen, Juha Tiihonen and Alexander FelfernigUsing Answer Set Programming for Feature Model Representation and ConfigurationWorkshop on Configuration1-8Show publication in PURE
Nava Tintarev, John O'Donovan, Peter Brusilovsky, Alexander Felfernig, Giovanni Semeraro and Pasquale LopsRecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender SystemsProceedings of the ACM Conference on Recommender SystemsShow publication in PURE
Gerald Steinbauer, Johannes Maurer and Andreas CiossekField Report: Civil Protection Exercise Gas StorageIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Johannes Maurer and Gerald SteinbauerRisk-Aware ExplorationeuRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICSShow publication in PURE
Seema Jehan, Ingo Hans Pill and Franz WotawaSOA Testing Via Random Paths in BPEL ModelsIEEE International Conference on Software Testing, Verification and Validation260-263Show publication in PURE
Bernhard Aichernig, Florian Lukas Lorber and Stefan TiranFormal Test-Driven Development with Verified Test CasesProceedings of the 2nd International Conference on Model-Driven Engineering and Software Development626-635Show publication in PURE
Harald Altinger, Franz Wotawa and Markus SchuriusTesting Methods Used in the Automotive Industry: Results from a SurveyThe second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14)1-6Show publication in PURE
Alexander Felfernig, Sarah Haas, Gerald Ninaus, M. Schwarz, T. Ulz, Martin Stettinger, Klaus Isak, Michael Jeran and Stefan ReitererRecTurk: Constraint-based Recommendation based on Human ComputationACM RecSys'14 CrowdRec Workshop1-6Show publication in PURE
Birgit Gertraud Hofer and Franz WotawaComparing Models for Spreadsheet Fault LocalizationEuropean Conference on Artificial Intelligence1029-1030Show publication in PURE
Juha Tiihonen, Tomi Männistö and Alexander FelfernigSales Configurator Information Systems Design TheoryWorkshop on Configuration67-74Show publication in PURE
Oswin Aichholzer, Luis Barba, Thomas Hackl, Alexander Pilz and Birgit VogtenhuberLinear Transformation Distance for Bichromatic MatchingsProceedings of the Thirtyth Annual Symposium on Computational Geometry (SCG '14)154-162Show publication in PURE
Matias Korman, Langerman Stefan, Wolfgang Mulzer, Alexander Pilz and Birgit VogtenhuberMinimum Dual Diameter TriangulationsEuropean Workshop on Computational Geometry0-0Show publication in PURE
Bernhard Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick and Birgit Vera SchmidtModel-Based Mutation Testing of an Industrial Measurement DeviceTests and Proofs1-9Show publication in PURE
Birgit Gertraud HoferSpectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops263-268Show publication in PURE
Josip Bozic and Franz WotawaSecurity Testing Based on Attack PatternsThe 5th International Workshop on Security Testing (SECTEST)1-8Show publication in PURE
Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz WotawaGeneration of Relevant Spreadsheet Repair CandidatesEuropean Conference on Artificial Intelligence1027-1028Show publication in PURE
Clemens Mühlbacher and Gerald SteinbauerUsing Common Sense Invariants in Belief Management for Autonomous AgentsModern Advances in Applied Intelligence49-59Show publication in PURE
Josip Bozic and Franz WotawaPlan It! Automated Security Testing Based on PlanningInternational Conference on Testing Software and Systems48-62Show publication in PURE
Gerald Steinbauer, Johannes Maurer and Heimo KrajnzR^3: Request a Rescue RobotIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Martin Stettinger and Alexander FelfernigChoicla: Intelligent Decision Support for Groups of Users in Context of Personnel DecisionsACM RecSys'14 IntRS Workshop28-32Show publication in PURE
Stefan Felsner and Alexander PilzHam-Sandwich Cuts for Abstract Order TypesInternational Symposium on Algorithms and Computation726-737Show publication in PURE
Birgit Gertraud Hofer and Franz WotawaComparing and improving dependency-based models for fault localization in spreadsheetsInternational Workshop on Principles of Diagnosis1-7Show publication in PURE
Oswin AichholzerReconstructing Point Set Order Types from Radial OrderingsInternational Symposium on Algorithms and Computation15-26Show publication in PURE
Andreas Bernauer, Josip Bozic, Dimitris Simos, Severin Winkler and Franz WotawaRetaining Consistency for Knowledge-based Security TestingInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems88-97Show publication in PURE
Keith Andrews and Benedict WrightFluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGLProc. Eurographics Conference on Visualization (EuroVis 2014)43-47Show publication in PURE
Clemens Mühlbacher and Gerald SteinbauerUsing Common Sense Invariants in Belief Management for Autonomous AgentsAAAI Spring Symposium SeriesShow publication in PURE
Alexander Felfernig, Martin Stettinger, Gerald Ninaus, Stefan Reiterer, Michael Jeran, Andreas Falkner, Juha Tiihonen and Gerhard LeitnerTowards Open ConfigurationWorkshop on Configuration89-94Show publication in PURE
Clemens Mühlbacher and Gerald SteinbauerActive Diagnosis for Agents with Belief ManagementInternational Workshop on Principles of DiagnosisShow publication in PURE
Walid Maalej, Zijad Kurtanovic and Alexander FelfernigWhat Stakeholders Need to Know About Requirements4th IEEE International Workshop on Empirical Requirements Engineering1-8Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Sarah Lutteropp, Tamara Mchedlidze and Birgit VogtenhuberEmbedding Four-directional Paths on Convex Point SetsProc. 22nd International Symposium on Graph Drawing (GD 2014)355-366Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Matias Korman, Marc van Kreveld, Maarten Löffler, Alexander Pilz, Bettina Speckmann and Emo WelzlPacking Plane Spanning Trees and Paths in Complete Geometric GraphsProc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014online-onlyShow publication in PURE
Birgit Gertraud Hofer and Franz WotawaWhy does my spreadsheet compute wrong values?International Symposium on Software Reliability Engineering112-121Show publication in PURE
Thomas Quaritsch and Ingo Hans PillPyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo PillInternational Workshop on Principles of Diagnosis1-5Show publication in PURE
Martin Stettinger and Alexander FelfernigChoicla: An Intelligent Group Decision Support EnvironmentProceedings of the International Workshop on Decision Making and Recommender Systems 20141-3Show publication in PURE
Sven Bock, Roland Klöbl, Thomas Hackl, Oswin Aichholzer and Gerald SteinbauerPlaying Nine Men's Morris with the Humanoid Robot NaoAustrian Robotics WorkshopShow publication in PURE
Elisabeth JöbstlModel-Based Mutation Testing with Constraint and SMT SolversShow publication in PURE
Technical Report
Johannes Maurer, Gerald Steinbauer, Peter Lepej and Suzana UranTEDUSAR White Book - State of the Art in Search and Rescue RobotsShow publication in PURE
Other Article
Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz WotawaFunctional Diagnosis of a SOA's BPEL ProcessesShow publication in PURE
Birgit Gertraud Hofer and Franz WotawaComparing Models for Spreadsheet Fault LocalizationShow publication in PURE
2013
Book
Alexander FelfernigRecommender Systems - An Introduction (chinese edition)978-4-320-12296-3Show publication in PURE
Bernhard Aichernig, Florian Lukas Lorber and Dejan NickovicModel-based Mutation Testing with Timed AutomataShow publication in PURE
Bernhard Aichernig, Elisabeth Jöbstl and Matthias KegeleFast Refinement Checking for Test Case GenerationShow publication in PURE
Book Chapter
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang SlanyAutomated Shift Design and Break SchedulingAutomated Scheduling and Planning109-127Show publication in PURE
Alexander Felfernig, Michael Jeran, Gerald Ninaus, Florian-Christoph Reinfrank and Stefan ReitererToward the next generation of recommender systems: applications and research challengesMultimedia Services in Intelligent Environments, Smart Innovation, Systems, and Technologies81-98Show publication in PURE
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja BoltekReconfiguration of Mobile Phone NetworksKnowledge-based Configuration - From Research to Business Cases19-1-19-11Show publication in PURE
Gerald Steinbauer and Franz WotawaModel-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213Show publication in PURE
Alexander Felfernig, Gerald Ninaus, Harald Grabner, Florian-Christoph Reinfrank, Leopold Weninger, Denis Pagano and Walid MaalejAn Overview of Recommender Systems in Requirements EngineeringManaging Requirements Knowledge315-332Show publication in PURE
Proceedings
Gerald NinausIEA-AIE 2013 - The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent SystemsShow publication in PURE
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn WillemsenProceedings of the 3rd International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'13)Show publication in PURE
Journal Article
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci and Giovanni SemeraroHuman Decision Making and Recommender SystemsACM Transactions on Interactive Intelligent Systems3,
1-7,
2013Show publication in PURE
Oswin Aichholzer, J. Abhau, Bernhard Kornberger, S. Colutto and O. ScherzerShape spaces via medial axis transforms for segmentation of complex geometry in 3d voxel data.Inverse problems and imaging7,
125-125,
2013Show publication in PURE
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. SalazarMore on the crossing number of $K_n$: Monotone DrawingsElectronic Notes in Discrete Mathematics 44,
411-414,
2013Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, Clemens Huemer, Francisco Santos, Bettina Speckmann and Birgit VogtenhuberMaximizing maximal angles for plane straight line graphsComputational Geometry46,
17-28,
2013, DOIShow publication in PURE
Oswin Aichholzer, J. Urrutia and Birgit VogtenhuberBalanced 6-holes in linearly separable bichromatic point sets.Electronic Notes in Discrete Mathematics 44,
181-186,
2013, DOIShow publication in PURE
Alexander Felfernig, Stefan Schippel, Gerhard Leitner, Florian-Christoph Reinfrank, Klaus Isak, Monika Mandl, Paul Blazek and Gerald NinausAutomated Repair of Scoring Rules in Constraint-based Recommender SystemsAI Communications26,
15-27,
2013Show publication in PURE
Oswin Aichholzer, Tillmann Miltzow and Alexander PilzExtreme points and halving edge search in abstract order typesComputational Geometry46,
970-978,
2013Show publication in PURE
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos and Gelasio SalazarThe 2-Page Crossing Number of KnDiscrete and Computational Geometry49,
747-777,
2013, DOIShow publication in PURE
Franz Wotawa and Ingo Hans PillOn Classification and Modeling Issues in Distributed Model-based DiagnosisAI Communications26,
133-143,
2013, DOIShow publication in PURE
Iris Uitz and Roxane KoitzConsumer Acceptance of Location Based Services in the Retail EnvironmentInternational Journal of Advanced Computer Science and Applications
,
2013, DOIShow publication in PURE
Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald SteinbauerMaintaining consistency in a robot's knowledge-base via diagnostic reasoningAI Communications26,
29-38,
2013Show publication in PURE
Mihai Nica, Simona Alina Nica and Franz WotawaOn the use of mutations and testing for debuggingSoftware : practice & experience43,
1121–1142 ,
2013, DOIShow publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit VogtenhuberBlocking delaunay triangulationsComputational Geometry46,
154-159,
2013, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, David Orden, Pedro Ramos, Günter Rote, André Schulz and Bettina SpeckmannFlip Graphs of Bounded-Degree TriangulationsGraphs and Combinatorics29,
1577-1593,
2013, DOIShow publication in PURE
Alexander Felfernig and Franz WotawaIntelligent Engineering Techniques for Knowledge BasesAI Communications26,
1-2,
2013Show publication in PURE
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. SalazarThe 2-page crossing number of K_n.Discrete & Computational Geometry49,
747-777,
2013Show publication in PURE
Conference/Workshop Article
Birgit Gertraud Hofer and Franz WotawaMutation-based spreadsheet debuggingSoftware Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on132-137Show publication in PURE
Wolfgang SlanyCatrobat: A mobile visual programming system inspired by ScratchScratch conference 20130-0Show publication in PURE
Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana UranDriving a Tracked Mobile Robot over Unstructured Terrain and StairsElectrotechnical and Computer Science ConferenceShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Sabine Hirschmugl-Gaisch and Johann EckA cross-generational robotics project day: Pre-school children, pupils and grandparents learn togetherRobotics in Education 2013Show publication in PURE
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz WotawaThe Route to Success - A Performance Comparison of Diagnosis AlgorithmsInternational Joint Conference on Artificial Intelligence1039-1045Show publication in PURE
Bernhard AichernigModel-based mutation testing of reactive systems - from semantics to automated test-case generationTheories of Programming and Formal Methods23-36Show publication in PURE
Oswin Aichholzer, L. Caraballo, J. D. Banez, R. Fabila-Monroy, C. Ochoa and Paul Alois NigschExtremal antipodal polygons and polytopesMexican Conference on Discrete Mathematics and Computational Geometry11-20Show publication in PURE
Alexander Felfernig, Stefan Reiterer, Martin Stettinger, Florian-Christoph Reinfrank, Michael Jeran and Gerald NinausRecommender Systems for Configuration Knowledge EngineeringProceedings of the 2013 Workshop on Configuration51-54Show publication in PURE
Iulia-Dana Nica and Franz Wotawa(Re-)configuration of Communication Networks in the Context of M2M ApplicationsProceedings of the International Configuration Workshop101-108Show publication in PURE
Oswin Aichholzer, J. Urrutia and Birgit VogtenhuberBalanced 6-holes in bichromatic point sets.Japanese Conference on Discrete and Computational Geometry5-6Show publication in PURE
Safdar Zaman and Gerald SteinbauerAutomatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic SystemsAustrian Robotics WorkshopShow publication in PURE
Safdar Zaman, Gerald Steinbauer, Johannes Maurer, Peter Lepej and Suzana UranAn integrated Diagnosis and Repair Architecture for ROS-Based Robot SystemsInternational Conference on Robotics and AutomationShow publication in PURE
Martin Stettinger, Gerald Ninaus, Michael Jeran, Florian-Christoph Reinfrank and Stefan ReitererWE-DECIDE: A Decision Support Environment for Groups of UsersRecent Trends in Applied Artificial Intelligence382-391Show publication in PURE
Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Hans Pill, Marco Schulz and Franz WotawaThe Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)45-53Show publication in PURE
Florian-Christoph Reinfrank, Alexander Felfernig, David Benavides and José A. GalindoAutomated Analysis in Feature Modelling and Product ConfigurationSafe and Secure Software Reuse160-175Show publication in PURE
Bernhard Aichernig, Florian Lukas Lorber and Dejan NickovicTime for Mutants —Model-based Mutation Testing with Timed AutomataTests and Proofs 20-38Show publication in PURE
Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang SlanyPurely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study PlanProceedings of Programming for Mobile and Touch PRoMoTo 20130-0Show publication in PURE
Oswin Aichholzer, S. Allen, G. Aloupis, L. Barba, P. Bose, J.-L. D. Carfuel, J. Iacono, S. Langerman, D. Souvaine, P. Taslakin and M. YagnatinskySum of squared edges for mst of a point set in a unit square.Japanese Conference on Discrete and Computational Geometry5-6Show publication in PURE
Ingo Hans Pill and Thomas QuaritschBehavioral Diagnosis of LTL Specifications at Operator LevelInternational Joint Conference on Artificial Intelligence1053-1059Show publication in PURE
Nysret Musliu, Wolfgang Slany and Johannes GaertnerAutomated Test Case Generation in End-User ProgrammingEnd-User Development - 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings272-277Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Elisabeth Getzner, André Riboira and Rui AbreuOn the Empirical Evaluation of Fault Localization Techniques for SpreadsheetsFundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 201368-82Show publication in PURE
Ingo Hans Pill and Thomas QuaritschAnd Yet Another Variant of Reiter's Complete On-the-fly Hitting Set AlgorithmInternational Workshop on Principles of Diagnosis210-215Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz WotawaSOA Grey Box Testing - A Constraint-Based ApproachInternational Workshop on Constraints in Software Testing Verification and Analysis232-237Show publication in PURE
Franz Wotawa"Trust, But Verify"Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation38-47Show publication in PURE
Bernhard Aichernig, Elisabeth Jöbstl and Matthias KegeleIncremental Refinement Checking for Test Case GenerationTests and Proofs1-19Show publication in PURE
José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero, Alexander Pilz, Carlos Seara and Rodrigo SilveiraNew results on stabbing segments with a polygonAlgorithms and Complexity146-157Show publication in PURE
Oswin Aichholzer, Wolfgang Mulzer and Alexander PilzFlip distance between triangulations of a simple polygon is NP-completeAlgorithms, 21st Annual European Symposium13-24Show publication in PURE
Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell and Birgit VogtenhuberFlips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract)XV Spanish Meeting on Computational Geometry131-134Show publication in PURE
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang SlanyA Scratch-like visual programming system for Microsoft Windows Phone 8Promoto ’130-0Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher and Raphael SpörkThe Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets13th International Conference on Quality Software139-148Show publication in PURE
Oswin Aichholzer, S. W. Bae, L. Barba, P. Bose, P. Taslakian, M. Korman, A. van Renssen and S. VerdonschotTheta 3 is connected.Canadian Conference on Computational Geometry205-211Show publication in PURE
Alexander Felfernig, David Benavides, Jose Galindo and Florian-Christoph ReinfrankTowards Anomaly Explanation in Feature ModelsProceedings of 2013 Workshop on Configuration117-124Show publication in PURE
Peter Grasch, Alexander Felfernig and Florian-Christoph ReinfrankRecomment: Towards Critiquing-based Recommendation with Speech InteractionProceedings of the 7th ACM Conference on Recommender Systems157-164Show publication in PURE
Valentin Constantin Chimisliu and Franz WotawaImproving Test Case Generation from UML Statecharts by using Control, Data, and Communication DependencesInternational Conference on Quality Software125-134Show publication in PURE
Oswin Aichholzer, Jean Cardinal, Thomas Hackl, Ferran Hurtado, Matias Korman, Alexander Pilz, Rodrigo Silveira, Ryuhei Uehara, Birgit Vogtenhuber and Emo WelzlCell-paths in mono- and bichromatic line arrangements in the plane25th Canadian Conference on Computational Geometry169-174Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro Ramos, Vera Sacristán and Birgit VogtenhuberEmpty triangles in good drawings of the complete graphMexican Conference on Discrete Mathematics and Computational Geometry21-29Show publication in PURE
Safdar Zaman and Gerald SteinbauerAutomated Generation of Diagnosis Models for ROS-based Robot SystemsInternational Workshop on Principles of DiagnosisShow publication in PURE
Clemens Mühlbacher, Gerald Steinbauer, Michael Reip and Stephan GspandlImproving the ROS Arm Navigation Stack by Using Stochastic Inverse KinematicsAustrian Robotics WorkshopShow publication in PURE
Martin Kandlhofer and Gerald SteinbauerEvaluating the impact of RoboCupJunior on pupils' abilitiesRoboCup 2013 Symposium Proceedings and Team Description PapersShow publication in PURE
Oswin Aichholzer, G. Aloupis, E. Demaine, M. Demaine, A. Lubiwk, A. Winslow, S. Fekete, M. Homann and J. SnoeyinkCovering folded shapes.Canadian Conference on Computational Geometry73-78Show publication in PURE
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn WillemsenWorkshop on human decision making in recommender systems: Decisions@RecSys'13Proceedings of the ACM Conference on Recommender Systems 2013479-480Show publication in PURE
Valentin Constantin Chimisliu and Franz WotawaUsing Dependency Relations to Improve Test Case Generation from UML StatechartsProceedings of the Fifth IEEE International Workshop on Software Test Automation (STA)71-76Show publication in PURE
Max Leingartner, Johannes Maurer, Gerald Steinbauer and Alexander FerreinEvaluation of Sensors and Mapping Approaches for Disasters in TunnelsIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Ingo Hans Pill and Thomas QuaritschExploiting Parse Trees in LTL Specification DiagnosisInternational Workshop on Principles of Diagnosis59-64Show publication in PURE
Gerald Steinbauer, Lisa-Christina Winter, Alexander Nussbaumer and Dietrich AlbertAutonomous Robots: Towards A Founded Assessment of RobustnessWorkshop on Software Development and Integration in RoboticsShow publication in PURE
Seema Jehan, Ingo Hans Pill, Franz Wotawa, Marco Schulz, [No Value] Philipp Leitner, [No Value] Waldemar Hummer, [No Value] Stefan Schulte, [No Value] Philipp Hoenisch and [No Value] Schahram DustdarFifty Shades of Grey in SOA TestingWorkshop on Advances in Model Based Testing (A-MOST)154-157Show publication in PURE
Johannes Maurer and Gerald SteinbauerAutonomous Risk-Aware ExplorationIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Annemarie Harzl, Vesna Krnjic, Franz Schreiner and Wolfgang SlanyComparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on SmartphonesDMS 20130-0Show publication in PURE
Alexander Felfernig, Monika Schubert and Stefan ReitererPersonalized Diagnosis for Over-Constrained ProblemsProceedings of the 23rd International Joint Conference on Artificial Intelligence1990-1996Show publication in PURE
Hans Eck, Sabine Hirschmugl-Gaisch, Alexander Hofmann, Martin Kandlhofer, Sabrina Rubenzer and Gerald SteinbauerInnovative concepts in educational robotics: Robotics projects for kindergartens in AustriaAustrian Robotics WorkshopShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Vera Sacristán, Birgit Vogtenhuber and Reinhard WallnerSimulating distributed algorithms for lattice agentsXV Spanish Meeting on Computational Geometry (2013)81-84Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz WotawaFunctional SOA testing based on constraintsInternational Workshop on Automation of Software Test33-39Show publication in PURE
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz and Birgit VogtenhuberGeodesic-preserving polygon simplificationAlgorithms and Computation, 24th International Symposium11-21Show publication in PURE
Josip Bozic and Franz WotawaXSS Pattern for Attack Modeling in TestingInternational Workshop on Automation of Software Test71-74Show publication in PURE
Andrei Asinowski, Jean Cardinal, Nathann Cohen, Sébastien Collette, Thomas Hackl, Michael Hoffmann, Kolja Knauer, Stefan Langerman, Michal Lason, Piotr Micek, Günter Rote and Torsten UeckerdtColoring hypergraphs induced by dynamic point sets and bottomless rectanglesLecture Notes in Computer Science, Proc. 13th Algorithms and Data Structures Symposium (WADS)73-84Show publication in PURE
Oswin Aichholzer, Wolfgang Mulzer and Alexander PilzFlip distance between triangulations of a simple polygon is NP-complete29th European Workshop on Computational Geometry115-118Show publication in PURE
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz WotawaThe Route to Success - A Performance Comparison of Diagnosis AlgorithmsShow publication in PURE
Alexander Felfernig, Monika Schubert and Stefan ReitererPersonalized Diagnosis for Over-Constrained ProblemsShow publication in PURE
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang SlanyPocket Code, A Scratch-like visual programming system for Microsoft Windows Phone 8Show publication in PURE
Alexander Nussbaumer, Gerald Steinbauer, Lisa-Christina Winter and Dietrich AlbertAutonomous Robots: Towards A Founded Assessment of RobustnessShow publication in PURE
Annemarie Harzl, Philipp Neidhöfer, Valentin Rock, Maximilian Schafzahl and Wolfgang SlanyComparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on SmartphonesShow publication in PURE
Ingo Hans Pill and Thomas QuaritschBehavioral Diagnosis of LTL Specifications at Operator LevelShow publication in PURE
Ingo Hans Pill and Thomas QuaritschAnd Yet Another Variant of Reiter's Hitting Set AlgorithmShow publication in PURE
Birgit Gertraud Hofer and Franz WotawaSpectrum Enhanced Dynamic Slicing for Fault LocalizationShow publication in PURE
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard FriedrichRecommender Systems (japanese edition)Show publication in PURE
Bernhard Aichernig, Florian Lukas Lorber and Stefan TiranFormal Test-Driven Development with Verified Test CasesShow publication in PURE
Book Chapter
Andreas Holzinger, Gig Searle, Bernhard Peischl and Matjaz DebevcB.91 An Answer to “Who needs a stylus?” On Handwriting Recognition on Mobile Devicese-Business and Telecommunications CCIS 314156-167Show publication in PURE
Andreas Holzinger, Martin Schlögl, Bernhard Peischl and Matjaz DebevcB.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability ResearchSpringer Communications in Computer and Information Science, Vol. 22297-111Show publication in PURE
Alexander Felfernig, Christoph Zehentner, Gerald Ninaus, Harald Grabner, Walid Maalej, Denis Pagano, Deopold Weninger and Florian-Christoph ReinfrankGroup Decision Support for Requirements NegotiationGroup Decision Support for Requirements Negotiation (Best Papers of UMAP 2011 Workshops)105-116Show publication in PURE
Andreas Holzinger, Peter Treitler and Wolfgang SlanyMaking Apps Useable on Multiple Different Mobile Platforms: On Interoperability for Business Application Development on SmartphonesCD-ARES 2012, LNCS 7465, IIFIP International Federation for Information Processing (2012)176-189Show publication in PURE
Franz WotawaAdaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90Show publication in PURE
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina ZiefleOn Complexity Reduction of User Interfaces for Safety-Critical SystemsG. Quirchmayr et al. (Eds.): CD-ARES 2012, LNCS 7465, FIP International Federation for Information Processing 2012108-122Show publication in PURE
Proceedings
Bernhard Aichernig, Frank S. de Boer and Marcello M. BonsangueFormal Methods for Components and Objects - 9th International Symposium, FMCO 2010Show publication in PURE
Li Chen, Alexander Felfernig, J. Liu and Z.W. RasProceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12)Show publication in PURE
Gerald Steinbauer and Suzana UranProceedings of the Austrian Robotics Workshop 2012Show publication in PURE
Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro, Martijn Willemsen and Gerald NinausProceedings of the 2nd International Workshop on Human Decision Making and Recommender SystemsShow publication in PURE
Journal Article
Oswin Aichholzer, Thomas Hackl and Birgit VogtenhuberOn 5-gons and 5-holesLecture notes in computer science7579,
1-13,
2012Show publication in PURE
O. Aichholzer, F. Aurenhammer, E. Demaine, F. Hurtado, P. Ramos and J. UrrutiaOn k-convex polygonsComputational Geometry: Theory and Applications45,
73-87,
2012Show publication in PURE
Oswin Aichholzer, Günter Rote, André Schulz and Birgit VogtenhuberPointed drawings of planar graphsComputational Geometry
,
482-494,
2012, DOIShow publication in PURE
Jörg Weber and Franz WotawaDiagnosis and repair of dependent failures in the control system of a mobile autonomous robotApplied Intelligence36,
511-528,
2012, DOIShow publication in PURE
Birgit Gertraud Hofer and Franz WotawaCombining Slicing and Constraint Solving for Better Debugging: The CONBAS ApproachAdvances in Software Engineering
,
2012, DOIShow publication in PURE
Franz Wotawa, Mihai Nica and Iulia-Dana NicaAutomated debugging based on a constraint model of the program and a test caseThe journal of logic and algebraic programming81,
390-407,
2012Show publication in PURE
Bernhard Peischl, Naveed Riaz and Franz WotawaAutomated Debugging of Verilog DesignsInternational Journal of Software Engineering and Knowledge Engineering 22,
695-723,
2012, DOIShow publication in PURE
Alexander Felfernig, Monika Schubert and Christoph Zehentnern Efficient Diagnosis Algorithm for Inconsistent Constraint SetsArtificial Intelligence for Engineering Design, Analysis and Manufacturing26,
53-62,
2012, DOIShow publication in PURE
Birgit Gertraud Hofer and Franz WotawaFallstudien zum Einsatz modellbasierter Testtechniken in der industriellen PraxisOBJEKTspektrum / Online Themenspecial
,
1-4,
2012Show publication in PURE
Oswin Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. UrrutiaConvexifying monotone polygons while maintaining internal visibilityLecture notes in computer science7579,
98-108,
2012Show publication in PURE
Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan RuttenConnectors as designs: Modeling, refinement and test case generationScience of computer programming77,
799-822,
2012, DOIShow publication in PURE
Erich Teppan and Alexander FelfernigMinimization of Product Utility Estimation Errors in Recommender Result Set EvaluationsWeb Intelligence and Agent Systems10,
385-395,
2012Show publication in PURE
Andreas Holzinger, Christof Stocker, Bernhard Peischl and Klaus-Martin SimonicOn Using Entropy for Enhancing Handwriting PreprocessingEntropy14,
2324-2350,
2012, DOIShow publication in PURE
Wolfgang Slany and Farhan SahitoFunctional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State SecurityHuman Security Perspectives Journal
,
38-66,
2012Show publication in PURE
Alexander Felfernig, Robin Burke and Pearl PuPreface to the special issue on User Interfaces for Recommender SystemsUser Modeling and User-Adapted Interaction22,
313-316,
2012, DOIShow publication in PURE
Conference/Workshop Article
Bernhard Peischl, Martina Ziefle and Andreas HolzingerA Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap ApplicationProceedings of the International Conference on Data Communication Networking, e-Business and Optical Communication Systems217-221Show publication in PURE
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja BoltekModel-based simulation and configuration of mobile phone networks – The SIMOA ApproachProc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks12-17Show publication in PURE
Karl Voit, Keith Andrews and Wolfgang SlanyCreating a Comparative Environment for PIM EvaluationInternational Workshop on Personal Information Management1-5Show publication in PURE
Raymond Sheh, Tetsuya Kimura, Daniele Nardi, Johannes Pellenz and Gerald SteinbauerThe 2012 Safety, Security, and Rescue Robotics Summer SchoolIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid WeissEducational Robotics - Evaluating long-term effectsIntegrating Robotics in School Curriculum198-199Show publication in PURE
Florian Ehrentraut, Christian Landschützer, Dominik Lechner, Christian Matt, Wolfgang Pichler, Gerald Steinbauer, bernhard puchinger and daniel wimmerKombot - An Autonomous Mobile Order Picking RobotAustrian Robotics Workshop 20121-7Show publication in PURE
O. Aichholzer, W. Aigner, F. Aurenhammer, B. Jüttler, K. Dobiásová and G. RoteTriangulations with circular arcsGraph Drawing296-307Show publication in PURE
Josip Bozic and Franz WotawaModel-based Testing - From Safety to SecurityWorkshop on System Testing and Validation9-16Show publication in PURE
Gerald NinausUsing group recommendation heuristics for the prioritization of requirementsRecSys '12 Proceedings of the sixth ACM conference on Recommender systems329-332Show publication in PURE
Bernhard Aichernig, Florian Lukas Lorber and Stefan TiranIntegrating model-based testing and analysis tools via test case exchangeIEEE International Symposium on Theoretical Aspects of Software Engineering119-126Show publication in PURE
Stephan Gspandl, Siegfried Podesser, Michael Reip, Gerald Steinbauer and Màtè WolframA Dependable Perception-Decision-Execution Cycle for Autonomous RobotsInternational Conference on Robotics and AutomationShow publication in PURE
Iulia-Dana Nica and Franz WotawaThe SiMoL Modeling Language for Simulation and (Re-) ConfigurationSOFSEM - Conference on Current Trends in Theory and Practice of Informatics661-672Show publication in PURE
Oswin Aichholzer, Ferran Hurtado and Birgit VogtenhuberCompatible matchings for bichromatic plane straight-line graphs28th European Workshop on Computational Geometry, Booklet of Abstracts257-260Show publication in PURE
Wolfgang SlanyCatroid: a mobile visual programming system for children11th International Conference on Interaction Design and Children, IDC '12300-303Show publication in PURE
Wolfgang SlanyA mobile visual programming system for Android smartphones and tabletsIEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012265-266Show publication in PURE
Gerald Steinbauer and Alexander KleinerTowards CSP-based mission dispatching in C2/C4I systemsIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Wolfgang SlanyRecognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their FeaturesICCIT - 2012, the 15th International Conference on Computer and Information Technology507-512Show publication in PURE
Alexander Felfernig and Leopold WeningerImproving Requirements Engineering using Group Decision ToolsRequirements Engineering TagungShow publication in PURE
Oswin Aichholzer, Howard Cheng, Satyan Devadoss, Thomas Hackl, Stefan Huber, Brian Li and Andrej RisteskiWhat makes a tree a straight skeleton?Proc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012267-272Show publication in PURE
Peter Lepej, Johannes Maurer, Gerald Steinbauer and Suzana UranAnalysis of Laser Sensor System for a Rescue Robot21st International Electrotechnical and Computer Science ConferenceShow publication in PURE
Oswin Aichholzer, Wolfgang Aigner, Thomas Hackl and Nicola WolpertExact Medial Axis Computation for Circular Arc BoundariesCurves and Surfaces 201028-42Show publication in PURE
Peter Lepej, Johannes Maurer, Gerald Steinbauer, Suzana Uran and Safdar ZamanAn integrated Diagnosis and Repair Architecture for ROS-‐Based Robot SystemsInternational Workshop on Principles of DiagnosisShow publication in PURE
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina ZiefleOn complexity reduction of user interfaces for safety-critical systemsIFIP Cross Domain Conference, Lecture Notes in Computer ScienceShow publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Clemens Huemer, Alexander Pilz and Birgit VogtenhuberLower bounds for the number of small convex k-holesProc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012261-266Show publication in PURE
Gerald Ninaus and Alexander FelfernigGroup Recommendation Algorithms for Requirements PrioritizationRecommender Systems in Software Engineering (RSSE 2012)1-4Show publication in PURE
Alexander Ferrein, Gerald Steinbauer and Stavros VassosAction-Based Imperative Programming with YAGIInternational Workshop on Cognitive RoboticsShow publication in PURE
Alexander Felfernig, Gerald Ninaus and Florian-Christoph ReinfrankEliciting Stakeholder Preferences for Requirements PrioritizationWorkshop on Human Decision Making in Recommender Systems (Decisions@RecSys 2012)27-31Show publication in PURE
Michael Reip, Gerald Steinbauer and Alexander FerreinImproving Belief Management for High-‐Level Robot Programs by Using Diagnosis TemplatesInternational Workshop on Principles of DiagnosisShow publication in PURE
Franz WotawaOpen research challenges of localizing faults in programs using constraintsProceedings of the 4th Workshop on Constraints in Software Testing, Verification, and AnalysisShow publication in PURE
Birgit Gertraud Hofer, Franz Wotawa and Rui AbreuAI for the win: improving spectrum-based fault localizationACM SIGSOFT Software Engineering Notes1-8Show publication in PURE
Simona Alina Nica and Franz WotawaUsing Constraints for Equivalent Mutant DetectionWorkshop on Formal Methods in the Development of SoftwareShow publication in PURE
Alexander Pilz and Tillmann MiltzowSelection of Extreme Points and Halving Edges of a Set by its Chirotope28th European Workshop on Computational Geometry85-88Show publication in PURE
Rui Abreu, André Riboira and Franz WotawaConstraint-based Debugging of SpreadsheetsProceedings of the 15th Ibero-American Conference on Software EngineeringShow publication in PURE
Alexander PilzAugmentability to Cubic Graphs28th European Workshop on Computational Geometry29-32Show publication in PURE
Valentin Constantin Chimisliu and Franz WotawaModel Based Test Case Generation for Distributed Embedded SystemsInternational Conference on Industrial Technologyp-pShow publication in PURE
Gerald SteinbauerA Survey about Faults of Robots used in RoboCupRoboCup 2012: Robot Soccer World Cup XVI344-355Show publication in PURE
Oswin Aichholzer, Howard Cheng, Satyan Devadoss, Thomas Hackl, Stefan Huber, Brian Li and Andrej RisteskiWhat makes a tree a straight skeleton?Collection of Abstracts of the 28th European Workshop on Computational Geometry 2012137-140Show publication in PURE
Birgit Gertraud Hofer and Franz WotawaSpectrum Enhanced Dynamic Slicing for better Fault LocalizationECAI 2012 - 20th European Conference on Artificial Intelligence.420-425Show publication in PURE
Tobias Gritschacher and Wolfgang SlanyStanding on the shoulders of their peers: success factors for massive cooperation among children creating open source animations and games on their smartphones11th International Conference on Interaction Design and Children, IDC '12264-267Show publication in PURE
Karl Voit, Keith Andrews and Wolfgang SlanyTagging Might Not Be Slower Than Filing in FoldersCHI EA '12 Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems, Extended Abstracts (CHI2012)2063-2068Show publication in PURE
Ingo Pribik and Alexander FelfernigTowards Persuasive Technologies for Software Development Environments7th International Conference on Persuasive Technology227-238Show publication in PURE
Valentin Constantin Chimisliu and Franz WotawaCategory Partition Method and Satisfiability Modulo Theories for Test Case GenerationProc. of the International Workshop on Automation of Software TestShow publication in PURE
Bernhard Aichernig and Elisabeth JöbstlTowards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as ConstraintsWorkshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)752-757Show publication in PURE
Wolfgang SlanyMobile Visual Game Programming by ChildrenWorkshop "Opportunities and Challenges when Designing and Developing Games with/for Kids" at the 4th International Conference on Fun and Games 2012?-?Show publication in PURE
Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, Christina Koeffel, Manfred Tscheligi and Peter WolkerstorferPractical Usability in XP Software Development ProcessesACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions208-217Show publication in PURE
Bernhard AichernigThe Science of Killing Bugs in a Black Box - (Keynote Talk)Programming Languages6-11Show publication in PURE
Bernhard Aichernig and Elisabeth JöbstlTowards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement CheckingModel-Based Testing (MBT)88-102Show publication in PURE
Stefan Kohlbrecher, Karen Petersen, Gerald Steinbauer, Johannes Maurer, Suzana Uran, Peter Lepej, Rodrigo Ventura, Christian Dornhege, Andreas Hertle, Raymond Sheh and Johannes PellenzCommunity-Driven Development of Standard Software Modules for Search and Rescue RobotsIEEE International Symposium on Safety Security and Rescue RoboticsShow publication in PURE
Siegfried Podesser, Gerald Steinbauer and Franz WotawaSelective Belief Management for High-‐Level Robot ProgramsInternational Workshop on Principles of DiagnosisShow publication in PURE
Florian-Christoph Reinfrank, Alexander Felfernig and Gerald NinausResolving Anomalies in Configuration Knowledge BasesFoundations of Intelligent Systems311-320Show publication in PURE
Monika Mandl and Alexander FelfernigImproving the Performance of Unit CritiquingInternational Conference on User Modeling, Adaption, and Personalization176-187Show publication in PURE
Li Chen, Marco deGemmis, Alexander Felfernig, Pasquale Lops, Francesco Ricci, Giovanni Semeraro and Martijn WillemsenWorkshop on human decision making in recommender systems: Decisions@RecSys'12Proceedings of the ACM Conference on Recommender Systems 2012347-348Show publication in PURE
Ingo Hans Pill and Thomas QuaritschOptimizations for the Boolean Approach to Computing Minimal Hitting SetsECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track648-653Show publication in PURE
Oswin Aichholzer, Matias Korman, Alexander Pilz and Birgit VogtenhuberGeodesic order typesProc. 18th Annual International Computing and Combinatorics Conference (COCOON '12),216-227Show publication in PURE
Ingo Hans Pill and Thomas QuaritschAn LTL SAT Encoding for Behavioral DiagnosisProceedings of the 23rd International Workshop on Principles of Diagnosis67-74Show publication in PURE
Birgit Gertraud Hofer and Franz WotawaReducing the size of dynamic slicing with constraint solving2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 201241-48Show publication in PURE
Gerald Ninaus, Alexander Felfernig and Florian-Christoph ReinfrankAnonymous Preference Elicitation for Requirements PrioritizationFoundations of Intelligent Systems349-356Show publication in PURE
Rui Abreu, Andrè Riboira and Franz WotawaDebugging of Spreadsheets: A CSPbased ApproachSoftware Reliability Engineering Workshops (ISSREW)159-164Show publication in PURE
Martin Kandlhofer, Gerald Steinbauer, Petra Sundström and Astrid WeissEvaluating the long-term impact of RoboCupJunior: A first investigationRiE 201287-94Show publication in PURE
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, P.A. Ramos and G. SalazarThe 2-page crossing number of knACM Symposium on Computational Geometry397-403Show publication in PURE
Bernhard Aichernig and Elisabeth JöbstlEfficient Refinement Checking for Model-Based Mutation TestingProceedings of the 12th International Conference on Quality Software (QSIC 2012)21-30Show publication in PURE
Simona Alina Nica and Franz WotawaEqMutDetect – A Tool for Equivalent Mutant Detection in Embedded SystemsWorkshop on Intelligent Solutions in Embedded Systems57-62Show publication in PURE
Bernhard Peischl, Martina Ziefle and Andreas HolzingerA Mobile Information System für Improved Navigation in Public TransportShow publication in PURE
Andreas Holzinger, Evgenia Popova, Bernhard Peischl and Martina ZiefleOn complexity reduction of user interfaces for safety‐critical systemsShow publication in PURE
Gerald SteinbauerThe 2012 Safety, Security, and Rescue Robotics Summer SchoolShow publication in PURE
Alexander Felfernig and Leopold WeningerGruppenentscheidungsprozesse im Requirements EngineeringShow publication in PURE
Iulia-Dana Nica and Franz WotawaConDiag - Computing minimal diagnoses using a constraint solverShow publication in PURE
Gerald SteinbauerA Standard Robotics Software Architecture for RoboCup Rescue based on ROS — Development Continuation and Result DisseminationShow publication in PURE
Gerald SteinbauerCommunity-Driven Development of Standard Software Modules for Search and Rescue RobotsShow publication in PURE
Alexander Felfernig and Gerald NinausGroup Recommendation Algorithms for Requirements PrioritizationShow publication in PURE
Karl Voit, Keith Andrews and Wolfgang SlanyCreating a Comparative Environment for PIM EvaluationShow publication in PURE
Martin Kandlhofer, Gerald Steinbauer and Astrid WeissEducational Robotics - Evaluating long-term effectsShow publication in PURE
2011
Book
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard FriedrichRecommender Systems - An Introduction (japanese edition)978-4-320-12296-3Show publication in PURE
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard FriedrichRecommender SystemsShow publication in PURE
Siegfried PodesserImplementation Aspects of Anonymous Credential Systems for Mobile Trusted PlatformsShow publication in PURE
Proceedings
Alexander Felfernig, Li Chen and Monika MandlProceedings of the 1st International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'11)Show publication in PURE
Journal Article
Franz WotawaOn the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support SystemsInternational journal of agricultural and environmental information systems2,
63-82,
2011, DOIShow publication in PURE
Monika Schubert and Alexander FelfernigBFX: Diagnosing Conflicting Requirements in Constraint-Based RecommendationInternational journal on artificial intelligence tools20,
297-312,
2011Show publication in PURE
Monika Mandl, Alexander Felfernig, Erich Teppan and Monika SchubertConsumer Decision Making in Knowledge-based RecommendationJournal of Intelligent Information Systems37,
1-22,
2011, DOIShow publication in PURE
O. Aichholzer, F. Aurenhammer, T. Hackl, B. Jüttler, M. Oberneder and Z. SirComputational and structural advantages of circular boundary representationInternational Journal of Computational Geometry and Applications21,
47-69,
2011, DOIShow publication in PURE
Alexander Felfernig and Monika SchubertPersonalized Diagnoses for Inconsistent User RequirementsArtificial Intelligence for Engineering Design, Analysis and Manufacturing25,
175-183,
2011, DOIShow publication in PURE
Andreas Falkner, Alexander Felfernig and Albert HaagRecommendation Technologies for Configurable ProductsAI Magazine32,
99-108,
2011Show publication in PURE
Robin Burke, Alexander Felfernig and Mehmet GoekerThe Future of Recommender Systems: Research and ApplicationsAI Magazine32,
99-108,
2011Show publication in PURE
Stefan Janisch, Martin Ebner and Wolfgang SlanyInformatische Bildung mithilfe eines MOOCErziehung & Unterricht167,
18-26,
2011Show publication in PURE
Alexander Felfernig, Markus Stumptner and Juha TiihonenIntroduction: Special Issue on ConfigurationArtificial Intelligence for Engineering Design, Analysis and Manufacturing25,
1-4,
2011Show publication in PURE
Christian Schwarzl and Franz WotawaTest case generation in practice for communicating embedded systemsElektrotechnik und Informationstechnik
,
240-244,
2011Show publication in PURE
Oswin Aichholzer, B. Ábrego, S. Fernández-Merchant, J. Leanos and G. SalazarThere is a unique crossing-minimal rectilinear drawing of k18Electronic Notes in Discrete Mathematics 38,
547-552,
2011Show publication in PURE
Safdar Zaman, Wolfgang Slany, Nadeem Ahsan, Farhan Hyder and Farukh NadeemNeural Network based Clustering using Visual Features of Characters’ Shape in ImageInternational journal of video & image processing and network security11,
12-22,
2011Show publication in PURE
Bernhard Aichernig, Bernhard Peischl and Franz WotawaModellbasiertes Testen (MBT) in der SoftwareentwicklungTU Graz Research
,
16-18,
2011Show publication in PURE
Conference/Workshop Article
Andreas Holzinger, Martin Brugger and Wolfgang SlanyApplying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability TestingProceedings of the 8th International Conference on electronic Business and Telecommunications53-56Show publication in PURE
Safdar Zaman, Wolfgang Slany and Gerald SteinbauerROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant IssuesSaudi International Electronics, Communications and Photonics ConferenceShow publication in PURE
Birgit Gertraud Hofer and Franz WotawaHow to combine slicing-hitting-set-computation with spectrum-based fault localization22nd International Workshop on Principles of Diagnosis114-121Show publication in PURE
Andreas Holzinger, OIivia Waclick, Frank Kappe, Stephan Lenhart, Gerbert Orasche and Bernhard PeischlRapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct TimeProceedings of the 8th International Conference on electronic Business and Telecommunications57-61Show publication in PURE
Valentin Constantin Chimisliu and Franz WotawaAbstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOSProc. of the 6th International Workshop on Automation of Software Test8-14Show publication in PURE
Iulia-Dana Nica and Franz WotawaSiMoL– A Modeling Language for Simulation and (Re-)ConfigurationWorkshop on Configuration40-43Show publication in PURE
Michael Kollar, Harald Altinger and Michael BaderThe application of pneumatic actuators in RoboCups' Middle Size LeagueThe application of pneumatic actuators in RoboCups' Middle Size League117-126Show publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaFrom Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms22nd International Workshop on Principles of Diagnosis203-210Show publication in PURE
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang SlanyTagTree: Exploring Tag-Based Navigational StructuresInformation und Wissen: global, sozial und frei? 516-518Show publication in PURE
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald KrennUML in Action: A Two-Layered Interpretation for TestingThird IEEE International workshop UML and Formal Methods (UML & FM 2010)1-8Show publication in PURE
Gerald Steinbauer and Franz WotawaOn the Evaluation and Certification of the Robustness of Autonomous Intelligent SystemsInternational Workshop on Principles of Diagnosis167-170Show publication in PURE
Franz Wotawa, Simona Alina Nica and Mihai NicaConstraint-Based Debugging Combining Mutations and Distinguishing Test CasesProceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011)Show publication in PURE
Alexander Ferrein, Stephen Marrais, Anet Potgieter and Gerald SteinbauerRoboCupJunior: A Vehicle for S&T Education in Africa?IEEE AFRICONShow publication in PURE
Gerhard Leitner, F. Ferrara, Alexander Felfernig and C. TassoDecision Support in the Smart HomeWorkshop on Human Decision Making in Recommender Systems1-8Show publication in PURE
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald KrennEfficient Mutation Killers in Action2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011)120-129Show publication in PURE
Gerald Steinbauer and Franz WotawaEvaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous RobotsICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic EnvironmentsShow publication in PURE
Simona Alina NicaOn the Improvement of the Mutation Score Using Distinguishing Test Cases2011 Fourth IEEE International Conference on Software Testing, Verification and Validation423-426Show publication in PURE
Franz WotawaAdaptive autonomous systems - From the system's architecture to testingProceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics SystemsShow publication in PURE
Wolfgang Herzner, Rupert Schlick and Elisabeth JöbstlFault-Based Generation of Test Cases from UML-Models – Approach and Experiences30th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2011)270-283Show publication in PURE
Stephan Gspandl, Michael Reip, Andreas Hechenblaickner, Gerald Steinbauer, Máté Wolfram and Christoph ZehentnerThe Ontology Lifecycle in RoboCup: Population From Text and ExecutionRoboCup International SymposiumShow publication in PURE
Simona Alina Nica, Mihai Nica and Franz WotawaDetecting Equivalent Mutants by Means of Constraint SystemsThe Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)Show publication in PURE
Monika Mandl, Alexander Felfernig and Juha TiihonenEvaluating Design Alternatives for Feature Recommendations in Configuration SystemsProceedings of the 13th IEEE Conference on Commerce and Enterprise Computing34-41Show publication in PURE
Karl Voit, Keith Andrews, Wolfgang Wintersteller and Wolfgang SlanyTagTree: Exploring Tag-Based Navigational StructuresInformation und Wissen: global, sozial und frei?516-518Show publication in PURE
Simona Alina Nica, Rudolf Ramler and Franz WotawaIs Mutation Testing Scalable for Real-World Software Projects?The Third International Conference on Advances in System Testing and Validation LifecycleShow publication in PURE
Christian Schwarzl, Bernhard Aichernig and Franz WotawaCompositional Random Testing Using Extended Symbolic Transition SystemsTesting Software and Systems179-194Show publication in PURE
Stephan Gspandl, Ingo Hans Pill, Michael Reip and Gerald SteinbauerBelief Management for Autonomous Robots using History-Based DiagnosisInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert SystemsShow publication in PURE
Alexander Felfernig, Christoph Zehentner and Paul BlazekCoreDiag: Eliminating Redundancy in Constraint SetsProceedings of the 2011 Workshop on the Principles of Diagnosis219-224Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia, Pavel Valtr and Birgit VogtenhuberOn k-Gons and k-Holes in Point SetsProc. 23nd Annual Canadian Conference on Computational Geometry CCCG 201121-26Show publication in PURE
Alexander Felfernig and Erich TeppanDecoy Effects in Financial Service E‐Sales SystemsWorkshop on Human Decision Making in Recommender Systems1-8Show publication in PURE
Stefan Galler, Thomas Quaritsch, Martin Weiglhofer and Franz WotawaThe IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking11th International Conference On Quality Software1-10Show publication in PURE
Franz Wotawa(Still) open research questions to be solved in the context of smart autonomous systems – Extended abstractProceedings of the Austrian Robotics Workshop9-11Show publication in PURE
Bernhard Peischl and Franz WotawaAn Abstract Operational Framework for Dependence Models in Software DebuggingProceedings of the ICST Workshop on Testing and Debugging (TeBug)Show publication in PURE
Monika Mandl, Alexander Felfernig, Juha Tiihonen and Klaus IsakStatus Quo Bias in Configuration SystemsProceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems105-114Show publication in PURE
Alexander FelfernigGroup Decision Support for Requirements NegotiationProceedings of UMAP'11 Workshop on Decision and Recommendation Acceptance Issues in Recommender Systems27-34Show publication in PURE
Stephan Gspandl, Ingo Hans Pill, Michael Reip, Gerald Steinbauer and Alexander FerreinBelief Management for High-Level Robot ProgramsInternational Joint Conference on Artificial IntelligenceShow publication in PURE
O. Aichholzer, M. Cetina, R. Fabila-Monroy, J. Leanos, G. Salazar and J. UrrutiaConvexifying monotone polygons while maintaining internal visibilityXIV Encuentros de Geometría Computacional35-38Show publication in PURE
Karl Voit, Keith Andrews and Wolfgang SlanyTagTree: Storing and Re-finding Files Using TagsInformation Quality in e-Health471-481Show publication in PURE
Christian Stickel, Andreas Holzinger and Alexander FelfernigMeasuring Emotions: Towards rapid and low cost methodologiesACM Conference on Recommender SystemsShow publication in PURE
Alexander Felfernig and Monika SchubertPersonalizing Diagnoses for Inconsistent Constraint SetsInternational Workshop on Principles of Diagnosis146-153Show publication in PURE
Alexander Felfernig, Li Chen and Monika MandlWorkshop on human decision making in recommender systems: Decisions@RecSys'11Proceedings of the ACM Conference on Recommender Systems 2011389-390Show publication in PURE
Máté Wolfram, Stephan Gspandl, Michael Reip and Gerald SteinbauerRobust Robotics Using History-Based-Diagnosis in IndiGologAustrian Robotics WorkshopShow publication in PURE
Franz Wotawa and Mihai NicaProgram debugging using constraints – Is it feasible?Proceedings of the 11th International Conference on Quality Software (QSIC)236-243Show publication in PURE
Andreas Holzinger, Lamija Basic, Bernhard Peischl and Matjaz DebevcHandwriting Recognition on Mobile Devices: State of the art technology, usability and business analysisProceedings of the 8th International Conference on electronic Business and Telecommunications219-227Show publication in PURE
Oswin Aichholzer, A. García, F. Hurtado and J. TejelCompatible matchings in geometric graphsEncuentros de Geometría Computacional145-148Show publication in PURE
O. Aichholzer, W. Aigner, F. Aurenhammer, K. Cech Dobiasova, B. Juettler and G. RoteTriangulations with circular arcsProc. 19th International Symposium on Graph Drawing296-307Show publication in PURE
O. Aichholzer, G. Aloupis, E. Demaine, M. Demaine, V. Dujmović, F. Hurtado, A. Lubiw, G. Rote, André Schulz, D. Souvaine and A. WinslowConvexifying polygons without losing visibilitiesCanadian Conference on Computational Geometry229-234Show publication in PURE
Gerald SteinbauerA Survey on the Nature of Faults of Autonomous Robot SystemsICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot SystemsShow publication in PURE
Franz WotawaOn the use of constraints in dynamic slicing for program debuggingProceedings of the ICST Workshop on Testing and Debugging (TeBug)Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Hernán González-Aguilar, Thomas Hackl, Marco A. Heredia, Clemens Huemer, Jorge Urrutia and Birgit Vogtenhuber4-Holes in Point SetsCollection of Abstracts of the 27th European Workshop on Computational Geometry 2011115-118Show publication in PURE
Oswin Aichholzer, Thomas Hackl and Birgit VogtenhuberOn 5-gons and 5-holesProceedings of XIV Encuentros de Geometría Computacional 20117-10Show publication in PURE
Alexander Felfernig, Monika Schubert and Florian-Christoph ReinfrankReAction: Personalized Minimal Repair Adaptations for Customer RequestsFlexible query answering systems13-24Show publication in PURE
Thesis
Birgit VogtenhuberCombinatorial Aspects of [Colored] Point Sets in the PlaneShow publication in PURE
Other Article
Petra Pichler and Daniel LeschingerRobotikworkshop für Einsteiger, NachmittagskursShow publication in PURE
Petra Pichler and Daniel LeschingerRobotikworkshop für Einsteiger, VormittagskursShow publication in PURE
Christian Stickel, Andreas Holzinger and Alexander FelfernigMeasuring Emotions: Towards rapid and low cost methodologiesShow publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaFrom Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set AlgorithmsShow publication in PURE
2010
Book
Dietmar Jannach, Markus Zanker, Alexander Felfernig and Gerhard FriedrichRecommender Systems - An Introduction978-0-521-49336-9Show publication in PURE
Book Chapter
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach and Markus ZankerDeveloping Constraint-based RecommendersRecommender Systems Handbook1-29Show publication in PURE
Bernhard AichernigA systematic introduction to mutation testing in unifying theories of programmingTesting Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures243-287Show publication in PURE
Proceedings
Alexander Felfernig, Walid Maalej and Anil Kumar ThurimellaProceedings of the 3rd International Workshop on Managing Requirements Knowledge (@RE'2010)Show publication in PURE
Alexander Felfernig and Franz WotawaProceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge BasesShow publication in PURE
Journal Article
Syed Nadeem Ahsan, Muhammad Tanvir Afzal, Safdar Zaman, Christian Gütl and Franz WotawaMining Effort Data from the OSS Repository of Developer's Bug Fix ActivityJournal of IT in Asia3,
67-80,
2010Show publication in PURE
Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim ComasEnvironmental decision support systems based on models and model-based reasoningEnvironmental engineering and management journal9,
189-195,
2010Show publication in PURE
Alexander Felfernig and Juha TiihonenTowards Recommending Configurable OfferingsInternational journal of mass customisation3,
389-406,
2010, DOIShow publication in PURE
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong and Wang YiCredo Methodology: Modeling and Analyzing A Peer-to-Peer System in CredoElectronic Notes in Theoretical Computer Science 266,
33-48,
2010Show publication in PURE
Farukh Nadeem, Stefano Chessa, Erich Leitgeb and Safdar ZamanThe Effects of Weather on the Life Time of Wireless Sensor Networks Using FSO/RF CommunicationRadioengineering19,
262-270,
2010Show publication in PURE
Alexander Ferrein, Nils Siebl and Gerald SteinbauerHyrid control for autonomous systems - Integrating learning, deliberation and reactive controlRobotics and autonomous systems58,
1037-1038,
2010Show publication in PURE
Andreas Beer, Johannes Gaertner, Nysret Musliu, Werner Schaffhauser and Wolfgang SlanyAn AI-based break-scheduling system for supervisory personnelIEEE Intelligent Systems25,
60-73,
2010Show publication in PURE
O. Aichholzer, W. Aigner, F. Aurenhammer, T. Hackl, B. Jüttler, E. Pilgerstorfer and M. RablDivide-and conquer for Voronoi diagrams revisitedComputational Geometry: Theory and Applications43,
688-699,
2010, DOIShow publication in PURE
Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer and Marcel KyasResource Modeling for Timed Creol ModelsElectronic Notes in Theoretical Computer Science 266,
63-75,
2010Show publication in PURE
Mihai Nica, Bernhard Peischl and Franz WotawaConstraint-based configuration of embedded automotive softwareInternational journal of mass customisation3,
2010, DOIShow publication in PURE
Oswin Aichholzer, Thomas Hackl, Clemens Huemer, Ferran Hurtado and Birgit VogtenhuberLarge bichromatic point sets admit empty monochromatic 4-gonsSIAM Journal on Discrete Mathematics23,
2147-2155,
2010, DOIShow publication in PURE
Oswin Aichholzer, Sergio Cabello, Ruy Fabila-Monroy, David Flores-Peñaloza, Thomas Hackl, Clemens Huemer, Ferran Hurtado and David R. WoodEdge-removal and non-crossing configurations in geometric graphsDiscrete Mathematics & Theoretical Computer Science12,
75-86,
2010Show publication in PURE
Conference/Workshop Article
Oswin Aichholzer, Thomas Hackl and Birgit VogtenhuberCompatible pointed pseudo-triangulationsProc. 22nd Annual Canadian Conference on Computational Geometry CCCG 201091-94Show publication in PURE
Monika Schubert, Alexander Felfernig and Monika MandlFastXplain: Conflict Detection for Constraint-Based Recommendation ProblemsTrends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems621-630Show publication in PURE
Tim Niemüller, Alexander Ferrein, Gerhard Eckel, David Pirro, Tobias Kellner, Patrick Podbregar, Christof Rath and Gerald SteinbauerProviding ground-truth data for the nao robot platformRoboCup International SymposiumShow publication in PURE
Alexander Felfernig, Monika Mandl, Juha Tiihonen and Monika SchubertPersonalized Product ConfigurationMultikonferenz Wirtschaftsinformatik 20102251-2263Show publication in PURE
Oswin Aichholzer, Daniel Detassis, Thomas Hackl, Gerald Steinbauer and Johannes ThonhauserPlaying Pylos with an Autonomous RobotInternational Conference on Intelligent Robots and Systems2507-2508Show publication in PURE
Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich TeppanEfficient Explanations for Inconsistent Constraint SetsProceedings of the 19th European Conference on Artificial Intelligence1043-1044Show publication in PURE
O. Aichholzer, W. Aigner, F. Aurenhammer and B. JüttlerExact medial axis computation for triangulated solids with respect to piecewise linear metricsCurves and Surfaces1-27Show publication in PURE
O. Aichholzer, F. Aurenhammer, T. Hackl, C. Huemer, A. Pilz and B. Vogtenhuber3-Colorability of pseudo-triangulationsProc. 26th European Workshop on Computational Geometry (EuroCG'10)21-24Show publication in PURE
Stefan Galler, Andreas Maller and Franz WotawaAutomatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data GenerationInternational Workshop on Automation of Software Test1-8Show publication in PURE
O. Aichholzer, W. Aigner, F. Aurenhammer, K. Dobiásová and B. JüttlerArc triangulationsProc. 26th European Workshop on Computational Geometry (EuroCG'10)17-20Show publication in PURE
Ansgar Bredenfeld, Alexander Hofmann and Gerald SteinbauerRobotics in Education Initiatives in Europe - Status, Shortcomings and Open QuestionsTeaching Robotics-Teaching with Robotics Workshop @ SIMPARShow publication in PURE
[No Value] Zahid Hussain and Wolfgang SlanyAnalyzing real mobile web usage of a multimedia streaming application through log files11th ACM SIGMM International Conference on Multimedia Information Retrieval (MIR 2010)401-404Show publication in PURE
Alexander Felfernig, Walid Maalej, Monika Mandl, Francesco Ricci and Monika SchubertRecommendation and Decision Technologies for Requirements EngineeringProceedings of the ICSE 2010 Workshop on Recommender Systems in Software Engineering1-5Show publication in PURE
Harald Brandl, Martin Weiglhofer and Bernhard AichernigAutomated Conformance Verification of Hybrid SystemsProceedings of the 10th International Conference on Quality Software3-12Show publication in PURE
Gerald Steinbauer and Franz WotawaOn the Way to Automated Belief Repair for Autonomous RobotsInternational Workshop on Principles of DiagnosisShow publication in PURE
Alexander Felfernig, Monika Mandl, Anton Pum and Monika SchubertEmpirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based RecommendersTrends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems631-640Show publication in PURE
Franz WotawaFault Localization Based On Dynamic Slicing and Hitting-Set ComputationProceedings of the 10th International Conference on Quality SoftwareShow publication in PURE
Jörg Weber and Franz WotawaCombining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software FailuresInternational Conference on Agents and Artificial IntelligenceShow publication in PURE
Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard LeitnerPersonalized User Interfaces for Product ConfigurationProceedings for the 2010 International Conference on Intelligent User Interfaces317-320Show publication in PURE
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz WotawaWhen BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)479-488Show publication in PURE
Alexander Nussbaumer, Christian Gütl and Walther NeuperA Methodology for Adaptive Competence Assessment and Learning Path Creation ISACProceedings of the International Conference on Interactive Computer-aided Learning (ICL 2010)1-4Show publication in PURE
Christian Schwarzl and Bernhard PeischlGeneration of Executable Test Cases Based on Behavioral UML System ModelsAST 20101-4Show publication in PURE
Franz Wotawa and Ingo Hans PillOn Classification and Modeling Issues in Distributed Model‐based DiagnosisProceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET)27-32Show publication in PURE
Werner Schafhauser, Andreas Beer, Johannes Gaertner, Nysret Musliu and Wolfgang SlanyTEMPLE - an end-user language for staff scheduling problemsThird international workshop on model-based metaheuristics???-???Show publication in PURE
Franz Wotawa, Mihai Nica and Bernhard AichernigGenerating Distinguishing Tests using the MINION Constraint SolverProc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)1-6Show publication in PURE
Stefan Galler, Christoph Zehentner and Franz WotawaAIana: An AI Planning System for Test Data Generation1st ECOOP Workshop on Testing Object-Oriented Systems1-8Show publication in PURE
Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz WotawaFrom Sketch to PlanInternational Workshop on Qualitative ReasoningShow publication in PURE
Alexander Felfernig, Monika Mandl, Stefan Schippel, Monika Schubert and Erich TeppanAdaptive Utility-based RecommendationTrends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems641-650Show publication in PURE
Syed Nadeem Ahsan and Franz WotawaImpact Analysis of SCRs Using Single and Multi-Label Machine Learning ClassificationInternational Symposium on Empirical Software Engineering and MeasurementShow publication in PURE
Martin Weiglhofer and Bernhard AichernigUnifying input output conformanceProceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland181-201Show publication in PURE
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald KrennModel-Based Mutation Testing of Hybrid SystemsFormal Methods for Components and Objects228-249Show publication in PURE
Mihai Nica, Simona Alina Nica and Franz WotawaDoes testing help to reduce the number of potentially faulty statement in debugging?TAIC PART 2010,Show publication in PURE
Mihai Nica, Simona Alina Nica and Franz WotawaUsing Distinguishing Tests to Reduce the Number of Fault CandidatesProceedings of the 21st International Workshop on the Principles of DiagnosisShow publication in PURE
Alexander Felfernig and Monika SchubertDiagnosing Inconsistent RequirementsECAI 2010 Workshop on Configuration15-20Show publication in PURE
Alexander FelfernigTowards Persuasive Technologies for Improved Software QualityUMAP 2010 Workshop on User Models for Motivational Systems1-7Show publication in PURE
Alexander Hofmann and Gerald SteinbauerThe Regional Center Concept for RoboCupJunior in AustriaRobotics in EducationShow publication in PURE
Christian Schwarzl and Bernhard PeischlStatic- and Dynamic Cosistency Analysis of UML State Chart ModelsModel Driven Engineering Languages and Systems151-165Show publication in PURE
Alexander Ferrein and Gerald SteinbauerOn the Way to High-Level Programming for Resource-Limited Embedded Systems with GologSimulation, Modeling, and Programming for Autonomous Robots229-240Show publication in PURE
Roderick Paul Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan and Richard SeeberRATSY - A new Requirements Analysis Tool with SynthesisComputer Aided Verification425-429Show publication in PURE
Alexander Ferrein and Gerald SteinbauerOn the Way to High-Level Control for Resource-Limited Embedded Systems with GologECAI 2010 Workshop on "Intelligent Engineering Techniques for Knowledge Bases" (I-KBET'2010)Show publication in PURE
Harald Milchrahm, Wolfgang Slany and Andreas HolzingerProcess Patterns for Agile UsabilityAdvances in Computer Human InteractionShow publication in PURE
Simona Alina Nica, Mihai Nica and Franz WotawaImproving the Mutation Score by Means of Distinguishing Test CasesProceedings of the 22nd Nordic Workshop on Programming Theory - NWPT '10Show publication in PURE
Oswin Aichholzer, Ruy Fabila-Monroy, Thomas Hackl, Marc van Kreveld, Alexander Pilz, Pedro Ramos and Birgit VogtenhuberBlocking delaunay triangulationsProc. 22nd Annual Canadian Conference on Computational Geometry CCCG 201021-24Show publication in PURE
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang SlanyA hybrid LS-CP solver for the shifts and breaks design problemHybrid Metaheuristics46-61Show publication in PURE
Alexander Felfernig and Monika SchubertA Diagnosis Algorithm for Inconsistent Constraint Sets21st International Workshop on the Principles of Diagnosis0-0Show publication in PURE
Luca Di Gaspero, Johannes Gaertner, Nysret Musliu, Andrea Schaerf, Werner Schafhauser and Wolfgang SlanyA hybrid LS-CP solver for the shifts and breaks design problemProceedings of PATAT 2010490-492Show publication in PURE
Alexander Felfernig, Monika Schubert, Monika Mandl and Philipp GhirardiniDiagnosing Inconsistent Requirements Preferences in Distributed Software ProjectsProceedings of the 3rd International Workshop on Social Software Engineering495-502Show publication in PURE
Christian Schwarzl and Bernhard PeischlTest Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition SystemsProceedings in Quality Software (QSIC) 2010122-131Show publication in PURE
Bernhard AichernigMapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systemsProc. of Formal Methods for Components and Objects (FMCO) 2009228-249Show publication in PURE
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard Aichernig, Frank S. de Boer and Andreas GriesmayerThe Credo Methodology - (Extended Version)Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers41-69Show publication in PURE
Alexander FelfernigImpacts of Decoy Effects on the Decision Making AbilityIEEE Conference on E-Commerce and Enterprise Computing112-119Show publication in PURE
Alexander Felfernig, Monika Schubert, Monika Mandl, Gerhard Friedrich and Erich TeppanEfficient Explanations for Inconsistent Constraint Sets2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases21-26Show publication in PURE
Michael Hofbaur, Mathias Brandstötter, Christoph Schörghuber and Gerald SteinbauerOn-line Kinematics Reasoning for Reconfigurable Robot DrivesRobotics and Automation (ICRA), 2010 IEEE International Conference on5441-5446Show publication in PURE
Andreas Holzinger, Stefan Mayr, Wolfgang Slany and Matjaz DebevcThe influence of AJAX on Web UsabilityProceedings of the International Conference on E-Business (ICE-B 2010), Athens124-127Show publication in PURE
Alexander Ferrein, Tim Niemüller and Gerald SteinbauerTeam Zadeat 2010 --- Application for ParticipationRoboCup International SymposiumShow publication in PURE
Stefan Galler, Martin Weiglhofer and Franz WotawaSynthesize it: from Design by Contract™to Meaningful Test Input DataSoftware Engineering and Formal Methods 20101-10Show publication in PURE
Andreas Holzinger, Martin Schlögl, Bernhard Peischl and Matjaz DebevcPreferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability researchProceedings of the International Conference on E-Business (ICE-B 2010), Athens14-21Show publication in PURE
Alexander FelfernigEfficient Explanations for Inconsistent Constraint SetsShow publication in PURE
Monika SchubertRecommendation and Decision Technologies For Requirements EngineeringShow publication in PURE
Andreas Holzinger and Bernhard PeischlP.52 Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability researchShow publication in PURE
Harald Altinger, Michael Maier and Roland AngerbauerRoboCup Middle Size LeagueShow publication in PURE
Petra Pichler and Norbert RathRobotikworkshop für Einsteiger, VormittagskursShow publication in PURE
Alexander Nussbaumer, Christian Gütl and Walther NeuperA Methodology for Adaptive Competence Assessment and Learning Path Creation ISACShow publication in PURE
Petra Pichler and Norbert RathRobotikworkshop für Einsteiger, NachmittagskursShow publication in PURE
Wolfgang SlanyMobile Scratch Programming on Android Smart Phones: Usability and New FeaturesShow publication in PURE
Wolfgang AignerExact medial axis computation for circular arc boundariesShow publication in PURE
Alexander Felfernig, Monika Mandl, Juha Tiihonen, Monika Schubert and Gerhard LeitnerPersonalized User Interfaces for Product ConfigurationShow publication in PURE
We use cookies in order to be able to provide you with the best possible service in the future. In the privacy policy you will find further information as well as the possibility of withdrawal. Save preferences