• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2000

Efficient Büchi automata from LTL formulae

Bloem, R. P. & Somenzi, F., 2000, International Conference on Computer Aided Verification. Springer, p. 248-263

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Efficient generation of rotating workforce schedules

Slany, W., Musliu, N. & Gaertner, J., 2000, . (Technical Report DBAI-TR-2000-35)

Research output: Book/ReportOther reportResearch

Exploiting structural abstractions for consistency-based Diagnosis of Configurator Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2000, Proceedings of the ECAI 2000 Workshop on Configuration. ., p. 23-28

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Formal specification techniques as a catalyst in validation

Aichernig, B., Gerstinger, A. & Aster, R., 2000, Proceedings / Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE). Los Alamitos, Calif.: IEEE Computer Soc. Press, p. 203-207

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Generating Product Configuration Knowledge Bases from Precise Domain Extended UML Models

Felfernig, A., Friedrich, G. & Jannach, D., 2000, Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE00). ., p. 284-293

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Guest - Editorial Special Issue on Industrial Applications of Model-based Reasoning

Wotawa, F. & Stumptner, M., 2000, In : AI Communications. 13(2), p. ?-?

Research output: Contribution to journalArticleResearchpeer-review

Integrating Knowledge-based Configuration Systems by Sharing Functional Architectures

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, 12th International conference on Knowledge Engineering and Knowledge Management (EKAW2000). Dieng, R. (ed.). Berlin [u.a.]: Springer, Vol. 1937. p. 312-327 (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Integration of Distributed Constraint-based Configurators

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, Proceedings of ECAI'2000 Workshop on Configuration. ., p. 29-34

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

JADE - AI Support for Debugging Java Programs

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Conference on Tools with Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

JADE - A Step towards an Intelligent Debugger

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Workshop on Principles of Diagnosis. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Locating bugs in Java programs - first results of the Java Diagnosis Experiments (Jade) project

Wotawa, F., Mateis, C. & Stumptner, M., 2000, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Manpower shift scheduling

Slany, W., 2000, Eurofuse Workshop on Scheduling and Planning. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Debugging of Java Programs

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Workshop on Automated Debugging. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-based diagnosis and manufacturing control

Wotawa, F., Ilkerl, M. & Stumptner, M., 2000, European Conference on Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-based Diagnosis in Manufacturing

Wotawa, F., Stumptner, M. & Ilkerl, M., 2000, European Conference on Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Modeling and validating hybrid systems using VDM and Mathematica

Aichernig, B. & Kainhofer, R., 2000, Lfm2000: Fifth NASA Langley Formal Methods Workshop. NASA, Vol. CP-2000-2101000. p. 35-46 (NASA STI Report Series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Modeling Java Programs for Diagnosis

Wotawa, F., Mateis, C. & Stumptner, M., 2000, European Conference on Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Niching evolution strategy with cluster algorithms

Aichholzer, O., Aurenhammer, F., Brandtstätter, B., Ebner, T., Krasser, H. & Magele, C., 2000, Biennial IEEE Conference on Electromagnetic Field Computation. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods

Aichernig, B. & Hoerl, J., 22 Jun 2000.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods

Aichernig, B. & Hörl, H., 2000, International Conference on Requirements Engineering. Institute of Electrical and Electronics Engineers, p. 190-190

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Symbolic guided search for CTL model checking

Bloem, R. P., Ravi, K. & Somenzi, F., 2000, Design Automation Conference. ., p. 29-34

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Theory and practice of shift scheduling

Slany, W., Musliu, N., Kortsarz, G. & Gärtner, J., 2000, RIMS Kokyuroku Vol. 1185. ., p. 172-181

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Theory and practice of shift scheduling (invited paper)

Slany, W., 2000, Workshop on Algorithm Engineering as a New Paradigm: A Challenge to Hard Computation Problems. ., p. 35-35

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

UML ad domain specific language for the construction of knowledge-based configuration systems

Felfernig, A., Friedrich, G. & Jannach, D., 2000, In : International journal of software engineering and knowledge engineering. 10, 4, p. 449-470

Research output: Contribution to journalArticleResearchpeer-review

Using Model-Based Reasoning for Locating Faults in VHDL Designs

Wotawa, F. & Stumptner, M., 2000, In : Künstliche Intelligenz. 14, 4, p. 62-67

Research output: Contribution to journalArticleResearch

1999

A Functional Dependency Model for Java Programs

Wotawa, F., Mateis, C. & Stumptner, M., 1999, In : DBAI technical reports. TR-99-xx, p. ?-?

Research output: Contribution to journalArticleResearch

Consistency-based Diagnosis of Configuration Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 1999, Proceedings of the AAAI'99 Workshop on Configuration. ., p. 41-47

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Debugging Functional Programs

Wotawa, F. & Stumptner, M., 1999, International Joint Conference on Artificial Intelligence. ., p. 1074-1079

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Debugging of Java programs using a model-based approach

Wotawa, F., Mateis, C. & Stumptner, M., 1999, International Workshop on Principles of Diagnosis. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Debugging synthesizeable VHDL Programs

Wotawa, F., 1999, International Workshop on Principles of Diagnosis. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Efficient decision procedures for model checking of linear time logic properties

Bloem, R. P., Ravi, K. & Somenzi, F., 1999, International Conference on Computer Aided Verification. Springer, p. 222-235

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Executable specifications in software reliability engineering

Aichernig, B., 1999, Workshop on Formal Descriptions and Software Reliability. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Graph Ramsey games

Slany, W., 1999, . (Technical Report DBAI-TR-99-34)

Research output: Book/ReportOther reportResearch

Guest--Editorial Special Issue on Model-Based Reasoning

Wotawa, F., 1999, In : AI Communications. 12(1/2), p. ?-?

Research output: Contribution to journalArticleResearchpeer-review

Intelligente Produktkonfiguratoren als Voraussetzung für maßgeschneiderte Massenprodukte

Felfernig, A., Friedrich, G. & Jannach, D., 1999, In : e&i - Elektrotechnik und Informationstechnik. 116, 3, p. 201-207

Research output: Contribution to journalArticleResearchpeer-review

Jade - java diagnosis experiments - status and outlook

Wotawa, F. & Stumptner, M., 1999, International Joint Conference on Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Knowledge Acquisition for Configuration Systems: UML as a link between AI and Software Engineering

Felfernig, A., Friedrich, G. & Jannach, D., 1999, Proceedings of the 13th Workshop Planen und Konfigurieren (PuK). ., p. 72-81

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Knowledge base construction for configuration systems using executable standard design descriptions

Felfernig, A., 1999, Proceedings of World Manufacturing Congress. ., p. 274-281

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Knowledge Base Construction for Product configuration Systems using Executable standard Design Descriptions

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 1999, Proceedings of the 2nd World Manufacturing Congress. ., p. 274-281

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Local Maximum Ozone Concentration Prediction Using Neural Networks

Wotawa, F. & Wieland, D., 1999, AAAI-Workshop on Environmental Decision Support Systems and Artificial Intelligence. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-based diagnosis of hardware designs

Wotawa, F. & Friedrich, G., 1999, In : Artificial Intelligence. 111(2), p. 3-39

Research output: Contribution to journalArticleResearchpeer-review

New Directions in Debugging Hardware Designs

Wotawa, F., 1999, In : DBAI technical reports. TR-99-24, p. ?-?

Research output: Contribution to journalArticleResearch

New Directions in Debugging Hardware Designs

Wotawa, F., 1999, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

New results on MWT subgraphs

Aichholzer, O., Aurenhammer, F. & Hainz, R., 1999, In : Information Processing Letters. 69, p. 215-219

Research output: Contribution to journalArticleResearchpeer-review

Reconfiguration using model-based diagnosis

Wotawa, F. & Stumptner, M., 1999, International Workshop on Principles of Diagnosis. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Shiftplanassistant 4.0 -- state of development

Slany, W., Wahl, S., Muslija, N., Angelova, R., Herber, G. & Janke, M., 1999, Shiftwork International Newsletter ; 16(2). ., p. 124-124

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Shift scheduling from a combinatorial optimization point of view

Slany, W., Muslija, N. & Gaertner, J., 1999, ALIO-EURO Workshop on Applied Combinatorial Optimization. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Skew Voronoi diagrams

Aichholzer, O., Aurenhammer, F., Chen, D. Z., Lee, D. T. & Papadopoulou, E., 1999, In : International Journal of Computational Geometry and Applications. 9, 3, p. 235-247

Research output: Contribution to journalArticleResearchpeer-review

The Design Diagnosis of VHDL Specificiations Project (DDV) - Fault Localization in Hardware Designs

Wotawa, F., Albrecht, T., Friedrich, G., Rohringer, S. & Stumptner, M., 1999, In : ÖGAI-Journal. 18, 1, p. ?-?

Research output: Contribution to journalArticleResearch

The graph Ramsey achievement game is PSPACE-complete

Slany, W., 1999, Research Communications of the conference held in memory of Paul Erd H os (ERD H OS'99). ., p. 231-235

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review