dblp.uni-trier.dewww.uni-trier.de

Fevzi Belli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
75EEFevzi Belli, Mubariz Eminov, Nida Gökçe: Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. KI 2009: 427-434
74EEFevzi Belli, Mutlu Beyazit: Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation CoRR abs/0907.5055: (2009)
2008
73EEFevzi Belli, Michael Linschulte: Event-Driven Modeling and Testing of Web Services. COMPSAC 2008: 1168-1173
72EEFevzi Belli, Cristina Cerschi Seceleanu: Panel Description: 40 Years of Software Engineering. COMPSAC 2008: 7
71EEStephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai: Message from the IWSC 2008 Workshop Organizers. COMPSAC 2008: 813
70EEStephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai: IWSC 2008 Workshop Organization. COMPSAC 2008: 814-815
69 Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter: MOTES08 - Modellbasiertes Testen. GI Jahrestagung (1) 2008: 173-174
68EEHong 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
67EEFevzi Belli, Axel Hollmann: Test generation and minimization with "basic" statecharts. SAC 2008: 718-723
66 Fevzi Belli, Christof J. Budnik, Andreas Spillner: 2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2008: 298-299
65 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
2007
64EEFevzi 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
63EEFevzi Belli, Mubariz Eminov, Nida Gökçe: Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. LADC 2007: 95-110
62EEFevzi Belli, Axel Hollmann, Nimal Nissanke: Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. SAFECOMP 2007: 276-282
61 Sami Beydeda, Fevzi Belli: WG1: Testmethoden für Software - Von der Forschung in die Praxis. Software Engineering 2007: 273-274
60 Sami Beydeda, Fevzi Belli: Einführung. Software Engineering (Workshops) 2007: 19-20
59 Fevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann: "Negativ"-Tests interaktiver Systeme und ihre Automatisierung. Software Engineering (Workshops) 2007: 35-44
58 Fevzi Belli, Axel Hollmann: Holistic testing with basic statecharts. Software Engineering (Workshops) 2007: 91-100
57EEFevzi Belli, Christof J. Budnik: Test minimization for human-computer interaction. Appl. Intell. 26(2): 161-174 (2007)
2006
56 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
55EENida Gökçe, Mubariz Eminov, Fevzi Belli: Coverage-Based, Prioritized Testing Using Neural Network Clustering. ISCIS 2006: 1060-1071
54 Fevzi Belli, Christof J. Budnik, Axel Hollmann: Holistic Testing of Interactive Systems Using Statecharts. Sicherheit 2006: 345-356
53EEFevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur: Introduction to the special section on software cybernetics. Journal of Systems and Software 79(11): 1483-1485 (2006)
52EEFevzi Belli, Christof J. Budnik, Lee White: Event-based modelling, analysis and testing of user interactions: approach and case study. Softw. Test., Verif. Reliab. 16(1): 3-32 (2006)
2005
51EEFevzi Belli, Christof J. Budnik: Towards Self-Testing of Component-Based Software. COMPSAC (2) 2005: 205-210
50EEStefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin: View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. HASE 2005: 121-130
49EEFevzi Belli, Christof J. Budnik: Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE 2005: 300-309
48EEFevzi Belli, Baris Güldali: A Holistic Approach to Test-Driven Model Checking. IEA/AIE 2005: 321-331
47 Fevzi Belli, Christof J. Budnik: Test Cost Reduction for Interactive Systems. Sicherheit 2005: 149-160
46 Fevzi Belli, Christof J. Budnik: Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. Software Engineering 2005: 79-90
2004
45 Fevzi Belli, Christof J. Budnik, Nimal Nissanke: Finite-State Modeling, Analysis and Testing of System Vulnerabilities. ARCS Workshops 2004: 19-33
44EEFevzi Belli, Christof J. Budnik: Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops 2004: 18-19
43EEFevzi Belli, Christof J. Budnik: Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC 2004: 220-234
42EEFevzi Belli, Baris Güldali: Software Testing via Model Checking. ISCIS 2004: 907-916
2001
41EEFevzi Belli: Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. EUROMICRO 2001: 4-
40EEFevzi Belli: Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. IEA/AIE 2001: 919-920
39EEFevzi Belli: Finite-State Testing and Analysis of Graphical User Interfaces. ISSRE 2001: 34-43
2000
38EEFevzi Belli, Thomas Illgen: Logic Representation of Programs to Detect Arithmetic Anomalies. EUROMICRO 2000: 2216-
1999
37EEFevzi Belli: Software Reliability Engineering - Risk Management for the New Millenium. EDCC 1999: 63-66
1998
36EEFevzi Belli, Matthias Grochtmann, Oliver Jack: Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. Informatik Spektrum 21(3): 131-140 (1998)
35EEFevzi Belli: Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Informatik Spektrum 21(6): 337-346 (1998)
34 Fevzi Belli, Oliver Jack: Declarative Paradigm of Test Coverage. Softw. Test., Verif. Reliab. 8(1): 15-47 (1998)
1994
33EEAlireza Azem, Fevzi Belli: Reliability Prediction of Prolog Programs. IEA/AIE 1994: 103-112
32EEFevzi Belli, Oliver Jack: An Environment for Self-Testing of Logic Programs. IEA/AIE 1994: 29-36
31EEFevzi Belli, Alfried Pollmann, Radu Crisan: Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. IEA/AIE 1994: 293-303
30EEFevzi Belli, Javier Dreyer: Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. IEA/AIE 1994: 465-474
29 Alireza Azem, Fevzi Belli: Reliability determination of Prolog programs. SEKE 1994: 422-429
28 Fevzi Belli, Oliver Jack: A test environment for Prolog. SEKE 1994: 430-437
27 Alireza Azem, Fevzi Belli: Determining the Reliability of Prolog Programs. Softw. Test., Verif. Reliab. 4(4): 203-222 (1994)
1993
26EEFevzi Belli, Oliver Jack: Implementation-Based Analysis and Testing of Prolog Programs. ISSTA 1993: 70-80
25 Alireza Azem, Fevzi Belli: Reliability Prediction and Reliability Assessment Environment or Prolog Programs. LPE 1993: 100-105
24 Fevzi Belli, Oliver Jack: A Product Assurance Environment for Prolog. LPE 1993: 94-99
23 Alireza Azem, Fevzi Belli, Oliver Jack: Implementation-Oriented Testing and Reliability Determination of Prolog Programs. SEKE 1993: 526-533
22 Fevzi Belli: Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems. Systems Engineering in Public Administration 1993: 125-144
1992
21 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 Springer 1992
20 Fevzi Belli, Alfred Schmidt: Systematische Dokumentation logischer Programme. Informatik zwischen Wissenschaft und Gesellschaft 1992: 32-46
1991
19EEFevzi Belli, Piotr Jedrzejowicz: An Approach to the Reliability Optimization of Software with Redundancy. IEEE Trans. Software Eng. 17(3): 310-312 (1991)
18EEFevzi 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)
1990
17EEFevzi 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
16EEAlfred Schmidt, Fevzi Belli: An Extension of PROLOG for Object-Oriented Programming in Logic. IEA/AIE (Vol. 2) 1990: 1153-1161
15EEFevzi Belli, Ismael Camara, Alfred Schmidt: A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. IEA/AIE (Vol. 2) 1990: 726-734
1989
14 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
13EEFevzi 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
12 Fevzi Belli, Hinrich E. G. Bonin: Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung. Informatik im Umweltschutz 1989: 278-287
1988
11 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
10 Fevzi Belli, Piotr Jedrzejowicz: Fault-Tolerant Programs. Angewandte Informatik 30(12): 533-538 (1988)
9 Fevzi Belli, Piotr Jedrzejowicz: Towards Reliability Optimization of Fault-tolerant Software. Elektronische Informationsverarbeitung und Kybernetik 24(9): 431-442 (1988)
1987
8 Fevzi Belli, Winfried Görke: Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings Springer 1987
1986
7 Fevzi Belli, Klaus Echtle, Winfried Görke: Methoden und Modelle der Fehlertoleranz. Informatik Spektrum 9(2): 68-81 (1986)
1984
6 Fevzi Belli, Silvia Pfleger, Manfred H. Seifert: Software-Fehlertoleranz und -Zuverlässigkeit Springer 1984
5 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
4 B. Eggers, Fevzi Belli: Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. Fehlertolerierende Rechensysteme 1984: 138-149
3 Fevzi Belli: Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. Software-Fehlertoleranz und -Zuverlässigkeit 1984: 253-267
1982
2 Fevzi Belli: Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. Fehlertolerierende Rechensysteme 1982: 175-188
1980
1 Fevzi Belli: Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. Software Engineering 1980: 354-355

Coauthor Index

1Alireza Azem [23] [25] [27] [29] [33]
2Mutlu Beyazit [74]
3Sami Beydeda [50] [60] [61]
4Hinrich E. G. Bonin [11] [12] [13] [17]
5Christof J. Budnik [43] [44] [45] [46] [47] [49] [51] [52] [54] [56] [57] [65] [66] [69]
6M. A. J. Burford [5]
7Kai-Yuan Cai [53] [70] [71]
8Ismael Camara [15]
9João W. Cangussu [70] [71]
10Mario Dal Cin [50]
11Radu Crisan [31]
12Raymond A. DeCarlo [53]
13Javier Dreyer [30]
14Klaus Echtle [7]
15B. Eggers [4]
16Mubariz Eminov [55] [63] [64] [75]
17W. Filipowicz [11] [13]
18H. Gerdes [13]
19Nida Gökçe [55] [63] [64] [75]
20Winfried Görke [7] [8]
21Stefan Gossens [50]
22Matthias Grochtmann [36]
23Karl-Erwin Großpietsch [18]
24Baris Güldali [42] [48]
25Günter Hofmann [59]
26Axel Hollmann [54] [58] [62] [67] [69]
27Thomas Illgen [38]
28Oliver Jack [23] [24] [26] [28] [32] [34] [36]
29Piotr Jedrzejowicz [9] [10] [11] [13] [19]
30M. Klug [14]
31Michael Linschulte [56] [59] [73]
32Aditya P. Mathur [53] [70] [71]
33Nimal Nissanke [45] [62]
34Silvia Pfleger [6]
35Alfried Pollmann [31]
36Franz Josef Radermacher [21]
37Ina Schieferdecker [56]
38Alfred Schmidt [15] [16] [20]
39Cristina Cerschi Seceleanu [72]
40Manfred H. Seifert [6]
41Andreas Spillner [65] [66]
42Werner van Treeck [14]
43Lee White [52]
44Mario Winter [69]
45W. Eric Wong [68]
46Stephen S. Yau [70] [71]
47Hong Zhu [68]
48Ralf Zirnsak [59]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)