Gregor von Bochmann

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