Personal Information
Record not found: Person
Richard Halatschek
Richard is a Student Project Assistant and studies Information and Computer Engineering at Graz University of Technology. He is leading the Student Team Field Robotics TEDUSAR and also part of the Volunteer Fire Department TU Graz. His research interests are within the field of autonomous off-road navigation and exploration for unmanned ground vehicles.
Publications
Perfect Matchings with Crossings
Incidental Data
Reducing the Length of Dynamic and Relevant Slices by Pruning Boolean Expressions
Computational Aspects of Formal Argumentation
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models
iFM 2023 - 18th International Conference, iFM 2023, Proceedings
257-276
Knowledge-based recommender systems
INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems
Proceedings of the 38th AAAI Conference on Artificial Intelligence
10616-10623
On the suitability of checked coverage and genetic parameter tuning in test suite reduction
Evaluating Group Recommender SystemsGroup Recommender Systems63-75
Handling PreferencesGroup Recommender Systems95-107
Personality, Emotions, and Group DynamicsGroup Recommender Systems165-175
Learning minimal automata with recurrent neural networks
Geometric Thickness of Multigraphs is ∃R-Complete
LATIN 2024
336-349
A framework for embedded software portability and verification
Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles
Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs
Active model learning of stochastic reactive systems (extended version)
There is a unique crossing-minimal rectilinear drawing of K_18
Bicolored Order Types
Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
ConclusionsSignals and Communication Technology177-178
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings
138-159
Abstracting Assumptions in Structured Argumentation
Predictive Reranking using Code Smells for Information Retrieval Fault Localization
2024 IEEE 22nd World Symposium on Applied Machine Intelligence and Informatics, SAMI 2024 - Proceedings
277-282
It’s Not a Feature, It’s a Bug
ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)
27-39
Applying CT-FLA for AEB Function Testing
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023
237-245
Argumentative Reasoning in ASPIC+ under Incomplete Information
Proceedings KR
531-541
An overview of video recommender systems: state-of-the-art and research issues
Compatible Spanning Trees in Simple Drawings of Kn
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers
16-24
MRNG
Bottleneck Analysis via Grammar-based Performance Fuzzing<sup>*</sup>
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023
180-185
Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Proceedings KR
440-450
Perfect Match in Video Retrieval
MultiMedia Modeling - 29th International Conference, MMM 2023, Proceedings
634-639
Tourist Flow Simulation in GAMA Using Historical Data Parameters
Information and Communication Technologies in Tourism 2023
255-260
Drawings of Complete Multipartite Graphs up to Triangle Flips
39th International Symposium on Computational Geometry, SoCG 2023
Generating concrete test cases from vehicle data using models obtained from clustering
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023
70-77
Specifying Configurable Videos with Feature Models
Coloring circle arrangements: New 4-chromatic planar graphs
Evaluating Action-Based Temporal Planners Performance in the RoboCup Logistics League
RoboCup 2022
87-99
FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and DiagnosisECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings3190 - 3195
Software fault localization in spreadsheetsHandbook of Software Fault Localization425-450
Analysis Operations for Constraint-based Recommender Systems
RecSys '23: Proceedings of the 17th ACM Conference on Recommender Systems
709–714
Attribute Repair for Threat Prevention
Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Proceedings
135-148
Software fault localizationHandbook of Software Fault Localization1-117
An overview of consensus models for group decision-making and group recommender systems
Using Data Abstraction for Clustering in the Context of Test Case Generation
Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023
260-271
Enhancing Temporal Planning by Sequential Macro-Actions
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings
595-604
Wireless Threats Against V2X Communication
Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023
529-540
Temporal Planning and Acting in Dynamic Domains
RoboCup 2023: Robot World Cup XXVI
Symbolic Artificial Intelligence Methods for Prescriptive AnalyticsDigital Transformation385-414
Improving Applicability of Planning in the RoboCup Logistics League using Macro-actions Refinement
RoboCup 2023: Robot World Cup XXVI
A Systematic Mapping Study of DigitalTwins for Diagnosis in Transportation
Reasoning in Assumption-based Argumentation using Tree-decompositions
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings
192-208
Surveying and Generalizing Methods for Combining Dynamic Slicing with Spectrum-based Fault Localization
A Model-based diagnosis integrated architecture for dependable autonomous robots
34th International Workshop on Principles of Diagnosis (DX’23)
Learning Non-linear White-box Predictors: A Use Case in Energy Systems
2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA)
507-512
An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage
LargeTESModelingToolkit: A Modelica Library for Large-scale Thermal Energy Storage Modeling and Simulation
Approaching flexible production with planning methods
Harnessing the Sunlight on Facades - an Approach for Determining Vertical Photovoltaic Potential
12th International Conference on Geographic Information Science (GIScience 2023)
82:1-82:7
Identifying Critical Scenarios in Autonomous Driving During Operation
10th Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'23)
RecSys '23: Proceedings of the 17th ACM Conference on Recommender Systems
1255-1258
Calculating Shadows with U-Nets for Urban Environments
12th International Conference on Geographic Information Science (GIScience 2023)
63:1-63:6
Predicting Energy Consumption and Traversal Time of Ground Robots for Outdoor Navigation on Multiple Types of Terrain
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Multi-Robot Support System for Fighting Wildfires in Challenging Environments: System Design and Field Test Report
Solving Constraint Satisfaction Problems with Database Queries: An Overview
„Nicht für die Fachhochschule, sondern für das Leben lernen wir.“Teaching Award (Plus) 2022 – 2023 - Beste Lehre an der FH JOANNEUM47-54
Game-based Configuration Task Learning with ConGuess: An Initial Empirical Analysis
Collaborative Recommendation of Search Heuristics For Constraint Solvers
Fixing PDDL Domains Using Delta Debugging
34th International Workshop on Principle of Diagnosis
Das Internet der Dinge für die Energiewende
FLAMA: A Collaborative Effort to Build a New Framework for the Automated Analysis of Feature Models
SPLC '23: Proceedings of the 27th ACM International Systems and Software Product Line Conference
16–19
Robust Integration of Planning, Execution, Recovery and Testing to Win the RoboCup Logistics League
RoboCup 2023: Robot World Cup XXVI
Traversability analysis for off-road environments using locomotion experiments and earth observation data
From Smartphone to Fabric: Mobile Embroidery Programming
A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation
Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023
431-442
Analysis Operations On The Run
27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings
111–116
Explaining software fault predictions to spreadsheet users
Graphs with large total angular resolution
Perspectives on Gender Mainstreaming in International Cooperation in STI: A Comparative Study
Proceedings of the 6th International Conference on Gender Research, ICGR 2023
146-154
Machine Learning Based Risk Prediction for Major Adverse Cardiovascular Events for ELGA-Authorized Clinics
Geometric dominating sets - a minimum version of the No-Three-In-Line Problem
A Systematic Approach to Automotive Security
Inserting One Edge into a Simple Drawing is Hard
Learning Mealy machines with one timer
Residual Risk Management Strategies at System Level presented for ACC/LKA Behavioural Competencies
IAVVC 2023 - IEEE International Automated Vehicle Validation Conference, Proceedings
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis
AAAI-23 Technical Tracks 5
6442-6449
Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents
Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023
211-222
Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems
Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023
698-709
Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing
Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023
167-170
Empty Triangles in Generalized Twisted Drawings of Kn
LiDAR-Based Scene Understanding for Navigation in Unstructured Environments
Advances in Service and Industrial Robotics - RAAD 2023
178-185
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming
Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
6541-6549
ROBO-MOLE: An assistant robot system for first responders in subterranean scenarios
An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems
Solving Multi-Configuration Problems
Proceedings of the 25th International Workshop on Configuration (ConfWS 2023)
45-50
k-Solutions: A Solver for the Dynamic Track of ICCMA 2023
Can’t We Do Better? A cost-benefit analysis of proposal writing in a competitive funding environment
Conditionally Optimal Parallel Coloring of Forests
37th International Symposium on Distributed Computing, DISC 2023
A Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions
Optimierung des Energieverbrauchs und der Durchquerungszeit von Bodenrobotern für die Navigation im unwegsamen Gelände
Education and Awareness for Artificial Intelligence
Informatics in Schools
AcbAr - Atomic-based Argumentation Solver
Constructing Neural Network-Based Models for Simulating Dynamical Systems
ASPforABA - ASP-based Algorithms for Reasoning in ABA
Bichromatic Perfect Matchings with Crossings
Graph Drawing and Network Visualization
124-132
Safety Shielding under Delayed Observation
Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)
80-85
Flipping Plane Spanning Paths
WALCOM
49-60
Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs
Proceedings of the 39th European Workshop on Computational Geometry (EuroCG 2023)
33:1-33:7
Two Equivalent Representations of Bicolored Order Types
Proceedings of the 39th European Workshop on Computational Geometry (EuroCG 2023)
1:1-1:6
Bichromatic Perfect Matchings with Crossings
Proceedings of the 39th European Workshop on Computational Geometry (EuroCG 2023)
28:1-28:7
The MAP Metric in Information Retrieval Fault Localization
Distributed Graph Coloring Made Easy
Conjunctive Query Based Constraint Solving for Feature Model ConfigurationThe 12th Conference on Information Technology and Its Applications - Proceedings of the International Conference CITA 2023357–367
Fast Distributed Brooks' Theorem.
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023.
2567-2588
Optimal Deterministic Massively Parallel Connectivity on Forests
Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA
2589-2631
Dependable Internet of Future ProductsÖsterreichische Forschungskapazität in der Produktion
Finding Critical Scenarios for Automated Driving Systems
A Universal Person Follower Interface for Mobile Robot Systems
Proceedings of the Austrian Robotics Workshop 2023
Developing an Addition and Subtraction Trainer with Automated Categorization of Errors for Learners in Their First Two Years of Primary School
Proceedings of EdMedia + Innovate Learning 2023
832-843
Visual Exploration of Repetitive Patterns on Ancient Peruvian Pottery
An Event-Based Approach to Autonomous Navigation
Proceedings of the Austrian Robotics Workshop 2023
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings
243-252
Gaining Insights into a Robot Localization Monitor Using Explainable Artificial Intelligence
Advances in Service and Industrial Robotics - RAAD 2023
170-177
On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications
Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings
40-51
Impact of Robot Related User Pre-experience on Cognitive Load, Trust, Trustworthiness and Satisfaction with VR Interfaces
Advances in Service and Industrial Robotics. RAAD 2023
123-131
Removing Popular Faces in Curve Arrangements
Graph Drawing and Network Visualization - 31st International Symposium, GD 2023, Revised Selected Papers
18-33
Different Types of Isomorphisms of Drawings of Complete Multipartite Graphs
Graph Drawing and Network Visualization - 31st International Symposium, GD 2023, Revised Selected Papers
34-50
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings
85-95
Empty Triangles in Generalized Twisted Drawings of K<sub>n</sub>
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Revised Selected Papers
40-48
Shooting Stars in Simple Drawings of K<sub>m</sub> <sub>,</sub> <sub>n</sub>
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Revised Selected Papers
49-57
Compatible Spanning Trees in Simple Drawings of K<sub>n</sub>
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Revised Selected Papers
16-24
Smart Monitoring for Safety-Assurance in Autonomous Driving
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
542-547
Fingerprinting and analysis of Bluetooth devices with automata learning
Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems
Advances and Trends in Artificial Intelligence. Theory and Applications
33-44
Collective Perception
Model-based techniques for software fault localizationHandbook of Software Fault Localization393-424
Distributed Symmetry Breaking on Power Graphs via Sparsification
PODC 2023 - Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing
157-167
Towards a Review on Simulated ADAS/AD Testing
Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023
112-122
User Needs for Explanations of Recommendations
UMAP 2023 - Proceedings of the 31st ACM Conference on User Modeling, Adaptation and Personalization
54-65
Modelling in engineering
Shooting Stars in Simple Drawings of $K_{m,n}$
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers
49–57
Fast Dynamic Programming in Trees in the MPC Model
SPAA 2023 - Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures
443-453
Computational Evaluation of Model-Agnostic Explainable AI Using Local Feature Importance in Healthcare
Artificial Intelligence in Medicine - 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Proceedings
114-119
Empty Triangles in Generalized Twisted Drawings of $K_n$
Graph Drawing and Network Visualization - 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers
40–48
Adaptive Massively Parallel Connectivity in Optimal Space
SPAA 2023 - Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures
431-441
Estimation of Robot-Specific Parameters for Robot Motion Models
Proceedings of the Austrian Robotics Workshop 2022
42-47
Incidental data: observation of privacy compromising data on social media platforms
Explaining Machine Learning Predictions of Decision Support Systems in Healthcare
A Framework for Integrating Automated Diagnosis into Simulation
Industrial Artificial Intelligence Technologies and Applications
113-127
Using textual bug reports to predict the fault category of software bugs
On the application of clustering for extracting driving scenarios from vehicle data
Detecting non-natural language artifacts for de-noising bug reports
Smart Energy Systems Modeling - Component Exchange during Simulation
Proceedings from the 2nd International Sustainable Energies Conference 2022
Industrial Artificial Intelligence Technologies and Applications9788770227919
Model-Based Diagnosis for Autonomous Robots
A systematic literature review on benchmarks for evaluating debugging approaches
On the Verification of Diagnosis Models
Industrial Artificial Intelligence Technologies and Applications
189-203
A Dymola-Python framework for data-driven model creation and co-simulation
Proceedings of Asian Modelica Conference 2022, Tokyo, Japan, November 24-25, 2022
165-170
Using ASP for Model-based Diagnosis
Individual and Group Decision Making and Recommender SystemsRecommender Systems Handbook789-832
Lifting Symmetry Breaking Constraints with Inductive Logic Programming (Extended Abstract)
A Comparative Study: Classification Vs. Matrix Factorization for Therapeutics Recommendation
Foundations of Intelligent Systems - 26th International Symposium, ISMIS 2022, Proceedings
467-476
Gioan’s Theorem for complete bipartite graphs
Proc. $38^th$ European Workshop on Computational Geometry (EuroCG 2022)
31:1-31:6
Coding Initiative Provides Different Approaches to Inspire Girls for Programming
30th International Conference on Computers in Education Conference Proceedings
655-659
Intersections of Double-Wedge Arrangements
Proc. 38th European Workshop on Computational Geometry (EuroCG 2022)
58:1-58:6
Perceptions of Qualitative Spatial Arrangements of Three Objects
15th International Conference on Spatial Information Theory (COSIT 2022)
9:1-9:14
On Weighted Sums of Numbers of Convex Polygons in Point Sets
Automata Learning meets Shielding
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings
335-359
Inserting One Edge into a Simple Drawing is Hard
Spreadsheet debugging
Identification and Verification of Attack-Tree Threat Models in Connected Vehicles
SAE 2022 Intelligent and Connected Vehicles Symposium
An Open IoT Platform
2022 2nd International Conference on Sustainable Mobility Applications, Renewables and Technology, SMART 2022
1-9
Challenges of testing self-adaptive systems
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
224-228
Generating Robot-Dependent Cost Maps for Off-Road Environments Using Locomotion Experiments and Earth Observation Data
2022 Sixth IEEE International Conference on Robotic Computing (IRC)
Linial for lists.
An overview of machine learning techniques in constraint solving
The AMADEE-20 Robotic Exploration Cascade: An Experience ReportAdvances in Service and Industrial Robotics - RAAD 2022477-484
Gioan’s Theorem for complete bipartite graphs
IoT Middleware Platforms for Smart Energy Systems: An Empirical Expert Survey
Fast Distributed Vertex Splitting with Applications.
36th International Symposium on Distributed Computing (DISC 2022)
26:1-26:24
Exponential Speedup over Locality in MPC with Optimal Memory.
36th International Symposium on Distributed Computing (DISC 2022)
9:1-9:21
Appraisal of a Random Bit Generator Utilizing Smartphone Sensors as Entropy Source
2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2022
Removing Popular Faces in Curve Arrangements by Inserting one more Curve
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism
19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022
215-225
Constrained Training of Recurrent Neural Networks for Automata Learning
Software Engineering and Formal Methods
Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs
38th International Symposium on Computational Geometry (SoCG 2022)
5:1--5:18
Testing Photometric Stereo Applications
Proceedings - 2022 9th International Conference on Dependable Systems and Their Applications, DSA 2022
163-171
Pruning Boolean Expressions to Shorten Dynamic Slices
2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)
Disjoint Compatibility via Graph Classes
Graph-Theoretic Concepts in Computer Science - 48th International Workshop, WG 2022, Revised Selected Papers
16-28
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
FinRec
RecSys 2022 - Proceedings of the 16th ACM Conference on Recommender Systems
688-690
On the Use of Qualitative Reasoning in Autonomous Driving
Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'22)
RecSys 2022 - Proceedings of the 16th ACM Conference on Recommender Systems
667-670
Monitoring Hierarchical Systems for Safety Assurance
Intelligent Distributed Computing XIV
331-340
Inequalities for Women in Science, Technology and Innovation
Proceedings of the 5th International Conference on Gender Research
88-96
Using genetic algorithms for automating automated lane‐keeping system testing
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling
Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022
638-646
DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections
SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering
481-486
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
Greedy routing and the algorithmic small-world phenomenon.
Testing anticipatory systems
Lifting Symmetry Breaking Constraints with Inductive Logic Programming (Extended Abstract)
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning
Lifting symmetry breaking constraints with inductive logic programming
Aggregate Semantics for Propositional Answer Set Programs
Interdependencies of female board member appointments
Blocking Delaunay Triangulations from Exterior
Proc. 38th European Workshop on Computational Geometry (EuroCG 2022)
9:1-9:7
Corporate boards, interorganizational ties and profitability: the case of Japan
Flipping Plane Spanning Paths
Proc. 38th European Workshop on Computational Geometry (EuroCG 2022)
66:1-66:7
Hardness of Token Swapping on Trees
30th Annual European Symposium on Algorithms, ESA 2022
Optimising Antenna Positioning for Maximum Coverage: The Case Study of Cattle Tracking in Austrian Alps Using Long Range (LoRa) Based Monitoring System
Web and Wireless Geographical Information Systems
61-70
Off-Road Navigation Maps for Robotic Platforms using Convolutional Neural Networks
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
NASA Formal Methods
373-392
Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Interpretable Machine Learning with Brain Image and Survival Data
Message from the General Chairs AITest 2022Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022VII
Message from the Symposium ChairsProceedings - 2022 8th International Symposium on System Security, Safety, and Reliability, ISSSR 2022X-XI
Geometric Dominating Sets
Model-Driven Intelligent Decision Support SystemsIntelligent Decision Support Systems117-223
Extracting Temporal Models from Data Episodes
Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022
721-731
An Axiomatic Approach to Revising Preferences
Proceedings AAAI 2022
5676-5683
Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework
Proceedings KR
215-225
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings
177-189
Accuracy- and consistency-aware recommendation of configurations.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
79-84
Algorithms for reasoning in a default logic instantiation of assumption-based argumentation
Computational Models of Argument - Proceedings of COMMA 2022
236-247
WipeOutR: automated redundancy detection for feature models.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
164-169
Towards More Efficient Modeling and Simulation of Large-scale Thermal Energy Storages in Future Local and District Energy Systems
BS 2021 - Proceedings of Building Simulation 2021
2155-2162
Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation
Computational Models of Argument - Proceedings of COMMA 2022
320-331
ConGuess: a learning environment for configuration tasks.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
156-157
The Use of Intelligent Models in Decision SupportIntelligent Decision Support Systems411-530
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams
Computational Models of Argument - Proceedings of COMMA 2022
355-356
Test case aggregation for efficient feature model testing.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
174-177
Consistency-based integration of multi-stakeholder recommender systems with feature model configuration.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
178-182
The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles
Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Proceedings
543-554
Knowledge-based configuration of videos using feature models.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
188-192
Subterranean positioning for a semi-autonomous robot supporting emergency task forces
2022 International Conference on Localization and GNSS (ICL-GNSS)
Table-based knowledge representations for industrial feature models.
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
245-248
General Message from the IWCT 2022 Workshop ChairsProceedings of the International Workshop on Combinatorial Testingxiv
On Compatible Matchings
On crossing-families in planar point sets
Distributed Vertex Cover Reconfiguration
Distributed Vertex Cover Reconfiguration
36:1-36:23
Drawing Graphs as Spanners
Testing Software in Production Environments with Data from the Field
Proceedings - 2022 IEEE 15th International Conference on Software Testing, Verification and Validation, ICST 2022
58-69
Künstliche Intelligenz für die Erstellung von CityGML Modellen und VR Visualisierung
A Customizable Simulator for Artificial Intelligence Research to Schedule Semiconductor Fabs
2022 33rd Annual SEMI Advanced Semiconductor Manufacturing Conference, ASMC 2022
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget – a Bandgap Case Study
Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022
21-24
Learning Finite State Models fromRecurrent Neural Networks
Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings
229-248
Search-Based Testing of Reinforcement Learning
Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022)
503-510
Timed Automata Learning via SMT Solving
NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings
489-507
Work-In-Progress - Exploring the Feasibility of Using Hand Tracking in VR Application for Memory Training Exercises
Proceedings of 2022 8th International Conference of the Immersive Learning Research Network, iLRN 2022
Passive Guidance for Offroad-Vehicles
Advances in Service and Industrial Robotics - RAAD 2022
460-468
Ground Robots in Disaster Response – Why are they still not there?
Perfect Matchings with Crossings
Combinatorial Algorithms
46-59
Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space
A Novel Concept For Virtual Reality Enhanced Building Energy Modelling
Proceedings of the BauSIM Conference 2022 in Weimar, Germany
Arrangements of Approaching Pseudo-Lines
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment
1-19
A Fast Method for Explanations of Failures in Optimization-Based Robot Motion Planning
Advances in Service and Industrial Robotics - RAAD 2022
114-121
Crossing-Free Hamiltonian Cycles in Simple Drawings of the Complete Graph
Numerical and experimental study of riblet defects and their impact on performance
AIAA SciTech Forum 2022
AALpy: An active automata learning library
Checked Coverage for Test Suite Reduction – Is It Worth the Effort?
Enabling and Assessing Trust when Cooperating with Robots in Disaster Response (EASIER)
Edge Partitions of Complete Geometric Graphs
38th International Symposium on Computational Geometry (SoCG 2022)
6:1-6:16
Model-based reasoning using answer set programming
A Low-Drift LiDAR-based Odometry for Subterranean Areas
Proceedings of the Austrian Robotics Workshop 2022
17-22
The Need for a Meta-Architecture for Robot Autonomy
Offroad Terrain Classification for Mobile Robots
Proceedings of the Austrian Robotics Workshop 2022
6-11
Decomposition-Based Job-Shop Scheduling with Constrained Clustering
Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Proceedings
165-180
A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic
Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022
42-47
Evaluating Recommender Systems in Feature Model Configuration
Learning-Based Fuzzing of IoT Message Brokers
Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021
47-58
Applying matrix factorization to consistency-based direct diagnosis
Recommender Systems Beyond E-Commerce: Presence and FutureConsumer Happiness: Multiple Perspectives203-230
DirectDebug: Automated Testing and Debugging of Feature Models
Proceedings - 2021 ACM/IEEE 43rd International Conference on Software Engineering
81-85
Group Recommendation Techniques for Feature Modeling and Configuration
Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering
266-268
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
DIRECTDEBUG
Existential Abstraction on Argumentation Frameworks via Clustering
Proceedings KR 2021
549-559
Scenario-based Simulation for Energy Optimization in Learning Factory Environments
Proceedings of the Conference on Learning Factories (CLF) 2021
1-6
Power-to-x in Denmark
Ontology-based metamorphic testing for chatbots
Generating Reactive Robots' Behaviors using Genetic Algorithms
ICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence
698-707
Education in Artificial Intelligence K-12
Bisecting three classes of lines
Psychology-informed recommender systems
Crossing-optimal extension of simple drawings
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
No Selection Lemma for Empty Triangles
Rainbow polygons for colored point sets in the plane
Humanized Recommender Systems
Creative, Engaging, and Playful Making-Activities with Smartphones and Embroidery Machines
Proceedings of 5th FabLearn Europe / MakeEd Conference 2021
Task-specific information outperforms surveillance-style big data in predictive analytics
Vacuity in Synthesis
Coloring Circle ArrangementsTrends in Mathematics84-91
Empty rainbow triangles in k-colored point sets
Extracting information from driving data using k-means clustering
Proceedings - SEKE 2021
610-615
On plane subgraphs of complete topological drawings
GABezier at the SBST 2021 Tool Competition
Proceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 2021
38-39
Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging
Intelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference
519-529
Avalanche: An end-to-end library for continual learning
IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops
Utilizing constraint optimization for industrial machine workload balancing
27th International Conference on Principles and Practice of Constraint Programming, CP 2021
Critical and Challenging Scenario Generation based on Automatic Action Behavior Sequence Optimization
Proceedings - 3rd IEEE International Conference on Artificial Intelligence Testing, AITest 2021
118-127
Diagnosis of hidden faults in the RCLL
32nd International Workshop on Principle of Diagnosis
Nearest-Neighbor Decompositions of Drawings
Adjacency graphs of polyhedral surfaces
37th International Symposium on Computational Geometry, SoCG 2021
The Immunity of Users’ Item Selection from Serial Position Effects in Multi-Attribute Item Recommendation Scenarios
Proceedings 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-111
On 4-Crossing-Families in Point Sets and an Asymptotic Upper Bound
Proceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)
38:1-38:8
PrefaceTests and Proofsv-vi
Configuring Multiple Instances with Multi-Configuration
Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021)
45-47
Geometric Dominating Sets - A Minimum Version of the No-Three-In-Line Problem
Proceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)
17:1-17:7
A Fault Localization and Debugging Support Framework driven by Bug Tracking Data
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
139-142
On the Automation of Audio Plugin Testing
Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security
Evaluating recommender systems in feature model configuration.
Proceedings of the 25th ACM International Systems and Software Product Line Conference, SPLC 2021
58-63
On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection
Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security
Towards psychology-aware preference construction in recommender systems: Overview and research issues
Metamorphic Testing of Logic Theorem Prover
Proceedings of the 33rd IFIP International Conference on Testing Software and Systems
AI Techniques for Software Requirements PrioritizationArtificial Intelligence Methods For Software Engineering29-47
Integrating multiple observation sets into consistency-based diagnosis
Proceedings of the 32nd International Workshop on Principle of Diagnosis
Do Users Appreciate Explanations of Recommendations? An Analysis in the Movie Domain
RecSys 2021 - 15th ACM Conference on Recommender Systems
645–650
Plane paths in simple drawings of complete graphs
On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems
Proceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021)
Plane Matchings in Simple Drawings of Complete Graphs
Plane Matchings in Simple Drawings of Complete Graphs
6-10
AI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399
Energie System Analyse
Plane Spanning Trees in Edge-Colored Simple Drawings of Kn
Graph Drawing and Network Visualization - 28th International Symposium, GD 2020, Revised Selected Papers
482-489
Artificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435
Empty rainbow triangles in k-colored point sets
On the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268
Improved distributed Δ-coloring.
Near-Optimal Scheduling in the Congested Clique.
Distributed Graph Coloring Made Easy
Another Small but Long Step for Crossing Numbers: cr(13) = 225 and cr(14) = 315
Proceedings of the 33rd Canadian Conference on Computational Geometry (CCCG 2021)
72-77
Efficient randomized distributed coloring in CONGEST
Advances in the agent-based modeling of economic and social behavior
"Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems"Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems
Locally Checkable Labelings with Small Messages.
Explanations for over-constrained problems using QuickXPlain with speculative executions
Efficient CONGEST Algorithms for the Lovász Local Lemma.
Multivariate GARCH with dynamic beta
Perfect Matchings with Crossings
Proceedings of the Computational Geometry: Young Researchers Forum
24-27
Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.
Interconnectedness in the global financial market
Dominect: A Simple yet Deep 2-Player Board Game
Automated Diagnosis of Cyber-Physical Systems
Advances 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, Proceedings
441-452
Foundations of Real Time Predictive Maintenance with Root Cause AnalysisArtificial Intelligence for Digitising Industry47-61
Real-Time Predictive Maintenance – Model-Based, Simulation-Based and Machine Learning Based DiagnosisArtificial Intelligence for Digitising Industry63-81
Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations
Proceedings AAAI
6435-6443
Real-Time Predictive Maintenance – Artificial Neural Network Based DiagnosisArtificial Intelligence for Digitising Industry83-101
Strong Explanations in Abstract Argumentation
Proceedings AAAI
6496-6504
Folding polyominoes with holes into a cube
Flip distances between graph orientations
Crossing-optimal extension of simple drawings
Proc. XIX Encuentros de Geometría Computacional
5
Online Shielding for Stochastic Systems
NASA Formal Methods - 13th International Symposium, NFM 2021, Proceedings
231-248
Coloring Circle Arrangements: New 4-Chromatic Planar Graphs
Proceedings of the 37th European Workshop on Computational Geometry (EuroCG$$2021)
42:1-42:7
Harnessing incremental answer set solving for reasoning in assumption-based argumentation
Autonomous robot navigation for search and rescue operations in remote terrain
A Reinforcement Learning Environment For Job-Shop Scheduling
An augmented reality user interface for operating a mobile robot in analog planetary research
Austrian Robotics Workshop 2021
MAKER DAYS for Kids: Learnings from a Pop-up Makerspace
Robotics in Education
360-365
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021)
2062-2068
Interactive Teaching Concept for a Data Analytics Workshop in Learning Factories
Proceedings of the Conference on Learning Factories (CLF) 2021
Logics in Artificial Intelligence
Development and Evaluation of a Mixed Reality Assistance System in the Context of Manual Assembly
Proceedings of the Conference on Learning Factories (CLF) 2021
Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions
Proceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021
213-219
Autonomous robot navigation in alpine terrain
Experiences from city-scale simulation of thermal grids
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
Formal Methods - 24th International Symposium, FM 2021, Proceedings
524-542
AALpy: An Active Automata Learning Library
Automated Technology for Verification and Analysis - ATVA 2021
67-73
Enforcement in Formal ArgumentationHandbook of Formal Argumentation445-510
How to Encourage girls to code Through Embroidery Patterns
Proceedings of the 4th International Conference on Gender Research, ICGR 2021
122-129
Message from the QRS 2021 Steering Committee Chairs, General Chairs, and Program Chairs2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)xviii-xx
Energy Prediction under Changed Demand Conditions: Robust Machine Learning Models and Input Feature Combinations
Proceedings of the 17th International Conference of the International Building Performance Simulation Association (Building Simulation 2021)
A Conversion of Feature Models into an Executable Representation in Microsoft Excel
Intelligent Systems in Industrial Applications
153-168
A Universal Mechanism for Implementing Functional Mock-up Units
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH
121-129
Creating a robot localization monitor using particle filter and machine learning approaches
Portable runtime environments for Python-based FMUs
Proceedings of 14th Modelica Conference 2021
419--424
Coupling physical and machine learning models
Proceedings of 14th Modelica Conference 2021
335-341
Data shortage for urban energy simulations? An empirical survey on data availability and enrichment methods using machine learning
Workshop on Intelligent Computing in Engineering
301-309
What we can learn from how programmers debug their code
Proceedings - 2021 IEEE/ACM 8th International Workshop on Software Engineering Research and Industrial Practice, SER and IP 2021
37-40
Identifying non-natural language artifacts in bug reports
On Compatible Matchings
WALCOM
221-233
No Selection Lemma for Empty TrianglesTrends in Mathematics720-725
Dominect: a simple yet deep 2-player board game
Active Model Learning of Stochastic Reactive Systems
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings
481-500
Recent verification and validation methodologies for advanced driver-assistance systemsAutonomous Driving and Advanced Driver-Assistance Systems (ADAS)295-318
Adaptive Shielding under Uncertainty.
2021 American Control Conference, ACC 2021
3467-3474
Health of smart ecosystems
ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
1491-1494
Aspects of Learning-based Security Testing
L*-Based Learning of Markov Decision Processes (Extended Version)
Perfect Matchings with crossings
A framework for the automation of testing computer vision systems
Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021
121-124
A fully open-source approach to intelligent edge computing
The Components of Cooperative Perception-a Proposal for Future Works
A Differentiated Discussion About AI Education K-12
An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems
1-8
EDLRIS: A European Driving License for Robots and Intelligent Systems
Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS’21)
RecSys 2021 - 15th ACM Conference on Recommender Systems
783-786
Product metrics for spreadsheets — a systematic review
CIMAX
Complete Geometric Graphs with no Partition into Plane Spanning Trees
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Proceedings of the 30th USENIX Security Symposium
1469-1486
Intelligent Systems in Industrial Applications
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
14-17
Design, Code, Stitch, Wear, and Show It! Mobile Visual Pattern Design in School Contexts
2020 IEEE Frontiers in Education Conference, FIE 2020 - Proceedings
Foundations of Intelligent Systems
Bridging the Gap: A Computer Science Pre-MOOC for First Semester Students
Antifragility Predicts the Robustness and Evolvability of Biological Networks through Multi-Class Classification with a Convolutional Neural Network
Mobile Application for Active Consumer Participation in Building Energy Systems
BauSIM 2020 - 8th Conference of IBPSA Germany and Austria
281-288
An Industry 4.0 Production Workplace Enhanced by Using Mixed Reality Assembly Instructions with Microsoft HoloLens
Proceedings of the Joint Austrian Computer Vision and Robotics Workshop
Interrogating Virtual Agents
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings
20-34
Step-Wise Development of Provably Correct Actor Systems
Leveraging Applications of Formal Methods, Verification and Validation
426-448
It's Time to Play Safe
AMADEE-20 Exploration Cascade using Robotic Vehicles
Design and Implementation of an AI Programming Playground for Schools
2nd International Workshop on Education in Artificial Intelligence K-12 in conjunction with the 21st International Conference on Artificial intelligence in Education
Universal Offroad Robot Platform for Disaster Response
EDLRIS: European Driving License for Robots and Intelligent Systems
Joint Austrian Computer Vision and Robotics Workshop
The RoboCup Logistics League from a Planning Perspective
ICAPS 2020
Towards ASP-based Scheduling for Industrial Transport Vehicles
Joint Austrian Computer Vision and Robotics Workshop
34-41
Learning Abstracted Non-deterministic Finite State Machines
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings
52-69
From Passive to Active: Learning Timed Automata Efficiently
NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings
1-19
Recommender systems in the healthcare domain: state-of-the-art and research issues
Empty Rainbow Triangles in k-colored Point Sets
Disjoint tree-compatible plane perfect matchings
Root cause prediction based on bug reports
Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
171-176
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings
3-22
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings
35-51
Explaining Object Motion Using Answer Set Programming
Foundations of Intelligent Systems
298-307
Drawing on SFL for Making Intelligent Decisions in RBL
Supporting Feature Model-Based Configuration in Microsoft Excel
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms
Simple Drawings of Km,n Contain Shooting Stars
On Using k-means Clustering for Test Suite Reduction
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
380 - 385
Mutation Testing for Artificial Neural Networks: An Empirical Evaluation
Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020
356-365
On Using Ontologies for Testing Compilers
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
181-184
On the use of answer set programming for model-based diagnosis
Trends 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, Proceedings
518-529
Improved distributed degree splitting and edge coloring.
Using model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310
The power of locality - Exploring the limits of randomness in distributed computing.
The Seventh Answer Set Programming Competition: Design and Results
Rumor spreading with bounded in-degree.
Efficient Deterministic Distributed Coloring with Small Bandwidth.
Distributed Approximation on Power Graphs
Distance-2 Coloring in the CONGEST Model
Coloring Fast Without Learning Your Neighbors' Colors
Local Conflict Coloring Revisited - Linial for Lists
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems
Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings
267-276
An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants
Minimal representations of order types by geometric graphs
Scheduling drones to cover outdoor events
Proceedings of the 36th European Workshop on Computational Geometry (EuroCG 2020))
24:1-24:7
Evacuating Robots from a Disk Using Face-to-Face Communication
ASP-Core-2 Input Language Format
Drawing Graphs as Spanners
Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers
310-324
An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem
Job Shop Scheduling with Multi-shot ASP
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
Minimizing The Maximum Distance Traveled To Form Patterns With Systems of Mobile Robots
Proceedings of the 32nd Canadian Conference on Computational Geometry (CCCG 2020)
73-79
Inserting one edge into a simple drawing is hard
Graph-Theoretic Concepts in Computer Science - 46th International Workshop, WG 2020, Revised Selected Papers
325-338
Message from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viii
Shield Synthesis for Reinforcement Learning
Leveraging Applications of Formal Methods, Verification and Validation
290-306
Classification of Distributed Binary Labeling Problems
Brief Announcement - Classification of Distributed Binary Labeling Problems
Analysis of Cloud Forensics Techniques for Emerging Technologies
Proceedings - 2020 International Conference on Computing, Networking, Telecommunications and Engineering Sciences Applications, CoNTESA 2020
106-111
Female students in computer science education
Planning-based security testing of web applications with attack grammars
Matrix Factorization Based Heuristics Learning for Solving Constraint Satisfaction Problems
Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings
287-297
A Parallelized Variant of Junker’s QuickXPlain Algorithm
Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings
457-468
Reducing Cognitive Load through the Worked Example Effect within a Serious Game Environment
Proceedings of 6th International Conference of the Immersive Learning Research Network, iLRN 2020
1-8
Action-based programming with yagi - an update on usability and performance
Trends 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, Proceedings
557-569
Conmerge – arbitration of constraint-based knowledge bases
Trends 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, Proceedings
127-139
Eine Multi-Roboter-Architektur für die RoboCup Logistics League
A laddering approach to explore the motivations of taking computer advice for supply networks formation
Enabling large-scale dynamic simulations and reducing model complexity of district heating and cooling systems by aggregation
Routing in polygonal domains
Teaching Distributed Software Architecture by Building an Industrial Level E-Commerce ApplicationStudies in Computational Intelligence43-54
Social choice-based explanations
Social choice-based explanations
Interfaces and Human Decision Making for Recommender Systems
RecSys 2020 - 14th ACM Conference on Recommender Systems
613-618
Group Recommender User Interfaces for Improving Requirements Prioritization
UMAP 2020 - Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization
221-229
KNOWLEDGECHECKR: Intelligent Techniques for Counteracting Forgetting
ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings
3034-3039
Intelligent Recommendation & Decision Technologies for Community-Driven Requirements Engineering
ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings
3017-3025
Towards machine learning based configuration
22nd International Configuration Workshop
25-28
An adaptive system for autonomous driving
A swarm design paradigm unifying swarm behaviors using minimalistic communication
Ontology-based test generation for automated and autonomous driving functions
A Formal Modeling Approach for Portable Low-Level OS Functionality
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings
155-174
Collective event detection using bio-inspired minimalistic communication in a swarm of underwater robots
ALIFE 2019
634-641
Ontology-driven Security Testing of Web Applications
Proceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020
115-122
A Robust and Flexible System Architecture for Facing the RoboCup Logistics League Challenge
RoboCup 2018: Robot World Cup XXII
488-499
Development of a Scenario Simulation Platform to Support Autonomous Driving Verification
Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems
Dependable Internet of Things
Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019
Efficient Information-Flow Verification Under Speculative Execution
Efficient Information-Flow Verification Under Speculative Execution
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Proceedings
140-156
Shooting Stars in Simple Drawings of K<sub>m,n</sub>
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing
Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019
418-425
Graphs with large total angular resolution
Graph Drawing and Network Visualization
193-199
On the industrial application of combinatorial testing for autonomous driving functions
Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
234-240
Triangles in the colored Euclidean plane
Simple Drawings and Rotation Systems Beyond the Complete Graph
Crucial tool features for successful combinatorial input parameter testing in an industrial application
Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
188-189
Extending simple drawings with one edge is hard
Universal Reconfiguration of Facet-Connected Modular Robots by Pivots: The O(1) Musketeers
27th Annual European Symposium on Algorithms (ESA 2019)
3:1-3:14
Minimal Representations of Order Types by Geometric Graphs
Graph Drawing and Network Visualization
101-113
On the 2-Colored Crossing Number
Proceedings of the 27th International Symposium on Graph Drawing and Network Visualization (GD 2019)
87-100
Extending Simple Drawings
Graph Drawing and Network Visualization
230-243
On straight-line and topological drawings of graphs in the plane
Bounding the number of crossings for a particular class of drawings of $K_{n,n}$
Hamiltonian meander paths and cycles on bichromatic point sets.
Extending to 1-plane drawings.
Efficient segment folding is hard
Efficient Active Automata Learning via Mutation Testing
On the 2-colored crossing number
Reconfiguring edge-connected pivoting modular robots
Extending simple drawings
Research on Autonomous Driving based on a Highly Flexible Prototype Vehicle
Synthesizing adaptive test strategies from temporal logic specifications
Extending Automated FLTL Test Oracles With Diagnostic Support
Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019
354-361
Folding Polyominoes with Holes into a Cube
Proc. 31th Annual Canadian Conference on Computational Geometry CCCG 2019
164-170
On the Triangle Vector
Proc. XVIII Encuentros de Geometría Computacional
55-58
Erdos-Szekeres-Type Games
Proc. $35^th$ European Workshop on Computational Geometry EuroCG '19
23:1-23:7
Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks
Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings
766-777
On the Edge-Vertex Ratio of Maximal Thrackles
Graph Drawing and Network Visualization. GD 2019
482-495
Packing plane spanning graphs with short edges in complete geometric graphs
Flip distances between graph orientations
45th International Workshop on Graph-Theoretic Concepts in Computer Science
120-134
Perfect rainbow polygons for colored point sets in the plane
Proc. XVIII Encuentros de Geometría Computacional
43-46
Perfect rainbow polygons for colored point sets in the plane
Proc. 22nd Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3 2019)
57-58
Phänomen Open Source - Wertschöpfung durch Offenheit und Zusammenarbeit
On weighted sums of numbers of convex polygons in point sets
Introducing Agile Product Owners in a FLOSS Project
Open Source Systems
38-43
Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$
Pocket Code - A Mobile Visual Programming Framework For App Development
2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)
swarmFSTaxisUnderstanding Complex Systems213-222
Multi-shot ASP solving with clingo
Managing the Open Cathedral
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
1176-1179
Reasoning from first principles for self-adaptive and autonomous systemsPredictive Maintenance in Dynamic Systems
EduRobot TaxonomySmart Learning with Educational Robotics333-338
plasp 3: Towards Effective ASP Planning
Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization
Advances and Trends in Artificial Intelligence. From Theory to Practice
700-713
A superlinear lower bound on the number of 5-holes
Metric-based Fault Prediction for Spreadsheets
Synthesizing Reactive Systems Using Robustness and Recovery Specifications
2019 Formal Methods in Computer Aided Design, FMCAD 2019
147-151
Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction
An Approach to Test Classification in Big Android Applications
2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
300-308
Comparing two systematic approaches for testing automated driving functions
2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - Proceedings
Contributors' Impact on a FOSS Project's Quality
Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies (SQUADE ’19)
35-38
Noidy Conmunixatipn - On the Convergence of the Averaging Population Protocol
Towards swarm level optimisation: The role of different movement patterns in swarm systems
Better Android Apps using Android Vitals
Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics (WAMA ’19)
26-32
On the Complexity of Distributed Splitting Problems
On the Refinement of Spreadsheet Smells by means of Structure Information
“Computer Science for all”: Concepts to engage teenagers and non-CS students in technology
Proceedings of the 13th European Conference on Games Based Learning
667-674
Local Distributed Algorithms in Highly Dynamic Networks
Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools
IEEE Conference on Frontiers in Education (FIE) 2019
P-SLOCAL-Completeness of Maximum Independent Set Approximation
Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing
Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019
28-34
MINT-Robo: Empowering Gifted High School Students with Robotics
IEEE Conference on Frontiers in Education (FIE) 2019
Deterministic Distributed Dominating Set Approximation in the CONGEST Model
Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots
Time to Learn - Learning Timed Automata from Tests
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
216 - 235
A Sharp Threshold Phenomenon for the Distributed Complexity of the Lovász Local Lemma
District heating systems
Probabilistic black-box reachability checking (extended version)
Engaging Students in Open Source: Establishing FOSS Development at a University
Proceedings of the 52nd Annual Hawaii International Conference on System Sciences
7721-7730
REcSys'19 joint workshop on interfaces and human decision making for recommender systems
RecSys 2019 - 13th ACM Conference on Recommender Systems
560-561
Lifting Robot Exploration to 3D Environments
Equation-based modelling for dynamic optimization of district scale energy systems- A scalability study
SEST 2019 - 2nd International Conference on Smart Energy Systems and Technologies
Streamlining Value in a FOSS Project
Proceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234
A new lower bound on the maximum number of plane graphs using production matrices
Constraint-Based Testing of An Industrial Multi-Robot Navigation System
2019 IEEE International Conference On Artificial Intelligence Testing (AITest)
129-137
Evaluation of the create@school game-based learning–teaching approach
Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of Technology
ECSA '19 - Proceedings of the 13th European Conference on Software Architecture
100-104
Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models
Neural Networks to Approximate Solutions of Ordinary Differential Equations
Intelligent Computing - Proceedings of the 2019 Computing Conference
776-784
Advances in Artificial Intelligence. From Theory to Practice
Machine Learning to Approximate Solutions of Ordinary Differential Equations
Computational Science – ICCS 2019 - 19th International Conference, Proceedings
169-177
Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning
Using executable specification and regression testing for broadcast mechanism of visual programming language on smartphones
Diagnosing Sequential Circuits as Boolean Satisfaction
An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018
4932-4939
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Testing Software and Systems
3-21
Sorption thermal energy storage
L*-Based Learning of Markov Decision Processes
Formal Methods - The Next 30 Years
651 - 669
A General Method to Compare Different Co-simulation Interfaces
Simulation and Modeling Methodologies, Technologies and Applications - 7th International Conference, SIMULTECH 2017, Revised Selected Papers
351-365
Towards Issue Recommendation for Open Source Communities
IEEE/WIC/ACM International Conference on Web Intelligence
164-171
Decision Biases in Preference Acquisition
Proceedings of the 21st Configuration Workshop
20-21
Socially-Aware Diagnosis for Constraint-Based Recommendation
UMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization
121-129
An Overview of Recommender Systems in the Internet of Things
Code’n’Stitch: Design your own Embroidery Pattern - Codi It - Stitch It
Matrix Factorization based Heuristics for Constraint-based Recommenders
SAC '19, Proceedings Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
1655-1662
Design it – Code it – Stitch it – Program your Embroidery Designs on Mobile Phones
Recommender Systems for IoT Enabled Quantified-Self Applications
Girls Create Games: Lessons Learned
Learned Constraint Ordering for Consistency Based Direct Diagnosis
Advances and Trends in Artificial Intelligence
347-359
User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems
UMAP'19 Adjunct: Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization
93-98
Towards Social Choice-based Explanations in Group Recommender Systems
UMAP '19: Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization
13-21
A Networked Analysis and Engineering Framework for New Business Models
Chatbot testing using AI planning
Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019
37-44
User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems
Current approaches in applied artificial intelligence
Using model-based reasoning for enhanced chatbot communication
Advances 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, Proceedings
791-798
Recommender systems for IoT enabled quantified‐self applications
Towards Similarity-Aware Constraint-Based Recommendation
Advances and Trends in Artificial Intelligence
287-299
Testing Chatbots Using Metamorphic Relations
Testing Software and Systems
41-55
New Approaches to the Identification of Dependencies between Requirements
2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI)
1265-1270
Software Testing: According to Plan!
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
23-31
Weighted Combinatorial Sequence Testing for the TLS Protocol
IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)
A Systematic Evaluation of Transient Execution Attacks and Defenses
Proceedings of the 28th USENIX Security Symposium
249-266
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Unifying Theories of Programming
22-38
Learning and statistical model checking of system response times
Programming Behavioral Test Models for SMT Solving in Scala
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019
52-60
Learning-Based Testing of an Industrial Measurement Device
NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
1-18
Predicting and Testing Latencies with Deep Learning: An IoT Case Study
Tests 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, Proceedings
93-111
Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
Proceedings 35th International Conference on Logic Programming (Technical Communications) (ICLP 2019)
441-451
Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
How to fit a tree in a box
Proceedings of the 26th International Symposium on Graph Drawing and Network Visualization (GD 2018)
361-367
Streamlining mobile app deployment with Jenkins and Fastlane in the case of Catrobat’s Pocket Code
2018 IEEE International Conference on Innovative Research and Development (ICIRD)
1-6
In pursuit of a dynamic tree decomposition
Proceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018)
23-25
A formal TLS handshake model in LNT
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS
1-40
Online Game Jams to Attract Specific User Groups
Intersection Graphs of Rays and Grounded Segments
Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments
Bishellable drawings of $K_n$
Game Development-Based Learning Experience: Gender Differences in Game Design
Rock Bottom, the World, the Sky: Catrobat, an Extremely Large-scale and Long-term Visual Coding Project Relying Purely on Smartphones
Constructionism 2018, Vilnius
104-119
District energy systems: Modelling paradigms and general-purpose tools
Holes in 2-convex point sets
Lombardi Drawings of Knots and Links
Proceedings of the 25th International Symposium on Graph Drawing (GD 2017)
113-126
Linear transformation distance for bichromatic matchings
Testing TLS using planning-based combinatorial methods and execution framework
Spectrum-Based Fault Localization for Logic-Based Reasoning
Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018
192-199
Fault detection and localization using modelica and abductive reasoningDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems45-72
Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings
Proceedings of the 19th Annual International Conference on Digital Government Research
The dual diameter of triangulations
Arrangements of pseudocircles
Graph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers
127-139
Holes in 2-convex point sets
Combinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers
169-181
Planning-based security testing of web applications
Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018
20-26
A Driving License for Intelligent Systems
AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence
Combining spreadsheet smells for improved fault prediction
Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering
25-28
A Driving License for Intelligent Systems
Minimal Geometric Graph Representations of Order Types
Security testing for chatbots
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings
33-38
EduRobot Taxonomy
Robotics in Education 2018
EduRobot Taxonomy
Adapting unit tests by generating combinatorial test data
Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018
352-355
EduRobot Taxonomy and Papert’s Paradigm
Constructionism 2018
Pocket code build variants
2018 IEEE International Conference on Innovative Research and Development, ICIRD 2018
1-6
Enabling Teenagers to Create and Share Apps
2018 IEEE Conference on Open Systems (ICOS)
25-30
Adaptive System for Autonomous Driving
Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018
519-525
From Ontologies to Input Models for Combinatorial Testing
Model Learning and Model-Based TestingMachine Learning for Dynamic Software Analysis: Potentials and Limits74 - 100
Software configuration diagnosis? A Survey of existing methods and open challenges
Automata Learning for Symbolic Execution
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018
130 - 138
Chatbot-based tourist recommendations using model-based reasoning
Safe Reinforcement Learning via Shielding
Proceedings 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 Orleans, Louisiana, USA, February 2-7, 2018
2669-2678
Evolutionary propositionalization of multi-relational data
Bounded Synthesis of Register Transducers
Automated Technology for Verification and Analysis
494-510
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Computer Aided Verification
547-564
Using LNT Formal Descriptions for Model-Based Diagnosis
Graph Games and Reactive SynthesisHandbook of Model Checking921-962
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System
On the automation of testing a logic-based diagnosis system
Diagnosing Discrete Event Systems Using Nominal Models Only
Evolutionary Propositionalization of Multi- Relational Data
The RoboCup Rescue Victim Dataset
Automated generation of (F)LTL oracles for testing and debugging
The RoboCup Logistics League - A Testbed for Novel Concepts in Flexible Production
An Autonomous Vehicle for Parcel Delivery in Urban Areas
21st IEEE International Conference on Intelligent Transportation Systems
2961-2967
Synthesis of distributed algorithms with parameterized threshold guards
21st International Conference on Principles of Distributed Systems, OPODIS 2017
Towards Domain-Specific and Privacy-Preserving Qualified eID in a User-Centric Identity Model
2018 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-1163
Fragment-based spreadsheet debugging
Extending the Centerpoint Theorem to Multiple Points
Proc. 29th International Symposium on Algorithms and Computation (ISAAC 2018)
53:1-53:13
Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project
2018 IEEE Conference on Open Systems (ICOS)
1-6
Extending Document Exploration with Image Retrieval: Concept and First Results
Poster at IEEE/VGTC Conference on Visualization (EuroVis)
Folding Polyominoes into (Poly)Cubes
Computing Balanced Islands in Two Colored Point Sets in the Plane
Modem Illumination of Monotone Polygons
A Note on Planar Monohedral Tilings
Proc. 34th European Workshop on Computational Geometry EuroCG '18
31:1-31:6
NP-Completeness of Max-Cut for Segment Intersection Graphs
Proc. $34^th$ European Workshop on Computational Geometry EuroCG '18
32:1-32:6
Perfect $k$-Colored Matchings and $(k+2)$-Gonal Tilings
Improved Distributed Delta-Coloring
The adoption of cloud-based tools in MOOC settings - advantages and challenges
Deterministic Distributed Ruling Sets of Line Graphs
Learning to program in a constructionist way
Constructionism
888 - 911
Deterministic distributed edge-coloring with fewer colors
Quality assurance methodologies for automated driving
Brief Announcement - Local Distributed Algorithms in Highly Dynamic Networks
Group Decision Support for Requirements Management Processes
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.
19-24
Reinforcing Gender Equality by Analysing Female Teenagers’ Performances in Coding Activities: A Lesson Learned
OCSH: optimized cluster specific heuristics for the university course timetabling problem
8th International Conference on Information Systems and Technologies, ACM (ISST'18)
13-18
Recommender Systems for IoT Enabled m-Health Applications
Artificial Intelligence Applications and Innovations
227-237
Group Recommender Systems978-3-319-75067-5
LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics
Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18)
190-197
Anytime Diagnosis for Reconfiguration
An Overview of Recommender Systems in the Healthy Food Domain
Algorithms for Group RecommendationGroup Recommender Systems27-58
Group Recommender ApplicationsGroup Recommender Systems75-89
CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring
12th International Conference on the Practice and Theory of Automated Timetabling (PATAT'18)
401-404
Explanations for GroupsGroup Recommender Systems105-126
Using a Feature Model Configurator for Release Planning
Proceedings of the 22Nd International Systems and Software Product Line Conference - Volume 2
29-33
Further Choice ScenariosGroup Recommender Systems129-144
Investigating Serial Position Effects in Sequential Group Decision Making
UMAP '18: Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization
239-243
Biases in Group DecisionsGroup Recommender Systems145-155
Configuring Release Plans
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.
9-14
Diagnosis as a serviceDigital Marketplaces Unleashed557-567
Liquid Democracy in Group-based Configuration.
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.
93-98
Socially-Aware Recommendation for Over-Constrained Problems
Recent Trends and Future Technology in Applied Intelligence
267-278
Towards Utility-Based Prioritization of Requirements in Open Source Environments
26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018
406-411
Automated Identification of Type-Specific Dependencies between Requirements
2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018
688-695
Cost Benefit Analysis in Product Configuration Systems (short paper)
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.
37-40
Consistency Management Techniques for Variability Modelling
Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.
69-76
28th International Workshop on Principles of Diagnosis (DX'17)
Towards Knowledge Infrastructure for Highly Variant Voltage Transmission Systems
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.
109-118
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model
28th International Workshop on Principles of Diagnosis (DX'17)
248-263
Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design Guidelines
Health Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions - Proceedings of the 12th eHealth Conference, eHealth 2018, Vienna, Austria, May 2018
132-139
Decision Tasks and Basic AlgorithmsGroup Recommender Systems : An Introduction3-26
Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study
Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 2018
19:1-19:10
Customizing events with EventHelpr
Lazy Conflict Detection with Genetic Algorithms
Recent 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, Proceedings
175-186
Reconciling Practice and Rigour in Ontology-Based Heterogeneous Information Systems Construction
The Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 - November 2, 2018, Proceedings
205-220
Wind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems17-43
Recsys'18 joint workshop on interfaces and human decision making for recommender systems
Proceedings of the 12th ACM Conference on Recommender Systems, RecSys 2018, Vancouver, BC, Canada, October 2-7, 2018
519-520
FSTT algorithm
New Trends in Medical and Service Robots - Design, Analysis and Control
319-330
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
EUROCRYPT
321-353
Polarization Effects in Group Decisions
UMAP 2018: Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization
305-310
It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts
Conference Proceeding Open Education Global Conference
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018
Applying algorithm selection to abductive diagnostic reasoning
Proceedings 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, 2018
How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018
A daily dose of DSL MDE micro injections in practice
MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development
642-651
Statistical Model Checking of Response Times for Different System Deployments
Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018
An optimal algorithm for reconstructing point set order types from radial orderings
Intersection Graphs of Rays and Grounded Segments
Proceedings of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2017)
153-166
Routing in Polygonal Domains
Proceedings of the of the 20th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3$$2017)
88-89
Routing in Polygonal Domains
28th International Symposium on Algorithms and Computation (ISAAC 2017)
10:1-10:13
A Superlinear Lower Bound on the Number of 5-Holes
33rd International Symposium on Computational Geometry (SoCG 2017)
8:1-8:16
Minimization and maximization versions of the quadratic travelling salesman problem
Combining Models for Improved Fault Localization in Spreadsheets
Performance tuning for automotive Software Fault Prediction
SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering
526-530
Packing plane spanning trees and paths in complete geometric graphs
Routing in Simple Polygons
Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG$$2017)
17-20
Testing Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532
Statistical Model Checking Meets Property-Based Testing
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
390-400
Property-Based Testing with External Test-Case Generators
10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017
337-346
OpenReq: Recommender Systems in Requirements Engineering
CEUR Workshop Proceedings
1-4
Synthesizing Non-Vacuous Systems
Verification, Model Checking, and Abstract Interpretation
55-72
Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts
Pocket Code – Programmieren für Alle mit einem offenen Online-Kurs
Learning from Faults: Mutation Testing in Active Automata Learning
NASA Formal Methods - 9th International Symposium
19-34
Model-Based Testing IoT Communication via Active Automata Learning
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
276-287
Mutation Score, Coverage, Model Inference
Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017
171-180
A Model-Based Fault Detection, Diagnosis and Repair for Autonomous Robotics systems
Persistence in corporate networks
Task-Dependent Configuration of Robotics Systems
Transitions in the stock markets of the US, UK and Germany
An Autonomous Transportation Robot for Urban Environments
A Robust and Flexible Software Architecture for Autonomous Robots in the Context of Industrie 4.0
Model-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)
Model-Based Testing of An Industrial Multi-Robot Navigation System
A superlinear lower bound on the number of 5-holes
33rd International Symposium on Computational Geometry (SoCG 2017)
8:1-8:16
Adapting Edge Weights for Optimal Paths in a Navigation Graph
RAAD 2017
A superlinear lower bound on the number of 5-holes
Proceedings of the 33rd European Workshop on Computational Geometry (EuroCG '17)
69-73
Estimation of the Traversal Time for a Fleet of Industrial Transport Robots
RAAD 2017
Perfect $k$-colored matchings and $k+2$-gonal tilings
Proc. $33^rd$ European Workshop on Computational Geometry EuroCG '17
81-84
Can FOSS projects benefit from integrating Kanban: a case study
Bishellable drawings of $K_n$
Proc. XVII Encuentros de Geometría Computacional
17-20
On semi-simple drawings of the complete graph
Proc. XVII Encuentros de Geometría Computacional
25-28
Model-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-445
Probabilistic Black-Box Reachability Checking
Runtime Verification, 17th International Conference
50-67
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017)
Ein offenes Unterrichtskonzept für den Einstieg in die Programmierung mit Hilfe von „Pocket Code“
A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction
Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings
197-212
KI ab dem Kindergarten
ASP-based Knowledge Representations for IoT Configuration Scenarios
19th International Configuration Workshop
62-67
On the complexity of local distributed graph problems
Cluster-Based Constraint Ordering for Direct Diagnosis
19th International Configuration Workshop
68-71
Improving pocket paint usability via material design compliance and internationalization & localization support on application level
Cluster-Specific Heuristics for Constraint Solving
Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017
21-30
DISC 2017 Review
App Creation in Schools for different Curricula Subjects - Lessons Learned
EDULEARN17 Proceedings
Recommendation Technologies for IoT Edge Devices
International Workshop on Internet of Things: Networking Applications and Technologies
504-509
Evaluation of Game Templates to support Programming Activities in Schools
Proceedings of the 11th European Conference on Games Based Learning
Greedy Routing and the Algorithmic Small-World Phenomenon
Dependable Internet of Things for Networked Cars
Improved Distributed Degree Splitting and Edge Coloring
Suzuki-Miyaura coupling reactions using novel metal oxide supported ionic palladium catalysts
Automated Learning Content Generation from Knowledge Bases in the StudyBattles Environment
Require, test, and trace IT
An Introduction to Personalization and Mass Customization
RecSys'17 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2017)
Knowledge-based Learning Content Generation in the StudyBattles Environment
Automated Question Generation from Configuration Knowledge Bases
Qualitative Deviation Models for Spreadsheet Debugging
8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops
191-198
Planning-Based Security Testing of the SSL/TLS Protocol
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging
8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops
199-206
Planning the Attack! Or How to use AI in Security Testing?
First International Workshop on AI in Security (IWAIse)
AI for Localizing Faults in Spreadsheets
29th International Conference on Testing Software and Systems (ICTSS)
71-87
An Analysis of Group Recommendation Heuristics for High-and Low-Involvement Items
Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017
335-344
Testing TLS Using Combinatorial Methods and Execution Framework
IFIP International Conference on Testing Software and Systems (ICTSS'17)
Improving Spectrum-Based Fault Localization for Spreadsheet Debugging
IEEE International Conference on Software Quality, Reliability and Security (QRS)
102-113
A decomposition-based approach to spreadsheet testing and debugging
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
117-121
Improving Physics Education through different Immersive and Engaging Laboratory Setups
Interactive Mobile Communication, Technologies and Learning
443-454
Class attendance, peer similarity, and academic performance in a large field study
RecSys'17 joint workshop on interfaces and human decision making for recommender systems
RecSys 2017 - Proceedings of the 11th ACM Conference on Recommender Systems
384-385
Beyond item recommendation
Social Informatics - 9th International Conference, SocInfo 2017, Proceedings
368-377
Bounded determinization of timed automata with silent transitions
The future of automated debugging & focus on the niches first
Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017
92-93
Development and Evaluation of Innovative Concepts in Educational Robotics and Education in Artificial Intelligence
Analysis of Product Modelling Techniques for Product Configuration Systems in Industrial Companies
IEEE International Conference on Industrial Engineering and Engineering Management
1-10
Towards Group-based Configuration
Proceedings of the 18th International Configuration Workshop
69-72
StudyBattles: A Learning Environment for Knowledge-based Configuration
Proceedings of the 18th International Configuration Workshop
109-116
Towards Configuration Technologies for IoT Gateways
Proceedings of the 18th International Configuration Workshop
73-76
Recommending and Configuring Smart Home Installations
International Workshop on Configuration 2016 (ConfWS'16)
17-22
Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
15-32
Application of Constraint-based Technologies in Financial Services Recommendation
Improving Dependability of Industrial Transport Robots Using Model-Based Techniques
On the practical performance of minimal hitting set algorithms from a diagnostic perspective
Using modelica programs for deriving propositional horn clause abduction problems
Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings
185-191
SIMULTATE
Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016
168-173
Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test
Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016
23-30
An improved lower bound on the minimum number of triangulations
32nd International Symposium on Computational Geometry, SoCG 2016
7.1-7.16
Classifying test suite effectiveness via model inference and ROBBDs
Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings
76-93
RecSys 16 joint workshop on interfaces and human decision making for recommender systems
RecSys 2016 - Proceedings of the 10th ACM Conference on Recommender Systems
413-414
Static Spreadsheet Analysis
2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops
167-174
Fragment-Based Diagnosis of Spreadsheets
Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop)
372-387
An Automated (F) LTL Test Oracle for Testing with Requirements
2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW
197-204
Minimal hitting set computation via hypothesis exploration
27th International Workshop on Principles of Diagnosis
Abductive Diagnosis based on Modelica Models
27th International Workshop on Principles of Diagnosis
Message from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and Securityxiii
PrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VI
Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing
Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016
305-310
Testing computer vision applications an experience report on introducing code coverage analysis in the field
On the use of qualitative deviation models for diagnosis
FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis
Geometric achromatic and pseudoachromatic indices
Holes in two convex point set
Proceedings of European Workshop on Computational Geometry 2016
263-266
Planar L-Shaped Point Set Embedding of Trees
Proceedings of the European Workshop on Computational Geometry 2016
51-54
An improved lower bound on the number of triangulations
Proceedings of the Int. Sympos. Comput. Geom. (SoCG) of Leibniz International Proceedings in Informatics
7:1-7:16
Packing Short Plane Spanning Trees in Complete Geometric Graphs
Proceedings of the 27th Internationel Symposium on Algorithms and Computation
9.1-9.12
Diagnosis makes the difference for a successful execution of high-level robot control programs
Intelligent Autonomous Systems - Proceedings of the 13th International Conference IAS, 2014
1119-1132
Controlling logistics robots with the action-based language YAGI
Intelligent Robotics and Applications
525-537
iRobot: Teaching the Basics of Artificial Intelligence in High Schools
AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence
4126 - 4127
Poster: iRobot: Teaching the Basics of Artificial Intelligence in High Schools
The Educational Robotics Landscape Exploring Common Ground and Contact Points
International Conference on Robotics in Education 2016
Programmieren für Kinder
Cascades in Real Interbank Markets
Application of Constraint-based Technologies in Financial Services Recommendation
2nd International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'16)
22-23
Network Approaches to Interbank Markets: Foreword
Formula Composition and Manipulation in Educational Programming Languages for Children and Teenagers
Phase transition in the S&P stock market
Recommendation Technologies for Configurable Products
Recommendation Technologies for Configurable Items
Synthesis of Self-Stabilizing and Byzantine-Resilient Distributed Systems
Combining FOSS and Kanban
IFIP Advances in Information and Communication Technology
71-84
On Structural Properties to Improve FMEA-Based Abductive Diagnosis
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning
A Note on the Number of General 4-holes in (Perturbed) Grids
Discrete and Computational Geometry and Graphs. JCDCGG 2015.
1-12
Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment
Reconstructing Point Set Order Types from Radial Orderings
Engaging and playful activities with smartphones in school contexts
Improving Abductive Diagnosis Through Structural Features: A Meta-Approach
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16)
Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.
Proceedings of the 27th International Workshop on Principles of Diagnosis (DX)
1-7
Integration of Failure Assessments into the Diagnostic Process
Proceedings of the Annual Conference of the Prognostics and Health Management Society 2016
124-135
Pocket Code – Freier Online-Kurs für Kinder
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Polynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL Model
RoboCup Logistics League TDP Graz Robust and Intelligent Production System GRIPS
Supervision of Hardware, Software and Behavior of Autonomous Industrial Transport Robots
Belief Management using the Action History and Consistency-Based-Diagnosis
Artificial Intelligence and Computer Science in Education: From Kindergarten to University
IEEE Conference on Frontiers in Education (FIE) 2016
Artificial Intelligence and Computer Science in Education
Rumor Spreading with Bounded In-Degree
An Extension of CHOICLA User Interfaces for Configurable Products
iRobot: Teaching an Evaluated, Competencies-Based Introductory Artificial Intelligence Class in Highschools
Towards Group-based Configuration
The Educational Robotics Landscape Exploring Common Ground and Contact Points
A new meta-module for efficient reconfiguration of hinged-units modular robots
Proceedings of the 2016 IEEE International Conference on Robotics and Automation (ICRA 2016)
5197-5202
Studybattles: A Learning Environment for Knowledge-based Configuration
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
Human Interaction with Artificial Advice Givers
On-the-Fly Determinization of Networks of Timed Automata
Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China
14-21
Property-based Testing with FsCheck by Deriving Properties from Business Rule Models
Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016
219-228
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings
3-19
Tests and Proofs
Hands Off - A Holistic Model-Based Approach for Long-Term Autonomy
Request a Rescue Robot (R-CUBED)
Analysis of visual representation techniques for product configuration systems in industrial companies
2016 International Conference on Industrial Engineering and Engineering Management, IEEM 2016
793-797
Hierarchical Planning with Traffic Zones for a Team of Industrial Transport Robots
Dependability for the Internet of Things
Recommender Systems for Health Informatics: State-of-the-Art and Future PerspectivesMachine Learning for Health Informatics1-24
Towards Integrating Statistical Model Checking into Property-Based Testing
14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016
71-76
Learning Models of a Network Protocol using Neural Network Language Models
IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016
Game Design with Pocket Code
Pocket Code: Learn how to program by creating games/apps directly on your smartphone
Pocket Code: A mobile App for Game Jams To Facilitate Classroom Learning through Game Creation
Skater Alice
Pocket Code: Computational Thinking for all
The role of game jams in developing informal learning of computational thinking: a cross-European case study
Introduction to the Special Issue on Human Interaction with Artificial Advice Givers
Constraint-Based and SAT-Based Diagnosis of Automotive Configuration Problems
Human Computation for Constraint-based Recommenders
FSTaxis algorithm
Proceedings of the Artificial Life Conference 2016, ALIFE 2016
330-337
Einsatz von Gruppenempfehlungssystemen im Tourismus
RecSys'16 Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS 2016)
ACM RecSys 2016 Workshops
1-2
Test suite coverage measurement and reporting for testing an operating system without instrumentation
Proceedings of the 17th Real-Time Linux Workshop
13-22
Order on Order Types
31st International Symposium on Computational Geometry, SoCG 2015
285-299
Making Better Robots – Beiträge Österreichs zur Europäischen Robotics Research Roadmap
Learning Games for Configuration and Diagnosis Tasks
International Workshop on Configuration
FlexDiag: AnyTime Diagnosis for Reconfiguration
International Workshop on Configuration
Inclusive gaming creation by design in formal learning environments: ‘girly-girls’ user group in No One Left Behind
4th International Conference, DUXU 2015
On the Importance of Subtext in Recommender Systems
(n,m)-fold covers of spheres
Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software
Volume II
63-68
Towards Understanding Cognitive Aspects of Configuration Knowledge Formalization
Vamos
117-124
The Scarab Project
Developing Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015)
A Wiki-based Environment for Constraint-based Recommender Systems Applied in the E-Government Domain
3rd Workshop on PErsonalization in eGOVernment and Smart Cities: Smart Services for Smart Territories
1-10
Scaling and Internationalizing an Agile FOSS Project: Lessons Learned
Open Source Systems: Adoption and Impact
On the Feasibility of Abductive Diagnosis for Practical Application
Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes
410-415
RecSys'15 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'15)
Monotone Simultaneous Embedding of Upward Planar Digraphs
A novel industry grade dataset for fault prediction based on model-driven developed automotive embedded software
Proceedings - 12th Working Conference on Mining Software Repositories, MSR 2015
494-497
Characterization of extremal antipodal polygons
Novel insights on cross project fault prediction applied to automotive software
Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Proceedings
141-157
Automatic Model Generation to Diagnose Autonomous Systems
International Workshop on Principles of Diagnosis
Scalable Incremental Test-case Generation from Large Behavior Models
Tests and Proofs
1-18
Potential of heterogeneity in collective behaviors
PRIMA 2015
201-217
A new meta-module for efficient robot reconfiguration
Europe and South African collaboration on the mechatronics and robotics systems as part of the SA Robotics Center
Developing Countries Forum - IEEE International Conference on Robotics and Automation (ICRA 2015)
Deciding monotonicity of good drawings of the complete graph
Encuentros de Geometría Computacional
33-36
1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)
An Autonomous Forklift for Battery Change in Electrical Vehicles
Austrian Robotics Workshop
Empty triangles in good drawings of the complete graph
PURITY: a Planning-based secURITY testing tool
Workshop on Trustworthy Computing
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach
Testing Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings
124-140
Designing for Engaging BCI Training: A Jigsaw Puzzle
CHI PLAY '15
667-672
Counteracting Serial Position Effects in the CHOICLA Group Decision Support Environment
ACM Conference on Intelligent User Interfaces
Conflict Management for Constraint-based Recommendation
IJCAI 2015, Workshop on Intelligent Personalization
nx-ny
The fine art of user-centered software development
Incremental Model-based Mutation Testing
IEEE International Conference on Software Testing, Verification and Validation
1-2
Focussed Diagnosis for Failing Software Tests
IEA/AIE 2015
712-721
Folding Polyominoes into Poly(Cubes)
Canadian Conference on Computational Geometry
On the empirical evaluation of similarity coefficients for spreadsheets fault localization
Test suite coverage measurement and reporting for testing an operating system without instrumentation
Killing Bugs in a Black Box with Model-based Testing
An Abductive Diagnosis and Modeling Concept for Wind Power Plants
Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes
1-6
Pocket Game Jams: a Constructionist Approach at Schools
MobileHCI '15 Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct
156-526
ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases
IJCAI 2015, Workshop on Intelligent Personalization
nx-ny
Disjoint compatibility graph of non-crossing matchings of points in convex position
Model-Based Mutation Testing via Symbolic Refinement Checking
On k-Gons and k-Holes in Point Sets
Inverse QUICKXPLAIN vs. MAXSAT - A Comparison in Theory and Practice
International Workshop on Configuration
Constraint-based Recommender SystemsRecommender Systems Handbook161-191
From Theory to Practice: Model-Based Diagnosis in Industrial Applications
Proceedings of the Annual Conference of the PHM Society (PHM)
197-205
Diagnosis of Technical Systems
Bounded Determinization of Timed Automata with Silent Transitions
Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain
288-304
Flip Distance Between Triangulations of a Simple Polygon is NP-Complete
Fostering Knowledge Exchange Using Group Recommendations
ACM Recommender Systems 2015 Workshop on Interfaces and Human Decision Making for Recommender Systems
PeopleViews: Human Computation for Constraint-based Recommendation
ACM Recommender Systems 2015 CrowdRec Workshop
Embedding Four-directional Paths on Convex Point Sets
Evaluating the impact of educational robotics on pupils' technical- and social-skills and science related attitudes
Case Study: Automatic Test Case Generation for a Secure Cache Implementation
International Conference on Tests And Proofs
On the computational feasibility of abductive diagnosis for practical applications
SAT-Based Abductive Diagnosis
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX)
167-175
Parse Tree Structure in LTL Requirements Diagnosis
The 26th International Symposium on Software Reliability Engineering Workshops
100-107
SAT-Based Abductive Diagnosis
Diagnosis of Technical Systems
Proceedings of the International Joint Conference on Artificial Intelligence 2015
4375-4376
Counteracting Anchoring Effects in Group Decision Making
User Modeling, Adaptation and Personalization
118-130
Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms
Proceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning
1-7
Combining Kanban and FOSS: Can it work?
Agile Processes, in Software Engineering, and Extreme Programming
352-353
A Goal-Question-Metrics Model for Configuration Knowledge bases
Workshop on Configuration
nx-ny
Killing strategies for model-based mutation testing
Using constraints to diagnose faulty spreadsheets
Systematic strategies for 3-dimensional modular robots
Conflict Management in Interactive Financial Service Selection
1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)
3-10
Reprint of: Theta-3 is connected
A note on the number of general 4-holes in perturbed grids
A note on the number of general 4-holes in perturbed grids
68-69
Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing
Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15), 2015.
Orthogeodesic Point Set Embeddings of Outerplanar Graphs
Intelligent Techniques for the Maintainance of Constraint-based systems
Workshop on Configuration
nx-ny
New results on stabbing segments with a polygon
Children discover science: robotics, informatics and artificial intelligence in kindergarten and school
Triangulations with circular arcs
Maintaining constraint-based Configuration systems: Challenges ahead
Workshop on Configuration
nx-ny
All Good Drawings of Small Complete Graphs
Collection of Abstracts of the 31st European Workshop on Computational Geometry 2015
57-60
A Model-Based Configuration Approach for Automotive Real-Time Operating Systems
RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm
The 26th International Symposium on Software Reliability Engineering Workshops
78-84
RoboCup 2015: Robot World Cup XIX978-3-319-29339-4
Intelligent Techniques for Configuration Knowledge Evolution
Vamos
51-60
MoMuT::UML - model-based mutation testing for UML
IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015
1-8
Fault Localization in the Light of Faulty User Input
Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15)
282-291
BPEL Integration Testing
International Conference on Fundamental Approaches to Software Engineering
Representing Directed Trees as Straight Skeletons
International Symposium on Graph Drawing
335-347
Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing
Eighth International Conference on Software Testing, Verification and Validation Workshops
Development and Evaluation of a web-based Application for Digital Findings and Documentation in Physiotherapy Education
Studies in Health Technology and Informatics
182-189
3-Colorability of pseudo-triangulations
An optimal algorithm for reconstructing point set order types from radial orderings
An optimal algorithm for reconstructing point set order types from radial orderings
505-516
The No One Left behind project
Bounded Determinization of Timed Automata with Silent Transitions
Human Computation Based Acquisition Of Financial Service Advisory Practices
1st International Workshop on Personalization and Recommender Systems in Financial Services (FinRec'15)
27-34
Quality assurance for self-adaptive, self-organising systems2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshopsxiv
Require, Test and Trace IT
Formal Methods for Industrial Critical Systems
113-127
Controlling Logistics Robots with the Action-based Language YAGI
IROS Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
Testing Diagnostics Components Supervising Functional Safety Requirements
Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015
150-157
Empfehlungstechnologien in der Öffenlichen Verwaltung
Human Decision Making and Recommender SystemsRecommender Systems Handbook619-655
Analyzing the Reduction of Test Suite Redundancy
The 26th International Symposium on Software Reliability Engineering Workshops
65-65
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Software Testing, Verification and Validation Workshops (ICSTW) 2015
1-6
Lower bounds for the number of small convex k-holes
Attack Pattern-Based Combinatorial Testing
International Workshop on Automation of Software Test
1-7
On Order Types, Projective Classes, and Realizations
Configuration Knowledge Representation and ReasoningKnowledge-based Configuration: From Research to Business Cases41-72
Evaluating the impact of robotics in education on pupils' skills and attitudes
Robotics in Education 2014
Geodesic Order Types
Functional Diagnosis of a SOA's BPEL Processes
International Workshop on Principles of Diagnosis
1-8
Functional Diagnosis of a SOA's BPEL Processes
Life Sign Detection Based on Sound and Gas Measurements
Austrian Robotics Workshop
Non-Shellable Drawings of Kn with Few Crossings
Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014
online-only
Towards Autonomous Manipulation in RoboCup Rescue
18th annual RoboCup International Symposium
Basic Approaches in Recommendation SystemsRecommendation Systems in Software Engineering15-37
Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations
International Joint Conference on e-Business and Telecommunications
185-195
Personalized ConfigurationKnowledge-based Configuration: From Research to Business Cases167-179
IntelliReq: Intelligent Techniques for Software Requirements Engineering
Prestigious Applications of Intelligent Systems (PAIS)
1161-1166
TEDUSAR White Book - State of the Art in Search and Rescue Robots
Configuration-Related Research ChallengesKnowledge-based Configuration: From Research to Business Cases191-195
Order types and cross-sections of line arrangements in R3
(Kopie von) Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014
online-only
Tool-supported fault localization in spreadsheets: Limitations of current research practice
International Workshop on Software Engineering Methods in Spreadsheets
1-2
Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers
PLATEAU '14: Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools
21-30
Monotone Simultaneous Embedding of Directed Paths
Collection of Abstracts of the 30th European Workshop on Computational Geometry 2014
0-0
An Abductive Diagnosis and Modeling Concept for Wind Power Plants
International Workshop on Principles of Diagnosis
404-409
RecSys'14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems (IntRS'14)
Order types and cross-sections of line arrangements in ℝ<sup>3</sup>
26th Canadian Conference on Computational Geometry, CCCG 2014
267-272
Knowledge-Aware Execution of Programs in IndiGolog
International Workshop on Cognitive Robotics
16th International Workshop on Configuration
Benefits of Configuration SystemsKnowledge-based Configuration: From Research to Business Cases29-33
Debugging with Timed Automata Mutations
Computer Safety, Reliability, and Security
49-64
Consumer Decision-Making and Configuration SystemsKnowledge-based Configuration: From Research to Business Cases181-190
Content-based Recommendation Techniques in Requirements Engineering
First International Workshop on Artificial Intelligence for Requirements Engineering
27-34
Applied Model-Based Diagnosis
Straight Skeletons by Means of Voronoi Diagrams Under Polyhedral Distance Functions
Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014
online-only
Testing Configuration Knowledge-Bases
Proceedings of the 16th International Configuration Workshop
39-46
Knowledge-based Configuration: MotivationKnowledge-based Configuration: From Research to Business Cases3-7
Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA
4-Holes in Point Sets
Flip Distance Between Triangulations of a Planar Point Set is APX-Hard
Integration of Requirements Engineering and Test-Case Generation via OSLC
2014 14th International Conference on Quality Software
117-126
Cell-Paths in Mono- and Bichromatic Line Arrangements in the Plane
Graph Drawings with Relative Edge Length Specifications
Canadian Conference on Computational Geometry
---
Shellable drawings and the cylindrical crossing number of K_n
Configuring Decision Tasks
Workshop on Configuration
17-21
On the Usage of Dependency-based Models for Spreadsheet Debugging
International Workshop on Software Engineering Methods in Spreadsheets
1-4
Failure Mode and Effect Analysis for Abductive Diagnosis
International Workshop on Defeasible and Ampliative Reasoning
1-13
Survey on test data generation tools
Biases in Decision Making
Proceedings of the International Workshop on Decision Making and Recommender Systems 2014
32-37
Knowledge-based Configuration: Overview of the BookKnowledge-based Configuration: From Research to Business Cases35-37
Using Answer Set Programming for Feature Model Representation and Configuration
Workshop on Configuration
1-8
Covering Folded Shapes
Generation of Relevant Spreadsheet Repair Candidates
RecSys’14 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems
Proceedings of the ACM Conference on Recommender Systems
Field Report: Civil Protection Exercise Gas Storage
IEEE International Symposium on Safety Security and Rescue Robotics
Risk-Aware Exploration
euRathlon/ARCAS WORKSHOP AND SUMMER SCHOOL 2014 ON FIELD ROBOTICS
Flips in combinatorial pointed pseudo-triangulations with face degree at most four
SOA Testing Via Random Paths in BPEL Models
IEEE International Conference on Software Testing, Verification and Validation
260-263
Formal Test-Driven Development with Verified Test Cases
Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
626-635
Testing Methods Used in the Automotive Industry: Results from a Survey
The second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14)
1-6
A Short History of Configuration TechnologiesKnowledge-based Configuration: From Research to Business Cases9-19
RecTurk: Constraint-based Recommendation based on Human Computation
ACM RecSys'14 CrowdRec Workshop
1-6
Comparing Models for Spreadsheet Fault Localization
European Conference on Artificial Intelligence
1029-1030
Structure in the Italian overnight loan market
Sales Configurator Information Systems Design Theory
Workshop on Configuration
67-74
Linear Transformation Distance for Bichromatic Matchings
Proceedings of the Thirtyth Annual Symposium on Computational Geometry (SCG '14)
154-162
Redundancy Detection in Configuration KnowledgeKnowledge-based Configuration: From Research to Business Cases157-165
Minimum Dual Diameter Triangulations
European Workshop on Computational Geometry
0-0
Model-Based Mutation Testing of an Industrial Measurement Device
Tests and Proofs
1-9
On k-convex point sets
User Interfaces for Configuration EnvironmentsKnowledge-based Configuration: From Research to Business Cases89-106
Active Diagnosis for Agents with Belief Management
Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops
263-268
Empty Monochromatic Simplices
Security Testing Based on Attack Patterns
The 5th International Workshop on Security Testing (SECTEST)
1-8
Disseminating Ambient Assisted Living in the Rural Area
Generation of Relevant Spreadsheet Repair Candidates
European Conference on Artificial Intelligence
1027-1028
Using Common Sense Invariants in Belief Management for Autonomous Agents
Modern Advances in Applied Intelligence
49-59
Plan It! Automated Security Testing Based on Planning
International Conference on Testing Software and Systems
48-62
Shellable drawings and the cylindrical crossing number of K_n
R^3: Request a Rescue Robot
IEEE International Symposium on Safety Security and Rescue Robotics
Model-Based Mutation Testing with Constraint and SMT Solvers
Choicla: Intelligent Decision Support for Groups of Users in Context of Personnel Decisions
ACM RecSys'14 IntRS Workshop
28-32
Ham-Sandwich Cuts for Abstract Order Types
International Symposium on Algorithms and Computation
726-737
Require, Test and Trace IT
Comparing and improving dependency-based models for fault localization in spreadsheets
International Workshop on Principles of Diagnosis
1-7
Knowledge-based Configuration: From Research to Business Cases
Reconstructing Point Set Order Types from Radial Orderings
International Symposium on Algorithms and Computation
15-26
Retaining Consistency for Knowledge-based Security Testing
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
88-97
FluidDiagrams:Web-Based Information Visualisation using JavaScript and WebGL
Proc. Eurographics Conference on Visualization (EuroVis 2014)
43-47
Using Common Sense Invariants in Belief Management for Autonomous Agents
AAAI Spring Symposium Series
Configuration-Related TopicsKnowledge-based Configuration: From Research to Business Cases21-27
WeeVisKnowledge-based Configuration: From Research to Business Cases297-307
A Cross-generational Robotics Project Day: Pre-school Children, Pupils and Grandparents Learn Together
Towards Open Configuration
Workshop on Configuration
89-94
Geodesic-preserving polygon simplification
Active Diagnosis for Agents with Belief Management
International Workshop on Principles of Diagnosis
What Stakeholders Need to Know About Requirements
4th IEEE International Workshop on Empirical Requirements Engineering
1-8
Embedding Four-directional Paths on Convex Point Sets
Proc. 22nd International Symposium on Graph Drawing (GD 2014)
355-366
Comparing Models for Spreadsheet Fault Localization
Packing Plane Spanning Trees and Paths in Complete Geometric Graphs
Proc. 26th Annual Canadian Conference on Computational Geometry CCCG 2014
online-only
Reprint of: Extreme points and halving edge search in abstract order types
Theta-3 is connected
Why does my spreadsheet compute wrong values?
International Symposium on Software Reliability Engineering
112-121
PyMBD: A Library of MBD Algorithms and a Light-weight Evaluation Platform, by Thomas Quaritsch and Ingo Pill
International Workshop on Principles of Diagnosis
1-5
Einführung in die angewandte Geometrie978-3-0346-0143-6
Conflict Detection and Diagnosis in ConfigurationKnowledge-based Configuration: From Research to Business Cases73-87
Choicla: An Intelligent Group Decision Support Environment
Proceedings of the International Workshop on Decision Making and Recommender Systems 2014
1-3
Plane graphs with parity constraints
Playing Nine Men's Morris with the Humanoid Robot Nao
Austrian Robotics Workshop
The Route to Success - A Performance Comparison of Diagnosis Algorithms
Mutation-based spreadsheet debugging
Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on
132-137
Human Decision Making and Recommender Systems
Catrobat: A mobile visual programming system inspired by Scratch
Scratch conference 2013
0-0
Driving a Tracked Mobile Robot over Unstructured Terrain and Stairs
Electrotechnical and Computer Science Conference
A cross-generational robotics project day: Pre-school children, pupils and grandparents learn together
Robotics in Education 2013
Counting Convex 5-Holes
Personalized Diagnosis for Over-Constrained Problems
The Route to Success - A Performance Comparison of Diagnosis Algorithms
International Joint Conference on Artificial Intelligence
1039-1045
IEA-AIE 2013 - The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
Model-based mutation testing of reactive systems - from semantics to automated test-case generation
Theories of Programming and Formal Methods
23-36
Proceedings of the 3rd International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'13)
Extremal antipodal polygons and polytopes
Mexican Conference on Discrete Mathematics and Computational Geometry
11-20
Recommender Systems for Configuration Knowledge Engineering
Proceedings of the 2013 Workshop on Configuration
51-54
Automated Shift Design and Break SchedulingAutomated Scheduling and Planning109-127
(Re-)configuration of Communication Networks in the Context of M2M Applications
Proceedings of the International Configuration Workshop
101-108
Pocket Code, A Scratch-like visual programming system for Microsoft Windows Phone 8
Balanced 6-holes in bichromatic point sets.
Japanese Conference on Discrete and Computational Geometry
5-6
Toward the next generation of recommender systems: applications and research challengesMultimedia Services in Intelligent Environments, Smart Innovation, Systems, and Technologies81-98
Automatic Modeling and Observers Generation for Model-Based Diagnosis System for ROS-Based Robotic Systems
Austrian Robotics Workshop
An integrated Diagnosis and Repair Architecture for ROS-Based Robot Systems
International Conference on Robotics and Automation
WE-DECIDE: A Decision Support Environment for Groups of Users
Recent Trends in Applied Artificial Intelligence
382-391
The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics
5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)
45-53
Recommender Systems - An Introduction (chinese edition)978-4-320-12296-3
Automated Analysis in Feature Modelling and Product Configuration
Safe and Secure Software Reuse
160-175
Time for Mutants —Model-based Mutation Testing with Timed Automata
Tests and Proofs
20-38
Shape spaces via medial axis transforms for segmentation of complex geometry in 3d voxel data.
More on the crossing number of $K_n$: Monotone Drawings
Autonomous Robots: Towards A Founded Assessment of Robustness
Akzeptanz von Location Based Services im Einzelhandel
Purely Visual and Hybrid Visual/Textual Formula Composition: A Usability Study Plan
Proceedings of Programming for Mobile and Touch PRoMoTo 2013
0-0
Sum of squared edges for mst of a point set in a unit square.
Japanese Conference on Discrete and Computational Geometry
5-6
Behavioral Diagnosis of LTL Specifications at Operator Level
International Joint Conference on Artificial Intelligence
1053-1059
Automated Test Case Generation in End-User Programming
End-User Development - 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings
272-277
Model-based Mutation Testing with Timed Automata
On the Effects of UML Modeling Styles in Model-based Mutation Testing
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
68-82
And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm
International Workshop on Principles of Diagnosis
210-215
Maximizing maximal angles for plane straight line graphs
Reconfiguration of Mobile Phone NetworksKnowledge-based Configuration - From Research to Business Cases19-1-19-11
Balanced 6-holes in linearly separable bichromatic point sets.
SOA Grey Box Testing - A Constraint-Based Approach
International Workshop on Constraints in Software Testing Verification and Analysis
232-237
"Trust, But Verify"
Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation
38-47
Automated Repair of Scoring Rules in Constraint-based Recommender Systems
Incremental Refinement Checking for Test Case Generation
Tests and Proofs
1-19
New results on stabbing segments with a polygon
Algorithms and Complexity
146-157
Flip distance between triangulations of a simple polygon is NP-complete
Algorithms, 21st Annual European Symposium
13-24
Flips in combinatorial pointed pseudo-triangulations with face degree at most four (extended abstract)
XV Spanish Meeting on Computational Geometry
131-134
Extreme points and halving edge search in abstract order types
A Scratch-like visual programming system for Microsoft Windows Phone 8
Promoto ’13
0-0
The 2-Page Crossing Number of Kn
On Classification and Modeling Issues in Distributed Model-based Diagnosis
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets
13th International Conference on Quality Software
139-148
A note on institutional hierarchy and volatility in financial markets
Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones
Consumer Acceptance of Location Based Services in the Retail Environment
Theta 3 is connected.
Canadian Conference on Computational Geometry
205-211
Behavioral Diagnosis of LTL Specifications at Operator Level
Towards Anomaly Explanation in Feature Models
Proceedings of 2013 Workshop on Configuration
117-124
Recomment: Towards Critiquing-based Recommendation with Speech Interaction
Proceedings of the 7th ACM Conference on Recommender Systems
157-164
Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences
International Conference on Quality Software
125-134
Cell-paths in mono- and bichromatic line arrangements in the plane
25th Canadian Conference on Computational Geometry
169-174
Empty triangles in good drawings of the complete graph
Mexican Conference on Discrete Mathematics and Computational Geometry
21-29
Automated Generation of Diagnosis Models for ROS-based Robot Systems
International Workshop on Principles of Diagnosis
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
On the use of mutations and testing for debugging
Improving the ROS Arm Navigation Stack by Using Stochastic Inverse Kinematics
Austrian Robotics Workshop
Evaluating the impact of RoboCupJunior on pupils' abilities
RoboCup 2013 Symposium Proceedings and Team Description Papers
Covering folded shapes.
Canadian Conference on Computational Geometry
73-78
Intelligent Services for Group Decision Making
Workshop on human decision making in recommender systems: Decisions@RecSys'13
Proceedings of the ACM Conference on Recommender Systems 2013
479-480
Using Dependency Relations to Improve Test Case Generation from UML Statecharts
Proceedings of the Fifth IEEE International Workshop on Software Test Automation (STA)
71-76
Model-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213
Evaluation of Sensors and Mapping Approaches for Disasters in Tunnels
IEEE International Symposium on Safety Security and Rescue Robotics
Blocking delaunay triangulations
And Yet Another Variant of Reiter's Hitting Set Algorithm
Exploiting Parse Trees in LTL Specification Diagnosis
International Workshop on Principles of Diagnosis
59-64
Autonomous Robots: Towards A Founded Assessment of Robustness
Workshop on Software Development and Integration in Robotics
Fifty Shades of Grey in SOA Testing
Workshop on Advances in Model Based Testing (A-MOST)
154-157
Autonomous Risk-Aware Exploration
IEEE International Symposium on Safety Security and Rescue Robotics
Flip Graphs of Bounded-Degree Triangulations
Comparing Purely Visual with Hybrid Visual/Textual Manipulation of Complex Formula on Smartphones
DMS 2013
0-0
Fast Refinement Checking for Test Case Generation
Intelligent Engineering Techniques for Knowledge Bases
Personalized Diagnosis for Over-Constrained Problems
Proceedings of the 23rd International Joint Conference on Artificial Intelligence
1990-1996
Innovative concepts in educational robotics: Robotics projects for kindergartens in Austria
Austrian Robotics Workshop
Simulating distributed algorithms for lattice agents
XV Spanish Meeting on Computational Geometry (2013)
81-84
Functional SOA testing based on constraints
International Workshop on Automation of Software Test
33-39
Geodesic-preserving polygon simplification
Algorithms and Computation, 24th International Symposium
11-21
An Overview of Recommender Systems in Requirements EngineeringManaging Requirements Knowledge315-332
XSS Pattern for Attack Modeling in Testing
International Workshop on Automation of Software Test
71-74
Coloring hypergraphs induced by dynamic point sets and bottomless rectangles
Lecture Notes in Computer Science, Proc. 13th Algorithms and Data Structures Symposium (WADS)
73-84
The 2-page crossing number of K_n.
Flip distance between triangulations of a simple polygon is NP-complete
29th European Workshop on Computational Geometry
115-118
A Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application
Proceedings of the International Conference on Data Communication Networking, e-Business and Optical Communication Systems
217-221
The Argos Manual
B.91 An Answer to “Who needs a stylus?” On Handwriting Recognition on Mobile Devicese-Business and Telecommunications CCIS 314156-167
Model-based simulation and configuration of mobile phone networks – The SIMOA Approach
Proc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks
12-17
A Mobile Information System für Improved Navigation in Public Transport
Creating a Comparative Environment for PIM Evaluation
International Workshop on Personal Information Management
1-5
The 2012 Safety, Security, and Rescue Robotics Summer School
IEEE International Symposium on Safety Security and Rescue Robotics
On 5-gons and 5-holes
Educational Robotics - Evaluating long-term effects
Integrating Robotics in School Curriculum
198-199
Kombot - An Autonomous Mobile Order Picking Robot
Austrian Robotics Workshop 2012
1-7
Triangulations with circular arcs
Graph Drawing
296-307
Reducing the entry threshold of AAL systems
Computers Helping People with Special Needs - 13th International Conference, ICCHP 2012, Proceedings
709-715
Model-based Testing - From Safety to Security
Workshop on System Testing and Validation
9-16
B.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-111
Using group recommendation heuristics for the prioritization of requirements
RecSys '12 Proceedings of the sixth ACM conference on Recommender systems
329-332
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Integrating model-based testing and analysis tools via test case exchange
IEEE International Symposium on Theoretical Aspects of Software Engineering
119-126
A Dependable Perception-Decision-Execution Cycle for Autonomous Robots
International Conference on Robotics and Automation
On k-convex polygons
Proceedings of the 20th International Symposium on Methodologies for Intelligent Systems (ISMIS'12)
Proceedings of the Austrian Robotics Workshop 2012
The SiMoL Modeling Language for Simulation and (Re-) Configuration
SOFSEM - Conference on Current Trends in Theory and Practice of Informatics
661-672
Compatible matchings for bichromatic plane straight-line graphs
28th European Workshop on Computational Geometry, Booklet of Abstracts
257-260
Catroid: a mobile visual programming system for children
11th International Conference on Interaction Design and Children, IDC '12
300-303
Pointed drawings of planar graphs
A mobile visual programming system for Android smartphones and tablets
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012
265-266
Towards CSP-based mission dispatching in C2/C4I systems
IEEE International Symposium on Safety Security and Rescue Robotics
Proceedings of the 2nd International Workshop on Human Decision Making and Recommender Systems
Recognition of Segmented Arabic/Urdu Characters Using Pixel Values as Their Features
ICCIT - 2012, the 15th International Conference on Computer and Information Technology
507-512
Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot
Improving Requirements Engineering using Group Decision Tools
Requirements Engineering Tagung
What makes a tree a straight skeleton?
Proc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012
267-272
On complexity reduction of user interfaces for safety‐critical systems
Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach
Analysis of Laser Sensor System for a Rescue Robot
21st International Electrotechnical and Computer Science Conference
Exact Medial Axis Computation for Circular Arc Boundaries
Curves and Surfaces 2010
28-42
Automated debugging based on a constraint model of the program and a test case
The 2012 Safety, Security, and Rescue Robotics Summer School
An integrated Diagnosis and Repair Architecture for ROS-‐Based Robot Systems
International Workshop on Principles of Diagnosis
On complexity reduction of user interfaces for safety-critical systems
IFIP Cross Domain Conference, Lecture Notes in Computer Science
Lower bounds for the number of small convex k-holes
Proc. 24th Annual Canadian Conference on Computational Geometry CCCG 2012
261-266
Group Recommendation Algorithms for Requirements Prioritization
Recommender Systems in Software Engineering (RSSE 2012)
1-4
Gruppenentscheidungsprozesse im Requirements Engineering
Action-Based Imperative Programming with YAGI
International Workshop on Cognitive Robotics
Eliciting Stakeholder Preferences for Requirements Prioritization
Workshop on Human Decision Making in Recommender Systems (Decisions@RecSys 2012)
27-31
Improving Belief Management for High-‐Level Robot Programs by Using Diagnosis Templates
International Workshop on Principles of Diagnosis
Open research challenges of localizing faults in programs using constraints
Proceedings of the 4th Workshop on Constraints in Software Testing, Verification, and Analysis
Automated Debugging of Verilog Designs
ConDiag - Computing minimal diagnoses using a constraint solver
AI for the win: improving spectrum-based fault localization
ACM SIGSOFT Software Engineering Notes
1-8
Evolvement of uniformity and volatility in the stressed global financial village
A Standard Robotics Software Architecture for RoboCup Rescue based on ROS — Development Continuation and Result Dissemination
Using Constraints for Equivalent Mutant Detection
Workshop on Formal Methods in the Development of Software
Community-Driven Development of Standard Software Modules for Search and Rescue Robots
n Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
Group Decision Support for Requirements NegotiationGroup Decision Support for Requirements Negotiation (Best Papers of UMAP 2011 Workshops)105-116
Selection of Extreme Points and Halving Edges of a Set by its Chirotope
28th European Workshop on Computational Geometry
85-88
Constraint-based Debugging of Spreadsheets
Proceedings of the 15th Ibero-American Conference on Software Engineering
Making 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-189
Augmentability to Cubic Graphs
28th European Workshop on Computational Geometry
29-32
Model Based Test Case Generation for Distributed Embedded Systems
International Conference on Industrial Technology
p-p
Group Recommendation Algorithms for Requirements Prioritization
A Survey about Faults of Robots used in RoboCup
RoboCup 2012: Robot Soccer World Cup XVI
344-355
Creating a Comparative Environment for PIM Evaluation
Catroid: A mobile visual programming system
Using group recommendation heuristics for the prioritization of requirements
Spectrum Enhanced Dynamic Slicing for Fault Localization
What makes a tree a straight skeleton?
Collection of Abstracts of the 28th European Workshop on Computational Geometry 2012
137-140
Tagging Might Not Be Slower Than Filing in Folders
Spectrum Enhanced Dynamic Slicing for better Fault Localization
ECAI 2012 - 20th European Conference on Artificial Intelligence.
420-425
A Survey about Faults of Robots used in RoboCup
Standing on the shoulders of their peers: success factors for massive cooperation among children creating open source animations and games on their smartphones
11th International Conference on Interaction Design and Children, IDC '12
264-267
Tagging Might Not Be Slower Than Filing in Folders
CHI EA '12 Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems, Extended Abstracts (CHI2012)
2063-2068
Towards Persuasive Technologies for Software Development Environments
7th International Conference on Persuasive Technology
227-238
Category Partition Method and Satisfiability Modulo Theories for Test Case Generation
Proc. of the International Workshop on Automation of Software Test
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints
Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012)
752-757
Mobile Visual Game Programming by Children
Workshop "Opportunities and Challenges when Designing and Developing Games with/for Kids" at the 4th International Conference on Fun and Games 2012
?-?
Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis
Practical Usability in XP Software Development Processes
ACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions
208-217
The Science of Killing Bugs in a Black Box - (Keynote Talk)
Programming Languages
6-11
Convexifying monotone polygons while maintaining internal visibility
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
Model-Based Testing (MBT)
88-102
Connectors as designs: Modeling, refinement and test case generation
Community-Driven Development of Standard Software Modules for Search and Rescue Robots
IEEE International Symposium on Safety Security and Rescue Robotics
Recommender Systems (japanese edition)
Selective Belief Management for High-‐Level Robot Programs
International Workshop on Principles of Diagnosis
Formal Test-Driven Development with Verified Test Cases
Resolving Anomalies in Configuration Knowledge Bases
Foundations of Intelligent Systems
311-320
Improving the Performance of Unit Critiquing
International Conference on User Modeling, Adaption, and Personalization
176-187
Workshop on human decision making in recommender systems: Decisions@RecSys'12
Proceedings of the ACM Conference on Recommender Systems 2012
347-348
Minimization of Product Utility Estimation Errors in Recommender Result Set Evaluations
Model-Based Mutation Testing: Theory and Application
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets
ECAI 2012 - 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track
648-653
On Using Entropy for Enhancing Handwriting Preprocessing
Geodesic order types
Proc. 18th Annual International Computing and Combinatorics Conference (COCOON '12),
216-227
An LTL SAT Encoding for Behavioral Diagnosis
Proceedings of the 23rd International Workshop on Principles of Diagnosis
67-74
Adaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90
Reducing the size of dynamic slicing with constraint solving
2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012
41-48
Anonymous Preference Elicitation for Requirements Prioritization
Foundations of Intelligent Systems
349-356
Debugging of Spreadsheets: A CSPbased Approach
Software Reliability Engineering Workshops (ISSREW)
159-164
Evaluating the long-term impact of RoboCupJunior: A first investigation
RiE 2012
87-94
The 2-page crossing number of kn
ACM Symposium on Computational Geometry
397-403
On 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-122
Functional Magnetic Resonance Imaging and the Challenge of Balancing Human Security with State Security
Preface to the special issue on User Interfaces for Recommender Systems
Efficient Refinement Checking for Model-Based Mutation Testing
Proceedings of the 12th International Conference on Quality Software (QSIC 2012)
21-30
Educational Robotics - Evaluating long-term effects
EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems
Workshop on Intelligent Solutions in Embedded Systems
57-62
Applying Aspect Oriented Programming (AOP) in Usability Engineering processes: On the example of Tracking Usage Information for Remote Usability Testing
Proceedings of the 8th International Conference on electronic Business and Telecommunications
53-56
ROS-based Mapping, Localization and Automatic Navigation using Pioneer 3-DX Robot and their relevant Issues
Saudi International Electronics, Communications and Photonics Conference
How to combine slicing-hitting-set-computation with spectrum-based fault localization
22nd International Workshop on Principles of Diagnosis
114-121
Rapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct Time
Proceedings of the 8th International Conference on electronic Business and Telecommunications
57-61
Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS
Proc. of the 6th International Workshop on Automation of Software Test
8-14
SiMoL– A Modeling Language for Simulation and (Re-)Configuration
Workshop on Configuration
40-43
Recommender Systems - An Introduction (japanese edition)978-4-320-12296-3
The application of pneumatic actuators in RoboCups' Middle Size League
The application of pneumatic actuators in RoboCups' Middle Size League
117-126
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
22nd International Workshop on Principles of Diagnosis
203-210
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems
TagTree: Exploring Tag-Based Navigational Structures
Information und Wissen: global, sozial und frei?
516-518
UML in Action: A Two-Layered Interpretation for Testing
Third IEEE International workshop UML and Formal Methods (UML & FM 2010)
1-8
BFX: Diagnosing Conflicting Requirements in Constraint-Based Recommendation
On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems
International Workshop on Principles of Diagnosis
167-170
Consumer Decision Making in Knowledge-based Recommendation
Computational and structural advantages of circular boundary representation
Proceedings of the 1st International Workshop on "Human Decision Making and Recommender Systems" (Decisions@RecSys'11)
Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases
Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011)
RoboCupJunior: A Vehicle for S&T Education in Africa?
IEEE AFRICON
Robotikworkshop für Einsteiger, Nachmittagskurs
Personalized Diagnoses for Inconsistent User Requirements
Robotikworkshop für Einsteiger, Vormittagskurs
Decision Support in the Smart Home
Workshop on Human Decision Making in Recommender Systems
1-8
Efficient Mutation Killers in Action
2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011)
120-129
Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots
ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments
On the Improvement of the Mutation Score Using Distinguishing Test Cases
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
423-426
Recommendation Technologies for Configurable Products
Measuring Emotions: Towards rapid and low cost methodologies
Adaptive autonomous systems - From the system's architecture to testing
Proceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics Systems
Robotikworkshop für Fortgeschrittene
Fault-Based Generation of Test Cases from UML-Models – Approach and Experiences
30th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2011)
270-283
The Ontology Lifecycle in RoboCup: Population From Text and Execution
RoboCup International Symposium
TagTree: Exploring Tag-Based Navigational Structures
Detecting Equivalent Mutants by Means of Constraint Systems
The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
Evaluating Design Alternatives for Feature Recommendations in Configuration Systems
Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing
34-41
The Future of Recommender Systems: Research and Applications
TagTree: Exploring Tag-Based Navigational Structures
Information und Wissen: global, sozial und frei?
516-518
Is Mutation Testing Scalable for Real-World Software Projects?
The Third International Conference on Advances in System Testing and Validation Lifecycle
Combinatorial Aspects of [Colored] Point Sets in the Plane
Compositional Random Testing Using Extended Symbolic Transition Systems
Testing Software and Systems
179-194
Belief Management for Autonomous Robots using History-Based Diagnosis
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
CoreDiag: Eliminating Redundancy in Constraint Sets
Proceedings of the 2011 Workshop on the Principles of Diagnosis
219-224
Recommender Systems
On k-Gons and k-Holes in Point Sets
Proc. 23nd Annual Canadian Conference on Computational Geometry CCCG 2011
21-26
Decoy Effects in Financial Service E‐Sales Systems
Workshop on Human Decision Making in Recommender Systems
1-8
Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms
The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
11th International Conference On Quality Software
1-10
(Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract
Proceedings of the Austrian Robotics Workshop
9-11
Informatische Bildung mithilfe eines MOOC
TagTree: Storing and Re-Finding Files Using Tags
An Abstract Operational Framework for Dependence Models in Software Debugging
Proceedings of the ICST Workshop on Testing and Debugging (TeBug)
Status Quo Bias in Configuration Systems
Proceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems
105-114
Group Decision Support for Requirements Negotiation
Proceedings of UMAP'11 Workshop on Decision and Recommendation Acceptance Issues in Recommender Systems
27-34
Belief Management for High-Level Robot Programs
International Joint Conference on Artificial Intelligence
Convexifying monotone polygons while maintaining internal visibility
XIV Encuentros de Geometría Computacional
35-38
TagTree: Storing and Re-finding Files Using Tags
Information Quality in e-Health
471-481
Measuring Emotions: Towards rapid and low cost methodologies
ACM Conference on Recommender Systems
Personalizing Diagnoses for Inconsistent Constraint Sets
International Workshop on Principles of Diagnosis
146-153
Workshop on human decision making in recommender systems: Decisions@RecSys'11
Proceedings of the ACM Conference on Recommender Systems 2011
389-390
Robust Robotics Using History-Based-Diagnosis in IndiGolog
Austrian Robotics Workshop
Introduction: Special Issue on Configuration
Program debugging using constraints – Is it feasible?
Proceedings of the 11th International Conference on Quality Software (QSIC)
236-243
Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis
Proceedings of the 8th International Conference on electronic Business and Telecommunications
219-227
Compatible matchings in geometric graphs
Encuentros de Geometría Computacional
145-148
Test case generation in practice for communicating embedded systems
Triangulations with circular arcs
Proc. 19th International Symposium on Graph Drawing
296-307
There is a unique crossing-minimal rectilinear drawing of k18
Neural Network based Clustering using Visual Features of Characters’ Shape in Image
Convexifying polygons without losing visibilities
Canadian Conference on Computational Geometry
229-234
Diagnosis-based reconfiguration using the MINION constraint solver
A Survey on the Nature of Faults of Autonomous Robot Systems
ICRA Workshop on Automated Diagnosis, Repair and Re-Configuration of Robot Systems
On the use of constraints in dynamic slicing for program debugging
Proceedings of the ICST Workshop on Testing and Debugging (TeBug)
4-Holes in Point Sets
Collection of Abstracts of the 27th European Workshop on Computational Geometry 2011
115-118
CoreDiag: Eliminating Redundancy in Constraint Sets
Modellbasiertes Testen (MBT) in der Softwareentwicklung
On 5-gons and 5-holes
Proceedings of XIV Encuentros de Geometría Computacional 2011
7-10
ReAction: Personalized Minimal Repair Adaptations for Customer Requests
Flexible query answering systems
13-24
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
Compatible pointed pseudo-triangulations
Proc. 22nd Annual Canadian Conference on Computational Geometry CCCG 2010
91-94
FastXplain: Conflict Detection for Constraint-Based Recommendation Problems
Trends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
621-630
Providing ground-truth data for the nao robot platform
RoboCup International Symposium
Personalized Product Configuration
Multikonferenz Wirtschaftsinformatik 2010
2251-2263
Mining Effort Data from the OSS Repository of Developer's Bug Fix Activity
Recommender Systems - An Introduction978-0-521-49336-9
Relaxing and lifting triangulations
Developing Constraint-based RecommendersRecommender Systems Handbook1-29
Playing Pylos with an Autonomous Robot
International Conference on Intelligent Robots and Systems
2507-2508
Intelligent debugging of utility constraints in configuration knowledge bases
INFORMATIK 2010 - Service Science - Neue Perspektiven fur die Informatik, Beitrage der 40. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)
767-772
Efficient Explanations for Inconsistent Constraint Sets
Proceedings of the 19th European Conference on Artificial Intelligence
1043-1044
Exact medial axis computation for triangulated solids with respect to piecewise linear metrics
Curves and Surfaces
1-27
3-Colorability of pseudo-triangulations
Proc. 26th European Workshop on Computational Geometry (EuroCG'10)
21-24
Environmental decision support systems based on models and model-based reasoning
Efficient Explanations for Inconsistent Constraint Sets
Proceedings of the 3rd International Workshop on Managing Requirements Knowledge (@RE'2010)
Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation
International Workshop on Automation of Software Test
1-8
Recommendation and Decision Technologies For Requirements Engineering
Arc triangulations
Proc. 26th European Workshop on Computational Geometry (EuroCG'10)
17-20
Robotics in Education Initiatives in Europe - Status, Shortcomings and Open Questions
Teaching Robotics-Teaching with Robotics Workshop @ SIMPAR
Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases
Analyzing real mobile web usage of a multimedia streaming application through log files
11th ACM SIGMM International Conference on Multimedia Information Retrieval (MIR 2010)
401-404
Recommendation and Decision Technologies for Requirements Engineering
Proceedings of the ICSE 2010 Workshop on Recommender Systems in Software Engineering
1-5
Towards Recommending Configurable Offerings
P.52 Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research
Automated Conformance Verification of Hybrid Systems
Proceedings of the 10th International Conference on Quality Software
3-12
On the Way to Automated Belief Repair for Autonomous Robots
International Workshop on Principles of Diagnosis
Empirical Knowledge Engineering: Cognitive Aspects in the Development of Constraint-based Recommenders
Trends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
631-640
Fault Localization Based On Dynamic Slicing and Hitting-Set Computation
Proceedings of the 10th International Conference on Quality Software
RoboCup Middle Size League
Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures
International Conference on Agents and Artificial Intelligence
Personalized User Interfaces for Product Configuration
Proceedings for the 2010 International Conference on Intelligent User Interfaces
317-320
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)
479-488
Robotikworkshop für Einsteiger, Vormittagskurs
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC
The Effects of Weather on the Life Time of Wireless Sensor Networks Using FSO/RF Communication
A Methodology for Adaptive Competence Assessment and Learning Path Creation ISAC
Proceedings of the International Conference on Interactive Computer-aided Learning (ICL 2010)
1-4
Robotikworkshop für Einsteiger, Nachmittagskurs
Generation of Executable Test Cases Based on Behavioral UML System Models
AST 2010
1-4
On Classification and Modeling Issues in Distributed Model‐based Diagnosis
Proceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET)
27-32
TEMPLE - an end-user language for staff scheduling problems
Third international workshop on model-based metaheuristics
???-???
Generating Distinguishing Tests using the MINION Constraint Solver
Proc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
1-6
AIana: An AI Planning System for Test Data Generation
1st ECOOP Workshop on Testing Object-Oriented Systems
1-8
From Sketch to Plan
International Workshop on Qualitative Reasoning
Adaptive Utility-based Recommendation
Trends in Applied Intelligent Systems: 23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
641-650
Impact Analysis of SCRs Using Single and Multi-Label Machine Learning Classification
International Symposium on Empirical Software Engineering and Measurement
Unifying input output conformance
Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland
181-201
Model-Based Mutation Testing of Hybrid Systems
Formal Methods for Components and Objects
228-249
Hierarchy in Germany's corporate network
Proceedings - 2010 International Conference on Advances in Social Network Analysis and Mining, ASONAM 2010
Does testing help to reduce the number of potentially faulty statement in debugging?
TAIC PART 2010,
Using Distinguishing Tests to Reduce the Number of Fault Candidates
Proceedings of the 21st International Workshop on the Principles of Diagnosis
Mobile Scratch Programming on Android Smart Phones: Usability and New Features
Diagnosing Inconsistent Requirements
ECAI 2010 Workshop on Configuration
15-20
Towards Persuasive Technologies for Improved Software Quality
UMAP 2010 Workshop on User Models for Motivational Systems
1-7
The Regional Center Concept for RoboCupJunior in Austria
Robotics in Education
Static- and Dynamic Cosistency Analysis of UML State Chart Models
Model Driven Engineering Languages and Systems
151-165
On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog
Simulation, Modeling, and Programming for Autonomous Robots
229-240
RATSY - A new Requirements Analysis Tool with Synthesis
Computer Aided Verification
425-429
Hyrid control for autonomous systems - Integrating learning, deliberation and reactive control
On the Way to High-Level Control for Resource-Limited Embedded Systems with Golog
ECAI 2010 Workshop on "Intelligent Engineering Techniques for Knowledge Bases" (I-KBET'2010)
Process Patterns for Agile Usability
Advances in Computer Human Interaction
Improving the Mutation Score by Means of Distinguishing Test Cases
Proceedings of the 22nd Nordic Workshop on Programming Theory - NWPT '10
Blocking delaunay triangulations
Proc. 22nd Annual Canadian Conference on Computational Geometry CCCG 2010
21-24
A hybrid LS-CP solver for the shifts and breaks design problem
Hybrid Metaheuristics
46-61
A Diagnosis Algorithm for Inconsistent Constraint Sets
21st International Workshop on the Principles of Diagnosis
0-0
An AI-based break-scheduling system for supervisory personnel
A hybrid LS-CP solver for the shifts and breaks design problem
Proceedings of PATAT 2010
490-492
Diagnosing Inconsistent Requirements Preferences in Distributed Software Projects
Proceedings of the 3rd International Workshop on Social Software Engineering
495-502
Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems
Proceedings in Quality Software (QSIC) 2010
122-131
Divide-and conquer for Voronoi diagrams revisited
Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems
Proc. of Formal Methods for Components and Objects (FMCO) 2009
228-249
The Credo Methodology - (Extended Version)
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
41-69
Impacts of Decoy Effects on the Decision Making Ability
IEEE Conference on E-Commerce and Enterprise Computing
112-119
Efficient Explanations for Inconsistent Constraint Sets
2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases
21-26
Exact medial axis computation for circular arc boundaries
On-line Kinematics Reasoning for Reconfigurable Robot Drives
Robotics and Automation (ICRA), 2010 IEEE International Conference on
5441-5446
A 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-287
The influence of AJAX on Web Usability
Proceedings of the International Conference on E-Business (ICE-B 2010), Athens
124-127
Team Zadeat 2010 --- Application for Participation
RoboCup International Symposium
Resource Modeling for Timed Creol Models
Constraint-based configuration of embedded automotive software
Large bichromatic point sets admit empty monochromatic 4-gons
Personalized User Interfaces for Product Configuration
Edge-removal and non-crossing configurations in geometric graphs
Synthesize it: from Design by Contract™to Meaningful Test Input Data
Software Engineering and Formal Methods 2010
1-10
Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research
Proceedings of the International Conference on E-Business (ICE-B 2010), Athens
14-21
Agile Usability Processes
Browse