Zur Person
Forschungsfelder und / oder Lehrgebiete
Schwerpunkte in der Lehre
- Software Engineering
- Automaten, formale Sprachen, Berechenbarkeit
- Stream-Processing
Forschungs- und Interessengebiete
- Domänenspezifische Sprachen
- Infrastrukturen zur Verarbeitung kontinuierlicher Datenströme
Publikationen
Hollunder, Bernhard
2016 | |||
| Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier | A Course on Tool Based Software Engineering : The Students' Perspective | Software-Technologien und -Prozesse : Open-Source Software in der Industrie, KMUs und im Hochschulumfeld : 5. Konferenz STeP, 3. Mai 2016 in Furtwangen, pp. 61-72, 2016 | BibTeX | RIS |
| Stefan Betermieux(Ed.), , Bernhard Hollunder(Ed.) | Software-Technologien und -Prozesse : Open-Source Software in der Industrie, KMUs und im Hochschulumfeld : 5. Konferenz STeP, 3. Mai 2016 in Furtwangen | De Gruyter Oldenbourg: Berlin, 978-3-11-048006-1, 2016 | BibTeX | RIS |
| Stefan Betermieux, Bernhard Hollunder | Software-Technologien und -Prozesse: Vorwort | Software-Technologien und -Prozesse : Open-Source Software in der Industrie, KMUs und im Hochschulumfeld : 5. Konferenz STeP, 3. Mai 2016 in Furtwangen, De Gruyter Oldenbourg: Berlin, pp. XI-XIII, 2016 | BibTeX | RIS |
2015 | |||
| Bernhard Hollunder, Alexander Wahl | Event Processing | 2015 | BibTeX | RIS |
| Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier | Tool Chains in Agile ALM Environments : A Short Introduction | On the Move to Meaningful Internet Systems : OTM 2015 Workshops, pp. 371-380, 2015 | BibTeX | RIS | DOI |
2013 | |||
| Alexander Wahl, Bernhard Hollunder | Enhanced Deployment Process for QoS-aware Services | Service Computation 2013 : the Fifth International Conferences on Advanced Service Computing : May 27-June 1, 2013, Valencia, Spain, pp. 33-38, 2013 | BibTeX | RIS |
2012 | |||
| Bernhard Hollunder, Ahmed Al-Moayed, Alexander Wahl | A Tool Chain for Constructing QoS-aware Web Services | Performance and Dependability in Service Computing : Concepts, Techniques and Research Directions, IGI Global Scientific Publishing: Hershey, PA, pp. 189-211, 2012 | BibTeX | RIS | DOI |
| Bernhard Hollunder, Matthias Herrmann, Andreas Hülzenbecher | Design by Contract for Web Services : Architecture, Guidelines, and Mappings | International Journal On Advances in Software, 5.2012(1 & 2), pp. 53-64, 2012 | BibTeX | RIS |
| Alexander Wahl, Bernhard Hollunder | Performance Measurement for CEP Systems | Service Computation 2012 : the Fourth International Conferences on Advanced Service Computing : July 22-27, 2012, Nice, France, pp. 116-121, 2012 | BibTeX | RIS |
| Alexander Wahl, Bernhard Hollunder, Varun Sud, Ahmed Al-Moayed | Quality Attributes for Web Services : A Model-based Approach for Policy Creation | International Journal on Adcances in Software, Vol.5.2012, pp. 166-178, 2012 | BibTeX | RIS |
2011 | |||
| Bernhard Hollunder, Matthias Hüller, Andreas Schäfer | A Methodology for Constructing WS-Policy Assertions | International Symposium on Information System and Software Engineering : ISSE 2011 in the context of the 2nd International Conference on Engineering and Meta-Engineering : ICEME 2011, March 27 th - 30 th, 2011, Orlando, Florida USA, 2011 | BibTeX | RIS |
| Ahmed Al-Moayed, Bernhard Hollunder | An Approach to Model, Configure and Apply QoS Attributes to Web Services | ICSEA 2011 : the Sixth International Conference on Software Engineering Advances : October 23-29, 2011, Barcelona, Spain, pp. 405-410, 2011 | BibTeX | RIS |
| Alexander Wahl, Stefan Pfister, Bernhard Hollunder | Complex Event Processing for Usage Control in Service Oriented Infrastructures | Service Computation 2011, the Third International Conferences on Advanced Service Computing : September 25-30, 2011, Rome, Italy, pp. 92-97, 2011 | BibTeX | RIS |
| Bernhard Hollunder | Deriving Interface Contracts for Distributed Services | Service Computation 2011, the Third International Conferences on Advanced Service Computing : September 25-30, 2011, Rome, Italy, pp. 69-75, 2011 | BibTeX | RIS |
| Bernhard Hollunder | Interface Contracts for WCF Services with Code Contracts | International Journal On Advances in Software, 4.2011(3 & 4), pp. 275-285, 2011 | BibTeX | RIS |
| Oliver Charles, Bernhard Hollunder | Non-Functional Requirements for Business Processes in the Context of Service-Oriented Architectures | ICSEA 2011 : the Sixth International Conference on Software Engineering Advances : October 23-29, 2011, Barcelona, Spain, pp. 112-117, 2011 | BibTeX | RIS |
| Service Computation 2011, the Third International Conferences on Advanced Service Computing : September 25-30, 2011, Rome, Italy | Hideyasu Sasaki, Guadalupe Ortiz Bellot, Bernhard Hollunder (Eds.)2011 | BibTeX | RIS | |
| Bernhard Hollunder, Ahmed Al-Moayed, Alexander Wahl | Technologie- und Werkzeugunterstützung für die Erstellung und den Betrieb von SOA-Diensten mit Gütekriterien | 2011 | BibTeX | RIS |
2010 | |||
| Alexander Wahl, Ahmed Al-Moayed, Bernhard Hollunder | An Architecture to Measure QoS Compliance in SOA Infrastructures | Service Computation 2010 : the Second International Conferences on Advanced Service Computing : November 21-26, 2010, Lisbon, Portugal, pp. 27-33, 2010 | BibTeX | RIS |
| Oliver Charles, Markus Schalk, Bernhard Hollunder | CEP Meets SOA : Komplexe Ereignisse bringen Mehrwert in SOA-Infrastrukturen | Objektspektrum, pp. 28-33, 2010 | BibTeX | RIS |
| Bernhard Hollunder | Code Contracts for Windows Communication Foundation (WCF) | Service Computation 2010 : the Second International Conferences on Advanced Service Computing : November 21-26, 2010, Lisbon, Portugal, pp. 14-20, 2010 | BibTeX | RIS |
| Alexander Wahl, Bernhard Hollunder | Quality Properties of Service-oriented Architectures | informatikJournal, pp. 141-147, 2010 | BibTeX | RIS |
| Ahmed Al-Moayed, Bernhard Hollunder | Quality of Service Attributes in Web Services | Fifth International Conference on Software Engineering Advances (ICSEA), 2010 : 22 - 27 Aug. 2010, Nice, France, pp. 367-372, 2010 | BibTeX | RIS | DOI |
2009 | |||
| Bernhard Hollunder | Domain-Specific Processing of Policies or : WS-Policy Intersection Revisited | IEEE International Conference on Web Services, 2009 : ICWS 2009 , 6 - 10 July 2009, Los Angeles, CA, USA, pp. 246-253, 2009 | BibTeX | RIS | DOI |
| Bernhard Hollunder | Präzise Schnittstellen mit WSDL und OCL | JavaSPEKTRUM, pp. 23-26, 2009 | BibTeX | RIS |
| Bernhard Hollunder | WS-Policy: On Conditional and Custom Assertions | 2009 IEEE International Conference on Web Services: ICWS 2009; Los Angeles, CA, 6 - 10 July 2009, pp. 936-943, 2009 | BibTeX | RIS | DOI |
2007 | |||
| Rainer Müller, Hannelore Frank, Heinz Sauerburger, Lothar Piepmeyer, Bernhard Hollunder | Ubiquitous Computing: FHFtrain - Stand der Weiterentwicklung | 2007 | BibTeX | RIS |
1997 | |||
| Martin Buchheit, Bernhard Hollunder | Building and assembling components | Object Magazine, 7.1997(9), pp. 62-64, 1997 | BibTeX | RIS |
1996 | |||
| Franz Baader, Martin Buchheit, Bernhard Hollunder | Cardinality Restrictions on Concepts | Artificial Intelligence, 88.1996(1-2), pp. 195-213, 1996 | BibTeX | RIS | DOI |
| Bernhard Hollunder | Consistency checking reduced to satisfiability of concepts in terminological systems | Annals of Mathematics and Artificial Intelligence, 18.1996(2), pp. 133-157, 1996 | BibTeX | RIS | DOI |
| Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux | On Skolemization in constrained logics | Annals of Mathematics and Artificial Intelligence, 18.1996(2), pp. 95-131, 1996 | BibTeX | RIS | DOI |
1995 | |||
| Bernhard Hollunder | An alternative proof method for possibilistic logic and its application to terminological logics | International Journal of Approximate Reasoning, 12.1995(2), pp. 85-109, 1995 | BibTeX | RIS | DOI |
| Franz Baader, Bernhard Hollunder | Embedding defaults into terminological knowledge representation formalisms | Journal of Automated Reasoning, 14.1995(1), pp. 149-180, 1995 | BibTeX | RIS | DOI |
| Franz Baader, Bernhard Hollunder | Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic | Journal of Automated Reasoning, 15.1995(1), pp. 41-68, 1995 | BibTeX | RIS | DOI |
| Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik | Task acquisition with a description logic reasoner | 1995 | BibTeX | RIS | DOI | URN |
| Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik | Task acquisition with a description logic reasoner | KI-95 : Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, September 11 - 13, 1995, Bielefeld, Germany, Proceedings, pp. 125-136, 1995 | BibTeX | RIS | DOI |
1994 | |||
| Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi | Am empirical analysis of optimization techniques for terminological representation systems : Or: Making KRIS Get a Move On | Applied Intelligence, 4.1994(2), pp. 109-132, 1994 | BibTeX | RIS | DOI |
| Bernhard Hollunder | An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics | UAI'94 : Proceedings of the Tenth international conference on Uncertainty in artificial intelligence, July 29 - 31, 1994, Seattle, WA, USA, pp. 327-335, 1994 | BibTeX | RIS | DOI |
| Franz Baader, Martin Buchheit, Bernhard Hollunder | Cardinality restrictions on concepts | KI-94 : Advances in Artificial Intelligence, 18th German Annual Conference on Artificial Intelligence, September 18-23, 1994, Saarbrücken, Germany, Proceedings, pp. 51-62, 1994 | BibTeX | RIS | DOI |
| Franz Baader, Bernhard Hollunder | Computing extensions of terminological default theories | Foundations of Knowledge Representation and Reasoning, Springer: Berlin, pp. 30-52, 1994 | BibTeX | RIS | DOI |
| Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux | Concept logics with function symbols | ECAI'94 : Proceedings of the 11th European Conference on Artificial Intelligence, August 8 - 12, 1994, Amsterdam, Netherlands, pp. 406-410, 1994 | BibTeX | RIS |
1993 | |||
| Bernhard Hollunder | An alternative proof method for possibilistic logic and its application to terminological logics | 1993 | BibTeX | RIS | DOI | URN |
| Franz Baader, Martin Buchheit, Bernhard Hollunder | Cardinality restrictions on concepts | 1993 | BibTeX | RIS | DOI | URN |
| Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux | Concept logics with function symbols | 1993 | BibTeX | RIS | DOI | URN |
| Franz Baader, Bernhard Hollunder | Embedding defaults into terminological knowledge representation formalisms | 1993 | BibTeX | RIS | DOI | URN |
| Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux | On skolemization in constrained logics | 1993 | BibTeX | RIS | DOI | URN |
| Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt | Terminologische Logiken | Künstliche Intelligenz : KI, 6.1992(3), pp. 23-33, 1993 | BibTeX | RIS |
1992 | |||
| Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi | An empirical analysis of optimization techniques for terminological representation systems, or making KRIS get a move on | KR'92 : Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, October 25 - 29, 1992, Cambridge, MA, USA, pp. 270-281, 1992 | BibTeX | RIS |
| Franz Baader, Bernhard Hollunder | How to Prefer More Specific Defaults in Terminological Default Logic | 1992 | BibTeX | RIS | DOI | URN |
| Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti Spaccamela | The complexity of existential quantification in concept languages | Artificial Intelligence, Vol.53.1992, pp. 309-327, 1992 | BibTeX | RIS | DOI |
1991 | |||
| Franz Baader, Bernhard Hollunder | A terminological knowledge representation system with complete inference algorithms | Processing Declarative Knowledge : International Workshop PDK '91, July 1-3, 1991, Kaiserslautern, Germany, Proceedings, pp. 67-86, 1991 | BibTeX | RIS | DOI |
| Franz Baader, Bernhard Hollunder | KRIS : Knowledge Representation and Inference System | ACM SIGART Bulletin, 2.1991(3), pp. 8-14, 1991 | BibTeX | RIS | DOI |
| Erich Achilles, Bernhard Hollunder, Armin Laux, Jörg-Peter Mohren | KRIS : knowledge representation and inference system - Benutzerhandbuch- | 1991 | BibTeX | RIS | DOI | URN |
| Bernhard Hollunder, Franz Baader | Qualifying number restrictions in concept languages | 1991 | BibTeX | RIS | DOI | URN |
| Bernhard Hollunder, Franz Baader | Qualifying number restrictions in concept languages | KR'91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge MA, USA, April 22 - 25, 1991, pp. 335-346, 1991 | BibTeX | RIS |
| Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt | The complexity of existential quantification in concept languages | 1991 | BibTeX | RIS | DOI | URN |
1990 | |||
| Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg H. Siekmann | Concept Logics | Computational Logic, Symposium Proceedings, Brussels, November 13/14, 1990, Brussels, Belgium, pp. 177-201, 1990 | BibTeX | RIS | DOI |
| Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg H. Siekmann | Concept logics | 1990 | BibTeX | RIS | DOI | URN |
| Bernhard Hollunder | Hybrid Inferences in KL-ONE-based Knowledge Representation Systems | GWAI-90 : 14th German Workshop on Artificial Intelligence, 10.–14. September 1990, Eringerfeld, Germany, Proceedings, pp. 34-47, 1990 | BibTeX | RIS | DOI |
| Bernhard Hollunder | Hybrid inferences in KL-ONE-based knowledge representation systems | 1990 | BibTeX | RIS | DOI | URN |
| Franz Baader, Bernhard Hollunder | KRIS : Knowlwdge Representation and Inference System -System Description- | 1990 | BibTeX | RIS | DOI | URN |
| Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß | Subsumption algorithms for concept description languages | ECAI'90 : Proceedings of the 9th European Conference on Artificial Intelligence, 1 January 1990, Stockholm Sweden, pp. 348-353, 1990 | BibTeX | RIS |
| Bernhard Hollunder, Werner Nutt | Subsumption algorithms for concept languages | 1990 | BibTeX | RIS | DOI | URN |
| Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich | Terminological knowledge representation : a proposal for a terminological logic | 1990 | BibTeX | RIS | DOI | URN |
1989 | |||
| Bernhard Hollunder | Subsumption Algorithms for Some Attributive Concept Description Languages | 1989 | BibTeX | RIS | DOI | URN |