Activities per year
Activities
- 1 - 50 out of 412 results
Search results
-
Fixing PDDL Domains Using Delta Debugging
Marco De Bortoli (Speaker)
11 Sept 2023 → 14 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Enhancing Temporal Planning by Sequential Macro-Actions
Marco De Bortoli (Speaker)
20 Sept 2023 → 22 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems
Franz Wotawa (Speaker)
20 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems
Viet Man Le (Speaker)
1 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Conjunctive Query Based Constraint Solving for Feature Model Configuration
Viet Man Le (Speaker)
29 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis
Viet Man Le (Speaker)
12 Feb 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Intelligent Building Control with User Feedback in the Loop
Valentin Kaisermayer (Speaker), Daniel Muschick (Contributor), Markus Gölles (Contributor), Gerald Schweiger (Contributor), Thomas Schwengler (Contributor), Michael Mörth (Contributor), Richard Heimrath (Contributor), Thomas Mach (Contributor), Michael Herzlieb (Contributor) & Martin Horn (Contributor)
12 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Characterizing rotation systems of generalized twisted drawings via 5-tuples
Birgit Vogtenhuber (Speaker)
3 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Surveying and Generalizing Methods for Combining Dynamic Slicing with Spectrum-based Fault Localization
Franz Wotawa (Speaker)
12 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Perspectives on Gender Mainstreaming in International Cooperation in STI: A Comparative Study
Sarina Gursch (Speaker)
20 Apr 2023 → 21 Apr 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
The MAP Metric in Information Retrieval Fault Localization
Thomas Hirsch (Speaker)
14 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis
Viet Man Le (Speaker)
3 Oct 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Smart Monitoring for Safety-Assurance in Autonomous Driving
Franz Wotawa (Speaker)
9 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Analyzing Residual Risks when Introducing Monitoring and Diagnosis into Systems
Franz Wotawa (Speaker)
11 Aug 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation
Liliana Marie Prikler (Speaker)
10 Aug 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Recognizing rotation systems of generalized twisted drawings in $O(n^2)$ time
Birgit Vogtenhuber (Speaker)
3 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Decomposition-Based Job-Shop Scheduling with Constrained Clustering
Martin Gebser (Speaker)
18 Jan 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Paper Presentation - Pruning Boolean Expressions to Shorten Dynamic Slices
Thomas Hirsch (Speaker)
3 Oct 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Coding Initiative Provides Different Approaches to Inspire Girls for Programming
Sarina Gursch (Speaker)
30 Nov 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Compatible Spanning Trees in Simple Drawings of Kn
Rosna Paul (Speaker)
13 Sept 2022 → 16 Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
WipeOutR: automated redundancy detection for feature models
Viet Man Le (Speaker)
14 Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Challenges of testing self-adaptive systems
Liliana Marie Prikler (Speaker)
12 Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Checked Coverage for Test Suite Reduction – Is It Worth the Effort?
Franz Wotawa (Speaker)
2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Gioan's Theorem for complete bipartite graph
Alexandra Weinberger (Speaker)
Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Inequalities for Women in Science, Technology and Innovation
Sarina Gursch (Speaker)
28 Apr 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Perfect Matchings with crossings
Rosna Paul (Speaker)
7 Jun 2022 → 9 Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Edge Partitions of Complete Geometric Graphs
Joachim Orthaber (Speaker) & Johannes Obenaus (Speaker)
8 Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
25th RoboCup International Symposium
Marco De Bortoli (Speaker)
12 Jul 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Rotation systems and simple drawings in surfaces
Rosna Paul (Speaker)
27 Jun 2022 → 2 Jul 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Supporting Long-term Robot Autonomy using Model-based Engineering
Stalin Munoz Gutierrez (Speaker)
22 Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach
Franz Wotawa (Speaker)
12 Oct 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On the Verification of Diagnosis Models
Franz Wotawa (Speaker)
26 Jul 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Gioan's Theorem for complete bipartite graphs
Alexandra Weinberger (Speaker)
Mar 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Shooting Stars in Simple Drawings of K_{m,n}
Alexandra Weinberger (Speaker)
Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs
Alexandra Weinberger (Speaker)
Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Table-based knowledge representations for industrial feature models
Viet Man Le (Speaker)
12 Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Test case aggregation for efficient feature model testing
Viet Man Le (Speaker)
13 Sept 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Knowledge-based Configurator for Building Magic: The Gathering Card Decks
Alexander Felfernig (Speaker)
16 Sept 2021Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Java2CSP - A model-based diagnosis tool not only for software debugging
Franz Wotawa (Speaker)
16 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Configuring Multiple Instances with Multi-Configuration
Alexander Felfernig (Speaker)
16 Sept 2021Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Extracting information from driving data using k-means clustering
Nour Chetouane (Speaker)
10 Jul 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Plane Matchings in Simple Drawings of Complete Graphs
Alexandra Weinberger (Speaker)
7 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
No Selection Lemma for Empty Triangles
Daniel Perz (Speaker)
2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Critical and Challenging Scenario Generation based on Automatic Action Behavior Sequence Optimization
Lorenz Klampfl (Speaker)
23 Aug 2021 → 26 Aug 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Martin Tappler (Speaker)
21 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Predicting Answers in Preference Elicitation Dialogs
Alexander Felfernig (Speaker)
16 Sept 2021Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Perfect Matchings with Crossings
Rosna Paul (Speaker)
7 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On the Automation of Audio Plugin Testing
Franz Wotawa (Speaker)
7 Dec 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Monitoring hierarchical systems for safety assurance
Franz Wotawa (Speaker)
17 Sept 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Plane paths in simple drawings of complete graphs
Alexandra Weinberger (Speaker)
5 Jul 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science