default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFevzi Belli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j34]Fevzi Belli
, Tugkan Tuglular, Ekincan Ufuktepe:
Unifying Behavioral and Feature Modeling for Testing of Software Product Lines. Int. J. Softw. Eng. Knowl. Eng. 34(2): 203-238 (2024)- 2023
- [j33]Onur Leblebici, Tugkan Tuglular, Fevzi Belli:
Link Prediction for Completing Graphical Software Models Using Neural Networks. IEEE Access 11: 115934-115950 (2023) - [j32]Tolga Ayav, Fevzi Belli:
Mutation-Based Minimal Test Suite Generation for Boolean Expressions. Int. J. Softw. Eng. Knowl. Eng. 33(6): 865-884 (2023) - 2022
- [j31]Onur Kilinççeker, Ercument Turk, Fevzi Belli, Moharram Challenger:
Model-based ideal testing of hardware description language (HDL) programs. Softw. Syst. Model. 21(3): 1209-1240 (2022) - 2021
- [b2]Fevzi Belli, Ferdinand Quella:
A Holistic View of Software and Hardware Reuse - Dependable Reuse of Components and Systems. Springer 2021, ISBN 978-3-030-72260-9, pp. 3-289 - [j30]Onur Kilinççeker, Alper Silistre, Fevzi Belli, Moharram Challenger:
Model-Based Ideal Testing of GUI Programs-Approach and Case Studies. IEEE Access 9: 68966-68984 (2021) - [j29]Deniz Kavzak Ufuktepe, Tolga Ayav, Fevzi Belli:
Test input generation from cause-effect graphs. Softw. Qual. J. 29(4): 733-782 (2021) - [c116]Fevzi Belli, Tugkan Tuglular, Ekincan Ufuktepe:
Heterogeneous Modeling and Testing of Software Product Lines. QRS Companion 2021: 1079-1088 - 2020
- [c115]Alper Silistre, Onur Kilinççeker, Fevzi Belli, Moharram Challenger, Geylani Kardas:
Community Detection in Model-based Testing to Address Scalability: Study Design. FedCSIS 2020: 657-660 - [c114]Abbas Khalilov, Tugkan Tuglular, Fevzi Belli:
Mutation Operators for Decision Table-Based Contracts Used in Software Testing. UYMS 2020: 1-6 - [c113]Alper Silistre, Onur Kilinççeker, Fevzi Belli, Moharram Challenger, Geylani Kardas:
Models in Graphical User Interface Testing: Study Design. UYMS 2020: 1-6
2010 – 2019
- 2019
- [c112]Onur Kilinççeker, Alper Silistre, Moharram Challenger, Fevzi Belli:
Random Test Generation from Regular Expressions for Graphical User Interface (GUI) Testing. QRS Companion 2019: 170-176 - 2018
- [j28]Fevzi Belli, Nevin Güler Dincer, Michael Linschulte, Tugkan Tuglular:
Model-based Selective Layer-centric Testing. J. Inf. Process. 26: 572-589 (2018) - [c111]Onur Kilinççeker, Ercument Turk, Moharram Challenger, Fevzi Belli:
Regular Expression Based Test Sequence Generation for HDL Program Validation. QRS Companion 2018: 585-592 - 2017
- [j27]Fevzi Belli, Mutlu Beyazit, Christof J. Budnik, Tugkan Tuglular:
Chapter Five - Advances in Model-Based Testing of Graphical User Interfaces. Adv. Comput. 107: 219-280 (2017) - [c110]Fevzi Belli, Rajesh Subramanyan:
Message from STA 2017 Workshop Co-Chairs. COMPSAC (2) 2017: 53 - [c109]Onur Kilinççeker, Fevzi Belli:
Grafiksel Kullanici Arayuzleri icin Duzenli Ifade Bazli Test Kapsama Kriterleri(Coverage Criteria For Testing Graphical User Interfaces Based On Regular Expressions). UYMS 2017: 332-343 - 2016
- [j26]Tugkan Tuglular, Fevzi Belli, Michael Linschulte:
Input Contract Testing of Graphical User Interfaces. Int. J. Softw. Eng. Knowl. Eng. 26(2): 183-216 (2016) - [j25]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong:
Model-based mutation testing - Approach and case studies. Sci. Comput. Program. 120: 25-48 (2016) - [c108]Fevzi Belli, Rajesh Subramanyan:
Message from the STA Workshop Organizers. COMPSAC Workshops 2016: 44 - [c107]Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA Workshop Organizers. COMPSAC Workshops 2016: 214-215 - [c106]Deniz Kavzak Ufuktepe, Tolga Ayav, Fevzi Belli:
Neden-Sonuc Cizgelerinden Test Girislerinin Olusturulmasi. UYMS 2016: 142-153 - [c105]Fevzi Belli, Michael Linschulte, Tugkan Tuglular:
Karar Tablosu Destekli Olay Sira Cizgeleri Temelli Sinama Durum Uretim Araci. UYMS 2016: 408-413 - 2015
- [j24]Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte:
Model-Based Contract Testing of Graphical User Interfaces. IEICE Trans. Inf. Syst. 98-D(7): 1297-1305 (2015) - [j23]Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão:
Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Softw. Qual. J. 23(3): 423-452 (2015) - [j22]Fevzi Belli, Mutlu Beyazit:
Exploiting Model Morphology for Event-Based Testing. IEEE Trans. Software Eng. 41(2): 113-134 (2015) - [c104]Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops 2015: 373-374 - [c103]Fevzi Belli, Rajesh Subramanyan:
Message from the STA 2015 Workshop Organizers. COMPSAC Workshops 2015: 416 - [c102]Tolga Ayav, Tugkan Tuglular, Fevzi Belli:
Model Based Testing of VHDL Programs. COMPSAC Workshops 2015: 427-432 - [c101]Tolga Ayav, Fevzi Belli:
Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique. QRS Companion 2015: 138-143 - 2014
- [j21]Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão:
A holistic approach to model-based testing of Web service compositions. Softw. Pract. Exp. 44(2): 201-234 (2014) - 2013
- [c100]Fevzi Belli:
An Industrial Standard to Assure Dependability in Software Reuse. ICSOFT 2013: 58-63 - [c99]Fevzi Belli:
Assuring Dependability of Software Reuse: An Industrial Standard. ICSOFT (Selected Papers) 2013: 72-83 - [c98]Fevzi Belli:
Dependability and Software Reuse - Coupling Them by an Industrial Standard. SERE (Companion) 2013: 145-154 - [c97]Fevzi Belli, Mutlu Beyazit:
Olay Tabanlı Sınama İçin Mutant Seçimi. UYMS 2013 - [c96]Fevzi Belli, Mutlu Beyazit:
Using Regular Grammars for Event-Based Testing. CIAA 2013: 48-59 - 2012
- [j20]Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke:
Modeling, Analysis, and Testing of System Vulnerabilities. Adv. Comput. 84: 39-92 (2012) - [j19]Fevzi Belli, Mutlu Beyazit, Nevin Güler:
Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study. Adv. Comput. 85: 277-326 (2012) - [j18]Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa:
Model-Based Mutation Testing Using Pushdown Automata. IEICE Trans. Inf. Syst. 95-D(9): 2211-2218 (2012) - [c95]Fevzi Belli:
Verlässlichkeit bei Wiederverwendung von IT-Komponenten - zum Stand der Normungsaktivitäten. ARCS Workshops 2012: 285-293 - [c94]Fevzi Belli, Mutlu Beyazit, Atif M. Memon:
Testing is an Event-Centric Activity. SERE (Companion) 2012: 198-206 - [e6]Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine:
36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1990-4 [contents] - [e5]Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine:
36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2714-5 [contents] - 2011
- [c93]Fevzi Belli, Nevin Güler, Michael Linschulte:
Layer-Centric Testing. ARCS Workshops 2011 - [c92]Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Nevin Güler:
Statistical Evaluation of Test Sets Using Mutation Analysis. COMPSAC Workshops 2011: 180-183 - [c91]Fevzi Belli, Nevin Güler, Michael Linschulte:
Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability. COMPSAC 2011: 630-639 - [c90]Fevzi Belli, Mutlu Beyazit:
Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison. COMPSAC 2011: 650-655 - [c89]Fevzi Belli, Mutlu Beyazit, Nevin Güler:
Event-Based GUI Testing and Reliability Assessment Techniques - An Experimental Insight and Preliminary Results. ICST Workshops 2011: 212-221 - [c88]Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa:
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST 2011: 249-258 - [c87]Fevzi Belli, André Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão:
Model-based testing of web service compositions. SOSE 2011: 181-192 - [p1]Fevzi Belli, Axel Hollmann, Sascha Padberg:
Model-Based Integration Testing with Communication Sequence Graphs. Model-Based Testing for Embedded Systems 2011 - 2010
- [j17]Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu:
Software Test Automation. Adv. Softw. Eng. 2010: 163746:1-163746:2 (2010) - [j16]Fevzi Belli, Michael Linschulte:
Event-driven modeling and testing of real-time web services. Serv. Oriented Comput. Appl. 4(1): 3-15 (2010) - [j15]Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Michael Linschulte, Sascha Padberg:
Ereignis-basierter Test grafischer Benutzeroberflächen - ein Erfahrungsbericht. Softwaretechnik-Trends 30(2) (2010) - [c86]Fevzi Belli, Michele Luglio, Cesare Roseti, Gianluca Savone, Francesco Zampognaro:
Performance evaluation of TCP Noordwijk over satellite systems for fixed and mobile services. CAMAD 2010: 86-90 - [c85]Fevzi Belli, Nida Gökçe:
Test Prioritization at Different Modeling Levels. FGIT-ASEA 2010: 130-140 - [c84]Fevzi Belli, Nevin Güler, Axel Hollmann, Gökhan Suna, Esra Yildiz:
Model-Based Higher-Order Mutation Analysis. FGIT-ASEA 2010: 164-173 - [c83]Fevzi Belli, Michele Luglio, Cesare Roseti:
Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments. Future Internet Assembly 2010: 139-148 - [c82]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter:
MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) 2010: 319-320 - [c81]Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber:
Fault Detection Likelihood of Test Sequence Length. ICST 2010: 402-411 - [c80]Tolga Ayav, Tugkan Tuglular, Fevzi Belli:
Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker. SSIRI (Companion) 2010: 46-53 - [c79]Fevzi Belli, Nevin Güler, Michael Linschulte:
Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis. SSIRI (Companion) 2010: 78-85 - [c78]Fevzi Belli, Mutlu Beyazit:
A Formal Framework for Mutation Testing. SSIRI 2010: 121-130 - [c77]Fevzi Belli, Axel Hollmann, W. Eric Wong:
Towards Scalable Robustness Testing. SSIRI 2010: 208-216
2000 – 2009
- 2009
- [j14]Hong Zhu, Fevzi Belli:
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. 51(11): 1485-1486 (2009) - [c76]Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte:
GUI-Based Testing of Boundary Overflow Vulnerability. COMPSAC (2) 2009: 539-544 - [c75]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter:
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 2009: 354-355 - [c74]Christof J. Budnik, Fevzi Belli, Axel Hollmann:
Structural Feature Extraction for GUI Test Enhancement. ICST Workshops 2009: 255-262 - [c73]Fevzi Belli, Michael Linschulte:
Testing Composite Web Services-An Event-Based Approach. ICST Workshops 2009: 307-310 - [c72]Fevzi Belli, Axel Hollmann, Zhenyu Chen:
Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. ICTA 2009: 65-74 - [c71]Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte:
Event-Based Input Validation Using Design-by-Contract Patterns. ISSRE 2009: 195-204 - [c70]Fevzi Belli, Mubariz Eminov, Nida Gökçe:
Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. KI 2009: 427-434 - [c69]Fevzi Belli, Axel Hollmann, Markus Kleinselbeck:
A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. SSIRI 2009: 193-200 - [c68]Fevzi Belli, Axel Hollmann, Sascha Padberg:
Communication Sequence Graphs for Mutation-Oriented Integration Testing. SSIRI 2009: 387-392 - [c67]Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli:
Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. SSIRI 2009: 393-398 - [c66]Fevzi Belli, Mutlu Beyazit:
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation. DCFS 2009: 69-77 - 2008
- [c65]Fevzi Belli, Cristina Cerschi Seceleanu:
Panel Description: 40 Years of Software Engineering. COMPSAC 2008: 7 - [c64]Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai:
Message from the IWSC 2008 Workshop Organizers. COMPSAC 2008: 813 - [c63]Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai:
IWSC 2008 Workshop Organization. COMPSAC 2008: 814-815 - [c62]Fevzi Belli, Michael Linschulte:
Event-Driven Modeling and Testing of Web Services. COMPSAC 2008: 1168-1173 - [c61]Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter:
MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) 2008: 173-174 - [c60]Hong Zhu, W. Eric Wong, Fevzi Belli:
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 2008: 1049-1050 - [c59]Fevzi Belli, Axel Hollmann:
Test generation and minimization with "basic" statecharts. SAC 2008: 718-723 - [c58]Fevzi Belli, Christof J. Budnik, Andreas Spillner:
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2008: 298-299 - [c57]Fevzi Belli, Christof J. Budnik, Andreas Spillner:
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering (Workshops) 2008: 353-354 - [e4]Hong Zhu, W. Eric Wong, Fevzi Belli:
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. ACM 2008, ISBN 978-1-60558-030-2 [contents] - 2007
- [j13]Fevzi Belli, Christof J. Budnik:
Test minimization for human-computer interaction. Appl. Intell. 26(2): 161-174 (2007) - [c56]Fevzi Belli, Mubariz Eminov, Nida Gökçe:
Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. COMPSAC (2) 2007: 197-203 - [c55]Fevzi Belli, Mubariz Eminov, Nida Gökçe:
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. LADC 2007: 95-110 - [c54]Fevzi Belli, Axel Hollmann, Nimal Nissanke:
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. SAFECOMP 2007: 276-282 - [c53]Sami Beydeda, Fevzi Belli:
Einführung. Software Engineering (Workshops) 2007: 19-20 - [c52]Fevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann:
"Negativ"-Tests interaktiver Systeme und ihre Automatisierung. Software Engineering (Workshops) 2007: 35-44 - [c51]Fevzi Belli, Axel Hollmann:
Holistic testing with basic statecharts. Software Engineering (Workshops) 2007: 91-100 - [c50]Sami Beydeda, Fevzi Belli:
WG1: Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2007: 273-274 - 2006
- [j12]Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur:
Introduction to the special section on software cybernetics. J. Syst. Softw. 79(11): 1483-1485 (2006) - [j11]Fevzi Belli, Christof J. Budnik, Lee White:
Event-based modelling, analysis and testing of user interactions: approach and case study. Softw. Test. Verification Reliab. 16(1): 3-32 (2006) - [c49]Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker:
Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. GI Jahrestagung (2) 2006: 266-273 - [c48]Nida Gökçe, Mubariz Eminov, Fevzi Belli:
Coverage-Based, Prioritized Testing Using Neural Network Clustering. ISCIS 2006: 1060-1071 - [c47]Fevzi Belli, Christof J. Budnik, Axel Hollmann:
Holistic Testing of Interactive Systems Using Statecharts. Sicherheit 2006: 345-356 - 2005
- [c46]Fevzi Belli, Christof J. Budnik:
Towards Self-Testing of Component-Based Software. COMPSAC (2) 2005: 205-210 - [c45]Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin:
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE 2005: 121-130 - [c44]Fevzi Belli, Christof J. Budnik:
Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE 2005: 300-309 - [c43]Fevzi Belli, Baris Güldali:
A Holistic Approach to Test-Driven Model Checking. IEA/AIE 2005: 321-331 - [c42]Fevzi Belli, Christof J. Budnik:
Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering 2005: 79-90 - [c41]Fevzi Belli, Christof J. Budnik:
Test Cost Reduction for Interactive Systems. Sicherheit 2005: 149-160 - 2004
- [c40]Fevzi Belli, Christof J. Budnik, Nimal Nissanke:
Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops 2004: 19-33 - [c39]Fevzi Belli, Christof J. Budnik:
Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops 2004: 18-19 - [c38]Fevzi Belli, Christof J. Budnik:
Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC 2004: 220-234 - [c37]Fevzi Belli, Baris Güldali:
Software Testing via Model Checking. ISCIS 2004: 907-916 - 2001
- [c36]Fevzi Belli:
Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. EUROMICRO 2001: 4 - [c35]Fevzi Belli:
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. IEA/AIE 2001: 919-920 - [c34]Fevzi Belli:
Finite-State Testing and Analysis of Graphical User Interfaces. ISSRE 2001: 34-43 - 2000
- [c33]Fevzi Belli, Thomas Illgen:
Logic Representation of Programs to Detect Arithmetic Anomalies. EUROMICRO 2000: 2216-
1990 – 1999
- 1999
- [c32]Fevzi Belli:
Software Reliability Engineering - Risk Management for the New Millenium. EDCC 1999: 63-66 - 1998
- [j10]Fevzi Belli, Matthias Grochtmann, Oliver Jack:
Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. Inform. Spektrum 21(3): 131-140 (1998) - [j9]Fevzi Belli:
Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Inform. Spektrum 21(6): 337-346 (1998) - [j8]Fevzi Belli, Oliver Jack:
Declarative Paradigm of Test Coverage. Softw. Test. Verification Reliab. 8(1): 15-47 (1998) - 1997
- [c31]Fevzi Belli, Javier Dreyer:
Program segmentation for controlling test coverage. ISSRE 1997: 72-83 - [c30]Fevzi Belli, Radu Crisan:
Empirical performance analysis of computer-supported code-reviews. ISSRE 1997: 245-255 - 1996
- [c29]Fevzi Belli, Radu Crisan:
Towards automation of checklist-based code-reviews. ISSRE 1996: 24-33 - 1995
- [c28]Fevzi Belli, Javier Dreyer:
Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming. ISSRE 1995: 68-77 - [c27]Fevzi Belli, Oliver Jack:
A test coverage notion for logic programming. ISSRE 1995: 133-142 - 1994
- [j7]Alireza Azem, Fevzi Belli:
Determining the Reliability of Prolog Programs. Softw. Test. Verification Reliab. 4(4): 203-222 (1994) - [c26]Fevzi Belli, Oliver Jack:
An Environment for Self-Testing of Logic Programs. IEA/AIE 1994: 29-36 - [c25]Alireza Azem, Fevzi Belli:
Reliability Prediction of Prolog Programs. IEA/AIE 1994: 103-112 - [c24]Fevzi Belli, Alfried Pollmann, Radu Crisan:
Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. IEA/AIE 1994: 293-303 - [c23]Fevzi Belli, Javier Dreyer:
Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. IEA/AIE 1994: 465-474 - [c22]Alireza Azem, Fevzi Belli:
Reliability determination of Prolog programs. SEKE 1994: 422-429 - [c21]Fevzi Belli, Oliver Jack:
A test environment for Prolog. SEKE 1994: 430-437 - 1993
- [c20]Fevzi Belli:
Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems. Systems Engineering in Public Administration 1993: 125-144 - [c19]Alireza Azem, Fevzi Belli, Oliver Jack, Piotr Jedrzejowicz:
Testing and reliability of logic programs. ISSRE 1993: 318-327 - [c18]Fevzi Belli, Oliver Jack:
Implementation-Based Analysis and Testing of Prolog Programs. ISSTA 1993: 70-80 - [c17]Fevzi Belli, Oliver Jack:
A Product Assurance Environment for Prolog. LPE 1993: 94-99 - [c16]Alireza Azem, Fevzi Belli:
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. LPE 1993: 100-105 - [c15]Alireza Azem, Fevzi Belli, Oliver Jack:
Implementation-Oriented Testing and Reliability Determination of Prolog Programs. SEKE 1993: 526-533 - 1992
- [c14]Fevzi Belli, Alfred Schmidt:
Systematische Dokumentation logischer Programme. Informatik zwischen Wissenschaft und Gesellschaft 1992: 32-46 - [e3]Fevzi Belli, Franz Josef Radermacher:
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings. Lecture Notes in Computer Science 604, Springer 1992, ISBN 3-540-55601-X [contents] - 1991
- [j6]Fevzi Belli, Piotr Jedrzejowicz:
An Approach to the Reliability Optimization of Software with Redundancy. IEEE Trans. Software Eng. 17(3): 310-312 (1991) - [j5]Fevzi Belli, Karl-Erwin Großpietsch:
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. IEEE Trans. Software Eng. 17(6): 513-526 (1991) - [c13]Fevzi Belli, Piotr Jedrzejowicz:
Comparative analysis of concurrent fault tolerance techniques for real-time applications. ISSRE 1991: 202-209 - 1990
- [c12]Fevzi Belli, Hinrich E. G. Bonin:
An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX. IEA/AIE (Vol. 1) 1990: 489-499 - [c11]Fevzi Belli, Ismael Camara, Alfred Schmidt:
A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. IEA/AIE (Vol. 2) 1990: 726-734 - [c10]Alfred Schmidt, Fevzi Belli:
An Extension of PROLOG for Object-Oriented Programming in Logic. IEA/AIE (Vol. 2) 1990: 1153-1161
1980 – 1989
- 1989
- [c9]Fevzi Belli, M. Klug, Werner van Treeck:
ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung. GI Jahrestagung (2) 1989: 245-259 - [c8]Fevzi Belli, Hinrich E. G. Bonin, H. Gerdes, W. Filipowicz, Piotr Jedrzejowicz:
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) 1989: 680-689 - [c7]Fevzi Belli, Hinrich E. G. Bonin:
Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung. Informatik im Umweltschutz 1989: 278-287 - 1988
- [j4]Fevzi Belli, Piotr Jedrzejowicz:
Towards Reliability Optimization of Fault-tolerant Software. J. Inf. Process. Cybern. 24(9): 431-442 (1988) - [j3]Fevzi Belli, Piotr Jedrzejowicz:
Fault-Tolerant Programs. Angew. Inform. 30(12): 533-538 (1988) - [c6]Fevzi Belli, Hinrich E. G. Bonin, W. Filipowicz, Piotr Jedrzejowicz:
FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz. GI Jahrestagung (1) 1988: 351-365 - 1987
- [b1]Fevzi Belli:
Fehlertolerierende Rechensysteme, 3th Edition. Informatik-Fachberichte 147, 1987, ISBN 0387182942, pp. I-XI, 1-388 - [j2]Fevzi Belli, Piotr Jedrzejowicz:
Ein Ansatz zur Zuverlässigkeits-Optimierung fehlertoleranter Software / Towards reliability optimization of fault-tolerant software. it Inf. Technol. 29(2): 61-68 (1987) - [e2]Fevzi Belli, Winfried Görke:
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, Deutschland, 9.-11. September 1987, Proceedings. Informatik-Fachberichte 147, Springer 1987, ISBN 3-540-18294-2 [contents] - 1986
- [j1]Fevzi Belli, Klaus Echtle, Winfried Görke:
Methoden und Modelle der Fehlertoleranz. Inform. Spektrum 9(2): 68-81 (1986) - 1984
- [c5]M. A. J. Burford, Fevzi Belli:
CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. Fehlertolerierende Rechensysteme 1984: 101-126 - [c4]B. Eggers, Fevzi Belli:
Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. Fehlertolerierende Rechensysteme 1984: 138-149 - [c3]Fevzi Belli:
Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 253-267 - [e1]Fevzi Belli, Silvia Pfleger, Manfred H. Seifert:
Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte 83, Springer 1984, ISBN 3-540-13383-6 [contents] - 1982
- [c2]Fevzi Belli:
Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. Fehlertolerierende Rechensysteme 1982: 175-188 - 1980
- [c1]Fevzi Belli:
Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. Software Engineering 1980: 354-355
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
