The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fevzi Belli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fevzi Belli, Christof J. Budnik, Nimal Nissanke
    Finite-State Modeling, Analysis and Testing of System Vulnerabilities. [Citation Graph (0, 0)][DBLP]
    ARCS Workshops, 2004, pp:19-33 [Conf]
  2. Fevzi Belli, Alfred Schmidt
    Systematische Dokumentation logischer Programme. [Citation Graph (0, 0)][DBLP]
    Informatik zwischen Wissenschaft und Gesellschaft, 1992, pp:32-46 [Conf]
  3. Fevzi Belli, Christof J. Budnik
    Towards Self-Testing of Component-Based Software. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2005, pp:205-210 [Conf]
  4. Fevzi Belli, Christof J. Budnik
    Towards Optimization of the Coverage Testing of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC Workshops, 2004, pp:18-19 [Conf]
  5. Fevzi Belli
    Software Reliability Engineering - Risk Management for the New Millenium. [Citation Graph (0, 0)][DBLP]
    EDCC, 1999, pp:63-66 [Conf]
  6. Fevzi Belli
    Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2001, pp:4-0 [Conf]
  7. Fevzi Belli, Thomas Illgen
    Logic Representation of Programs to Detect Arithmetic Anomalies. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:2216-0 [Conf]
  8. Fevzi Belli, Hinrich E. G. Bonin, W. Filipowicz, Piotr Jedrzejowicz
    FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 1988, pp:351-365 [Conf]
  9. Fevzi Belli, M. Klug, Werner van Treeck
    ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 1989, pp:245-259 [Conf]
  10. Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker
    Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2006, pp:266-273 [Conf]
  11. Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin
    View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. [Citation Graph (0, 0)][DBLP]
    HASE, 2005, pp:121-130 [Conf]
  12. Fevzi Belli
    Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1982, pp:175-188 [Conf]
  13. Fevzi Belli
    Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. [Citation Graph (0, 0)][DBLP]
    Software-Fehlertoleranz und -Zuverlässigkeit, 1984, pp:253-267 [Conf]
  14. M. A. J. Burford, Fevzi Belli
    CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1984, pp:101-126 [Conf]
  15. B. Eggers, Fevzi Belli
    Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1984, pp:138-149 [Conf]
  16. Fevzi Belli, Christof J. Budnik
    Minimal Spanning Set for Coverage Testing of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:220-234 [Conf]
  17. Fevzi Belli, Oliver Jack
    An Environment for Self-Testing of Logic Programs. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1994, pp:29-36 [Conf]
  18. Alireza Azem, Fevzi Belli
    Reliability Prediction of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1994, pp:103-112 [Conf]
  19. Fevzi Belli, Alfried Pollmann, Radu Crisan
    Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1994, pp:293-303 [Conf]
  20. Fevzi Belli
    Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2001, pp:919-920 [Conf]
  21. Fevzi Belli, Christof J. Budnik
    Towards Minimization of Test Sets for Human-Computer Systems. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2005, pp:300-309 [Conf]
  22. Fevzi Belli, Hinrich E. G. Bonin
    An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 1), 1990, pp:489-499 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (2), 1989, pp:680-689 [Conf]
  24. Fevzi Belli, Ismael Camara, Alfred Schmidt
    A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1990, pp:726-734 [Conf]
  25. Fevzi Belli, Javier Dreyer
    Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1994, pp:465-474 [Conf]
  26. Fevzi Belli, Baris Güldali
    A Holistic Approach to Test-Driven Model Checking. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2005, pp:321-331 [Conf]
  27. Alfred Schmidt, Fevzi Belli
    An Extension of PROLOG for Object-Oriented Programming in Logic. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1990, pp:1153-1161 [Conf]
  28. Fevzi Belli
    Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems. [Citation Graph (0, 0)][DBLP]
    Systems Engineering in Public Administration, 1993, pp:125-144 [Conf]
  29. Fevzi Belli, Baris Güldali
    Software Testing via Model Checking. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:907-916 [Conf]
  30. Nida Gökçe, Mubariz Eminov, Fevzi Belli
    Coverage-Based, Prioritized Testing Using Neural Network Clustering. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2006, pp:1060-1071 [Conf]
  31. Fevzi Belli
    Finite-State Testing and Analysis of Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2001, pp:34-43 [Conf]
  32. Fevzi Belli, Oliver Jack
    Implementation-Based Analysis and Testing of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:70-80 [Conf]
  33. Alireza Azem, Fevzi Belli
    Reliability Prediction and Reliability Assessment Environment or Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LPE, 1993, pp:100-105 [Conf]
  34. Fevzi Belli, Oliver Jack
    A Product Assurance Environment for Prolog. [Citation Graph (0, 0)][DBLP]
    LPE, 1993, pp:94-99 [Conf]
  35. Fevzi Belli
    Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-Software. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:354-355 [Conf]
  36. Fevzi Belli, Christof J. Budnik
    Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2005, pp:79-90 [Conf]
  37. Alireza Azem, Fevzi Belli, Oliver Jack
    Implementation-Oriented Testing and Reliability Determination of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:526-533 [Conf]
  38. Fevzi Belli, Oliver Jack
    A test environment for Prolog. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:430-437 [Conf]
  39. Alireza Azem, Fevzi Belli
    Reliability determination of Prolog programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:422-429 [Conf]
  40. Fevzi Belli, Christof J. Budnik
    Test Cost Reduction for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Sicherheit, 2005, pp:149-160 [Conf]
  41. Fevzi Belli, Christof J. Budnik, Axel Hollmann
    Holistic Testing of Interactive Systems Using Statecharts. [Citation Graph (0, 0)][DBLP]
    Sicherheit, 2006, pp:345-356 [Conf]
  42. Fevzi Belli, Hinrich E. G. Bonin
    Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung. [Citation Graph (0, 0)][DBLP]
    Informatik im Umweltschutz, 1989, pp:278-287 [Conf]
  43. Fevzi Belli, Piotr Jedrzejowicz
    Towards Reliability Optimization of Fault-tolerant Software. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1988, v:24, n:9, pp:431-442 [Journal]
  44. Fevzi Belli
    Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:6, pp:337-346 [Journal]
  45. Fevzi Belli, Klaus Echtle, Winfried Görke
    Methoden und Modelle der Fehlertoleranz. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1986, v:9, n:2, pp:68-81 [Journal]
  46. Fevzi Belli, Matthias Grochtmann, Oliver Jack
    Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:3, pp:131-140 [Journal]
  47. Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur
    Introduction to the special section on software cybernetics. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:11, pp:1483-1485 [Journal]
  48. Alireza Azem, Fevzi Belli
    Determining the Reliability of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1994, v:4, n:4, pp:203-222 [Journal]
  49. Fevzi Belli, Christof J. Budnik, Lee White
    Event-based modelling, analysis and testing of user interactions: approach and case study. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:1, pp:3-32 [Journal]
  50. Fevzi Belli, Oliver Jack
    Declarative Paradigm of Test Coverage. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1998, v:8, n:1, pp:15-47 [Journal]
  51. Fevzi Belli, Karl-Erwin Großpietsch
    Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:6, pp:513-526 [Journal]
  52. Fevzi Belli, Piotr Jedrzejowicz
    An Approach to the Reliability Optimization of Software with Redundancy. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:3, pp:310-312 [Journal]
  53. Fevzi Belli, Piotr Jedrzejowicz
    Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP]
    Angewandte Informatik, 1988, v:30, n:12, pp:533-538 [Journal]
  54. Fevzi Belli, Mubariz Eminov, Nida Gökçe
    Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:197-203 [Conf]
  55. Fevzi Belli, Mubariz Eminov, Nida Gökçe
    Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. [Citation Graph (0, 0)][DBLP]
    LADC, 2007, pp:95-110 [Conf]
  56. Fevzi Belli, Axel Hollmann, Nimal Nissanke
    Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:276-282 [Conf]
  57. Sami Beydeda, Fevzi Belli
    WG1: Testmethoden für Software - Von der Forschung in die Praxis. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:273-274 [Conf]
  58. Fevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann
    "Negativ"-Tests interaktiver Systeme und ihre Automatisierung. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:35-44 [Conf]
  59. Sami Beydeda, Fevzi Belli
    Einführung. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:19-20 [Conf]
  60. Fevzi Belli, Axel Hollmann
    Holistic testing with basic statecharts. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:91-100 [Conf]
  61. Fevzi Belli, Christof J. Budnik
    Test minimization for human-computer interaction. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 2007, v:26, n:2, pp:161-174 [Journal]

  62. Event-Driven Modeling and Testing of Web Services. [Citation Graph (, )][DBLP]


  63. Panel Description: 40 Years of Software Engineering. [Citation Graph (, )][DBLP]


  64. Message from the IWSC 2008 Workshop Organizers. [Citation Graph (, )][DBLP]


  65. IWSC 2008 Workshop Organization. [Citation Graph (, )][DBLP]


  66. GUI-Based Testing of Boundary Overflow Vulnerability. [Citation Graph (, )][DBLP]


  67. MOTES08 - Modellbasiertes Testen. [Citation Graph (, )][DBLP]


  68. Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP]


  69. Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. [Citation Graph (, )][DBLP]


  70. Event-Based Input Validation Using Design-by-Contract Patterns. [Citation Graph (, )][DBLP]


  71. Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. [Citation Graph (, )][DBLP]


  72. Test generation and minimization with "basic" statecharts. [Citation Graph (, )][DBLP]


  73. 2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. [Citation Graph (, )][DBLP]


  74. 2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. [Citation Graph (, )][DBLP]


  75. Fault Detection Likelihood of Test Sequence Length. [Citation Graph (, )][DBLP]


  76. Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. [Citation Graph (, )][DBLP]


  77. Communication Sequence Graphs for Mutation-Oriented Integration Testing. [Citation Graph (, )][DBLP]


  78. Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. [Citation Graph (, )][DBLP]


  79. A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. [Citation Graph (, )][DBLP]


  80. Towards Scalable Robustness Testing. [Citation Graph (, )][DBLP]


  81. A Formal Framework for Mutation Testing. [Citation Graph (, )][DBLP]


  82. Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation [Citation Graph (, )][DBLP]


Search in 0.385secs, Finished in 0.390secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002