Some Selected Publications
Year Of Publicaton:
 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2001  2000  1999  1998  1997  1996  1995  1994  1993  1992  1991  1990  1989  1988  1987  1986  1985  1984  1983  1982  1980  1978
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]
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui,  Message from the MVDA 2016 Workshop Organizers,  Proc. COMPSAC 2016 Workshops, 
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), 
2013
Quella, F., Belli, F.,  Reuse of components and products - 'qualified as good as new',  in Handbook of Sustainable Engineering,  Springer,  pp. 409-426, 
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,  An Industrial Standard to Assure Dependability in Software Reuse,  Proc. 8th International Joint Conference on Software Technologies (ICSOFT 2013),  pp. 43-48, 
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, 
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, 
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, 
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 
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]
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, 
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, 
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]
Laplante, Ph., Belli, F., Gao, J., Kapfhammer, J., Miller, K., Wong, E., Xu, D.,  Software Test Automation (Editorial),  Journal of Advances in Software Engineering,  Hindawi,  pp. 1-2, 
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, 
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, 
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., 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, 
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, 
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, 
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, 
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, 
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, 
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]
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]
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]
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]
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]
1999
Belli, F.,  Software Reliability Engineering - Risk Management for the New Millenium,  Springer,  » [PDF]
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]
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, 
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, 
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, 
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.,  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, 
Belli, F.,  Softwarezuverlässigkeit und Qualitätssicherung, Tagungsband Schloß Dagstuhl, 
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 Determination of Prolog Programs, Proc. 6th International Conference on Software Engineering and Knowledge Engineering,  pp. 21-23, 
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]
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, 
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, 
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.,  Type/Mode-Based Testing of Logic Programs,  1993/1,  Project Work,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
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, 
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, 
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, 
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, 
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, 
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, 
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,  Software Engineering (Angewandte Datentechnik) - Self-Representation,  1990/3,  Lecture Documents,  Fachgebiet Angewandte Datentechnik,  Universität Paderborn, 
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, 
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]
Fevzi Belli, Ismael Camara, Alfred Schmidt,  Validating Expert Systems on PROLOG Basis, 
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.,  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 II: Weitere Methoden, BIT Vol.636,  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, 
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, 
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]
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, 
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,