• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2001

Test-design through abstraction - a systematic approach based on the refinement calculus

Aichernig, B., 2001, In : Journal of Universal Computer Science . 7, 8, p. 710-735

Research output: Contribution to journalArticleResearchpeer-review

The CAWICOMS Project

Ardissono, L., Felfernig, A., Friedrich, G., Jannach, D., Schäfer, R. & Zanker, M., 2001, Arbeitskonferenz Elektronische Geschäftsprozesse, eBusiness Processes (EGP2001). Horrocks, I. & Hendler, J. (eds.). it Verlag, p. 193-204

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

The complexity of graph Ramsey games

Slany, W., 2001, Computers and Games. Berlin [u.a.]: Springer, Vol. 2063. p. 186-203 (Lecture notes in computer science).

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

Towards Compatible Triangulations

Aichholzer, O., Aurenhammer, F., Hurtado, F. & Krasser, H., 2001, Computing and combinatorics. Berlin [u.a.]: Springer, Vol. 2108. p. 101-110 (Lecture Notes in Computer Science).

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

Towards Distributed Configuration

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2001, Proceedings of the (24th/9th) German/Austrian Conference on Artificial Intelligence (KI2001). Springer, Vol. 2174. p. 198-212 (Springer Lecture Notes in Computer Science).

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

Using Multiple Models for Debugging VHDL Designs

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

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

Web-based Commerce of Complex Products and Services with Multiple Suppliers

Ardissono, L., Felfernig, A., Friedrich, G., Goy, A., Jannach, D., Schäfer, R. & Zanker, M., 2001, Proceedings of Workshop: Planen und Konfigurieren (PuK). ., p. 1-8

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

Zyklische Schichtplanung

Slany, W., Fingerlos, R., Gaertner, J. & Musliu, N., 2001, In : Künstliche Intelligenz. 2, p. 31-34

Research output: Contribution to journalArticleResearch

2000

A comparative study of symbolic algorithms for the computation of fair cycles

Bloem, R. P., Ravi, K. & Somenzi, F., 2000, International Conference on Formal Methods in Computer-Aided Design. Hunt, W. A. (ed.). ., p. 143-160

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

A comparison of tree transductions defined by monadic second order logic and by attribute grammars

Bloem, R. P. & Engelfriet, J., 2000, In : Journal of computer and system sciences. 61, 1, p. 1-50

Research output: Contribution to journalArticleResearchpeer-review

AD2L- A Programming Language for Model-Based Systems

Wotawa, F., Havelka, T. & Stumptner, W., 2000, International Workshop on Principles of Diagnosis. ., p. ?-?

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

A Framework for the Development of cooperative Configuration Agents

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, Proceedings of the 13thInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000). Logananthara, R., Palm, G. & Ali, M. (eds.). Springer, p. 24-33

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

AI Support for Debugging Java Programs

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Conference on Software Engineering. ., p. ?-?

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

An algorithm for strongly connected component analysis in n log n symbolic steps

Bloem, R. P., Gabow, H. N. & Somenzi, F., 2000, International Conference on Formal Methods in Computer-Aided Design. Springer, p. 37-54

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

An Environment and Language for Industrial Use of Model-based Diagnosis

Wotawa, F., Fleischanderl, G., Schreiner, H. & Stumptner, M., 2000, European Conference on Artificial Intelligence. ., p. ?-?

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

An Integrated Development Environment for the Design and Maintenance of Large Configuration Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2000, Artificial Intelligence in Design '00. Dordrecht [u.a.]: Kluwer, p. 169-189

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

Approximations for fixpoint computations in symbolic model chec king

Bloem, R. P., Moon, I-H., Ravi, K. & Somenzi, F., 2000, World Multiconference on Systemics, Cybernetics and Informatics. ., p. 701-706

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

A symmetric strategy in graph avoidance games

Slany, W., Harary, F. & Verbitsky, O., 2000, Combinatorial Games Theory Workshop and Conference. ., p. ?-?

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

A Value-Based Diagnosis Model for Java Programs

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

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

Conceptual Design for configuration and reconfiguration of customizable products

Felfernig, A., Friedrich, G. & Jannach, D., 2000, Proceedings of the Workshop on Advances in Conceptual Modeling in Design (ACMD00). ., p. 5-21

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

Consistency-based diagnosis of configuration knowledge bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2000, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000). IOS Press, p. 146-150

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

Contextual Diagrams as structuring mechanisms for designing configuration knowledge bases in UML

Felfernig, A., Jannach, D. & Zanker, M., 2000, 3rd International Conference on the Unified Modeling Language (UML2000). Evans, A., Kent, S. & Selic, B. (eds.). ., Vol. 1939. p. 240-254 (Springer Lecture Notes in Computer Science).

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

Cooperative Configuration Agents supporting Supply Chain Integration of Configurable Products

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000.

Research output: Contribution to conferencePosterResearch

Cooperative Configuration Agents supporting Supply Chain Integration of Configurable Products

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, Proceedings 4th International Conference on Multi-Agent Systems. Los Alamitos, Calif.: Institute of Electrical and Electronics Engineers, p. 385-386

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

Debugging VHDL Designs using Model-Based Reasoning

Wotawa, F., 2000, In : Artificial Intelligence in Engineering. 14, 4, p. 331-351

Research output: Contribution to journalArticleResearchpeer-review

Deriving Qualitative Rules from Neural Networks in Environmental Science

Wotawa, F. & Wotawa, G., 2000, European Conference on Artificial Intelligence. ., p. ?-?

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

Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language

Felfernig, A. & Zanker, M., 2000, Theory and Application of Diagrams. Anderson, M., Cheng, P. & Haarslev, V. (eds.). Berlin [u.a.]: Springer, Vol. 1889. p. 361-375 (Springer Lecture Notes in Computer Science).

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

Distributed configuration as distributed dynamic constraint satisfaction

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, Proceedings of the ECAI 2000 Workshop on Configuration. ., p. 35-40

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

Edge Operations on Non-Crossing Spanning Trees

Aichholzer, O., Aurenhammer, F. & Hurtado, F., 2000, European Workshop on Computational Geometry. ., p. 121-125

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

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