• 8010

    Inffeldgasse 16b Graz

    Austria

Activities 1996 2018

Planar 3-SAT with a Clause/Variable Cycle

Alexander Pilz (Speaker)
2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

31st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems

Ingo Pill (Participant)
2018 → …

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
11 Sep 2018

Activity: Talk or presentationInvited talkScience to science

Electronic Newsletter of the Association for Logic Programming (Journal)

Martin Gebser (Peer reviewer)
1 Oct 201831 Dec 2018

Activity: Publication peer-review or editorial workEditorial activity

Second IEEE International Contest on Software Testing

Martin Jochen Zimmermann (Participant)
17 Jul 2018

Activity: Participation in or organisation ofCompetition (Participation in/Organisation of)

Spectrum-based fault localization for logic-based reasoning

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Jean Cardinal

Oswin Aichholzer (Host)
20 Nov 201823 Nov 2018

Activity: Hosting a visitorHosting an academic visitor

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
10 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Knowledge Representation and Reasoning: Wie können Maschinen wissen und denken?

Martin Gebser (Speaker), Wolfgang Faber (Speaker)
13 Dec 2018

Activity: Talk or presentationInvited talkScience to public

29th International Workshop on Principles of Diagnosis, DX 2018 (Event)

Ingo Pill (Member)
2018 → …

Activity: MembershipMembership in Programm Committee

Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

Bernhard Aichernig (Speaker)
11 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Algorithms for Molecular Biology (Journal)

Martin Gebser (Peer reviewer)
1 Oct 201831 Oct 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

27th Internaltional Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

Agile Software Development, Software Engineering, Computer Science Didactic & Teaching

Christian Schindler (Speaker)
10 Aug 2018

Activity: Talk or presentationInvited talkScience to science

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies

Richard Alexander Schumi (Speaker)
6 Sep 2018

Activity: Talk or presentationPoster presentationScience to science

Ist Künstliche Intelligenz eine Kulturtechnik?

Martin Kandlhofer (Speaker)
Mar 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

European Driving License for Robotics and Intelligent Systems

Martin Kandlhofer (Speaker)
Jan 2018

Activity: Talk or presentationTalk at conference or symposiumScience to public

Predicting and Testing System Response-Times

Richard Alexander Schumi (Speaker)
27 Sep 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

How Fast is MQTT? Statistical Model Checking and Testing of MQTT Latencies

Richard Alexander Schumi (Speaker)
5 Jun 2018

Activity: Talk or presentationPoster presentationScience to public

Theory and Practice of Logic Programming (Journal)

Martin Gebser (Peer reviewer)
1 Nov 201830 Nov 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

Jorge Urrutia Galicia

Oswin Aichholzer (Host)
28 Jun 20187 Jul 2018

Activity: Hosting a visitorHosting an academic visitor

Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing

Bernhard Aichernig (Speaker)
5 Jun 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

On the Superiority of Conflict-Driven Search in MUS Enumeration

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationPoster presentationScience to science

Creative Bodies—Creative Minds

Bernadette Spieler (Organiser)
Mar 2018

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

18th IEEE International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018

Martin Jochen Zimmermann (Participant)
16 Jul 201820 Jul 2018

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

NP-Completeness of Max-Cut for Segment Intersection Graphs

Birgit Vogtenhuber (Speaker)
22 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

Girls Coding Week

Bernadette Spieler (Organiser)
6 Aug 201810 Aug 2018

Activity: Public engagementPublic event

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-Monotonic Reasoning System

Franz Wotawa (Speaker)
13 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Software configuration diagnosis – A Survey of existing methods and open challenges

Franz Wotawa (Speaker)
28 Sep 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

RoboCupJunior Austrian Open 2018

Petra Pichler (Contributor)
13 Apr 201814 Apr 2018

Activity: Public engagementPublic event

Superhirne und starke Helfer - Educational Robotics in Kindergarten und Hort

Martin Kandlhofer (Speaker)
Sep 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

Martin Gebser (Speaker)
20 Nov 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

AAAI-18 (Event)

Ingo Pill (Member)
2018

Activity: MembershipMembership of research network or expert group

Towards Understanding and Managing Co-Creative Communities

Matthias Müller (Speaker), Wolfgang Vorraber (Speaker), Wolfgang Slany (Speaker)
27 Jun 201828 Jun 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

AAAI-19: Thirty-Third AAAI Conference on Artificial Intelligence (Event)

Martin Gebser (Chair)
1 Oct 20181 Feb 2019

Activity: MembershipMembership in Programm Committee

Colored Crossings and Maximum Cuts

Birgit Vogtenhuber (Speaker)
28 May 2018

Activity: Talk or presentationInvited talkScience to public

Annals of Mathematics and Artificial Intelligence (Journal)

Martin Gebser (Peer reviewer)
1 Dec 201831 Dec 2018

Activity: Publication peer-review or editorial workPeer review of manuscripts

Smart Black-box Testing

Bernhard Aichernig (Keynote speaker)
7 Dec 2018

Activity: Talk or presentationInvited talk at conference or symposiumScience to science

Panel member for the IDEAR panel discussion "From Debugging to Repair: Challenges and Research Directions"

Ingo Pill (Speaker)
15 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

On the automation of testing a logic-based diagnosis system

Franz Wotawa (Speaker)
9 Apr 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Workshop IMAGINE / ICT2018

Bernadette Spieler (Contributor)
Dec 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

28th International Workshop on Principles of Diagnosis (Event)

Marina Zanella (Guest editor), Ingo Pill (Guest editor), Alessandro Cimatti (Guest editor)
6 Jan 2018

Activity: Publication peer-review or editorial workEditorial activity

From Ontologies to Input Models for Combinatorial Testing

Franz Wotawa (Speaker)
1 Oct 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

SchülerInnen Konferenz "Ich bin online" WKO Steiermark

Bernadette Spieler (Speaker)
18 Oct 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to public

A Note on Planar Monohedral Tilings

Birgit Vogtenhuber (Speaker)
21 Mar 2018

Activity: Talk or presentationTalk at conference or symposiumScience to science

R. Fabila-Monroy

Oswin Aichholzer (Host)
20 May 201827 May 2018

Activity: Hosting a visitorHosting an academic visitor

Adaptive System for Autonomous Driving

Martin Jochen Zimmermann (Speaker)
18 Jul 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

The 29th IEEE International Symposium on Software Reliability Engineering

Ingo Pill Pill (Participant)
15 Oct 201818 Oct 2018

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa (Speaker)
27 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation

Franz Wotawa (Speaker)
29 Aug 2018

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science