dblp.uni-trier.dewww.uni-trier.de

Gregor von Bochmann Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Carlisle M. Adams (Carlisle Adams) [157]
2Mokhtar Amalou [46]
3Daniel Amyot [160]
4Bill St. Arnaud [159] [161] [174]
5Shah Asaduzzaman [180] [181] [182] [183]
6Michel Barbeau [44] [53] [74]
7O. Bellal [43] [111]
8Raouf Boutaba [119]
9Rolv Bræk [160] [177]
10Jeff Brinskelle [109]
11Sergey Buffalov [144] [165]
12Scott Campbell [159] [161] [174]
13Humberto Nicolás Castejón [177]
14Eduard Cerny [17] [22] [28]
15Ken Y. Chan [138] [145]
16Nawel Chefaï [132] [139]
17Omar Cherkaoui [60]
18Elspeth Cusack [54]
19Bassel Daou [158] [162] [172]
20Joumana Dargham [69] [98]
21Anindya Das [49] [55] [64] [69] [75] [78] [80]
22D. Desbiens [69]
23Michel Deslauriers [36]
24Petre Dini [100] [112]
25Rachida Dssouli [22] [24] [25] [32] [42] [48] [49] [58] [65] [66] [68] [70] [78] [82] [84] [90] [96] [99] [103] [107] [108] [115] [118] [122] [125]
26Eric Dubois [109]
27Martin Dubuc [43] [48] [49]
28Khaled El-Fakih [126] [130] [133] [136] [137] [144] [153] [165] [173]
29Khalil El-Khatib [129] [140] [147] [149] [154] [168] [175]
30Abdulmotaleb El-Saddik [154] [175]
31David Evans [109]
32S. Alan Ezust [94]
33Sergi Figuerola [174]
34Stefan Fischer [113]
35Paola Flocchini [117]
36Reine Fournier [42] [45]
37Susumu Fujiwara [46] [47]
38Michel Gagne [17]
39Qiang Gao [37] [98]
40Jan Gecsei [7] [82] [89] [91] [118]
41Nicolas D. Georganas [109] [132] [139]
42G. Gerber [22]
43George Walter Gerber [27]
44Abderrazak Ghedamsi [46] [49] [58] [59] [66] [68] [70]
45Reinhard Gotzhein [26] [40] [83]
46Roland Groz [98]
47Mahamat Guiagoussou [75] [119]
48Stefan Haar [179]
49N. Hadibi [147] [149]
50Abdelhakim Hafid [82] [90] [104] [109] [110] [113] [114] [115] [118] [120]
51Trevor J. Hall [169] [170] [185]
52Peng He [166] [167] [169] [176]
53Teruo Higashino [57] [81] [101] [126] [136] [143] [173]
54E. Houssain Htite [98]
55Norman C. Hutchinson [109]
56Paul Iglinski [109]
57Claude Jard [17] [18] [179]
58Guy-Vincent Jourdan [179] [184]
59Christian Kant [35] [101]
60Rudolf K. Keller [116]
61Brigitte Kerhervé [82] [89] [91] [104] [109] [124] [128] [141] [146] [148] [152]
62Ferhat Khendek [35] [46] [61] [71] [73] [92]
63Ahmed Khoumsi [84] [97] [122]
64Thomas Koch [112]
65Vassilios N. Koukoulidis [39]
66Bernd J. Krämer [112]
67Clement Lacaille [17]
68Yair Lahav [125]
69Louise Lamont [109]
70Olivier Lecarme [2]
71Henry F. Ledgard [5] [6]
72Alain Léveillé [17]
73Xiangdong Li [57]
74Gang Luo [49] [55] [64] [66] [79] [80]
75Hanan Lutfiyya (Hanan Lutfi Lutfiyya) [128]
76Kelly A. Lyons [109]
77Abdelilah Maach [134] [150] [155] [156] [164]
78Erika Madja [118]
79S. Maguiraga [111]
80Dwight J. Makaroff [109]
81Michel Maksud [17] [22]
82Michael Marcotty [5] [6]
83Hermann de Meer [113]
84Jan de Meer [90]
85Philip M. Merlin [20]
86Mohamed-Vall O. Mohamed-Salem [128] [142]
87Pierre Mondain-Monval [38] [51] [56] [93]
88H. T. Mouftah (Hussein T. Mouftah) [150] [155] [164]
89Gerald W. Neufeld [41] [109]
90Vincent Oria [141]
91Daniel Ouimet [41]
92M. Tamer Özsu [109]
93Sofia A. Paredes [170] [185]
94Cheng Peng [169] [170] [171]
95Alexandre Petrenko [65] [67] [79] [85] [86] [87] [95] [102] [103] [105] [106] [111]
96B. H. Phan [22]
97Stéphane Poirier [51] [56] [93]
98Robert L. Probert [127]
99David K. Probst [76]
100Svetlana Prokopenko [137]
101Guy Pujolle [77]
102Ying Qiao [180] [181]
103Omar Rafiq [107]
104S. V. Raghavan [77]
105K. S. Raghunathan [17]
106D. Ramazani [117] [123]
107Michel Raynal [19]
108Alex Rennoch [90]
109Nathalie Rico [50] [60]
110F. Saba [43]
111Richard Torbjørn Sanders [160]
112Behçet Sarikaya [16] [17] [22] [25] [28] [39]
113Michel Savoie [159] [161] [174] [178]
114Jean-Marc Serre [22] [27]
115Jianqiang Shi [157]
116Wanderley Lopes de Souza [25]
117Duane Szafron [109]
118Q. M. Tan [95] [105]
119Kenichi Taniguchi [57]
120Joachim Tankoano [12]
121Z. P. Tao [99]
122Zhongping Tao [96] [108]
123Jean Tessier [116]
124Hasan Ural [25] [127]
125Rolf J. Velthuys [109]
126Pallapa Venkataram [66]
127Jean-Pierre Verjus [29]
128Andreas Vogel [82] [89] [91]
129P. Ward [10]
130Johnny W. Wong [109] [142]
131Cheng Wu [37] [52] [55] [62]
132Jing Wu [159] [161] [178]
133Hirozumi Yamaguchi [126] [136] [143] [173]
134Zhen Yang [121]
135Ming Yu Yao [62] [63] [67] [86] [87] [102]
136Keiichi Yasumoto [57]
137Haiwei Ye [124] [128] [141] [146] [148] [152]
138Nina Yevtushenko [103] [106] [130] [133] [137] [144] [153] [165]
139Hassan Zeineddine [156] [166]
140Hanxi Zhang [159] [161] [174]
141James Yiming Zhang [178]
142Zhen E. Zhang [149]
143J. R. Zhao [32]
144Jun Zheng [171]
145Yu Zhong [129]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)