Fevzi Belli - RankMe

160 papers A 12B 9C 23Misc 3Journal 34Unranked 72

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Avoidance of Feature Configuration Faults in Software Product Lines. COMPSAC Burcu Ergun, Tugkan Tuglular, Fevzi Belli
2024	J	`jnl`	Unifying Behavioral and Feature Modeling for Testing of Software Product Lines. Int. J. Softw. Eng. Knowl. Eng. Fevzi Belli, Tugkan Tuglular, Ekincan Ufuktepe
2023	J	`jnl`	Link Prediction for Completing Graphical Software Models Using Neural Networks. IEEE Access Onur Leblebici, Tugkan Tuglular, Fevzi Belli
2023	J	`jnl`	Mutation-Based Minimal Test Suite Generation for Boolean Expressions. Int. J. Softw. Eng. Knowl. Eng. Tolga Ayav, Fevzi Belli
2022	J	`jnl`	Model-based ideal testing of hardware description language (HDL) programs. Softw. Syst. Model. Onur Kilinççeker, Ercument Turk, Fevzi Belli, Moharram Challenger
2021	—	`book`	A Holistic View of Software and Hardware Reuse - Dependable Reuse of Components and Systems Fevzi Belli, Ferdinand Quella
2021	—	`conf`	Heterogeneous Modeling and Testing of Software Product Lines. QRS Companion Fevzi Belli, Tugkan Tuglular, Ekincan Ufuktepe
2021	J	`jnl`	Model-Based Ideal Testing of GUI Programs-Approach and Case Studies. IEEE Access Onur Kilinççeker, Alper Silistre, Fevzi Belli, Moharram Challenger
2021	J	`jnl`	Test input generation from cause-effect graphs. Softw. Qual. J. Deniz Kavzak Ufuktepe, Tolga Ayav, Fevzi Belli
2020	C	`conf`	Community Detection in Model-based Testing to Address Scalability: Study Design. FedCSIS Alper Silistre, Onur Kilinççeker, Fevzi Belli, Moharram Challenger, Geylani Kardas
2020	—	`conf`	Models in Graphical User Interface Testing: Study Design. UYMS Alper Silistre, Onur Kilinççeker, Fevzi Belli, Moharram Challenger, Geylani Kardas
2020	—	`conf`	Mutation Operators for Decision Table-Based Contracts Used in Software Testing. UYMS Abbas Khalilov, Tugkan Tuglular, Fevzi Belli
2019	—	`conf`	Random Test Generation from Regular Expressions for Graphical User Interface (GUI) Testing. QRS Companion Onur Kilinççeker, Alper Silistre, Moharram Challenger, Fevzi Belli
2018	J	`jnl`	Model-based Selective Layer-centric Testing. J. Inf. Process. Fevzi Belli, Nevin Güler Dincer, Michael Linschulte, Tugkan Tuglular
2018	—	`conf`	Regular Expression Based Test Sequence Generation for HDL Program Validation. QRS Companion Onur Kilinççeker, Ercument Turk, Moharram Challenger, Fevzi Belli
2017	J	`jnl`	Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces. Adv. Comput. Fevzi Belli, Mutlu Beyazit, Christof J. Budnik, Tugkan Tuglular
2017	—	`conf`	Grafiksel Kullanici Arayuzleri icin Duzenli Ifade Bazli Test Kapsama Kriterleri(Coverage Criteria For Testing Graphical User Interfaces Based On Regular Expressions). UYMS Onur Kilinççeker, Fevzi Belli
2017	—	`conf`	Message from STA 2017 Workshop Co-Chairs. COMPSAC (2) Fevzi Belli, Rajesh Subramanyan
2016	J	`jnl`	Input Contract Testing of Graphical User Interfaces. Int. J. Softw. Eng. Knowl. Eng. Tugkan Tuglular, Fevzi Belli, Michael Linschulte
2016	—	`conf`	Karar Tablosu Destekli Olay Sira Cizgeleri Temelli Sinama Durum Uretim Araci. UYMS Fevzi Belli, Michael Linschulte, Tugkan Tuglular
2016	—	`conf`	Message from the MVDA Workshop Organizers. COMPSAC Workshops Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
2016	—	`conf`	Message from the STA Workshop Organizers. COMPSAC Workshops Fevzi Belli, Rajesh Subramanyan
2016	J	`jnl`	Model-based mutation testing - Approach and case studies. Sci. Comput. Program. Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong
2016	—	`conf`	Neden-Sonuc Cizgelerinden Test Girislerinin Olusturulmasi. UYMS Deniz Kavzak Ufuktepe, Tolga Ayav, Fevzi Belli
2015	—	`conf`	Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique. QRS Companion Tolga Ayav, Fevzi Belli
2015	J	`jnl`	Exploiting Model Morphology for Event-Based Testing. IEEE Trans. Software Eng. Fevzi Belli, Mutlu Beyazit
2015	J	`jnl`	Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Softw. Qual. J. Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão
2015	—	`conf`	Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
2015	—	`conf`	Message from the STA 2015 Workshop Organizers. COMPSAC Workshops Fevzi Belli, Rajesh Subramanyan
2015	—	`conf`	Model Based Testing of VHDL Programs. COMPSAC Workshops Tolga Ayav, Tugkan Tuglular, Fevzi Belli
2015	J	`jnl`	Model-Based Contract Testing of Graphical User Interfaces. IEICE Trans. Inf. Syst. Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte
2014	J	`jnl`	A holistic approach to model-based testing of Web service compositions. Softw. Pract. Exp. Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão
2013	C	`conf`	An Industrial Standard to Assure Dependability in Software Reuse. ICSOFT Fevzi Belli
2013	—	`conf`	Assuring Dependability of Software Reuse: An Industrial Standard. ICSOFT (Selected Papers) Fevzi Belli
2013	—	`conf`	Dependability and Software Reuse - Coupling Them by an Industrial Standard. SERE (Companion) Fevzi Belli
2013	—	`conf`	Olay Tabanlı Sınama İçin Mutant Seçimi. UYMS Fevzi Belli, Mutlu Beyazit
2013	C	`conf`	Using Regular Grammars for Event-Based Testing. CIAA Fevzi Belli, Mutlu Beyazit
2012	—	`ed.`	36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012 COMPSAC Workshops Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine
2012	B	`ed.`	36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012 COMPSAC Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine
2012	J	`jnl`	Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study. Adv. Comput. Fevzi Belli, Mutlu Beyazit, Nevin Güler
2012	J	`jnl`	Model-Based Mutation Testing Using Pushdown Automata. IEICE Trans. Inf. Syst. Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
2012	J	`jnl`	Modeling, Analysis, and Testing of System Vulnerabilities. Adv. Comput. Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke
2012	—	`conf`	Testing is an Event-Centric Activity. SERE (Companion) Fevzi Belli, Mutlu Beyazit, Atif M. Memon
2012	—	`conf`	Verlässlichkeit bei Wiederverwendung von IT-Komponenten - zum Stand der Normungsaktivitäten. ARCS Workshops Fevzi Belli
2011	B	`conf`	Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability. COMPSAC Fevzi Belli, Nevin Güler, Michael Linschulte
2011	—	`conf`	Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results. ICST Workshops Fevzi Belli, Mutlu Beyazit, Nevin Güler
2011	B	`conf`	Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison. COMPSAC Fevzi Belli, Mutlu Beyazit
2011	—	`conf`	Layer-Centric Testing. ARCS Workshops Fevzi Belli, Nevin Güler, Michael Linschulte
2011	—	`ch.`	Model-Based Integration Testing with Communication Sequence Graphs. Model-Based Testing for Embedded Systems Fevzi Belli, Axel Hollmann, Sascha Padberg
2011	—	`conf`	Model-based testing of web service compositions. SOSE Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão
2011	A	`conf`	Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
2011	—	`conf`	Statistical Evaluation of Test Sets Using Mutation Analysis. COMPSAC Workshops Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Nevin Güler
2010	—	`conf`	A Formal Framework for Mutation Testing. SSIRI Fevzi Belli, Mutlu Beyazit
2010	—	`conf`	Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis. SSIRI (Companion) Fevzi Belli, Nevin Güler, Michael Linschulte
2010	J	`jnl`	Ereignis-basierter Test grafischer Benutzeroberflächen - ein Erfahrungsbericht. Softwaretechnik-Trends Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Michael Linschulte, Sascha Padberg
2010	J	`jnl`	Event-driven modeling and testing of real-time web services. Serv. Oriented Comput. Appl. Fevzi Belli, Michael Linschulte
2010	A	`conf`	Fault Detection Likelihood of Test Sequence Length. ICST Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber
2010	—	`conf`	MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
2010	—	`conf`	Model-Based Higher-Order Mutation Analysis. FGIT-ASEA Fevzi Belli, Nevin Güler, Axel Hollmann, Gökhan Suna, Esra Yildiz
2010	—	`conf`	Performance evaluation of TCP Noordwijk over satellite systems for fixed and mobile services. CAMAD Fevzi Belli, Michele Luglio, Cesare Roseti, Gianluca Savone, Francesco Zampognaro
2010	J	`jnl`	Software Test Automation. Adv. Softw. Eng. Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu
2010	—	`conf`	Test Prioritization at Different Modeling Levels. FGIT-ASEA Fevzi Belli, Nida Gökçe
2010	—	`conf`	Towards Scalable Robustness Testing. SSIRI Fevzi Belli, Axel Hollmann, W. Eric Wong
2010	—	`conf`	Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker. SSIRI (Companion) Tolga Ayav, Tugkan Tuglular, Fevzi Belli
2010	—	`conf`	Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments. Future Internet Assembly Fevzi Belli, Michele Luglio, Cesare Roseti
2009	—	`conf`	A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. SSIRI Fevzi Belli, Axel Hollmann, Markus Kleinselbeck
2009	J	`jnl`	Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008). Inf. Softw. Technol. Hong Zhu, Fevzi Belli
2009	—	`conf`	Communication Sequence Graphs for Mutation-Oriented Integration Testing. SSIRI Fevzi Belli, Axel Hollmann, Sascha Padberg
2009	—	`conf`	Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. SSIRI Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli
2009	A	`conf`	Event-Based Input Validation Using Design-by-Contract Patterns. ISSRE Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte
2009	—	`conf`	GUI-Based Testing of Boundary Overflow Vulnerability. COMPSAC (2) Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte
2009	—	`conf`	MOTES09 - Modellbasiertes Testen - 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck - Einführung und Übersicht über die angenommenen Beiträge. GI Jahrestagung Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter
2009	Misc	`conf`	Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. KI Fevzi Belli, Mubariz Eminov, Nida Gökçe
2009	—	`conf`	Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. ICTA Fevzi Belli, Axel Hollmann, Zhenyu Chen
2009	—	`conf`	Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation DCFS Fevzi Belli, Mutlu Beyazit
2009	—	`conf`	Structural Feature Extraction for GUI Test Enhancement. ICST Workshops Christof J. Budnik, Fevzi Belli, Axel Hollmann
2009	—	`conf`	Testing Composite Web Services-An Event-Based Approach. ICST Workshops Fevzi Belli, Michael Linschulte
2008	C	`conf`	2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering Fevzi Belli, Christof J. Budnik, Andreas Spillner
2008	C	`conf`	2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (Workshops) Fevzi Belli, Christof J. Budnik, Andreas Spillner
2008	—	`conf`	Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. ICSE Companion Hong Zhu, W. Eric Wong, Fevzi Belli
2008	B	`conf`	Event-Driven Modeling and Testing of Web Services. COMPSAC Fevzi Belli, Michael Linschulte
2008	B	`conf`	IWSC 2008 Workshop Organization. COMPSAC Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
2008	—	`conf`	MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter
2008	B	`conf`	Message from the IWSC 2008 Workshop Organizers. COMPSAC Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
2008	B	`conf`	Panel Description: 40 Years of Software Engineering. COMPSAC Fevzi Belli, Cristina Cerschi Seceleanu
2008	—	`ed.`	Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. AST@ICSE Hong Zhu, W. Eric Wong, Fevzi Belli
2008	Misc	`conf`	Test generation and minimization with "basic" statecharts. SAC Fevzi Belli, Axel Hollmann
2007	C	`conf`	"Negativ"-Tests interaktiver Systeme und ihre Automatisierung. Software Engineering (Workshops) Fevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann
2007	—	`conf`	Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. LADC Fevzi Belli, Mubariz Eminov, Nida Gökçe
2007	C	`conf`	Einführung. Software Engineering (Workshops) Sami Beydeda, Fevzi Belli
2007	C	`conf`	Holistic testing with basic statecharts. Software Engineering (Workshops) Fevzi Belli, Axel Hollmann
2007	B	`conf`	Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. SAFECOMP Fevzi Belli, Axel Hollmann, Nimal Nissanke
2007	—	`conf`	Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. COMPSAC (2) Fevzi Belli, Mubariz Eminov, Nida Gökçe
2007	J	`jnl`	Test minimization for human-computer interaction. Appl. Intell. Fevzi Belli, Christof J. Budnik
2007	C	`conf`	WG1: Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering Sami Beydeda, Fevzi Belli
2006	—	`conf`	Coverage-Based, Prioritized Testing Using Neural Network Clustering. ISCIS Nida Gökçe, Mubariz Eminov, Fevzi Belli
2006	J	`jnl`	Event-based modelling, analysis and testing of user interactions: approach and case study. Softw. Test. Verification Reliab. Fevzi Belli, Christof J. Budnik, Lee White
2006	—	`conf`	Holistic Testing of Interactive Systems Using Statecharts. Sicherheit Fevzi Belli, Christof J. Budnik, Axel Hollmann
2006	J	`jnl`	Introduction to the special section on software cybernetics. J. Syst. Softw. Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur
2006	—	`conf`	Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. GI Jahrestagung (2) Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker
2005	C	`conf`	A Holistic Approach to Test-Driven Model Checking. IEA/AIE Fevzi Belli, Baris Güldali
2005	—	`conf`	Test Cost Reduction for Interactive Systems. Sicherheit Fevzi Belli, Christof J. Budnik
2005	C	`conf`	Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering Fevzi Belli, Christof J. Budnik
2005	C	`conf`	Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE Fevzi Belli, Christof J. Budnik
2005	—	`conf`	Towards Self-Testing of Component-Based Software. COMPSAC (2) Fevzi Belli, Christof J. Budnik
2005	—	`conf`	View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin
2004	—	`conf`	Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops Fevzi Belli, Christof J. Budnik, Nimal Nissanke
2004	C	`conf`	Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC Fevzi Belli, Christof J. Budnik
2004	—	`conf`	Software Testing via Model Checking. ISCIS Fevzi Belli, Baris Güldali
2004	—	`conf`	Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops Fevzi Belli, Christof J. Budnik
2001	A	`conf`	Finite-State Testing and Analysis of Graphical User Interfaces. ISSRE Fevzi Belli
2001	C	`conf`	Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. IEA/AIE Fevzi Belli
2001	—	`conf`	Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. EUROMICRO Fevzi Belli
2000	—	`conf`	Logic Representation of Programs to Detect Arithmetic Anomalies. EUROMICRO Fevzi Belli, Thomas Illgen
1999	Misc	`conf`	Software Reliability Engineering - Risk Management for the New Millenium. EDCC Fevzi Belli
1998	J	`jnl`	Declarative Paradigm of Test Coverage. Softw. Test. Verification Reliab. Fevzi Belli, Oliver Jack
1998	J	`jnl`	Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. Inform. Spektrum Fevzi Belli, Matthias Grochtmann, Oliver Jack
1998	J	`jnl`	Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Inform. Spektrum Fevzi Belli
1997	A	`conf`	Empirical performance analysis of computer-supported code-reviews. ISSRE Fevzi Belli, Radu Crisan
1997	A	`conf`	Program segmentation for controlling test coverage. ISSRE Fevzi Belli, Javier Dreyer
1996	A	`conf`	Towards automation of checklist-based code-reviews. ISSRE Fevzi Belli, Radu Crisan
1995	A	`conf`	A test coverage notion for logic programming. ISSRE Fevzi Belli, Oliver Jack
1995	A	`conf`	Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming. ISSRE Fevzi Belli, Javier Dreyer
1994	C	`conf`	A test environment for Prolog. SEKE Fevzi Belli, Oliver Jack
1994	C	`conf`	An Environment for Self-Testing of Logic Programs. IEA/AIE Fevzi Belli, Oliver Jack
1994	C	`conf`	Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. IEA/AIE Fevzi Belli, Alfried Pollmann, Radu Crisan
1994	J	`jnl`	Determining the Reliability of Prolog Programs. Softw. Test. Verification Reliab. Alireza Azem, Fevzi Belli
1994	C	`conf`	Reliability Prediction of Prolog Programs. IEA/AIE Alireza Azem, Fevzi Belli
1994	C	`conf`	Reliability determination of Prolog programs. SEKE Alireza Azem, Fevzi Belli
1994	C	`conf`	Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. IEA/AIE Fevzi Belli, Javier Dreyer
1993	—	`conf`	A Product Assurance Environment for Prolog. LPE Fevzi Belli, Oliver Jack
1993	A	`conf`	Implementation-Based Analysis and Testing of Prolog Programs. ISSTA Fevzi Belli, Oliver Jack
1993	C	`conf`	Implementation-Oriented Testing and Reliability Determination of Prolog Programs. SEKE Alireza Azem, Fevzi Belli, Oliver Jack
1993	—	`conf`	Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems. Systems Engineering in Public Administration Fevzi Belli
1993	—	`conf`	Reliability Prediction and Reliability Assessment Environment or Prolog Programs. LPE Alireza Azem, Fevzi Belli
1993	A	`conf`	Testing and reliability of logic programs. ISSRE Alireza Azem, Fevzi Belli, Oliver Jack, Piotr Jedrzejowicz
1992	C	`ed.`	Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings IEA/AIE Fevzi Belli, Franz Josef Radermacher
1992	—	`conf`	Systematische Dokumentation logischer Programme. Informatik zwischen Wissenschaft und Gesellschaft Fevzi Belli, Alfred Schmidt
1991	J	`jnl`	An Approach to the Reliability Optimization of Software with Redundancy. IEEE Trans. Software Eng. Fevzi Belli, Piotr Jedrzejowicz
1991	A	`conf`	Comparative analysis of concurrent fault tolerance techniques for real-time applications. ISSRE Fevzi Belli, Piotr Jedrzejowicz
1991	J	`jnl`	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. IEEE Trans. Software Eng. Fevzi Belli, Karl-Erwin Großpietsch
1990	—	`conf`	A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. IEA/AIE (Vol. 2) Fevzi Belli, Ismael Camara, Alfred Schmidt
1990	—	`conf`	An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX. IEA/AIE (Vol. 1) Fevzi Belli, Hinrich E. G. Bonin
1990	—	`conf`	An Extension of PROLOG for Object-Oriented Programming in Logic. IEA/AIE (Vol. 2) Alfred Schmidt, Fevzi Belli
1989	—	`conf`	ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung. GI Jahrestagung (2) Fevzi Belli, M. Klug, Werner van Treeck
1989	—	`conf`	Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung. Informatik im Umweltschutz Fevzi Belli, Hinrich E. G. Bonin
1989	—	`conf`	Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consulting. IEA/AIE (2) Fevzi Belli, Hinrich E. G. Bonin, H. Gerdes, W. Filipowicz, Piotr Jedrzejowicz
1988	—	`conf`	FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz. GI Jahrestagung (1) Fevzi Belli, Hinrich E. G. Bonin, W. Filipowicz, Piotr Jedrzejowicz
1988	J	`jnl`	Fault-Tolerant Programs. Angew. Inform. Fevzi Belli, Piotr Jedrzejowicz
1988	J	`jnl`	Towards Reliability Optimization of Fault-tolerant Software. J. Inf. Process. Cybern. Fevzi Belli, Piotr Jedrzejowicz
1987	J	`jnl`	Ein Ansatz zur Zuverlässigkeits-Optimierung fehlertoleranter Software / Towards reliability optimization of fault-tolerant software. it Inf. Technol. Fevzi Belli, Piotr Jedrzejowicz
1987	—	`ed.`	Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, Deutschland, 9.-11. September 1987, Proceedings Fehlertolerierende Rechensysteme Fevzi Belli, Winfried Görke
1987	—	`book`	Fehlertolerierende Rechensysteme, 3th Edition. Fevzi Belli
1986	J	`jnl`	Methoden und Modelle der Fehlertoleranz. Inform. Spektrum Fevzi Belli, Klaus Echtle, Winfried Görke
1984	—	`conf`	CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. Fehlertolerierende Rechensysteme M. A. J. Burford, Fevzi Belli
1984	—	`conf`	Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. Software-Fehlertoleranz und -Zuverlässigkeit Fevzi Belli
1984	—	`conf`	Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. Fehlertolerierende Rechensysteme B. Eggers, Fevzi Belli
1984	—	`ed.`	Software-Fehlertoleranz und -Zuverlässigkeit Software-Fehlertoleranz und -Zuverlässigkeit Fevzi Belli, Silvia Pfleger, Manfred H. Seifert
1982	—	`conf`	Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. Fehlertolerierende Rechensysteme Fevzi Belli
1980	C	`conf`	Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. Software Engineering Fevzi Belli