Fevzi Belli

	2012
101		Fevzi Belli: Verlässlichkeit bei Wiederverwendung von IT-Komponenten - zum Stand der Normungsaktivitäten. ARCS Workshops 2012: 285-293
100		Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke: Modeling, Analysis, and Testing of System Vulnerabilities. Advances in Computers 84: 39-92 (2012)
99		Fevzi Belli, Mutlu Beyazit, Nevin Güler: Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study. Advances in Computers 85: 277-326 (2012)
	2011
98		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
97		Fevzi Belli, Mutlu Beyazit: Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison. COMPSAC 2011: 650-655
96		Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Nevin Güler: Statistical Evaluation of Test Sets Using Mutation Analysis. COMPSAC Workshops 2011: 180-183
95		Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa: Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST 2011: 249-258
94		Fevzi Belli, Andre Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão: Model-based testing of web service compositions. SOSE 2011: 181-192
	2010
93		Fevzi Belli, Nida Gökçe: Test Prioritization at Different Modeling Levels. FGIT-ASEA 2010: 130-140
92		Fevzi Belli, Nevin Güler, Axel Hollmann, Gökhan Suna, Esra Yildiz: Model-Based Higher-Order Mutation Analysis. FGIT-ASEA 2010: 164-173
91		Fevzi Belli, Michele Luglio, Cesare Roseti: Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments. Future Internet Assembly 2010: 139-148
90		Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter: MOTES2010 - Modellbasiertes Testen (Vorwort). GI Jahrestagung (2) 2010: 319-320
89		Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber: Fault Detection Likelihood of Test Sequence Length. ICST 2010: 402-411
88		Fevzi Belli, Mutlu Beyazit: A Formal Framework for Mutation Testing. SSIRI 2010: 121-130
87		Fevzi Belli, Axel Hollmann, W. Eric Wong: Towards Scalable Robustness Testing. SSIRI 2010: 208-216
86		Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu: Software Test Automation. Adv. Software Engineering 2010: (2010)
85		Fevzi Belli, Michael Linschulte: Event-driven modeling and testing of real-time web services. Service Oriented Computing and Applications 4(1): 3-15 (2010)
	2009
84		Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte: GUI-Based Testing of Boundary Overflow Vulnerability. COMPSAC (2) 2009: 539-544
83		Fevzi Belli, Mutlu Beyazit: Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation DCFS 2009: 69-77
82		Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 354-355
81		Fevzi Belli, Axel Hollmann, Zhenyu Chen: Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. ICTA 2009: 65-74
80		Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte: Event-Based Input Validation Using Design-by-Contract Patterns. ISSRE 2009: 195-204
79		Fevzi Belli, Mubariz Eminov, Nida Gökçe: Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. KI 2009: 427-434
78		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
77		Fevzi Belli, Axel Hollmann, Sascha Padberg: Communication Sequence Graphs for Mutation-Oriented Integration Testing. SSIRI 2009: 387-392
76		Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli: Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. SSIRI 2009: 393-398
75		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). Information & Software Technology 51(11): 1485-1486 (2009)
	2008
74		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
73		Fevzi Belli, Michael Linschulte: Event-Driven Modeling and Testing of Web Services. COMPSAC 2008: 1168-1173
72		Fevzi Belli, Cristina Cerschi Seceleanu: Panel Description: 40 Years of Software Engineering. COMPSAC 2008: 7
71		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
70		Stephen 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
68		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
67		Fevzi 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
64		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
63		Fevzi Belli, Mubariz Eminov, Nida Gökçe: Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. LADC 2007: 95-110
62		Fevzi 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
57		Fevzi 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
55		Nida 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
53		Fevzi 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)
52		Fevzi 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
51		Fevzi Belli, Christof J. Budnik: Towards Self-Testing of Component-Based Software. COMPSAC (2) 2005: 205-210
50		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
49		Fevzi Belli, Christof J. Budnik: Towards Minimization of Test Sets for Human-Computer Systems. IEA/AIE 2005: 300-309
48		Fevzi 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
44		Fevzi Belli, Christof J. Budnik: Towards Optimization of the Coverage Testing of Interactive Systems. COMPSAC Workshops 2004: 18-19
43		Fevzi Belli, Christof J. Budnik: Minimal Spanning Set for Coverage Testing of Interactive Systems. ICTAC 2004: 220-234
42		Fevzi Belli, Baris Güldali: Software Testing via Model Checking. ISCIS 2004: 907-916
	2001
41		Fevzi Belli: Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. EUROMICRO 2001: 4-
40		Fevzi Belli: Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. IEA/AIE 2001: 919-920
39		Fevzi Belli: Finite-State Testing and Analysis of Graphical User Interfaces. ISSRE 2001: 34-43
	2000
38		Fevzi Belli, Thomas Illgen: Logic Representation of Programs to Detect Arithmetic Anomalies. EUROMICRO 2000: 2216-
	1999
37		Fevzi Belli: Software Reliability Engineering - Risk Management for the New Millenium. EDCC 1999: 63-66
	1998
36		Fevzi Belli, Matthias Grochtmann, Oliver Jack: Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. Informatik Spektrum 21(3): 131-140 (1998)
35		Fevzi 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
33		Alireza Azem, Fevzi Belli: Reliability Prediction of Prolog Programs. IEA/AIE 1994: 103-112
32		Fevzi Belli, Oliver Jack: An Environment for Self-Testing of Logic Programs. IEA/AIE 1994: 29-36
31		Fevzi Belli, Alfried Pollmann, Radu Crisan: Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. IEA/AIE 1994: 293-303
30		Fevzi 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
26		Fevzi 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
19		Fevzi Belli, Piotr Jedrzejowicz: An Approach to the Reliability Optimization of Software with Redundancy. IEEE Trans. Software Eng. 17(3): 310-312 (1991)
18		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)
	1990
17		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
16		Alfred Schmidt, Fevzi Belli: An Extension of PROLOG for Object-Oriented Programming in Logic. IEA/AIE (Vol. 2) 1990: 1153-1161
15		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
	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
13		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
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

1	Alireza Azem	[23] [25] [27] [29] [33]
2	Mutlu Beyazit	[83] [88] [95] [96] [97] [99] [100]
3	Sami Beydeda	[50] [60] [61]
4	Hinrich E. G. Bonin	[11] [12] [13] [17]
5	Christof J. Budnik	[43] [44] [45] [46] [47] [49] [51] [52] [54] [56] [57] [65] [66] [69] [82] [89] [90]
6	M. A. J. Burford	[5]
7	Kai-Yuan Cai	[53] [70] [71]
8	Ismael Camara	[15]
9	João W. Cangussu	[70] [71]
10	Zhenyu Chen	[81]
11	Mario Dal Cin	[50]
12	Radu Crisan	[31]
13	Raymond A. DeCarlo	[53]
14	Javier Dreyer	[30]
15	Klaus Echtle	[7]
16	B. Eggers	[4]
17	Mubariz Eminov	[55] [63] [64] [79]
18	Andre Takeshi Endo	[94]
19	W. Filipowicz	[11] [13]
20	Zengo Furukawa	[95]
21	Jerry Zeyu Gao (Jerry Z. Gao, Jerry Gao)	[86]
22	H. Gerdes	[13]
23	Nida Gökçe	[55] [63] [64] [79] [93]
24	Winfried Görke	[7] [8]
25	Stefan Gossens	[50]
26	Matthias Grochtmann	[36]
27	Karl-Erwin Großpietsch (Karl-Erwin Grosspietsch)	[18]
28	Baris Güldali	[42] [48]
29	Nevin Güler	[92] [96] [98] [99]
30	Günter Hofmann	[59]
31	Axel Hollmann	[54] [58] [62] [67] [69] [77] [78] [81] [82] [87] [90] [92] [96]
32	Thomas Illgen	[38]
33	Oliver Jack	[23] [24] [26] [28] [32] [34] [36]
34	Piotr Jedrzejowicz	[9] [10] [11] [13] [19]
35	Greg Kapfhammer	[86]
36	Özgür Kaya	[76] [84]
37	Markus Kleinselbeck	[78]
38	M. Klug	[14]
39	Phillip A. Laplante	[86]
40	Michael Linschulte	[56] [59] [73] [80] [84] [85] [89] [94] [98]
41	Michele Luglio	[91]
42	Aditya P. Mathur	[53] [70] [71] [100]
43	Keith W. Miller	[86]
44	Can Arda Muftuoglu	[76] [80] [84]
45	Nimal Nissanke	[45] [62] [100]
46	Sascha Padberg	[77]
47	Silvia Pfleger	[6]
48	Alfried Pollmann	[31]
49	Franz Josef Radermacher	[21]
50	Cesare Roseti	[91]
51	Francesca Saglietti	[82] [90]
52	Ina Schieferdecker	[56]
53	Alfred Schmidt	[15] [16] [20]
54	Cristina Cerschi Seceleanu	[72]
55	Manfred H. Seifert	[6]
56	Adenilso da Silva Simão	[94]
57	Andreas Spillner	[65] [66]
58	Harald A. Stieber	[89]
59	Gökhan Suna	[92]
60	Tomohiko Takagi	[95]
61	Werner van Treeck	[14]
62	Tugkan Tuglular	[76] [80] [84]
63	Lee White	[52]
64	Mario Winter	[69] [82] [90]
65	W. Eric Wong	[68] [74] [86] [87]
66	Dianxiang Xu	[86]
67	Stephen S. Yau	[70] [71]
68	Esra Yildiz	[92]
69	Hong Zhu	[68] [74] [75]
70	Ralf Zirnsak	[59]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page