Activities per year
Activities
- 350 - 400 out of 412 results
Search results
-
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
Franz Wotawa (Speaker)
9 Dec 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
No Selection Lemma for Empty Triangles
Daniel Perz (Speaker)
6 Jul 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
-
On the Automation of Audio Plugin Testing
Franz Wotawa (Speaker)
7 Dec 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Automated Diagnosis of Cyber-Physical Systems
Franz Wotawa (Speaker)
28 Jul 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
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
-
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
-
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
-
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
-
An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration
Alexander Felfernig (Speaker)
10 Feb 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
-
Monitoring hierarchical systems for safety assurance
Franz Wotawa (Speaker)
17 Sept 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
On Compatible Matchings
Daniel Perz (Speaker)
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
-
Step-wise Development of Provably Correct Actor Systems
Bernhard Aichernig (Speaker)
25 Oct 2021Activity: 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
-
Towards Automated Testing and Debugging of Feature Models
Alexander Felfernig (Speaker)
31 May 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
-
Group Recommendation Techniques for Feature Modeling and Configuration
Viet Man Le (Speaker)
21 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
How to Encourage girls to code Through Embroidery Patterns?
Sarina Gursch (Speaker)
21 Jun 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A framework for the automation of testing computer vision systems
Lorenz Klampfl (Speaker)
20 May 2021 → 21 May 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Active Model Learning of Stochastic Reactive Systems
Martin Tappler (Speaker)
10 Dec 2021Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Adaptive Shielding under Uncertainty
Martin Tappler (Speaker)
27 May 2021Activity: 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
-
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
-
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
-
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
-
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
-
On the Verification of Diagnosis Models
Franz Wotawa (Speaker)
26 Jul 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
-
Gioan's Theorem for complete bipartite graphs
Alexandra Weinberger (Speaker)
Mar 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
-
Challenges of testing self-adaptive systems
Liliana Marie Prikler (Speaker)
12 Sept 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
-
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
-
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
-
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
-
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
-
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
-
25th RoboCup International Symposium
Marco De Bortoli (Speaker)
12 Jul 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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