The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gregor von Bochmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregor von Bochmann
    Specification in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Local Area Networks, 1983, pp:470-497 [Conf]
  2. Gregor von Bochmann, Bassel Daou
    Comparison of Methods for Supervisory Control and Submodule Construction. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:111-114 [Conf]
  3. Mahamat Guiagoussou, Anindya Das, Gregor von Bochmann
    An Overview of Fault Management in Telecommunication Networks. [Citation Graph (0, 0)][DBLP]
    Advanced Information Processing Techniques for LAN and MAN Management, 1993, pp:69-85 [Conf]
  4. Michel Barbeau, Gregor von Bochmann
    A Subset of Lotos with the Computational Power of Place/Transition-Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:49-68 [Conf]
  5. Gregor von Bochmann
    Synchronization in Distributed System Modules. [Citation Graph (0, 0)][DBLP]
    Berkeley Workshop, 1978, pp:322-339 [Conf]
  6. Abdelhakim Hafid, Jan de Meer, Alex Rennoch, Gregor von Bochmann, Rachida Dssouli
    Quality of service verification experiments. [Citation Graph (0, 0)][DBLP]
    CASCON, 1994, pp:23- [Conf]
  7. Ferhat Khendek, Gregor von Bochmann
    A formalization of the CORDS Process Model using Mondel. [Citation Graph (0, 0)][DBLP]
    CASCON, 1992, pp:351-360 [Conf]
  8. Ferhat Khendek, Gregor von Bochmann
    Formal specifications design, evolution and reuse. [Citation Graph (0, 0)][DBLP]
    CASCON, 1993, pp:184-193 [Conf]
  9. Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei
    Distributed multimedia applications and quality of service: a survey. [Citation Graph (0, 0)][DBLP]
    CASCON, 1994, pp:71- [Conf]
  10. Michel Barbeau, Gregor von Bochmann
    Extension of the Karp and Miller Procedure to Lotos Specifications. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:333-342 [Conf]
  11. Michel Barbeau, Gregor von Bochmann
    The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:103-113 [Conf]
  12. Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui
    Model-Checking for Real-Time Systems Specified in Lotos. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:288-301 [Conf]
  13. Gregor von Bochmann
    Specification Languages for Communication Protocols. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:379-396 [Conf]
  14. Gregor von Bochmann
    Object-Oriented Modelling and Development of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COODBSE, 1994, pp:90-113 [Conf]
  15. Gregor von Bochmann
    Hierarchical Inter-Domain Management for Networks with Condo-Switches. [Citation Graph (0, 0)][DBLP]
    Communication Systems and Applications, 2005, pp:190-196 [Conf]
  16. Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
    Integrating Quality of Service into Database Systems. [Citation Graph (0, 0)][DBLP]
    DEXA, 2003, pp:803-812 [Conf]
  17. Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
    QoS Aware Distributed Query Processing. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1999, pp:923-927 [Conf]
  18. Khalil El-Khatib, N. Hadibi, Gregor von Bochmann
    Support for Personal and Service Mobility in Ubiquitous Computing Environments. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:1046-1055 [Conf]
  19. Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
    Revisiting Join Site Selection in Distributed Database Systems. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:342-347 [Conf]
  20. Ken Y. Chan, Gregor von Bochmann
    Methods for Designing SIP Features in SDL with Fewer Feature Interactions. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:59-76 [Conf]
  21. Petre Dini, Gregor von Bochmann
    Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment. [Citation Graph (0, 0)][DBLP]
    FIW, 1995, pp:115-126 [Conf]
  22. D. Ramazani, Gregor von Bochmann
    Object Composition: A Case Study. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  23. Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    Progressive Solutions to a Parallel Automata Equation. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:367-382 [Conf]
  24. Gregor von Bochmann
    Submodule Construction for Specifications with Input Assumptions and Output Guarantees. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:17-33 [Conf]
  25. Gregor von Bochmann, Qiang Gao, Cheng Wu
    On the Distributed Implementation of LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:133-146 [Conf]
  26. Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld
    ASN.1 and Estelle Implementation Support Tools. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:531-534 [Conf]
  27. Bassel Daou, Gregor von Bochmann
    Submodule Construction for Extended State Machine Models. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:396-410 [Conf]
  28. Bassel Daou, Gregor von Bochmann
    Generalizing the Submodule Construction Techniques for Extended State Machine Models. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:191-195 [Conf]
  29. Rachida Dssouli, Reine Fournier, Gregor von Bochmann
    Distributed Observation and FIFO Queues. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:303-310 [Conf]
  30. Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba
    Translation from TTCN to LOTOS and the Validation of Test Cases. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:141-155 [Conf]
  31. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    Diagnosing Multiple Faults in Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:85-100 [Conf]
  32. Cheng Wu, Gregor von Bochmann
    Fairness in LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:543-558 [Conf]
  33. Ferhat Khendek, Gregor von Bochmann
    Incremental Construction Approach for Distributed System Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:87-102 [Conf]
  34. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
    Protocol Synthesis for Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:417-433 [Conf]
  35. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
    Fault Models for Testing in Context. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:163-178 [Conf]
  36. Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
    Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:399-414 [Conf]
  37. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:399-414 [Conf]
  38. Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
    A Framework for Conformance Testing of Systems Communicating through Rendezvous. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:230-238 [Conf]
  39. Hanxi Zhang, Michel Savoie, Jing Wu, Scott Campbell, Gregor von Bochmann, Bill St. Arnaud
    Service-oriented Layer 1 Virtual Private Network for Grid Applications. [Citation Graph (0, 0)][DBLP]
    GCA, 2005, pp:106-111 [Conf]
  40. Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé
    A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. [Citation Graph (0, 0)][DBLP]
    HPDC, 1996, pp:330-339 [Conf]
  41. Abdelilah Maach, Hassan Zeineddine, Gregor von Bochmann
    A Bandwidth Allocation Scheme in Optical TDM. [Citation Graph (0, 0)][DBLP]
    HSNMC, 2004, pp:801-812 [Conf]
  42. Z. P. Tao, Gregor von Bochmann, Rachida Dssouli
    An efficient method for protocol conversion. [Citation Graph (0, 0)][DBLP]
    ICCCN, 1995, pp:40- [Conf]
  43. Abderrazak Ghedamsi, Gregor von Bochmann
    Test Result Analysis and Diagnostics for Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:244-251 [Conf]
  44. Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
    Diagnosis of Single Transition Faults in Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:157-166 [Conf]
  45. Mohamed-Vall O. Mohamed-Salem, Gregor von Bochmann, Johnny W. Wong
    Scaling Server Selection Using a Multi-Broker Architecture. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:934-0 [Conf]
  46. Stefan Fischer, Abdelhakim Hafid, Gregor von Bochmann, Hermann de Meer
    Cooperative QoS Management for Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    ICMCS, 1997, pp:303-310 [Conf]
  47. Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite
    Validation of distributed algorithms and protocols. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:110-117 [Conf]
  48. Ahmed Khoumsi, Gregor von Bochmann
    Protocol synthesis using basic Lotos and global variables. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:126-0 [Conf]
  49. Zhongping Tao, Gregor von Bochmann, Rachida Dssouli
    Verification and diagnosis of testing equivalence and reduction relation. [Citation Graph (0, 0)][DBLP]
    ICNP, 1995, pp:14-21 [Conf]
  50. Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Vincent Oria
    Pushing Quality of Service Information and Requirements into Global Query Optimization. [Citation Graph (0, 0)][DBLP]
    IDEAS, 2003, pp:170-179 [Conf]
  51. Gregor von Bochmann, Zhen Yang
    Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF. [Citation Graph (0, 0)][DBLP]
    IDMS, 1999, pp:133-145 [Conf]
  52. Khalil El-Khatib, Gregor von Bochmann, Yu Zhong
    Selecting the QoS Parameters for Multicast Applications Based on User Profile and Device Capability. [Citation Graph (0, 0)][DBLP]
    IDMS, 2001, pp:221-232 [Conf]
  53. Gregor von Bochmann, Jan Gecsei
    A Unified Method for the Specification and Verification of Protocols. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:229-234 [Conf]
  54. Olivier Lecarme, Gregor von Bochmann
    A (Truly) Usable and Portable Compiler Writing System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1974, pp:218-221 [Conf]
  55. Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams
    A Trust Model with Statistical Foundation. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:145-158 [Conf]
  56. Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer
    Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1997, pp:553-564 [Conf]
  57. Gregor von Bochmann
    Formal Description Techniques for OSI: an Example. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1984, pp:312-317 [Conf]
  58. D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham
    Modeling and Formal Specification of the Personal Communication Service. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1993, pp:756-765 [Conf]
  59. Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
    Multiple Fault Diagnostics for Finite State Machines. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1993, pp:782-791 [Conf]
  60. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    Fault Coverage Analysis in Respect to an FSM Specification. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1994, pp:768-775 [Conf]
  61. Cheng Peng, Sofia A. Paredes, Trevor J. Hall, Gregor von Bochmann
    Constructing Service Matrices for Agile All-Optical Cores. [Citation Graph (0, 0)][DBLP]
    ISCC, 2006, pp:967-973 [Conf]
  62. Gregor von Bochmann, Brigitte Kerhervé, Hanan Lutfiyya, Mohamed-Vall O. Mohamed-Salem, Haiwei Ye
    Introducing QoS to Electronic Commerce Applications. [Citation Graph (0, 0)][DBLP]
    ISEC, 2001, pp:138-147 [Conf]
  63. Gregor von Bochmann, Alexandre Petrenko
    Protocol Testing: Review of Methods and Relevance for Software Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:109-124 [Conf]
  64. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
    Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:305-308 [Conf]
  65. Khalil El-Khatib, Gregor von Bochmann
    Agent Support for Context-Aware Services and Personal Mobility. [Citation Graph (0, 0)][DBLP]
    MATA, 2003, pp:89-98 [Conf]
  66. Nawel Chefaï, Gregor von Bochmann, Nicolas D. Georganas
    Performance Evaluation of the Preemptive Bandwidth Allocation Protocol. [Citation Graph (0, 0)][DBLP]
    MIPS, 2003, pp:182-194 [Conf]
  67. Nawel Chefaï, Nicolas D. Georganas, Gregor von Bochmann
    Preemptive bandwidth allocation protocol for multicast, multi-streams environments. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 2001, pp:528-530 [Conf]
  68. Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei
    Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). [Citation Graph (0, 0)][DBLP]
    MMM, 1998, pp:223-0 [Conf]
  69. Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah
    Shared Protection for Time Slotted Optical Networks. [Citation Graph (0, 0)][DBLP]
    NCA, 2004, pp:333-336 [Conf]
  70. Cheng Peng, Peng He, Gregor von Bochmann, Trevor J. Hall
    Delay Performance Analysis for an Agile All-Photonic Star Network. [Citation Graph (0, 0)][DBLP]
    Networking, 2006, pp:368-378 [Conf]
  71. Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval
    Object-Oriented Design for ODP. [Citation Graph (0, 0)][DBLP]
    Open Distributed Processing, 1991, pp:435-439 [Conf]
  72. Abdelilah Maach, Gregor von Bochmann
    Segmented Burst Switching: Enhancement of Optical Burst Switching to Decrease Loss Rate and Support Quality of Service. [Citation Graph (0, 0)][DBLP]
    ONDM, 2002, pp:69-84 [Conf]
  73. Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid
    On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. [Citation Graph (0, 0)][DBLP]
    Protocols for High-Speed Networks, 1994, pp:21-37 [Conf]
  74. Rachida Dssouli, Gregor von Bochmann
    Error detection with multiple observers. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:483-494 [Conf]
  75. Gregor von Bochmann
    Usage of Protocol Development Tools: The Results of a Survey. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:139-161 [Conf]
  76. Gregor von Bochmann, Eduard Cerny, G. Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre
    Use of Formal Specifications for Protocol Design, Implementation and Testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:137-144 [Conf]
  77. Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
    Some Experience with the Use of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:171-185 [Conf]
  78. Gregor von Bochmann, Michel Deslauriers
    Combining ASN1 Support with the LOTOS Language. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:175-186 [Conf]
  79. Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
    Use of Prolog for building protocol design tools. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:131-147 [Conf]
  80. Reinhard Gotzhein, Gregor von Bochmann
    Specialization in Estelle. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:21-36 [Conf]
  81. Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
    On specifying services and synthesizing protocols for real-time applications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:185-200 [Conf]
  82. Nathalie Rico, Gregor von Bochmann
    Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:199-213 [Conf]
  83. Behçet Sarikaya, Gregor von Bochmann
    Some Experience with Test Sequence Generation for Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:555-567 [Conf]
  84. Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
    Modeling basic LOTOS by FSMs for conformance testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:137-152 [Conf]
  85. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    Conformance Testing of Protocol Machines without Reset. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:241-256 [Conf]
  86. Martin Dubuc, Rachida Dssouli, Gregor von Bochmann
    TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1991, pp:195-206 [Conf]
  87. Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
    Fault Diagnosis in Extended Finite State Machines. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:197-210 [Conf]
  88. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    FSM-based Re-Testing Methods. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:373-390 [Conf]
  89. Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo
    Fault Models in Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1991, pp:17-30 [Conf]
  90. Susumu Fujiwara, Gregor von Bochmann
    Testing Non-Deterministic State Machines with Fault Coverage. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1991, pp:267-280 [Conf]
  91. Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann
    Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:105-116 [Conf]
  92. Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi
    Test System for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:205-216 [Conf]
  93. Gang Luo, Anindya Das, Gregor von Bochmann
    Generating Tests for Control Portion of SDL Specifications. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:51-66 [Conf]
  94. Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi
    Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:139-153 [Conf]
  95. Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli
    Conformance Relations and Test Derivation. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:157-178 [Conf]
  96. Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik
    A QoS-Based Framework for Distributed Content Adaptation. [Citation Graph (0, 0)][DBLP]
    QSHINE, 2004, pp:308-312 [Conf]
  97. Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga
    Automating the process of test derivation from SDL specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:261-276 [Conf]
  98. Ken Y. Chan, Gregor von Bochmann
    Modeling IETF Session Initiation Protocol and Its Services in SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:352-373 [Conf]
  99. Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot
    Service Discovery and Component Reuse with Semantic Interfaces. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:85-102 [Conf]
  100. Gregor von Bochmann, Reinhard Gotzhein
    Deriving protocol specifications from service specifications. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1986, pp:148-156 [Conf]
  101. S. Alan Ezust, Gregor von Bochmann
    An Automatic Trace Analysis Tool Generator for Estelle Specifications. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1995, pp:175-184 [Conf]
  102. Ferhat Khendek, Gregor von Bochmann, Christian Kant
    New Results on Deriving Protocol Specifications from Service Specifications. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 1989, pp:136-145 [Conf]
  103. Ming Yu Yao, Gregor von Bochmann
    Testing for a Conformance Relation Based on Acceptance. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:519-528 [Conf]
  104. Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval
    Object-Oriented Design for Distributed Systems and OSI Standards. [Citation Graph (0, 0)][DBLP]
    ULPAA, 1992, pp:265-280 [Conf]
  105. Cheng Wu, Gregor von Bochmann, Ming Yu Yao
    Fairness of N-party Synchronization and Its Implementation in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    WDAG, 1993, pp:279-293 [Conf]
  106. Gregor von Bochmann, Paola Flocchini, D. Ramazani
    Distributed Objects with Sense of Direction. [Citation Graph (0, 0)][DBLP]
    WDAS, 1998, pp:1-12 [Conf]
  107. Gregor von Bochmann
    Submodule Construction and Supervisory Control: A Generalization. [Citation Graph (0, 0)][DBLP]
    CIAA, 2001, pp:27-39 [Conf]
  108. Hassan Zeineddine, Peng He, Gregor von Bochmann
    Optimization Analysis of Optical Time Slot Interchanges in All-Optical Network. [Citation Graph (0, 0)][DBLP]
    Wireless and Optical Communications, 2006, pp:207-212 [Conf]
  109. Peng He, Gregor von Bochmann
    Routing of MPLS Flows over an Agile All-Photonic Star Network. [Citation Graph (0, 0)][DBLP]
    Wireless and Optical Communications, 2006, pp:138-144 [Conf]
  110. Gregor von Bochmann
    Multiple Exits from a Loop Without the GOTO. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1973, v:16, n:7, pp:443-444 [Journal]
  111. Gregor von Bochmann
    Semantic Evaluation from Left to Right. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:2, pp:55-62 [Journal]
  112. Rudolf K. Keller, Jean Tessier, Gregor von Bochmann
    A Pattern System for Network Management Interfaces. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:9, pp:86-93 [Journal]
  113. Gregor von Bochmann, P. Ward
    Compiler Writing System for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1978, v:21, n:2, pp:144-148 [Journal]
  114. Gregor von Bochmann
    Finite State Description of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1978, v:2, n:, pp:361-372 [Journal]
  115. Gregor von Bochmann
    Distributed Synchronization and Regularity. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1979, v:3, n:, pp:36-43 [Journal]
  116. Gregor von Bochmann
    Protocol Specification for OSI. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1989, v:18, n:3, pp:167-184 [Journal]
  117. Gregor von Bochmann
    Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1989, v:18, n:5, pp:335-377 [Journal]
  118. Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval
    Object-Oriented Design for Distributed Systems: The OSI Directory Example. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1995, v:27, n:4, pp:571-590 [Journal]
  119. Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli
    A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:8, pp:777-794 [Journal]
  120. Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao
    On Fault Coverage of Tests for Finite State Specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:81-106 [Journal]
  121. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
    Deriving protocol specifications from service specifications written as Predicate/Transition-nets. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:1, pp:258-284 [Journal]
  122. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
    Testing in context: framework and test derivation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:14, pp:1236-1249 [Journal]
  123. Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann
    Method of analysing extended finite-state machine specifications. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1990, v:13, n:2, pp:83-92 [Journal]
  124. Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann
    A Sampler of Formal Definitions. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1976, v:8, n:2, pp:191-276 [Journal]
  125. Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann
    Corrigendum: ``A Sampler of Formal Definitions''. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1977, v:9, n:2, pp:168- [Journal]
  126. Christian Kant, Teruo Higashino, Gregor von Bochmann
    Deriving Protocol Specifications from Service Specifications Written in LOTOS. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1996, v:10, n:1, pp:29-47 [Journal]
  127. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
    Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2003, v:16, n:1, pp:21-35 [Journal]
  128. Gregor von Bochmann, Abdelhakim Hafid
    Some principles for quality of service management. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1997, v:4, n:1, pp:16-27 [Journal]
  129. Ferhat Khendek, Gregor von Bochmann
    Merging Behavior Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:3, pp:259-293 [Journal]
  130. Johnny W. Wong, Kelly A. Lyons, David Evans, Rolf J. Velthuys, Gregor von Bochmann, Eric Dubois, Nicolas D. Georganas, Gerald W. Neufeld, M. Tamer Özsu, Jeff Brinskelle, Abdelhakim Hafid, Norman C. Hutchinson, Paul Iglinski, Brigitte Kerhervé, Louise Lamont, Dwight J. Makaroff, Duane Szafron
    Enabling Technology for Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1997, v:36, n:4, pp:489-507 [Journal]
  131. Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei
    Distributed Multimedia and QOS: A Survey. [Citation Graph (0, 0)][DBLP]
    IEEE MultiMedia, 1995, v:2, n:2, pp:10-19 [Journal]
  132. Jing Wu, Michel Savoie, Scott Campbell, Hanxi Zhang, Gregor von Bochmann, Bill St. Arnaud
    Customer-managed end-to-end lightpath provisioning. [Citation Graph (0, 0)][DBLP]
    Int. Journal of Network Management, 2005, v:15, n:5, pp:349-362 [Journal]
  133. Gregor von Bochmann
    Comments on Monitor Definition and Implementation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1976, v:5, n:4, pp:116-117 [Journal]
  134. Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu
    Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:44, n:6, pp:333-343 [Journal]
  135. Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
    QoS-based Distributed Query Processing. [Citation Graph (0, 0)][DBLP]
    Ingénierie des Systèmes d'Information, 2004, v:9, n:5-6, pp:205-234 [Journal]
  136. Gregor von Bochmann, Pierre Mondain-Monval
    Design Principles for Communication Gateways. [Citation Graph (0, 0)][DBLP]
    IEEE Journal on Selected Areas in Communications, 1990, v:8, n:1, pp:12-21 [Journal]
  137. Claude Jard, Gregor von Bochmann
    An approach to testing specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1983, v:3, n:4, pp:315-323 [Journal]
  138. Gregor von Bochmann
    High-level design for user and component interfaces. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2004, v:17, n:5-6, pp:303-310 [Journal]
  139. Abdelhakim Hafid, Gregor von Bochmann
    Quality-of-Service Adaptation in Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    Multimedia Syst., 1998, v:6, n:5, pp:299-315 [Journal]
  140. Zhongping Tao, Gregor von Bochmann, Rachida Dssouli
    A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. [Citation Graph (0, 0)][DBLP]
    MONET, 1997, v:2, n:3, pp:259-269 [Journal]
  141. Abdelhakim Hafid, Gregor von Bochmann
    An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation. [Citation Graph (0, 0)][DBLP]
    Multimedia Tools Appl., 1999, v:9, n:2, pp:167-191 [Journal]
  142. Mahamat Guiagoussou, Raouf Boutaba, Gregor von Bochmann
    A Framework for Alarm Correlation and Fault Diagnostics. [Citation Graph (0, 0)][DBLP]
    Networking and Information Systems, 1999, v:2, n:4, pp:459-482 [Journal]
  143. Elspeth Cusack, Gregor von Bochmann
    Formal object-oriented methods in communication standards. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1992, v:3, n:2, pp:7-8 [Journal]
  144. Gregor von Bochmann
    Hardware Specification with Temporal Logic: En Example. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:3, pp:223-231 [Journal]
  145. Gregor von Bochmann, Michel Raynal
    Structured Specification of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1983, v:32, n:2, pp:120-133 [Journal]
  146. Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann
    Progressive solutions to a parallel automata equation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:362, n:1-3, pp:17-32 [Journal]
  147. Reine Fournier, Gregor von Bochmann
    The Equivalence in the DCP Model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:97-114 [Journal]
  148. Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah
    Congestion Control and Contention Elimination in Optical Burst Switching. [Citation Graph (0, 0)][DBLP]
    Telecommunication Systems, 2004, v:27, n:2-4, pp:115-131 [Journal]
  149. Reinhard Gotzhein, Gregor von Bochmann
    Deriving Protocol Specifications from Service Specifications Including Parameters. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1990, v:8, n:4, pp:255-283 [Journal]
  150. Philip M. Merlin, Gregor von Bochmann
    On the Construction of Submodule Specifications and Communication Protocols. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1983, v:5, n:1, pp:1-25 [Journal]
  151. Gregor von Bochmann
    Compile Time Memory Allocation for Parallel Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:6, pp:517-520 [Journal]
  152. Gregor von Bochmann
    Delay-Independent Design for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:8, pp:1229-1237 [Journal]
  153. Gregor von Bochmann, Rachida Dssouli, J. R. Zhao
    Trace Analysis for Conformance and Arbitration Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1347-1356 [Journal]
  154. Gregor von Bochmann, George Walter Gerber, Jean-Marc Serre
    Semiautomatic Implementation of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:9, pp:989-1000 [Journal]
  155. Gregor von Bochmann, Joachim Tankoano
    Development and Structure of an X.25 Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:5, pp:429-439 [Journal]
  156. Gregor von Bochmann, Jean-Pierre Verjus
    Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:4, pp:501-505 [Journal]
  157. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
    FSM-Based Incremental Conformance Testing Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:425-436 [Journal]
  158. Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi
    Test Selection Based on Finite State Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:6, pp:591-603 [Journal]
  159. Teruo Higashino, Gregor von Bochmann
    Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:29-42 [Journal]
  160. Gang Luo, Gregor von Bochmann, Alexandre Petrenko
    Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:2, pp:149-162 [Journal]
  161. Gang Luo, Anindya Das, Gregor von Bochmann
    Software Testing Based on SDL Specifications with Save. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:72-87 [Journal]
  162. Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny
    A Test Design Methodology for Protocol Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:5, pp:518-531 [Journal]
  163. Khalil El-Khatib, Zhen E. Zhang, N. Hadibi, Gregor von Bochmann
    Personal and service mobility in ubiquitous computing environments. [Citation Graph (0, 0)][DBLP]
    Wireless Communications and Mobile Computing, 2004, v:4, n:6, pp:595-607 [Journal]
  164. Abdelilah Maach, Gregor von Bochmann, H. T. Mouftah
    An optimal shared protection scheme for optical networks. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:71- [Conf]
  165. Hanxi Zhang, Michel Savoie, Scott Campbell, Sergi Figuerola, Gregor von Bochmann, Bill St. Arnaud
    Service-Oriented Virtual Private Networks for Grid Applications. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:944-951 [Conf]
  166. Jun Zheng, Cheng Peng, Gregor von Bochmann
    Blocking Model for All-Optical Overlaid-Star TDM Networks. [Citation Graph (0, 0)][DBLP]
    GLOBECOM, 2006, pp:- [Conf]

  167. Realizability of Collaboration-based Service Specifications. [Citation Graph (, )][DBLP]


  168. Using First-Order Logic to Reason about Submodule Construction. [Citation Graph (, )][DBLP]


  169. Differentiated Static Resource Allocation in WDM Networks. [Citation Graph (, )][DBLP]


  170. A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks. [Citation Graph (, )][DBLP]


  171. Resource Criticality Analysis of Static Resource Allocations in WDM Networks. [Citation Graph (, )][DBLP]


  172. A QoS-based Service Composition for Content Adaptation. [Citation Graph (, )][DBLP]


  173. Deploying agile photonic networks over reconfigurable optical networks. [Citation Graph (, )][DBLP]


  174. Protecting the privacy of user's QoS preferences for multimedia applications. [Citation Graph (, )][DBLP]


  175. CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay. [Citation Graph (, )][DBLP]


  176. Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP]


  177. Testing k-Safe Petri Nets. [Citation Graph (, )][DBLP]


  178. On Testing 1-Safe Petri Nets. [Citation Graph (, )][DBLP]


  179. Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks. [Citation Graph (, )][DBLP]


  180. Towards a global online reputation. [Citation Graph (, )][DBLP]


  181. GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information [Citation Graph (, )][DBLP]


  182. Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality [Citation Graph (, )][DBLP]


  183. CliqueStream: an efficient and fault-resilient live streaming network on a clustered peer-to-peer overlay [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.021secs
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