 | 2009 |
|---|
| 75 |       | Fevzi Belli,
Mubariz Eminov,
Nida Gökçe:
Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies.
KI 2009: 427-434 |
| 74 | | Fevzi Belli,
Mutlu Beyazit:
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation
CoRR abs/0907.5055: (2009) |
| 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 |
