@article{15706,
  author       = {{Schulte, Carsten}},
  journal      = {{Softwaretechnik-Trends}},
  number       = {{3}},
  title        = {{{Theoriegeleitete Entwicklung und Evaluation von Neuen Medien für die Lehre}}},
  volume       = {{22}},
  year         = {{2002}},
}

@inproceedings{15707,
  author       = {{Schulte, Carsten}},
  booktitle    = {{GI Jahrestagung}},
  pages        = {{408--415}},
  publisher    = {{GI}},
  title        = {{{Theoriegeleitete Entwicklung und Evaluation von Neuen Medien für die Lehre}}},
  volume       = {{{P-19}}},
  year         = {{2002}},
}

@inproceedings{15708,
  author       = {{Schulte, Carsten and Block, Ulrich}},
  booktitle    = {{DDI}},
  pages        = {{3--12}},
  publisher    = {{GI}},
  title        = {{{Das Sieben-Schritte-Schema zur Dekonstruktion objektorientierter Software}}},
  volume       = {{P-22}},
  year         = {{2002}},
}

@inproceedings{14843,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{In Proceedings ECAI-2002, 15th European Conference on Artificial Intelligence, Lyon, France}},
  pages        = {{360--364}},
  publisher    = {{IOS Press}},
  title        = {{{On the representation and combination of evidence in instance-based learning}}},
  year         = {{2002}},
}

@inproceedings{15037,
  author       = {{Hinn, Robert and Redmer, Benedikt and Domik, Gitta}},
  booktitle    = {{The First IEEE International Workshop Agumented Reality Toolkit,}},
  pages        = {{2--pp}},
  title        = {{{AR-campus}}},
  year         = {{2002}},
}

@inproceedings{15064,
  author       = {{De Calmès, M. and Dubois, D. and Hüllermeier, Eyke and Prade, H. and Sèdes, F.}},
  booktitle    = {{in Proceedings KR-02, 8th International Conference on Principles of Knowledge Representation and Reasoning, France}},
  editor       = {{Fensel, D. and Giunchiglia, F. and Mc Guinness, D. and Williams, M.A.}},
  pages        = {{449--458}},
  publisher    = {{Morgan Kaufmann}},
  title        = {{{A fuzzy set approach to flexible case-based querying: methodology and experimentation}}},
  year         = {{2002}},
}

@inproceedings{15098,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings PKDD-02  6th European Conference on Principles and Practise of Knowledge Discovery in Databases, Helsinki, Finland}},
  pages        = {{200--211}},
  publisher    = {{Springer}},
  title        = {{{Association rules for expressing gradual dependencies}}},
  year         = {{2002}},
}

@inproceedings{15101,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings ECML-02, 13th European Conference on Machine Learning, Helsinki Finland}},
  pages        = {{173--184}},
  publisher    = {{Springer}},
  title        = {{{Possibilistic induction in decision tree learning}}},
  year         = {{2002}},
}

@inproceedings{15226,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{In Proceedings IPMU-2002 9th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems,Annecy, France}},
  pages        = {{101--108}},
  title        = {{{Mining implication-based fuzzy association rules in databases}}},
  year         = {{2002}},
}

@inproceedings{15227,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii}},
  pages        = {{729--734}},
  title        = {{{Exploiting similarity and experience in decision making}}},
  year         = {{2002}},
}

@inproceedings{15228,
  author       = {{De Calmès, M. and Dubois, D. and Hüllermeier, Eyke and Prade, H. and Sèdes, F.}},
  booktitle    = {{in Proceedings FUZZ-IEEE-02, IEEE International Conference on Fuzzy Systems, Honolulu, Hawaii}},
  pages        = {{735--740}},
  title        = {{{Case-based quering and prediction: A fuzzy set approach}}},
  year         = {{2002}},
}

@article{16191,
  author       = {{Hüllermeier, Eyke and Dubois, D. and Prade, H.}},
  journal      = {{IEEE Transactions on Fuzzy Systems}},
  number       = {{3}},
  pages        = {{333--339}},
  title        = {{{Model adaption in possibilistic instance-based reasoning}}},
  volume       = {{10}},
  year         = {{2002}},
}

@article{16192,
  author       = {{Dubois, D. and Hüllermeier, Eyke and Prade, H.}},
  journal      = {{IEEE Transactions on Fuzzy Systems}},
  number       = {{3}},
  pages        = {{322--332}},
  title        = {{{Fuzzy set-based methods in instance-based reasoning}}},
  volume       = {{10}},
  year         = {{2002}},
}

@inbook{16232,
  author       = {{Hüllermeier, Eyke and Dubois, D. and Prade, H.}},
  booktitle    = {{Technologies for Constructing Intelligent Systems}},
  editor       = {{Bouchon-Meunier, B. and Gutierrez-Rios, J. and Magdalena, L. and Yager, R.R.}},
  pages        = {{377--390}},
  publisher    = {{Springer}},
  title        = {{{Knowledge-based extrapolation of cases: A possibilistic approach}}},
  year         = {{2002}},
}

@inproceedings{1001,
  author       = {{Quynh, Thu Ngo and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus}},
  booktitle    = {{Universal Multiservice Networks, 2002. ECUMN 2002. 2nd European Conference on}},
  pages        = {{116----123}},
  title        = {{{Using only Proportional Jitter Scheduling at the boundary of a Differentiated Service Network: simple and efficient}}},
  year         = {{2002}},
}

@inproceedings{1009,
  author       = {{Sroka, Steffen and Karl, Holger}},
  booktitle    = {{2nd International OMNeT++ Workshop, Berlin, Germany}},
  title        = {{{Using akaroa2 with omnet++}}},
  year         = {{2002}},
}

@article{1014,
  author       = {{Ngo-Quynh, Thu and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus}},
  journal      = {{Proceedings of IST mobile communication and wireless telecommunications summit, Thessaloniki, Greece}},
  title        = {{{New scheduling algorithm for providing proportional jitter in differentiated services network}}},
  year         = {{2002}},
}

@inproceedings{1020,
  author       = {{Aguiar, A and Karl, Holger and Wolisz, Adam}},
  booktitle    = {{Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia}},
  pages        = {{21----33}},
  title        = {{{Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers}}},
  year         = {{2002}},
}

@inproceedings{13611,
  author       = {{Walder, Herbert and Platzner, Marco}},
  booktitle    = {{Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}},
  pages        = {{24--30}},
  publisher    = {{CSREA Press}},
  title        = {{{Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform}}},
  year         = {{2002}},
}

@inbook{34447,
  abstract     = {{The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.

This article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension.}},
  author       = {{Flake, Stephan and Müller, Wolfgang}},
  booktitle    = {{Advances in Object Modelling with the OCL}},
  editor       = {{Clark, T. and Warmer, J.}},
  isbn         = {{978-3-540-45669-8}},
  keywords     = {{Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure}},
  pages        = {{150 -- 171}},
  publisher    = {{Springer-Verlag}},
  title        = {{{An OCL Extension for Real-Time Constraints}}},
  doi          = {{10.1007/3-540-45669-4_8}},
  year         = {{2002}},
}

