2008 |
73 | EE | Fevzi Belli,
Michael Linschulte:
Event-Driven Modeling and Testing of Web Services.
COMPSAC 2008: 1168-1173 |
72 | EE | Fevzi Belli,
Cristina Cerschi Seceleanu:
Panel Description: 40 Years of Software Engineering.
COMPSAC 2008: 7 |
71 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Fevzi Belli,
Mubariz Eminov,
Nida Gökçe:
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study.
LADC 2007: 95-110 |
62 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Fevzi Belli,
Christof J. Budnik:
Towards Self-Testing of Component-Based Software.
COMPSAC (2) 2005: 205-210 |
50 | EE | 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 | EE | Fevzi Belli,
Christof J. Budnik:
Towards Minimization of Test Sets for Human-Computer Systems.
IEA/AIE 2005: 300-309 |
48 | EE | 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 | EE | Fevzi Belli,
Christof J. Budnik:
Towards Optimization of the Coverage Testing of Interactive Systems.
COMPSAC Workshops 2004: 18-19 |
43 | EE | Fevzi Belli,
Christof J. Budnik:
Minimal Spanning Set for Coverage Testing of Interactive Systems.
ICTAC 2004: 220-234 |
42 | EE | Fevzi Belli,
Baris Güldali:
Software Testing via Model Checking.
ISCIS 2004: 907-916 |
2001 |
41 | EE | Fevzi Belli:
Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement.
EUROMICRO 2001: 4- |
40 | EE | Fevzi Belli:
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces.
IEA/AIE 2001: 919-920 |
39 | EE | Fevzi Belli:
Finite-State Testing and Analysis of Graphical User Interfaces.
ISSRE 2001: 34-43 |
2000 |
38 | EE | Fevzi Belli,
Thomas Illgen:
Logic Representation of Programs to Detect Arithmetic Anomalies.
EUROMICRO 2000: 2216- |
1999 |
37 | EE | Fevzi Belli:
Software Reliability Engineering - Risk Management for the New Millenium.
EDCC 1999: 63-66 |
1998 |
36 | EE | Fevzi Belli,
Matthias Grochtmann,
Oliver Jack:
Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.
Informatik Spektrum 21(3): 131-140 (1998) |
35 | EE | 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 | EE | Alireza Azem,
Fevzi Belli:
Reliability Prediction of Prolog Programs.
IEA/AIE 1994: 103-112 |
32 | EE | Fevzi Belli,
Oliver Jack:
An Environment for Self-Testing of Logic Programs.
IEA/AIE 1994: 29-36 |
31 | EE | Fevzi Belli,
Alfried Pollmann,
Radu Crisan:
Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment.
IEA/AIE 1994: 293-303 |
30 | EE | 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 | EE | 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 | EE | Fevzi Belli,
Piotr Jedrzejowicz:
An Approach to the Reliability Optimization of Software with Redundancy.
IEEE Trans. Software Eng. 17(3): 310-312 (1991) |
18 | EE | 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 | EE | 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 | EE | Alfred Schmidt,
Fevzi Belli:
An Extension of PROLOG for Object-Oriented Programming in Logic.
IEA/AIE (Vol. 2) 1990: 1153-1161 |
15 | EE | 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 | EE | 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 |