Publications
Year Of Publicaton:
 2017  2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999  1998  1997  1996  1995  1994  1993  1992  1991  1990  1989  1988  1987  1986  1985  1984  1983  1982  1980  1978
2017
Belli, F., Beyazıt, M. Ch. J. Budnik, and Tuglular, T.,  Advances in Model-Based Testing of Graphical User Interfaces. In: Advances in Computers, Vol. 107 (ed. A. M. Memon), Academic Press, Elsevier Inc, pp. 219-280, 
Tuglular, T., Budnik, Ch. J, Belli, F.,  Automatisches Testen grafischer Benutzungsschnittstellen: Ein Überblick, SIGS-DATACOM Online Issue, Online Themen-Special testing, www.objektspektrum.de, SIGS DATACOM, www.objektspektrum.de, Online Themenspecial Testing, pp. 1-6, 
Belli, F.,  New Products Out of Reused Parts – Dream Or Reality? - Quality and Performance of Products that Contains Reused Parts, Proc. International Conference on sustainable Development (ICSD 2017), 
Subramanyan, R., Belli, F.,  Message from the STA 2017: The 9th IEEE International COMPSAC Workshop on Software Test Automation, 
Belli, F.,  On the Formal Fundaments of Software Engineering, Keynote Speech, XI. Turkish National Software Engineering Symposium - XI. Ulusal Yazılım Mühendisliği Sempozyumu - UYMS 2017), 
Kılınççeker, O., Belli, F.,  Testing Graphic User Interfaces Using Regular Expressions (in Turkish), Proc. XI. Turkish National Software Engineering Symposium - VII. Ulusal Yazılım Mühendisliği Sempozyumu - UYMS 2017), CEUR-WS, 
Yemni Ben Ayed, L., Belli, F., Ben Younes, A., Bendaly Hlaoui, Y.,  Message from the MVDA 2016 Workshop Organizers, Proc. COMPSAC 2017 Workshops, 
2016
Fevzi Belli,  Model-Based Testing of Reusable Software Components and Systems,  IEEE International Workshop on Model-Based Verification & Validation at 2016 IEEE International, 
Fevzi Belli, Rajesh Subramanyan,  Message from the STA 2016 Workshop Organizers,  Proc. COMPSAC 2016 Workshops, 
Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong,  Model-Based mutation testing - Approach and case studies, Sci. Comput. Program. 120, pp. 25-48,  » [PDF]
T. Tuglular, F. Belli, M. Linschulte,  Input Contract Testing of Graphical User Interfaces, International Journal of Software Engineering and Knowledge Engineering 26(02), pp.183-215,  » [PDF]
Belli, F.,  Dependable Reuse of Software and Hardware Components - A Holistic View -, Proc. International Conference on sustainable Development (ICSD 2016), 
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui,  Message from the MVDA 2016 Workshop Organizers,  Proc. COMPSAC 2016 Workshops, 
Deniz Kavzak, Tolga Ayav, Fevzi Belli,  Test Case Generation Based on Cause- Effect Graphs (in Turkish), Proc. 10th Turkish National Conference on Software Engineering, 
Fevzi Belli, Michael Linschulte, Tugkan Tuglular,  A Decision Table-Supported Tool for Test Case Generation Based on Event Sequence Graphs (in Turkish), Proc. 10th Turkish National Conference on Software Engineering, 
Fevzi Belli,  Dependable Reuse of Software Components and Systems,  2 nd IZTECH Workshop on Dependability, Izmir Institute of Technology, 
2015
F. Belli, F. Quella,  Utilization of Used Components in New Electrical and Electronic Products, to be published by VDE Verlag, Berlin, 
F. Belli, M. Beyazit,  Exploiting Model Morphology for Event-Based Testing, IEEE Transactions on Software Engineering, Vol. 41, Issue 2, pp. 113 - 134,  » [PDF]
T. Tuglular, A. Müftüoglu, F. Belli, M. Linschulte,  Model-Based Contract Testing of Graphical User Interfaces, IEICE Trans. on Information and Systems , Vol. E98.D(7), pp. 1297-1305 , 
Ayav, T., Tuglular, T., Belli, F.,  Model Based Testing of VHDL Programs, 2015 IEEE 39th Annual International Computers, Software & Applications Conference (COMPSAC 2015), pp. 427-432, 
Ayav, T., Belli, F.,  Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique, Proceedings of The 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 138-143, 
F. Belli,  Regular Expressions for Fault Handling in Sequential Circuits, Proc. ARCS 2015 - 28th International Conference on Architecture of Computing Systems, 11th Workshop on Dependability and Fault Tolerance (VERFE'15), ,  » [PDF]
2014
F. Belli, A.T. Endo, M. Linschulte, and A. Simao,  A Holistic Approach to Model-Based Testing of Web Service Compositions,  Software: Practice and Experience,  vol.44,  no.2,  pp.201–234,  » [PDF]
Fevzi Belli, Mutlu Beyazıt, Takeshi Endo, Aditya Mathur,  Fault Domain-Based Testing in Imperfect Situations: A Heuristic Approach and Case Studies,  Software Quality Journal,  DOI10.1007/s11219-014-9242-6,  pp. 1–17,  » [PDF]
F. Belli, R. Subramanyan,  Message from the Organizers of the IEEE Workshop Software Test Automation (STA 2014), Proc. 38th IEEE Annual Computer Software and Applications Conference (COMPSAC), 
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaou,  Message from the Organizers of the IEEE Workshop on Modeling and Verifying Distributed Applications (MVDA 2014), Proc. 38th IEEE Annual Computer Software and Applications Conference (COMPSAC), 
Michael Linschulte,  On the Role of Test Sequence Length, Model Refinement, and Test Coverage for Reliability,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  » [PDF]
2013
Michael Schlüter,  (Ed.) Belli, F.,  Einführung in die Programmierung mit Natural,  Programmierung komplexer Systeme,  vol. 1,  Lehmanns Media, 
Quella, F., Belli, F.,  Reuse of components and products - 'qualified as good as new',  in Handbook of Sustainable Engineering,  Springer,  pp. 409-426, 
Ulrich Hoffmann,  (Ed.) Belli, F.,  Grundlagen und Modelle der Programmierung,  Programmierung komplexer Systeme,  vol. 2,  Lehmanns Media, 
Belli, F.,  IEC/PAS 62814:2012-12 - Zuverlässigkeit von Softwareprodukten mit wiederverwendbaren Komponenten -Anleitung für Funktionalität und Prüfungen,  DIN Mitteilungen+elektronorm, 
Nida Gökçe, Fevzi Belli, Mübariz Eminov, Bekir Taner Dinçer,  Model-based test case prioritization using cluster analysis: a soft-computing approach,  Turkish Journal of Electrical Engineering and Computer Sciences,  01/2014; DOI:10.3906/elk-1209-109, 
F. Belli,  Assuring Dependability of Software Reuse – An Industrial Standard, Digest of 8th International Joint Conference on Software Technologies (ICSOFT 2013),  Springer Verlag, 
F. Belli, M. Beyazit,  Using Regular Grammars for Event-Based Testing, Proc. 18th International Conference on Implementation and Application of Automata,  LNCS,  Vol. 7982,  Springer-Verlag,  pp. 48-59, 
Fevzi Belli,  Dependability and Software Reuse – Coupling Them by an Industrial Standard, Proc. 7th IEEE International Conference on Software Security and Reliability Companion (SERE 2013),  pp.145-154, 
Fevzi Belli,  An Industrial Standard to Assure Dependability in Software Reuse,  Proc. 8th International Joint Conference on Software Technologies (ICSOFT 2013),  pp. 43-48, 
Belli, F.,  Software Engineering – Still an Alchemistic Discipline?, Keynote Speech, VIII. Turkish National Software Engineering Symposium - VIII. Ulusal Yazılım Mühendisliği Sempozyumu - UYMS 2013),, 
F.Belli, M. Beyazit,  Mutant Selection for Event-Based Testing, Proceedings of the 7th National Software Engineering Symposium (VII. Ulusal Yazılım Mühendisliği Sempozyumu - UYMS 2013), (in Turkish),  CEUR-WS, 
Martin Teuber,  Ereignisorientierte, funktionale Prüfung des Einstellprozesses der Schneidekomponenten eines selbstfahrenden Feldhäckslers,  2013/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Tim Daniel Evert, Marco Rossi, Lisa Aerdker, Sarah Johannesmann, Dieter Max,  Automata Tools (2),  2013/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Timon Sebastian Deistler,  Vergleich von zwei Ansätzen zum Mutationstesten mit formalen Grammatiken,  2013/1,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
F. Belli,  Test-Berichtswesen – Spielwiese der Entwicklung oder Entscheidungsinstrument fürs Management?, 9. Arbeitstreffen USER GROUP >>Sofwaretest und Qualitätssicherung<< ,  Softwareforen Leipzig,  18./19. März 
F. Belli,  Software Engineering – Still an Alchemistic Discipline?, Invited Talk, Proceedings of the 7th National Software Engineering Symposium (VII. Ulusal Yazılım Mühendisliği Sempozyumu - UYMS 2013), CEUR-WS, 
2012
Belli, F., Beyazıt, M., Güler, N.,  Event-Oriented, Model-Based GUI Testing and Reliability Assessment—Approach and Case Study,  in Advances in Computers,  Vol. 85,  Elsevier,  pp. 277-326, 
Belli, F., Beyazıt, M., Mathur, A.P., Nissanke, N.,  Modeling, Analysis and Testing of System Vulnerabilities,  in Advances in Computers,  Vol. 84,  Elsevier,  pp. 39-92, 
IEC TC/SC: 56 (Reliability), Belli, F. (Chair),  Dependability of software products containing reusable components – Guidance for functionality and tests,  IEC/PAS 62814 (2012-12-06),  Ed. 1.0, 
Belli, F., Beyazıt, M., Takagi, T., Furukawa, Z.,  Model-based Mutation Testing Using Pushdown Automata,  IEICE Transactions on Information and Systems,  E95-D,  Vol. 9,  2211-2218,  » [PDF]
Belli, F., Endo, A., Linschulte, M., Simao, A.,  A Holistic Approach to Model-based Testing of Web Service Compositions,  Software: Practice and Experience,  John Wiley & Sons,  doi: 10.1002/spe., 2161,  » [PDF]
Belli, F.,  Verlässlichkeit bei Wiederverwendung von IT-Komponenten – zum Stand der Normungsaktivitäten,  Lecture Notes in Informatics,  Vol. 200,  pp.285-297, 
Belli, F., Beyazit, M., Memon, A.,  Testing is an Event-Centric Activity, Proc. 6th IEEE International Conference on Software Security and Reliability (SERE),  pp.198-206,  » [PDF]
Krüger, B., Linschulte, M.,  Cost Reduction Through Combining Test Sequences With Input Data, Proc. 6th IEEE International Conference on Software Security and Reliability (SERE),  pp.207-216,  » [PDF]
Ali Can Etili, Metin Uğur,  Pushdown Automata and Model-Based Mutation Testing,  2012/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Daniel Dreibrodt, Florian Hemmelgarn, Fabian Ickerott, Sebastian Kowelek, Yacine Smaoui, Konstantin Steinmiller,  Automata Tools,  2012/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Hagemeyer, J.,  Kombination von Testsequenzen mit Eingabedaten zur Überdeckung von Ereignissequenzen höherer Länge,  2012/2,  Bachelor Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Krüger, B.,  Kombination von Testsequenzen mit Eingabedaten zur Aufwandreduktion,  2012/1,  Bachelor Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2011
Belli, F., Eminov, M., Gökçe, N., Wong, W.E.,  Prioritizing Coverage-Oriented Testing Process – An Adaptive-Learning-Based Approach and Case Study, in A Control Adaptive Approach for Software Quality Improvement: A Software Cybernetics Perspective,  Series on Software Engineering and Knowledge Engineering: Volume 20,  World Scientific,  pp. 1-21, 
Belli, F., Hollmann, A., Padberg, S.,  Model-Based Integration Testing with Communication Sequence Graphs, in Model-Based Testing for Embedded Systems,  Taylor & Francis, CRC Press,  pp. 223-243, 
Belli, F., Beyazıt, M.,  Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison,  Proc. 35th IEEE Annual Computer Software and Applications Conference (COMPSAC),  pp. 650-655, 
Belli, F., Beyazıt, M., Güler N.,  Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results, Proc. 4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2011 / TESTBEDS 2011),  pp.212-221, 
Belli, F., Beyazıt, M., Güler N., Hollmann, A.,  Statistical Evaluation of Test Sets Using Mutation Analysis, Proc. 35th IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW 2011 / STA 2011),  pp.180-183, 
Belli, F., Beyazıt, M., Takagi, T., Furukawa, Z.,  Mutation Testing of 'Go-Back' Functions Based on Pushdown Automata, Proc. 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011),  pp.249-258, 
Belli, F., Endo, A., Linschulte, M., Simao, A.,  Model-based Testing of Web Service Compositions, Proc. 6th IEEE International Symposium on Service-Oriented System Engineering (SERE),  pp.181-192, 
Belli, F., Güler, N., Linschulte, M.,  Layer-Centric Testing,  Proc. 24th International Conference on Architecture of Computing Systems (ARCS),  VDE Verlag,  pp. 88-95, 
Belli, F., Güler, N., Linschulte, M.,  Does 'Depth' Really Matter? On the Role of Model Refinement for Testing and Reliability, Proc. 35th Annual IEEE Computer Software and Applications Conference (COMPSAC),  Best Paper, pp.630-639,  » [PDF]
Takagi, T., Takata, R., Furukawa, Z., Belli, F., Beyazıt, M.,  Metrics for Model-Based Mutation Testing Based on Place/Transition Nets, Proc. IEEE Joint Conf. of the 21st International Workshop on Software Measurement (IWSM) and the 6th International Conf. on Software Process and Product Measurement (Mensura),  pp. 7-10, 
Belli, F., Beyazıt, M.,  Grammar Based Mutation Testing, Proc. 4th National Software Engineering Symposium (V. Ulusal Yazılım Mühendisliği Sempozyumu - UYMS),  (In Turkish), Best Paper, pp. 38-45, 
Drobin, H., Engelmann, G., Webersen, M.,  Portierung einer Graph-Bibliothek von Java nach C++,  2011/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Gösken, A., Goldstein, S., Derksen, D., Wiebusch, N., Vogt, R., Dodic, B., Kraus, F.,  Test Generation from Grammar Models,  2011/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Harring, F., Korthals, T., Berger, A., Urbanski, H., Weiz, S., Ilik, I., Engelbrecht, A.,  Roboteransteuerung mit C++,  2011/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Wang, Q.,  Model-Based Web Application Testing,  2011/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2010
F. Belli, J. Bohnstedt, F. Quella,  Einsatz gebrauchter Komponenten in neuen Produkten der Elektrotechnik, 2. Erw. Aufl.,  Band 136,  VDE-Schriftenreihe 'Normen Verständlich',  VDE Verlag,  Berlin, 
Laplante, Ph., Belli, F., Gao, J., Kapfhammer, J., Miller, K., Wong, E., Xu, D.,  Software Test Automation (Guest Editors, Special Issue),  Journal of Advances in Software Engineering,  Hindawi,  pp. 1-2, 
Belli, F., Linschulte, M.,  Event-Driven Modeling And Testing of Real-Time Web Services,  Journal of Service Oriented Computing And Applications,  Vol. 4,  No. 1,  pp. 3-15,  Springer London,  » [PDF]
Belli, F., Hollmann, A.,  Ereignisbasiertes Testen eingebetteter Systeme - Vergleich mit Klassifikationsbäumen anhand eines automotiven Beispiels,  SIGS-DATACOM Online Issue, Online Themen-Special testing, www.objektspektrum.de,  SIGS DATACOM, 
Belli, F., Beyazıt, M.,  A Formal Framework for Mutation Testing, Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement,  pp.121-130,  » [PDF]
Belli, F., Budnik, C.J., Stieber, H.A., Linschulte, M. ,  Fault Detection Likelihood of Test Sequence Length, Proc. 3rd IEEE International Conference on Software Testing, Verification and Validation (ICST),  pp.402-411,  » [PDF]
Belli, F., Gökçe, N.,  Test Prioritization at Different Modeling Levels, Proc. International Conference on Advanced Software Engineering & Its Applications,  pp.130-140, 
Belli, F., Güler, N., Hollmann, A., Suna, G., Yildiz, E.,  Model-Based Higher-Order Mutation Analysis, Proc. International Conference on Advanced Software Engineering & Its Applications,  Springer-Verlag,  pp. 164-173, 
Belli, F., Güler, N., Linschulte, M.,  Are Longer Test Sequences Always Better? – A Reliability Theoretical Analysis, Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement,  pp. 78-85, 
Belli, F., Hollmann, A., Wong, E.,  Towards Scalable Robustness Testing, Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement,  pp.208-216, 
Endo, A., Linschulte, M., Simao, A., Souza, S.,  Event- and Coverage-Based Testing of Web Services, Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement,  pp. 62-69, 
Belli, F.,  Visualisierung von Informationsflüssen und Ereignisketten zur Erkennung von Risiken, Proc. Seminar 18 Verfassungsrechtliche Rahmenbedingungen und praktische Anwendung von besonderen Mitteln der Informationserhebung,  Proc. Tagung Deutsche Hochschule der Polizei, 
Belli, F., Budnik, C. J., Hollmann, A., Saglietti, F., Winter, M.,  Proc. Workshop MOTES2010 - Modellbasiertes Testen (Vorwort),  Lecture Notes in Informatics,  Vol. 176,  Gesellschaft für Informatik,  pp. 319-320, 
Beyazıt, M., Deistler, T. S., Gökçe, N.,  Event-Based Mutation Testing vs. State-Based Mutation Testing – Comparison Using a Web-based System, Proc. Workshop Modellbasiertes Testen und Testautomatisierung (MOTES 2010),  Lecture Notes in Informatics,  Gesellschaft für Informatik,  pp. 327-332,  » [PDF]
Balke, A., Drobin, H., Heymann, J., Kortenjann, M., Krüger, B., Menke, C., Waloschek, S.,  Implementierung eines Werkzeugs zur Kombination von Testfällen mit Eingabedaten,  2010/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Deistler, T., Gökçe, N.,  An Event and a State-Based Approach in Mutation Testing of a Web-Based System ,  2010/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Dröge, S., Rösnick, C., Wagner, E., Walter, M.,  Mutationstest einer C++ Implementierung,  2010/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Huewe, M., Liebau, R., Modrow, S.,  Minimierung von Testfallsequenzen,  2010/7,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Krekeler, J., Hagemeyer, J.,  Entwurf eines auf regulären Grammatiken basierenden Test Frameworks,  2010/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Zhang, M.,  Eine bibliotheksbasierte Annotierung von Testmodellen zur automatischen Testskriptgenerierung ,  2010/6,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Zhang, M.,  Automatisierte Testfallgenerierung aus Statecharts,  2010/8,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Zirnsak, R.,  Eingabedatengenerierung für Positiv- und Negativ-Tests im Rahmen des Black-Box-Testing,  2010/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2009
Belli, F., Beyazit, M., Hollmann, A., Linschulte, M., Padberg, S.,  Ereignis-basierter Test grafischer Benutzeroberflächen – ein Erfahrungsbericht,  Softwaretechnik Trends,  Vol. 30,  No. 2,  Gesellschaft für Informatik,  pp. 21 - 23, 
Belli, F., Beyazıt, M.,  Mutation of Directed Graphs - Corresponding Regular Expressions and Complexity of Their Generation, Proc. 11th Workshop on Descriptional Complexity of Formal Systems (DCFS 2009), Electronic Proceedings in Theoretical Computer Science (EPTCS),  Vol. 3,  pp. 69-77,  » [PDF]
Belli, F., Eminov, M., Goekce, N. ,  Model-Based Test Prioritizing - A Comparative Soft Computing Approach and Case Studies,  LNAI 5803,  Springer-Verlag,  pp. 427-434,  » [PDF]
Belli, F., Hollmann, A., Chen, Z.,  Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces, Proc. 2nd International Conference on Information and Communication Technology and Accessibility,  pp. 65-75, 
Belli, F., Hollmann, A., Kleinselbeck, M.,  A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation, Proc. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement,  pp.193-200, 
Belli, F., Hollmann, A., Kleinselbeck, M.,  A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation, SSIRI '09 Proceedings of the 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, Pages 193-200, 
Belli, F., Hollmann, A., Padberg, S.,  Communication Sequence Graphs for Mutation-Oriented Integration Testing, Proc. 1st Workshop on Model-Based Verification & Validation at 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement,  pp.387-392, 
Belli, F., Linschulte, M.,  Testing Composite Web Services – An Event-Based Approach, Proc. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement at 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST),  pp.307-310, 
Budnik, C. J., Belli, F., Hollmann, A.,  Structural Feature Extraction for GUI Test Enhancement, Proc. 1st International Workshop on Testing Techniques & Experimentation Benchmarks for Event-Driven Software at 2nd IEEE International Conference on Software Testing,  Verification and Validation (ICST),  pp.255-262, 
Dündar, P., Tuncel, H., Kilincceker, O.,  A graph coloring approach to airline crew scheduling problem, International Conference of Mathematical Sciences,  p. 328, 
Tuglular, T., Belli, F.,  Protocol-Based Testing of Firewalls,  Proc. 4th South-East European Workshop on Formal Methods,  pp. 53-59, 
Tuglular, T., Müftüoğlu, C.A., Belli, F., Linschulte, M.,  Event-Based Input Validation Using Design-by-Contract Patterns,  Proc. 20th International Symposium on Software Reliability Engineering (ISSRE),  pp.195-204, 
Tuglular, T., Muftuoglu, C. A., Kaya, O., Belli, F., Linschulte, M.,  GUI-Based Testing of Boundary Overflow Vulnerability,  Proc. 33rd IEEE Annual Computer Software and Applications Conference (COMPSAC),  pp.539-544,  » [PDF]
Zhu, H., Belli, F.,  Advancing test automation technology to meet the challenges of model-based software testing – Guest editors’ introduction to the special section of the 3rd IEEE International Workshop on Automation of Software Test (AST 2008),  Vol. 51,  No. 11,  Elsevier,  1485-1486, 
Belli, F., Beyazıt, M.,  Mutation of Directed Graphs - Corresponding Regular Expressions Preliminary Approach and Case Study, Proc. 4th National Software Engineering Symposium (IV. Ulusal Yazılım Mühendisliği Sempozyumu (UYMS 2009),  (In Turkish), pp. 203-210,  » [PDF]
Belli, F., Budnik, C. J., Hollmann, A., Saglietti, F., Winter, M.,  Vorwort Workshop MOTES09 - Modellbasiertes Testen, Proc. Beiträge zu den Workshops,  Lecture Notes in Informatics,  Vol. 154,  Gesellschaft für Informatik,  pp. 354-355, 
Bolte, M., Dröge, S., Lüke, O., Nordmeyer, B., Schremmer, A., Xiao, B.,  Entwicklung einer emulationsbasierten Testsuite für die Firmware eines SIECU Prüfstandes ,  2009/2,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Kurras, S.,  Graph Similarity and Graph Mutation ,  2009/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2008
Belli, F., Hollmann, A.,  Test Generation and Minimization with 'Basic' Statecharts,  Proc. 23rd Annual ACM Symposium on Applied Computing (SAC),  pp.718-723,  » [PDF]
Belli, F., Linschulte, M.,  Event-Driven Modeling and Testing of Web Services, Proc. 32nd IEEE Annual International Computer Software and Applications Conference (COMPSAC),  1168-1173, 
Tuglular, T., Belli, F.,  Model-Based Mutation Testing of Firewalls, Proc. IEEE Testing: Academic and Industrial Conference (TAIC PART / Fast Abstracts), 
Yau, S. S., Cangussu, J. W., Mathur, A. P., Belli, F., Cai, K.-Y.,  Editorial Notes IWSC 2008 Workshop, Proc. 32nd IEEE Annual Computer Software and Applications Conference (COMPSAC),  pp.814-815, 
Zhu, H., Wong, W. E., Belli, F.,  Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test,  Proc. International ACM Conference on Software Engineering (ICSE),  1049-1050, 
Beidinger, F., Hollmann, A., Kleinselbeck, M., Ritschel, W.,  Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie, Proc. Software Engineering 2008 - Beiträge zu den Workshops,  Lecture Notes in Informatics,  Vol. 122,  Gesellschaft für Informatik,  pp. 367-374, 
Belli, F., Budnik, C. J., Hollmann, A., Winter, M.,  Vorwort MOTES08 - Modellbasiertes Testen,  Lecture Notes in Informatics,  Vol,  133/134,  Gesellschaft für Informatik,  pp. 173-174, 
Belli, F., Budnik, C. J., Spillner, A.,  Vorwort 2. Workshop Testmethoden für Software - Von der Forschung in die Praxis, Proc. Software Engineering 2008 - Beiträge zu den Workshops,  Lecture Notes in Informatics,  Vol. 122,  pp.353-354,  Gesellschaft für Informatik, 
Chen, Z., Hollmann, A.,  Positive and Negative Testing with Mutation-Driven Model Checking,  Lecture Notes in Informatics,  Vol,  133/134,  pp.187-192,  Gesellschaft für Informatik, 
Chinaev, A., Gnebehi, F., Hartfiel, J., Kriegesmann, B., Melzer, E.,  Generierung von Mutanten aus Ereignis-Sequenz-Graphen für den modellbasierten Mutationstest ,  2008/2,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Korona, M., Wang, Y.,  Ereignisbasierter Test einer kommerziellen Webapplikation,  2008/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2007
Belli, F., Budnik, Ch. J.,  Test Minimization for Human-Computer Interaction, International Journal of Artificial Intelligence, Neural Networks, and Complex Processes,  Vol. 26,  No. 2,  Springer,  pp. 161-174,  » [PDF]
Belli, F., Linschulte, M.,  On 'Negative' Tests of Web Applications,  Annals of Mathematics, Computing & Teleinformatics,  Vol. 1,  No. 5,  pp. 44-56,  » [PDF]
Belli, F.,  Increasing the Robustness of Human-Machine Interactions,  Proc. 1st International Conference on ICT & Accessibility,  pp. 49-54, 
Belli, F., Eminov, M., Gökçe, N.,  Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study,  Proc. Fourth IEEE International Workshop on Software Cybernetics (IWSC),  pp. 197-203, 
Belli, F., Eminov, M., Gökçe, N.,  Coverage-Oriented, Prioritized Testing A Fuzzy Clustering Approach and Case Study,  Proc. 3rd Latin-American Symposium on Dependable Computing (LADC),  Lecture Notes in Computer Science,  Vol. 4746,  Springer,  pp. 95-110, 
Belli, F., Hollmann, A., Nissanke, N.,  Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study, Proc. 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP),  Lecture Notes in Computer Science,  Vol. 4680,  Springer,  pp. 276-282,  » [PDF]
Belli, F., Linschulte, M.,  On 'Negative' Tests of Web Applications, Proc. 3rd South-East European Workshop on Formal Methods (SEERC),  pp.227-241, 
Belli, F., Budnik, Ch. J.,  Elementare Mutations-Operatoren zur Generierung von Testfällen anhand von Statecharts, Proc. ARCS'07, Workshop on 'Dependability and Fault Tolerance',  pp. 1-4, 
Belli, F., Hollmann, A.,  Holistic Testing with Basic Statecharts, Proc. Software Engineering 2007 - Beiträge zu den Workshops,  Lecture Notes in Informatics,  Vol. 106,  pp. 91-100,  Gesellschaft für Informatik, 
Belli, F., Linschulte, M.,  'Negativ'-Tests interaktiver Systeme und ihre Automatisierung, Proc. Software Engineering 2007 - Beiträge zu den Workshops,  Lecture Notes in Informatics,  Vol. 106,  pp. 35-44,  Gesellschaft für Informatik,  » [PDF]
Belli, F., Linschulte, M., Schieferdecker, I.,  Ereignisorientiertes Testen Web-basierter Systeme - Verfeinerung des holistischen Ansatzes und eine Fallstudie, Proc. ARCS Workshop on 'Dependability and Fault Tolerance',  pp. 1-5, 
Beidinger, F.,  Bewertung einer graphenbasierten Methode für den Testentwurf ,  2007/4,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Budnik, Ch. J.,  Test Generation Using Event Sequence Graphs,  2007/2,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  » [PDF]
Dreising, C., Ebel, T., Gehring, S., Urban, H.,  Erweiterung eines C++ Statechart-Frameworks zum Modellbasierten Testen ,  2007/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Hollmann, A.,  Extension of a graph-based, holistic approach for generating and selecting test cases,  2007/5,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Limbourg, P.,  Imprecise Probabilities for Predicting Dependability of Mechatronic Systems in Early Design Stages,  2007/1,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Pampoukidou, N.,  Wiederverwendung gebrauchter Elektronik-Komponenten in Neugeräten – Voraussetzungen und Prüfungen dargestellt anhand einer Fallstudie ,  2007/6,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Wiens, A.,  Erweiterung eines universellen linuxgestützten PROFINET IO-Device zum Testen von IO-Controllern ,  2007/7,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2006
Belli, F. Cai, K.-Y., DeCarlo, R., Mathur, A.,  Introduction to the special section on software cybernetics,  Journal of Systems and Software,  Vol. 79,  No. 11,  Elsevier,  1483-1660, 
Belli, F., Budnik, Ch. J., White, L.,  Event-based Modelling, Analysis and Testing of User Interactions: Approach and Case Study,  Software Testing, Verification and Reliability,  Vol. 16,  No. 1,  pp. 3-32,  John Wiley & Sons, Ltd,  » [PDF]
Belli, F.,  A Holistic Approach to Event-Based Modeling and Testing of System Vulnerabilities,  Proc. Dagstuhl Seminar 06371 - From Security to Dependability, 
Belli, F.,  A Holistic Approach to Event-Based Modeling and Testing of System Vulnerabilities,  Proc. of New EXploratory Technologies - NEXT Conference,  pp. 92-93, 
Belli, F., Budnik, C.J., Hollmann, A.,  Test Case Generation and Selection Based on Statecharts – Extension of the Holistic Approach, Proc. 17th IEEE International Symposium on Software Reliability Engineering (ISSRE), 
Belli, F., Budnik, Ch.J., Wong, E.,  Basic Operations for Generating Behavioral Mutants,  Proc. 2nd Workshop on Mutation Analysis (Mutation2006) in conjunction with ISSRE,  » [PDF]
Belli, F., Gökçe, N., Eminov, M.,  Coverage-Based, Prioritized Testing Using Neural Network Clustering, Proc. Computer and Information Sciences (ISCIS),  Lecture Notes in Computer Science,  Vol. 21,  4263,  Springer-Verlag,  1060-1071, 
Belli, F., Budnik, Ch. J., Hollmann, A.,  Holistic Testing of Interactive Systems Using Statecharts, Proc. Sicherheit 2006,  LNI,  Vol. 77,  pp.345-356, 
Belli, F., Budnik, Ch. J., Linschulte, M., Schieferdecker, I.,  Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle – Vergleich anhand einer Fallstudie, Proc. Model-based Testing,  LNI,  Vol. P-94,  pp.266-273, 
Yenilmez, K., Kilincceker, O., Arslan, F., ve Istek, G.,  Problem-solving skills of secondary school students (in Turkish), XIX. National Mathematics Symposium,  pp.338-345, 
Bachmann, M. Bökamp, L. Fischer, C. Huang, G. Jin, M. Kruse, A. Lücking, C. Renneke, C. Wang, H. Xu, S.,  Realisierung eines Frameworks zur Erstellung benutzerdefinierter Statecharts,  2006/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Linschulte, M.,  Testkonzeptionierung webbasierter Systeme anhand einer kommerziellen Anwendung,  2006/3,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Sakal, E.,  Ökonomische und technische Aspekte komponentenbasierter Softwareentwicklung,  2006/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2005
Belli, F., Budnik, Ch. J., Hollmann, A.,  Holistic Testing of Interactive Systems Using Statecharts,  Journal of Mathematics, Computing & Teleinformatics,  Vol. 1(3),  54-64, 
Belli, F., Quella, F.,  Nicht zum alten Eisen,  QZ. Qualität und Zuverlässigkeit,  Vol. 50,  26-28,  Hanser, München,  0720-1214, 
Belli, F., Budnik, Ch. J.,  Towards Minimization of Test Sets for Human-Computer Systems, Proc. 18th Int. Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems,  LNAI,  Vol. 3533,  Springer Verlag,  Best Paper, pp.300-309, 
Belli, F., Budnik, Ch. J.,  Towards Self-Testing of Component-Based Software, Proc. 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC),  pp.205-210, 
Belli, F., Budnik, Ch. J., Hollmann, A.,  A Holistic Approach to Testing of Interactive Systems using Statecharts, Proc. 2nd South-East European Workshop on Formal Methods (SEEFM),  pp. 59-73, 
Belli, F., Güldali, B.,  A Holistic Approach to Test-Driven Model Checking, Proc. 18th Int. Conference on Industrial & Engineering Applications of Artificial Intelligence,  LNAI,  Vol. 3533,  Springer-Verlag,  pp. 321-331, 
Gossens, S., Belli, F., Beydeda, S., Dal CIN, M.,  View Graphs for Analysis and Testing of Programs at Different Abstraction Levels, Proc. IEEE High-Assurance Systems Eng. Symp. (HASE),  pp.121-130,  » [PDF]
Belli, F., Budnik, Ch. J.,  Test Cost Reduction for Interactive Systems, Proc. GI-Tagung Sicherheit,  LNI,  Vol. 62,  pp.149-160,  » [PDF]
Belli, F., Budnik, Ch. J.,  Towards Minimization of Test Sets for Coverage Testing of Interactive Systems, Proc. GI-Tagung Software Engineering,  LNI,  Vol. 64,  79-90,  » [PDF]
Belli, F., Nissanke, N., Budnik, Ch. J., Mathur, A.,  Test Generation Using Event Sequence Graphs,  2005/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  » [PDF]
Budnik, Ch. J.,  ESGs in GraphML,  2005/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Güldali, B.,  Model Testing – Combining Model Checking and Coverage Testing,  2005/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Helmut Wolf,  Entwurf und Realisierung eines universellen linuxgestützten PRPOFINET IO-Device zum Testen von PROFINET IO-Controllern,  2005/5,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Stockmaier, C.,  Strukturbasierte Erhöhung der Testbarkeit interaktiver Systeme,  2005/3,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2004
Belli, F., Budnik, Ch. J.,  Minimal Spanning Set for Coverage Testing of Interactive Systems,  First International Colloquium on Theoretical Aspects and Computing (ICTAC),  LNCS,  Vol. 3407,  pp.220-234,  Springer-Verlag,  » [PDF]
Belli, F., Budnik, Ch. J.,  Towards Optimization of the Coverage Testing of Interactive Systems, Proc. 28th IEEE International Computer Software and Applications Conference (COMPSAC),  pp. 18-19,  » [PDF]
Belli, F., Budnik, Ch. J., Nissanke, N.,  Finite-State Modeling, Analysis and Testing of System Vulnerabilities,  Proc. 17th International Conference on Architecture of Computing Systems (ARCS),  LNI,  Vol. 41,  pp. 19-33,  » [PDF]
Belli, F., Güldali, B.,  Software Testing via Model Checking,  Proc. 19th International Symposium on Computer and Information Sciences (ISCIS),  Springer-Verlag,  pp. 907-916,  » [PDF]
Burggraf, A.,  Konvertierung regulärer Ausdrücke in Ereignissequenz-Graphen und v. v. ,  2004/1,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Christoph, J.,  Konzeptionelle Gestaltung, Anforderungsdefinition und Validierung der Benutzeroberfläche eines Anbaugerätes zur kommunalen Grünflächenpflege ,  2004/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Christoph, J.,  Automatische Generierung suboptimaler Testfallsätze und deren Analyse zur Fehlererkennung und -klassifizierung von grafischen Benutzungsoberflächen ,  2004/3,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
K. Hasenklever, A. Korte, J. Romoth, A. Wendlandt H. Figge, Ch. Wördehoff, F. Wördehoff, N. Wollschläger,  Pathfinder2004,  2004/6,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Ning, H.,  Modellierung und Validation von Schnittstellenprotokollen zwischen einem kommerziellen PDA und multimodalen Fahrzeugbediensystem über drahtlose Verbindung,  2004/4,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Ning, H.,  Dialog und Qualitätssicherung der Schnittstellenprotokolle zwischen den Inhalten eines multimodalen Bediensystems im Fahrzeug und den Inhalten eines PDA über eine Bluetooth-Verbindung ,  2004/5,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2003
Belli, F., Budnik, Ch. J., Nissanke, N.,  Modeling, Analysis and Testing of System Vulnerabilities, Proc. 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE),  Work-in-Progress Papers,  p. 11, 
Belli, F.,  A Holistic View for Finite-State Modeling and Testing of User Interactions,  2003/1,  Project Work,  » [PDF]
Beulen, G., Christoph, J., Günnewicht; M., Hassenewert, M.,  Pathfinder2003,  2003/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Burggraf, A., Christoph, J., Bökamp, L.,  Programm zur Expansion regulärer Ausdrücke,  2003/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Gutzeit, T.,  Testfallgenerierung aus Statecharts zur Prüfung graphischer Oberflächen,  2003/3,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Hernandez, I.,  Automatische Test-Script-Generierung zur Capture/Playback-Prüfung von Benutzungsoberflächen,  2003/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2002
Linse, O.,  Erstellung von Kommunikationsmodulen zur Robotersteuerung,  2002/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
2001
Belli, F.,  Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces, Proc. 15th Int. Conf. on Industrial & Engineering Applications of Artificial Intelligence,  LNAI,  Springer-Verlag,  pp. 919-920,  » [PDF]
Belli, F.,  Finite State Testing and Analysis of Graphical User Interfaces, Proc. 12th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp. 34-43,  » [PDF]
Illgen, T.,  Program Modeling for Fault Definition Based Static Analysis, Proc. 14th Int. Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems,  Springer-Verlag,  pp. 911-912,  » [PDF]
Akartunali, K.,  A Network Problem by Finite-State Testing of Graphical User Interfaces: Solution Approaches for a Minimal Spanning Complete Interaction Set,  2001/2,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Budnik, Ch. J.,  Interaktionssequenzen zur Prüfung von Benutzungsoberflächen,  2001/6,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Güldali, B.,  Praktikum Informationstechnik,  2001/3,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Ignacio Hernandez,  Automatisierte Testafallgenerierung zur Prüfung grafischer Benutzungsoberflächen als Erweiterung eines konventionellen Testwerkzeuges,  2001/7,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Mai, M. T.,  Evaluation softwarebasierter Werkzeuge zur Erkennung und Lokalisierung von Fehlern in PC-Systemen,  2001/5,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Müller, M.,  Merkmalorientierte Fehlerklassifizierung zur statischen Fehleranalyse von C-Programmen ,  2001/4,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Pavic, D.,  Entwicklung regelbasierter Komponenten zur Fehlererkennung bei der statischen Programmanalyse. ,  2001/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F.,  Is there a Complete Testing to Replace Program Proof?,  Industrial Track,  p. 113,  Proc. 12th International Symposium on Software Reliability Engineering (ISSRE),  IEEE CS,  Nov. 
Belli, F.,  Software Reliability Engineering. What makes the Change?,  Proc. International Conference on Software Testing,  Quality Assurance Institute of India,  Bangalore,  Jan. 
Belli, F.,  Software Reliability Engineering. Challenges and Chances for Product and Process Improvement,  A Net Odyssey,  Proc. 27th Euromicro Conf. 2001,  IEEE,  Warsaw,  Sept. 
2000
Belli, F., Illgen, T.,  Logic Representation of Programs to Detect Arithmetic Anomalies,  Proc. 26th IEEE Euromicro Conference,  Vol. 2,  pp.216-223,  » [PDF]
Rayis, F. Belli, A. Dogru,  Developing Secure Information Systems through Applying Software Engineering Techniques,  Proc. Fourth World Conference on Integrated Design and Process Technology (IDPD),  p. 8, 
Güldali, Baris,  Transformation of Conventional Programs into Predicate Logic Structures,  2000/1,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Horner, M.,  Softwarebasierte Fehlererkennung von Hardware-Komponenten unter wirtschaftlichen Aspekten ,  2000/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1999
Belli, F.,  Software Reliability Engineering - Risk Management for the New Millenium,  Springer,  » [PDF]
Budnik, Ch. J.,  Conventional Test Methods and Their Practical Evaluation, 10th IEEE International Symposium on Software Reliability Engineering (ISSRE),  Student Travel Grants, 
Autorenkollektiv,  Praktikum Informations- und Automatisierungstechnik Systematischer Software-Test Versuche 1 und 2,  1999/1,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Block, K., Fröhlich, R., Horner, M., Reiner, C., Stockmaier, C.,  Objektorientierte Programmierung mit C++,  1999/2,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Budnik, Ch. J.,  Konventionelle Testmethoden und Ihre Anwendung in der Praxis ,  1999/3,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
M. Horner,  Wiederverwendung von PC-Systemen und deren Zertifizierung,  1999/4,  Study Thesis,  ADT, 
1998
Belli, F., Jack, O.,  Declarative Paradigm of Test Coverage,  Software Testing, Verification and Reliability,  Vol. 8 (1),  15-47,  » [PDF]
Belli, F., Grochtmann, M., Jack, O.,  Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit,  Informatik Spektrum,  Gesellschaft für Informatik,  Vol. 21,  Springer-Verlag,  pp.131-140,  » [PDF]
Belli, Fevzi,  Methoden und Hilfsmittel für die systematische Prüfung komplexer Software,  Informatik-Spektrum,  Gesellschaft für Informatik,  Vol. 21,  Springer-Verlag,  pp.337-346,  » [PDF]
Antoniou, A. and Jack, O.,  Testing Production System Programs, Proc. 9th IEEE International Symposium on Software Reliability Engineering,  pp.214-221,  » [PDF]
Glöe, G., Jack, O., Mehl, R., Müllerburg, M.,  Zuverlässigkeit komplexer Systeme aus Hardware und Software, atp Automatisierungstechnische Praxis und in Tagungsband Sicherheitstechnik und Automatisierung VDI-Berichte,  No.1336,  pp. 32-39, 
Crisan, R.,  Towards Automation of Code Reviews Based on Checklists,  1998/6,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Dreyer, J.,  Program Segmentation for Controlling Software testing and Analysis,  1998/7,  Dissertation,  Shaker Verlag, Aachen,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Jack, O.,  Objekt-Orientierte Programmierung mit C++,  1998/3,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Jun 
Jack, Oliver and Long, Xiaoqiu,  Praktikum Automatisierungstechnik: Systematischer Software-Test,  1998/1,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Jack, Oliver and Long, Xiaoqiu,  Praktikum Informationstechnik: Systematischer Software-Test,  1998/2,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Long, X.,  Automatische Testeingabegenerierung durch orthogonale Versuchspläne,  1998/5,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Rayis, O.,  Engineering Secure I.S. - Applying Formal & Reliability Methods in a Software Development Framework,  1998/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F.,  Softwaretests oder: Von Programmen und Bananen, Methoden und Techniken zur systematischen Suche von Fehlern in Softtware,  Mar.  » [PDF]
1997
Grauel, A., Belli, F., Becker, W.(Eds.),  Fuzzy-Neuro-Systeme - FNS '97 ,  Proc. Artificial Intelligence Conf.,  Infix, Köln,  » [PDF]
Pollmann, A.,(Ed.) Belli,F.,  Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects, vol. 9 of Programming Complex Systems,  Walter de Gruyter & Co.,  Berlin, New York, 
Belli, F., Crisan, R.,  Empirical Performance Analysis of Computer-Supported Code Reviews, Proc. 8th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp.245-255, 
Belli, F., Dreyer, J.,  Program Segmentation for Controlling Test Coverage, Proc. 8th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp. 72-83,  » [PDF]
Belli, F., Crisan, R.,  A Rule-Based Approach for Automation of Code-Reviews, Proc. 6th Turkish Artificial Intelligence and Neural Networks,  EMO Scientific Books,  pp. 93-97, 
Belli, F., Dreyer, J.,  Modellierung and Rule-Based Validation of Systems, Proc. 6th Turkish Artificial Intelligence and Neural Networks,  EMO Scientific Books,  pp. 83-87, 
Belli, F., Jack, O.,  Object-Oriented Programming in Prolog, Proc. 6th Turkish Artificial Intelligence and Neural Networks,  EMO Scientific Books,  pp. 88-92, 
Athens, M.,  Segmentierung und Testpfadklassen-Generierung von C-Programmen,  1997/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Baspinar, A.,  Untersuchung eines Software-Testwerkzeuges für C unter UNIX,  1997/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Eulberg, W.,  Analyse der Integrationsmöglichkeiten des EDI-Standards in das Global Engineering Network (GEN),  1997/4,  Study Thesis,  Fakultät Wirtschaftsingenieurwesen,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Franke, M.,  Konzept für die Kopplung des Global Engineering Network (GEN) mit dem Warenwirtschaftssystem OLYMP,  1997/3,  Study Thesis,  Fakultät Wirtschaftsingenieurwesen,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Graute, J.,  Leistungsbewertung von teilautomatischen Review-Verfahren,  1997/5,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Illgen, Thomas,  Erstellung und Validation von Planungs- und Steuerungsmodulen für Roboter-Montagezellen,  1997/7,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Kluge, Dagmar,  Simulation mittels zeitbehafteter Petri-Netze,  1997/6,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1996
Belli, F.,  Beurteilung und Sicherung der Qualität von Software, Teil II:Prüfmethoden für Software,  in Handbuch für öffentliche Verwaltungen und Betriebe,  21.Ausgabe,  pp E2,8(1-,  Klett-Raabe-Verlag, Stuttgart, Berlin,  » [PDF]
Belli, F.,  Beurteilung und Sicherung der Qualität von Software,Teil III: Methoden zur Beurteilung der Software-Zuverlässigkeit,  in Handbuch für öffentliche Verwaltungen und Betriebe,  24.Ausgabe,  pp E2,10(1,  Klett-Raabe-Verlag, Stuttgart, Berlin,  » [PDF]
Jack, O.,(Ed.) Belli, F.,  Software Testing for Conventional and Logic Programming,  Programming Complex Systems,  Vol. 10,  Walter de Gruyter & Co., Berlin, New York, 
Belli, F.,  An Approach to Developing and Evaluation of Fault-Tolerant Systems, Quantitative Aspects of Designing and Validating Dependable Computing Systems-Calculations, Measurements, and Simulations,  Dagstuhl-Seminar-Report,  132, 
Belli, F., Crisan, R.,  Towards Automation of Checklist-Based Code-Reviews, Proc. 7th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp. 24-33, 
Belli, F.,  Systematisches Testen - Verpflichtung für zuverlässige Software,  VDI-Fortschrittberichte, Reihe 10,  439,  pp. 85-102,  VDI-Verlag, 
A. Densborn,  Software Entwicklung zur Simulation der rheologischen Eigenschaften von thermischen Pulverlacksystemen ,  1996/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik und Chemietechnik,  Universität Paderborn, 
A. Pollmann,  An Approach to Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects,  1996/2,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Autorenkollektiv Angewandte Datentechnik,  Werkzeuge für systematisches Testen von Software: Beispielsysteme,  1996/3,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Autorenkollektiv Fachgebiet ADT,  Übersicht über Werkzeuge für Software-Analyse und Test,  1996/5,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jedrzejowicz, P.,  Comparison of Models to Determine the Reliability of an Operations System in Industrial Environment,  1996/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Brockmeyer, F.,  Prozeßsteuerung zum Workflow Management unter Lotus Notes ,  1996/7,  Study Thesis,  Fakultät Wirtschaftsingenieurwesen,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Dreyer, J., Illgen, T.,  Abschlußbericht zu dem Forschungsprojekt ``Modellierung und Implementierung einer flexiblen Roboter-Montagezelle'' gefördert durch Mitsubishi Electric Europe,  1996/8,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Grewe, C. G.,  Charakterisierung von Leistungsparametern paralleler Programme für eine flexible Lastverwaltung,  1996/9,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Heinze, F.,  Visualisierung des Laufzeitverhaltens von hierarchisch strukturierten Programmen am Beispiel einer parallelen OCR-Anwendung,  1996/10,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
R. Hachmeyer,  Regelbasierte Beschreibung von Verfahren zur Lastverwaltung für Parallelrechner,  1996/11,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Schulte, Ch.,  Groupware - Plattformen und elektronischer Datenaustausch - Prototypische Integration von EDIFACT - Nachrichten in Lotus Notes,  1996/6,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1995
Azem, A., (Ed.) Belli, F.,  Software Reliability Determination for Conventional and Logic Programming,  Programming Complex Systems,  Vol. 7,  Walter de Gruyter & Co., Berlin, New York, 
Baber, R. L., (Ed.) Belli, F.,  Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit, vol. 8 of Programmierung komplexer Systeme,  Walter de Gruyter & Co.,  » [PDF]
Belli, F.,  Beurteilung und Sicherung der Qualität von Software,Teil I: Softwareerstellung und Qualitätssicherung,  in Handbuch für öffentliche Verwaltungen und Betriebe,  19.Ausgabe,  pp E2,7(1-,  Klett-Raabe-Verlag, Stuttgart, Berlin,  » [PDF]
Belli, F., Dreyer, J.,  Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming, Proc. 6th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp. 68-77,  » [PDF]
Belli, F., Jack, O.,  A Test Coverage Notion for Logic Programming, Proc. 6th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp.133-142,  » [PDF]
Belli, F.,  Softwarezuverlässigkeit und Qualitätssicherung, Tagungsband Schloß Dagstuhl, 
Belli, F.,  Ein Bündel von Methoden zur Validation und Zuverlässigkeitsquantifizierung von Software,  Tagungsband DGLR (Deutsche Gesellschaft für Luft- und Raumfahrt) Workshop,  pp. 1-20,  DGLR-Verlag,  Bonn, 
Jack, O.,  Software Testing for Conventional and Logic Programming,  1995/4,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Ketterer, F.,  Modellierung und Simulation von Prädikaten/Transitionsnetzen in Prolog,  1995/2,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Safurin, S.,  Robotersteuerung mittels eines logisch-objekt-orientierten transputerbasierten Planungssystems,  1995/5,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Schurig, S.,  Regelbasierte Planung kollisionsfreier Bewegungsbahnen für Industrieroboter mittels objektorientierter Logikprogrammierung,  1995/1,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Seidensticker, P.,  Ein Ansatz für Software-Validation anhand erweiterter regulärer Ausdrücke,  1995/3,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1994
Azem, A., Belli, F.,  Determining the Reliability of Prolog Programs,  Software Testing, Verification and Reliability,  Vol. 4,  pp.203-222,  » [PDF]
Azem, A., Belli, F., Jedrzejowicz, P.,  Reliability Prediction & Estimation of Prolog Programs,  IEEE Transactions on Reliability,  Vol. 43(4),  542-549,  » [PDF]
Azem, A., Belli, F.,  Structural Complexity of Prolog Programs and its Application, Proc. Workshop Research Issues in the Intersection between Software Engineering and Artificial Intelligence at 16th International Conference on Software Engineering (ICSE), 
Azem, A., Belli, F.,  Reliability Prediction of Prolog Programs, Proc. 7th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems,  Gordon and Breach Publishers, Inc.,  pp. 103-112,  » [PDF]
Azem, A., Belli, F.,  Reliability Determination of Prolog Programs, Proc. 6th International Conference on Software Engineering and Knowledge Engineering,  pp. 21-23, 
Belli, F., Crisan, R., Pollmann, A.,  Logic/Object-Oriented Control of a Multi-Robot Manufacturing Cell and its Performance, Proc. ASME Energy-Sources Technology Conference, Section Software Systems in Engineering,  pp. 93-102, 
Belli, F., Crisan, R., Pollmann, A.,  Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment,  Proceedings of IEA/AIE,  Gordon and Breach Publishers, Inc.,  pp. 293-303, 
Belli, F., Crisan, R., Pollmann, A.,  An Approach to Performance Assessment of Concurrent and Distributed Logic/Object-Oriented Multi-Robot Control, Proc. ESDA, Proc. 2nd Biennal European Joint Conference on Engineering Systems Design and Analysis,  pp.443-452, 
Belli, F., Dreyer, J.,  Modelling and Simulation of Industrial Production Process by Means of Predicate/Transition Nets and Logic Programming, Proc. ESDA, Proc. 2nd Biennal European Joint Conference on Engineering Systems Design and Analysis,  pp.307-316, 
Belli, F., Dreyer, J.,  Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming,  Proc. of IEA/AIE,  Gordon and Breach Publishers, Inc.,  pp. 465-474, 
Belli, F., Jack, O.,  Implementation-Based Validation of Logic Programs by Testing,  Proc. Japan/Korea Joint Conference on Expert Systems,  pp.341-344, 
Belli, F., Jack, O.,  An Environment for Self-Testing of Logic Programs, Proc. 7th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems,  Gordon and Breach Publishers, Inc.,  pp. 29-36, 
Belli, F., Pollmann, A.,  Concurrent Distributed Programming in Prolog, Proc. ASME Energy-Sources Technology Conference, Section Software Systems in Engineering,  pp.111-121, 
Belli, F., Pollmann, A.,  A Production Environment for Object-Oriented Concurrent programming in Prolog,  Proc. 2nd Biennal European Joint Conference on Engineering Design and Analysis,  pp.317-326, 
Autorenkollektiv,  Informationstechnisches Praktikum Expertensysteme: Kurzbeschreibung,  1994/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Azem A.,  Software Reliability Determination for Conventional and Logic Programming,  1994/7,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F.,  Softwarequalitätssicherung,  1994/2,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, Fevzi,  Softwaretechnik,  1994/3,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Fleischhauer, M., Pötter, K.,  Simulación gráfica de un robot industrial (Graphische Simulation eines Industrieroboters),  1994/4,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Lück, M.,  Typ- und Moduskonzepte in Prolog und ihr Einsatz zur statischen Programmanalyse und Testeingabegenerierung,  1994/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Münstermann, J.,  Implementierung von SPS-Routinen zur flexiblen Steuerung eines Fördersystems einer Roboterzelle,  1994/6,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Thomas Slotos,  Softwareentwicklung nach DIN ISO 9000,  1994/8,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1993
Belli, F. et al., (Eds.) VDI-GIS,  Software-Zuverlässigkeit - Grundlagen, Konstruktive Maßnahmen, Nachweisverfahren,  VDI-Verlag, Düsseldorf,  » [PDF]
Schlüter, M.,(Ed.) Belli, F.,  Einführung in die Programmierung mit NATURAL,  Programmierung komplexer Systeme,  Vol. 6,  Walter de Gruyter & Co., Berlin, New York,  » [PDF]
Azem, A., Belli, F.,  Reliability Prediction and Reliability Assessment Environment for Prolog Programs, Proc. 5th Workshop on Logic Programming Environments in conjunction with International Logic Programming Symposium,  pp.100-105, 
Azem, A., Belli, F., Jack, O.,  Implementation-Oriented Testing and Reliability Determination of Prolog Programs, Proc. 5th International Conference on Software Engineering and Knowledge Engineering,  pp.526-533, 
Azem, A., Belli, F., Jack, O., Jedrzejowicz, P.,  Testing and Reliability of Logic Programs, Proc. 4th IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp.318-327,  » [PDF]
Azem, A., Belli, F., Jedrzejowicz, P.,  Reliability Assessment of Prolog Programs, Proceedings European Safety and Reliability Conference,  Elsevier Science Publishers,  1045-1056, 
Belli, F.,  Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems, Proceedings of the IFIP Working Conference on Systems Engineering in Public Administration,  Elsevier Science Publishers B.V.,  pp. 125-143,  » [PDF]
Belli, F., Jack, O.,  A Product Assurance Environment for Prolog, Proceedings of ILPS, Workshop on Logic Programming Environments, LPE,  pp. 94-99, 
Belli, F., Jack, O.,  Implementation-Based Analysis and Testing of Prolog Programs, Proceedings of the 1993 ACM International Symposium on Software Testing and Analysis (ISSTA),  pp. 70-80,  » [PDF]
Belli, F., Jack, O., Pollmann, A.,  Scheschonk, G. Reisig, W.,  Analyse und Konstruktion komplexer Systeme mit Prädikaten/Transitionsnetzen und PROLOG - Ansatz und Fallstudie, Proc. Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen,  Informatik-Fachbericht,  pp.152-164,  Springer-Verlag, 
Belli, F., Jack, O.,  Validation logischer Programme, Abschlußbericht zum Projekt Erstellung und Erprobung von Methoden und Werkzeugen zur Validation logischer Programme und ihre Erweiterung auf Parallelität sowie ihre Einbeziehung in eine uniforme Produktionsumgebung zur Entw,  1993/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jack, O.,  Type/Mode-Based Testing of Logic Programs,  1993/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Hoppe-Biermeyer, B.,  Intelligent Diagnostic Expert Systems: AI and Neural Nets Methodologies and Techniques ,  1993/3,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Kamundi, I.,  An Approach to Validation of Assumptions made by Metric-Based Reliability Modelling for Logic Programs,  1993/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Kolmschlag, S.,  Elemente der Objekt-Orientierung und ihre Formulierung in Logik-Programmierung,  1993/4,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1992
Belli, F., Rademacher, F.J. (Eds.),  Proc. 5th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems,  LNAI,  Vol. 604,  Springer-Verlag,  » [PDF]
Belli, F., Jack, O.,  PROTest II: Testing Logic Programs, Proc. 2nd International Conference on Software Quality (ASQC),  pp.128-135,  » [PDF]
Belli, F., Schmidt, A.,  Systematische Dokumentation logischer Programme,  Informatik-Fachbericht,  Vol. 309,  pp. 32-46,  Springer-Verlag, 
Arnold, D.,  Menügesteuertes Berechnungsprogramm zum Entwurf einfacher Magnetsysteme,  1992/10,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Autorenkollektiv Fachgebiet ADT/Universität Paderborn und Zentrum für Künstliche Intelligenz/SNI Paderborn,  Informationstechnisches Praktikum Expertensysteme: Kurzbeschreibung,  1992/7,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Autorenkollektiv Fachgebiet ADT/Universität Paderborn und Zentrum für Künstliche Intelligenz/SNI Paderborn,  Informationstechnisches Praktikum Expertensysteme: Regiebuch,  1992/8,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Azem, A., Belli, F., Jedrzejowicz, P.,  Reliability Prediction/Estimation of Prolog Programs,  1992/9,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Sep 
Belli, F.,  Technische Informatik B,  1992/11,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Vorversion des Manuskriptes der gleichnamigen Vorlesung, erstmalig gehalten im SS 1992 von F.Belli, 
Belli, F., Jack, O.,  PROTest II, Testing Logic Programs,  1992/12,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jack, O.,  2. Zwischenbericht zum Projekt Erstellung und Erprobung von Methoden und Werkzeugen zur Validation logischer Programme und ihre Erweiterung auf Parallelität sowie ihre Einbeziehung in eine uniforme Produktionsumgebung zur Entwicklung wissensbasierter Syst,  1992/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jack, O., Naish, L.,  Object-Oriented Programming in PROLOG, Rationale and a Case Study,  1992/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Czirr, C.,  Möglichkeiten der Parallelverarbeitung durch logisch objekt-orientierte Programmierung zur Robotersteuerung,  1992/2,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
D. Arnold,  Entwicklung eines Menü-gesteuerten Berechnungsprogramms zur Konstruktion magnetischer Kreise ,  1992/14,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Huynh, T. B.,  Erweiterung des Roboterprogrammiersystems PROBot um aufgabenorientierte Klassen und deren Methoden,  1992/6,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Kaufmann, M.,  Objekt-orientierte Sensordatenverarbeitung in der Roboterprogrammierung PROBot,  1992/4,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Wilden, D.,  Strukturiertes Testen von PROLOG-Programmen - Testfallauswahl durch Partitionierung,  1992/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Winter, M.,  Zuverlässigkeit logischer Programme - Eine probabilistische Untersuchung,  1992/13,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1991
Bonin, H.E.G., (Ed.) Belli, F.,  Software-Konstruktion mit LISP,  Programmierung komplexer Systeme,  Vol. 1,  Walter de Gruyter & Co., Berlin, New York,  » [PDF]
Matthissen, G.,(Ed.) Belli, F.,  Logik für Software-Ingenieure,  Programmierung komplexer Systeme,  Vol. 3,  Walter de Gruyter & Co., Berlin, New York,  » [PDF]
Zuse, H.,(Ed.) Belli, F.,  Software Complexity - Measures and Methods,  Programmierung komplexer Systeme,  Vol. 4,  Walter de Gruyter & Co., Berlin, New York,  » [PDF]
Belli, F., Großpietsch, K.-E.,  Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions - Approach and Case Study,  IEEE Transactions on Software Engineering,  Vol. 17,  pp.513-526,  » [PDF]
Belli, F., Jedrzejowicz, P.,  An Approach to the Reliability Optimization of Software with Redundancy,  IEEE Tranactions on Software Engineering,  Vol. 17,  3,  pp.310-312,  » [PDF]
Belli, F., Jedrzejowicz, P.,  Comparative Analysis of Concurrent Fault Tolerance Techniques for Real-Time Applications, Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE),  pp.202-209,  » [PDF]
Belli, F., Schmidt, A.,  Some Aspects of Global Strategies of Information Resources Management, Proceedings of the 2nd International Conference of the Information Resources Management Association,  p. 69, 
Belli, F., Pollmann, A.,  Konzeption einer logisch/objekt-orientierten Roboterprogrammierumgebung auf einem Transputersystem, Abstraktband des Transputer-Anwender-Treffens TAT '91,  pp.144-146, 
Azem, A., Belli, F., Schmidt, A.,  Object-Oriented Programming (OOP) - Constructive Steps towards Increasing the Software Reliability Illustrated in Two Programming Languages Based on the Conventional and Logic Programming,  1991/7,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Azem, A., Pollmann, A.,  Tutorenunterlage für die Übungen zu Grundlagen der Technischen Informatik,  1991/15,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Aufbauend auf einer Ausarbeitung von T. Kottenstede, A. Krüger, Version 2, 
Belli, F., Jack, O.,  1. Zwischenbericht zum Projekt Erstellung und Erprobung von Methoden und Werkzeugen zur Validation logischer Programme und ihre Erweiterung auf Parallelität sowie ihre Einbeziehung in eine uniforme Produktionsumgebung zur Entwicklung wissensbasierter Syst,  1991/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jack, O., Schmidt, A.,  Object-Oriented Extension of Prolog - Theoretical Background and A Case Study,  1991/2,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Version 2.0, 
Belli, F., Pollmann, A.,  Konzeption einer logisch/objekt-orientierten Roboterprogrammierumgebung auf einem Transputersystem,  1991/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Jack, O., Schmidt, A.,  PROTest II - Eine Testumgebung für Prolog, Pflichtenheft,  1991/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Kamundi, I.,  Meausurement of Software Reliability by Micro and Macro Models - A Parameter Determination and Computer Aided Reliability Prediction,  1991/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Krawinkel, A.,  Erweiterung von CS-PROLOG zur Anbindung eines Transputersystems an einen Industrieroboter,  1991/12,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Nentwich, J.,  Logisch-objektorientierte Programmierung zur Robotersteuerung - Konzeptionierung einer Rechner-/Roboterschnittstelle und ihre Implementierung,  1991/11,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
P. Koschnick,  Eine adaptive Gruppenantenne für ein mobiles Verkehrsinformationssystem,  1991/14,  Dissertation,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Pollmann, A., Azem, A.,  Terminal-Ordner zur Unterstützung der Programmieraufgaben zu Grundlagen der Technischen Informatik,  1991/9,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Pollmann, A., Belli, F.,  Conception and Realization of a Distributed Programming Environment for Robots under the Logic/Object-Oriented Development System PROLoop on a Multitransputer,  1991/10,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Schmidt, A.,  Terminalordner CASE SA 2.0,  1991/13,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Valentine, N.,  Advances in Distributed Computing,  1991/8,  Diploma Thesis,  Fakultät Informatik,  Universität Paderborn, 
Vidaurre, J. M. Q.,  Simulation und vergleichende Analyse paralleler Fehlertoleranztechniken für einen Echtzeiteinsatz,  1991/6,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Wilden, D.,  Im Rahmen des Projektes PROTest die Erstellung der Komponente: COMPARATOR,  1991/16,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1990
Belli, F.,  PASCAL - Anleitung zur systematischen Programmierung und Konstruktion zuverlässiger Programme mit Anwendungsbeispielen in Standard- und Turbo-Pascal, Band I:Einführung,2. Erweiterte Auflage, BIT vol. 635,  BI Wissenschaftsverlag, Mannheim,  » [PDF]
Hoffmann, U. , (Ed.) Belli, F.,  Einführung in die systemnahe Programmierung,  Programmierung komplexer Systeme,  Vol. 5,  Walter de Gruyter & Co., Berlin, New York,  » [PDF]
Belli, F. Jedrzejovicz, P.,  Fault-Tolerant Programs and Their Reliability,  IEEE Transactions on Reliability,  Vol. 39,  pp.184-192,  » [PDF]
Belli, F.,  Development and Validation of FIREX - A Knowledge Based System for the Transport of Dangerous Goods and Fire Department Consulting as a Students' Project » [Project] ,  Proceedings of the 5th World Conference on Computers in Education,  pp. 47-48,  » [PDF]
Belli, F., Bonin, H.E.G.,  An Approach to Control Different Version of Knowledge in Object-Oriented Systems and Its Application in FIREX, Proceedings of the 3rd ACM International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems,  pp.489-499, 
Belli, F., Camara, I., Schmidt, A.,  A Uniform Test Environment for Parallel PROLOG, Proceedings of the GI-Workshop ``Programmierumgebungen für funktionale und logische Sprachen'',  pp. 81-93, 
Belli, F., Camara, I., Schmidt, A.,  A Built-In Test Language for PROLOG to Validate Knowledge-Based Systems, Proc. Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE '90),  pp.726-734, 
Belli, F., Klug, M., van Treeck, W.,  A Knowledge-Based Workbench for User Programmable Control of Public Administration Tasks, Proceedings of Information Resources Management Association International Conference,  p. 124, 
Schmidt, A., Belli, F.,  An Extension of PROLOG for Object-Oriented Programming in Logic, Proc. 3rd ACM International Conference on Industrial & Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE '90),  1153-1161, 
Belli, F., Bonin, H.E.G.,  Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung, Tagungsband des 4. Symposiums Informatik im Umweltschutz,  Informatik-Fachbericht,  Vol. 228,  pp.278-287,  Springer-Verlag, 
Belli, F., Jack, O., Schmidt, A.,  Object-Oriented Extension of PROLOG - Considered Harmful for First-Order Predicate Logic, Tagungsband GWAI-Workshop ``Logik als Programmiersprache''/GWAI '90,  pp. 70-72,  » [PDF]
Autorenkollektiv Fachgebiet ADT,  Leitfaden für die Ausarbeitung von Dokumentationen im Fachgebiet Angewandte Datentechnik (Softwaretechnik),  1990/9,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Autorenkollektiv Fachgebiet ADT,  Software Engineering (Angewandte Datentechnik) - Self-Representation,  1990/3,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Azem, A., Belli, F., Schmidt, A.,  Objekt-orientierte Programmierung (OOP) - Konstruktive Mass{}nahmen zur Erhöhung der Software-Zuverässigkeit,  1990/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Camara, I., Schmidt, A.,  A Uniform Test Environment for Parallel PROLOG to Validate Knowledge-Based Systems,  1990/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Großpietsch, K.-E.,  Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions - Approach and Case Study,  1990/2,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jedrzejowicz, P.,  An Approach to the Reliability Optimization of Software with Redundancy,  1990/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  » [PDF]
Belli, F., Jedrzejowicz, P.,  Comparative Analysis of Concurrent Fault Tolerance Techniques for Real-Time Applications,  1990/6,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  » [PDF]
Camara, I., Glasmacher, H., Jack, O.,  Techniken disziplinierter Software-Erstellung,  1990/7,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Manuskript der gleichnamigen Vorlesung, FB 14, erstmalig gehalten im WS 1990/91,, 
Fevzi Belli, Ismael Camara, Alfred Schmidt,  Validating Expert Systems on PROLOG Basis, 
Hoffmann, M., Petersen S., Wrede, A.,  Selbst-Aktualisierbarkeit der Dokumentation von wissensbasierten Systemen auf PROLOG-Basis - Implementation der Methode,  1990/8,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Recke, M.,  Entwicklung eines Grafikeditors für Funktionspläne und eines Generators für Procolprogramme - Band I,  1990/11,  Diploma Thesis,  Fachbereich Informatik,  Universität Paderborn, 
Recke, M.,  Entwicklung eines Grafikeditors für Funktionspläne und eines Generators für Procolprogramme - Band II,  1990/12,  Diploma Thesis,  Fachbereich Informatik,  Universität Paderborn, 
Wrede, A.,  'Selbst-Aktualisierbarkeit' der Anforderungsdokumentation von wissensbasierten Systemen auf PROLOG-Basis mit Hilfe von Entscheidungstabellen,  1990/13,  Diploma Thesis,  Fachbereich Informatik,  Hochschule Bremerhaven, 
1989
Becker, G., (Ed.) Belli, F.,  Softwarezuverlässigkeit - Quantitative Modelle und Nachweisverfahren,  Programmierung komplexer Systeme,  Vol. 2,  Walter de Gruyter & Co., Berlin, New York,  » [PDF]
Belli, F.,  Einführung in die logische Programmierung mit PROLOG, 2. Erweiterte Auflage, BIT vol. 630,  BI Wissenschaftsverlag, Mannheim,  Hochschultaschenbücher,  » [PDF]
Belli, F.,  PASCAL - Anleitung zur systematischen Programmierung und Konstruktion zuverlässiger Programme mit Anwendungsbeispielen in Standard- und Turbo-Pascal, Band II: Weitere Methoden, BIT Vol.636,  BI Wissenschaftsverlag, Mannheim,  » [PDF]
Belli, F.,  PROLOG-Systeme in der Praxis,  BIT Vol. 6,  BI Wissenschaftsverlag, Mannheim,  » [PDF]
Belli, F.,  PASCAL - Anleitung zur systematischen Programmierung und Konstruktion zuverlässiger Programme mit Anwendungsbeispielen in Standard- und Turbo-Pascal, Band III: Programmierpraxis, BIT vol. 640,  BI Wissenschaftsverlag, Mannheim,  » [PDF]
F. Belli,  Validation of the Expert System DANGOOD: Managerial Aspects, 
Belli, F., Bonin, H.E.G., Filipowicz, W., Gerdes, H., Jedrzejowicz, P.,  Some Aspects of the Development and Validation of FIREX - A Knowledge-Based System for the Transport of Dangerous Goods and Fire Department Consulting, Proc. 2nd ACM International Conf. on Industrial and Engineering Applications of Artificial Intelligence,  pp.680-689, 
Belli, F., Bonin, H.E.G.,  Probleme bei der Hinterlegung wissensbasierter Systeme bezüglich ihrer Dokumentation, Tagungsband Software-Hinterlegung - Software in der Insolvenz, Teubner,  pp. 29-51,  » [PDF]
Belli, F., Klug, M., van Treek, W.,  ASH - Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung,  Informatik-Fachbericht,  Vol. 223,  pp.245-259,  Springer-Verlag, 
Belli, F., Schmidt, A.,  Selbst-Aktualisierbarkeit der Dokumentation von wissensbasierten Systemen auf PROLOG-Basis, Tagungsband des GI-Workshops Entscheidungsunterstützung in der öffentlichen Verwaltung - Entmythologisierung von Expertensystemen,  pp.105-126,  Beck's Verlag, 
Autorenkollektiv,  Spezielle Kapitel zu Algorithmen und Programmierung - Dynamisches Testen,  1989/8,  Project Work,  Hochschule Bremerhaven, 
Belli, F., Bonin, H., Schmidt, A.,  An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Application in FIREX,  1989/7,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn,  Version 2.0, 
Belli, F., Camara, I., Schmidt, A.,  A Built-In Test Language for PROLOG to Validate Knowledge-Based Systems,  1989/6,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Jedrzejowicz, P.,  Fault-tolerant Programs and Their Reliability,  1989/3,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Schmidt, A.,  Selbst-Aktualisierbarkeit der Dokumentation von wissensbasierten Systemen auf PROLOG-Basis,  1989/2,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Schmidt, A.,  Automatic Actualization of the Documentation of Expert Systems Developed with PROLOG,  1989/4,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Belli, F., Schmidt, A.,  An Extension of PROLOG for Object-Oriented Programming in Logic,  1989/5,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Pollmann, A.,  Funktionalitäts-, Leistungs- und Anwendungsaspekte des verteilten Betriebssystems Helios,  1889/9,  Study Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
Schmidt, A.,  Möglichkeiten der objekt-orientierten Programmierung in PROLOG anhand eines Anwendungsbeispiels,  1989/1,  Diploma Thesis,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
1988
Belli, F., Bonin, H.E.G., Jedrzejowicz, P.,  Development and Validation of FIREX - A Knowledge-Based System for Tranport of Dangerous Goods and Fire Department Consulting,  Annual Review in Automatic Programming,  Vol. 14,  Part I,  Pergamon Press, Oxford etc.,  pp. 69-74,  » [PDF]
Belli, F., Jedrzejowicz, P.,  Towards Reliability Optimization of Fault-tolerant Software, Journal of Information Processing and Cybernetics - EIK, Vol. 24(1988), No. 9, pp. 431-442,  » [PDF]
Belli, F., Bonin, H.E.G.,  FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz,  Informatik-Fachbericht,  Vol. 187,  Springer-Verlag,  pp. 352-365, 
Belli, F.,  Künstliche Intelligenz - Techniken und Werkzeuge am Beispiel eines Expertensystems, Tagungsband Kommunikationsmarkt-Seminar,  pp.141-149,  Gesellschaft für Projektmanagement INTERNET Deutschland und Universität Bremen, 
Belli, F., Filipowicz, W., Jedrzejowicz, P.,  DANLOAD - Decision Support System for stowing and carrying dangerous good, Proc. 13th Symposium on Operations Research,  Gesellschaft für Mathematik, Ökonomie und Operations Research e.V., 
Belli, F., Gerdes, H.,  Eine Testumgebung für PROLOG-Programme, Tagungsband des GI-Workshop,  pp.139-140, 
Belli, F., Großpietsch K.-E.,  System Sepcification by Predicate/Transition Nets and Regular Expression to Handle Component Malfunctions,  1988/1,  Project Work,  Fachbereich Transportwesen und Systemanalyse,  Hochschule Bremerhaven, 
1987
Belli, F., Görke, W.,  Proceedings of the 3rd International Conference on Fault-Tolerant Computing Systems,  vol 147,  Informatik Fachberichte,  Springer-Verlag, Berlin,  » [PDF]
Belli, F., Pfleger, S., Seifert, M. (Eds.),  Software-Fehlertoleranz und -Zuverlässigkeit,  Informatik-Fachberichte,  vol. 83,  Springer Verlag,  Berlin, 
Belli, F.,  Methoden und Hilfsmittel der Software-Qualitätssicherung,  Qualität und Zuverlässigkeit,  Vol. 87(2),  pp. 69-72, 
Belli, F., Bonin, H.E.G.,  Qualitätsvorgaben im Hinblick auf Softwarefehler, Tagungsband German Chapter of the ACM und der Gesellschaft für Rechts- und Verwaltungsinformatik, Workshop 'Der EDV-Sachverständige'und in Computer in Recht,  Informatik-Fachbericht,  Vol. 3/1,  pp. 46-57,  » [PDF]
1986
Belli, F., Echtle, K., Görke, W.,  Methoden und Modelle der Fehlertoleranz,  Informatik Spektrum,  Vol. 9,  Springer-Verlag,  pp. 68-81,  » [PDF]
Praetsch, G. , Tröck, D.,  Rechnergestützte Steuerung des Hochregallager-Modells der Hochschule Bremmerhaven,  1986/1,  Project Work,  Fachbereich Transportwesen und Systemanalyse,  Hochschule Bremerhaven, 
Troebner, H.,  Implementierung eines Verfahrens zur syntaktischen Behandlung der Kommunikationsfehler mittels regulärer Ausdrücke,  1986/2,  Diploma Thesis,  Fachbereich Transportwesen und Systemanalyse,  Hochschule Bremerhaven, 
1985
F. Belli,  Modellierung von Software-Fehlern zur Bestimmung und Optimierung der Zuverlässigkeit,  Computer -Software und Sachmängelhaftung,  B.G. Teubner, 
Belli, F.,  Software-Qualitätssicherung: Probleme, Lösungen und Hilfsmittel, Software-Entwicklungs-Systeme und -Werkzeuge, Tagungsband Softwareentwicklung,  Eigen-Verlag,  Technische Akademie Esslingen, 
Fevzi Belli,  Software-Entwicklungs-Systeme und -Werkzeuge, 
Gerdes, H.,  Aufbereitung und Auswertung von Software-Zuverlässlichkeits-Modelle,  1985/1,  Diploma Thesis,  Fachbereich Informatik,  Universität Bremen, 
1984
Belli, F.,  Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit, Proc. Workshop Software-Fehlertoleranz und -Zuverlässigkeit,  Informatik-Fachbericht,  Vol. 83,  pp.253-268,  Springer-Verlag,  » [PDF]
Eggers, B., Belli, F.,  Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme, Proc. 2. GI/NTG/GMR-Fachtagung Fehlertolerierende Rechensysteme,  Informatik-Fachbericht,  Vol. 84,  pp.139-149,  Springer-Verlag, 
1983
Belli, F., Großpietsch, K.-E.,  A Strategy for the Development of Communication Fault-Tolerant Systems, Digest of papers 13th IEEE International Fault-Tolerant Computing Symposium,  pp. 66-73,  » [PDF]
Burford, M.A.J., Belli, F.,  CADAS: A Tool for Rapid Prototyping and Testing of Embedded Software, Proc. IEEE Symposium on Application and Assessment of Automated Tools for Software Development,  pp. 27-34,  » [PDF]
1982
Belli, F.,  Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz, Proc. 1. GI/NTG/GMR-Fachtagung Fehlertolerierende Rechensysteme,  Informatik-Fachbericht,  Vol. 54,  pp.175-185,  Springer-Verlag,  » [PDF]
1980
F. Belli,  Wartbarkeit der Software-Dokumentation, Tagungsband GI-Jahrestagung, Kurzbeiträge, 
1978
F. Belli,  Erweiterung regulärer Sprachen zur automatischen Erkennung und Korrektur von syntaktischen Fehlern, Berichte der Gesellschaft für Mathematik und Datenverarbeitung,  Bericht Nr,  119,  R. Oldenburg Verlag, München,  » [PDF]
F. Belli,  PQ-selbstkorrigierende Erweiterung regulärer Sprachen, Tagungsband GI-Jahrestagung, Kurzbeiträge,