Gregor von Bochmann Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Using First-Order Logic to Reason about Submodule Construction. FMOODS/FORTE 2009: 213-218
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie: Differentiated Static Resource Allocation in WDM Networks. ICC 2009: 1-5
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie: Resource Criticality Analysis of Static Resource Allocations in WDM Networks. ICC 2009: 1-5
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHassan Zeineddine, Gregor von Bochmann: A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks. ICC 2009: 1-6
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSofia A. Paredes, Gregor von Bochmann, Trevor J. Hall: Deploying agile photonic networks over reconfigurable optical networks. ISCC 2009: 182-187
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui Li, Morad Benyoucef, Gregor von Bochmann: Towards a global online reputation. MEDES 2009: 377-382
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy-Vincent Jourdan, Gregor von Bochmann: On Testing 1-Safe Petri Nets. TASE 2009: 275-281
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Guy-Vincent Jourdan: Testing k-Safe Petri Nets. TestCom/FATES 2009: 33-48
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShah Asaduzzaman, Gregor von Bochmann: GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information CoRR abs/0903.3759: (2009)
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShah Asaduzzaman, Gregor von Bochmann: Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality CoRR abs/0903.4113: (2009)
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShah 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
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShah 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
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan: Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHumberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann: Realizability of Collaboration-based Service Specifications. APSEC 2007: 73-80
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng He, Gregor von Bochmann: Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks. GLOBECOM 2007: 2325-2330
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik: A QoS-based Service Composition for Content Adaptation. ICDE Workshops 2007: 331-338
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanxi 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
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirozumi 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
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBassel Daou, Gregor von Bochmann: Generalizing the Submodule Construction Techniques for Extended State Machine Models. FORTE 2006: 191-195
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJun Zheng, Cheng Peng, Gregor von Bochmann: Blocking Model for All-Optical Overlaid-Star TDM Networks. GLOBECOM 2006
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng Peng, Sofia A. Paredes, Trevor J. Hall, Gregor von Bochmann: Constructing Service Matrices for Agile All-Optical Cores. ISCC 2006: 967-973
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng Peng, Peng He, Gregor von Bochmann, Trevor J. Hall: Delay Performance Analysis for an Agile All-Photonic Star Network. Networking 2006: 368-378
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil El-Khatib, Gregor von Bochmann: Protecting the privacy of user's QoS preferences for multimedia applications. WMuNeP 2006: 35-42
167no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng He, Gregor von Bochmann: Routing of MPLS Flows over an Agile All-Photonic Star Network. Wireless and Optical Communications 2006: 138-144
166no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHassan Zeineddine, Peng He, Gregor von Bochmann: Optimization Analysis of Optical Time Slot Interchanges in All-Optical Network. Wireless and Optical Communications 2006: 207-212
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled 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
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelilah Maach, Gregor von Bochmann, H. T. Mouftah: An optimal shared protection scheme for optical networks. AICCSA 2005: 71
163no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Hierarchical Inter-Domain Management for Networks with Condo-Switches. Communication Systems and Applications 2005: 190-196
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBassel Daou, Gregor von Bochmann: Submodule Construction for Extended State Machine Models. FORTE 2005: 396-410
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanxi 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
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot: Service Discovery and Component Reuse with Semantic Interfaces. SDL Forum 2005: 85-102
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing 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
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Bassel Daou: Comparison of Methods for Supervisory Control and Submodule Construction. ACSD 2004: 111-114
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianqiang Shi, Gregor von Bochmann, Carlisle M. Adams: A Trust Model with Statistical Foundation. Formal Aspects in Security and Trust 2004: 145-158
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelilah Maach, Hassan Zeineddine, Gregor von Bochmann: A Bandwidth Allocation Scheme in Optical TDM. HSNMC 2004: 801-812
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah: Shared Protection for Time Slotted Optical Networks. NCA 2004: 333-336
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik: A QoS-Based Framework for Distributed Content Adaptation. QSHINE 2004: 308-312
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004)
152no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: QoS-based Distributed Query Processing. Ingénierie des Systèmes d'Information 9(5-6): 205-234 (2004)
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: High-level design for user and component interfaces. Knowl.-Based Syst. 17(5-6): 303-310 (2004)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah: Congestion Control and Contention Elimination in Optical Burst Switching. Telecommunication Systems 27(2-4): 115-131 (2004)
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: Integrating Quality of Service into Database Systems. DEXA 2003: 803-812
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil El-Khatib, N. Hadibi, Gregor von Bochmann: Support for Personal and Service Mobility in Ubiquitous Computing Environments. Euro-Par 2003: 1046-1055
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: Revisiting Join Site Selection in Distributed Database Systems. Euro-Par 2003: 342-347
145no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen Y. Chan, Gregor von Bochmann: Methods for Designing SIP Features in SDL with Fewer Feature Interactions. FIW 2003: 59-76
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino: Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE 2003: 399-414
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed-Vall O. Mohamed-Salem, Gregor von Bochmann, Johnny W. Wong: Scaling Server Selection Using a Multi-Broker Architecture. ICDCS Workshops 2003: 934-
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Vincent Oria: Pushing Quality of Service Information and Requirements into Global Query Optimization. IDEAS 2003: 170-179
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil El-Khatib, Gregor von Bochmann: Agent Support for Context-Aware Services and Personal Mobility. MATA 2003: 89-98
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNawel Chefaï, Gregor von Bochmann, Nicolas D. Georganas: Performance Evaluation of the Preemptive Bandwidth Allocation Protocol. MIPS 2003: 182-194
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen Y. Chan, Gregor von Bochmann: Modeling IETF Session Initiation Protocol and Its Services in SDL. SDL Forum 2003: 352-373
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann: Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirozumi 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
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Submodule Construction for Specifications with Input Assumptions and Output Guarantees. FORTE 2002: 17-33
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelilah 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
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: FSM-based Re-Testing Methods. TestCom 2002: 373-390
2001
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNawel Chefaï, Nicolas D. Georganas, Gregor von Bochmann: Preemptive bandwidth allocation protocol for multicast, multi-streams environments. ACM Multimedia 2001: 528-530
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Submodule Construction and Supervisory Control: A Generalization. CIAA 2001: 27-39
130no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann: Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Brigitte Kerhervé, Hanan Lutfiyya, Mohamed-Vall O. Mohamed-Salem, Haiwei Ye: Introducing QoS to Electronic Commerce Applications. ISEC 2001: 138-147
2000
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHasan 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
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled 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
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachida 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
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiwei Ye, Brigitte Kerhervé, Gregor von Bochmann: QoS Aware Distributed Query Processing. DEXA Workshop 1999: 923-927
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Ramazani, Gregor von Bochmann: Object Composition: A Case Study. FMOODS 1999
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433
121no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Zhen Yang: Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF. IDMS 1999: 133-145
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelhakim 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)
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahamat Guiagoussou, Raouf Boutaba, Gregor von Bochmann: A Framework for Alarm Correlation and Fault Diagnostics. Networking and Information Systems 2(4): 459-482 (1999)
1998
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika 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-
117no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Paola Flocchini, D. Ramazani: Distributed Objects with Sense of Direction. WDAS 1998: 1-12
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf K. Keller, Jean Tessier, Gregor von Bochmann: A Pattern System for Network Management Interfaces. Commun. ACM 41(9): 86-93 (1998)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelhakim 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)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelhakim Hafid, Gregor von Bochmann: Quality-of-Service Adaptation in Distributed Multimedia Applications. Multimedia Syst. 6(5): 299-315 (1998)
1997
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Fischer, Abdelhakim Hafid, Gregor von Bochmann, Hermann de Meer: Cooperative QoS Management for Multimedia Applications. ICMCS 1997: 303-310
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetre 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
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga: Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Abdelhakim Hafid: Some principles for quality of service management. Distributed Systems Engineering 4(1): 16-27 (1997)
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohnny 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)
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongping 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
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. FORTE 1996: 163-178
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQ. M. Tan, Alexandre Petrenko, Gregor von Bochmann: A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé: A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. HPDC 1996: 330-339
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre 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)
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kant, Teruo Higashino, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Computing 10(1): 29-47 (1996)
1995
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetre Dini, Gregor von Bochmann: Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment. FIW 1995: 115-126
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZ. P. Tao, Gregor von Bochmann, Rachida Dssouli: An efficient method for protocol conversion. ICCCN 1995: 40
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite: Validation of distributed algorithms and protocols. ICNP 1995: 110-117
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Khoumsi, Gregor von Bochmann: Protocol synthesis using basic Lotos and global variables. ICNP 1995: 126-
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhongping Tao, Gregor von Bochmann, Rachida Dssouli: Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQ. M. Tan, Alexandre Petrenko, Gregor von Bochmann: Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Alan Ezust, Gregor von Bochmann: An Automatic Trace Analysis Tool Generator for Estelle Specifications. SIGCOMM 1995: 175-184
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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)
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerhat Khendek, Gregor von Bochmann: Merging Behavior Specifications. Formal Methods in System Design 6(3): 259-293 (1995)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei: Distributed Multimedia and QOS: A Survey. IEEE MultiMedia 2(2): 10-19 (1995)
1994
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelhakim Hafid, Jan de Meer, Alex Rennoch, Gregor von Bochmann, Rachida Dssouli: Quality of service verification experiments. CASCON 1994: 23
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei: Distributed multimedia applications and quality of service: a survey. CASCON 1994: 71
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Object-Oriented Modelling and Development of Distributed Systems. COODBSE 1994: 90-113
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing 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
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM 1994: 768-775
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Alexandre Petrenko: Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA 1994: 109-124
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Khoumsi, Gregor von Bochmann, Rachida Dssouli: On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Gotzhein, Gregor von Bochmann: Specialization in Estelle. PSTV 1994: 21-36
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrigitte 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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTeruo 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)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang Luo, Anindya Das, Gregor von Bochmann: Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20(1): 72-87 (1994)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. 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
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, David K. Probst: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings Springer 1993
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMahamat 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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerhat Khendek, Gregor von Bochmann: Formal specifications design, evolution and reuse. CASCON 1993: 184-193
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Specification Languages for Communication Protocols. CHDL 1993: 379-396
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerhat Khendek, Gregor von Bochmann: Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS 1993: 157-166
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham: Modeling and Formal Specification of the Personal Communication Service. INFOCOM 1993: 756-765
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli: Multiple Fault Diagnostics for Finite State Machines. INFOCOM 1993: 782-791
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang 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
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre Petrenko, Gregor von Bochmann, Rachida Dssouli: Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang Luo, Anindya Das, Gregor von Bochmann: Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems 1993: 51-66
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Yu Yao, Gregor von Bochmann: Testing for a Conformance Relation Based on Acceptance. TAPSOFT 1993: 519-528
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng Wu, Gregor von Bochmann, Ming Yu Yao: Fairness of N-party Synchronization and Its Implementation in a Distributed Environment. WDAG 1993: 279-293
1992
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerhat Khendek, Gregor von Bochmann: A formalization of the CORDS Process Model using Mondel. CASCON 1992: 351-360
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Rico, Gregor von Bochmann, Omar Cherkaoui: Model-Checking for Real-Time Systems Specified in Lotos. CAV 1992: 288-301
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbderrazak Ghedamsi, Gregor von Bochmann: Test Result Analysis and Diagnostics for Finite State Machines. ICDCS 1992: 244-251
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann: Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems 1992: 105-116
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTeruo 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
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval: Object-Oriented Design for Distributed Systems and OSI Standards. ULPAA 1992: 265-280
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGang 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)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElspeth Cusack, Gregor von Bochmann: Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992)
1991
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheng Wu, Gregor von Bochmann: Fairness in LOTOS. FORTE 1991: 543-558
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval: Object-Oriented Design for ODP. Open Distributed Processing 1991: 435-439
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Rico, Gregor von Bochmann: Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. PSTV 1991: 199-213
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. Protocol Test Systems 1991: 17-30
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusumu Fujiwara, Gregor von Bochmann: Testing Non-Deterministic State Machines with Fault Coverage. Protocol Test Systems 1991: 267-280
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusumu 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)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReine Fournier, Gregor von Bochmann: The Equivalence in the DCP Model. Theor. Comput. Sci. 87(1): 97-114 (1991)
1990
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Barbeau, Gregor von Bochmann: Extension of the Karp and Miller Procedure to Lotos Specifications. CAV 1990: 333-342
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba: Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE 1990: 141-155
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachida Dssouli, Reine Fournier, Gregor von Bochmann: Distributed Observation and FIFO Queues. FORTE 1990: 303-310
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld: ASN.1 and Estelle Implementation Support Tools. FORTE 1990: 531-534
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Gotzhein, Gregor von Bochmann: Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. Comput. Syst. 8(4): 255-283 (1990)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBehçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann: Method of analysing extended finite-state machine specifications. Computer Communications 13(2): 83-92 (1990)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Pierre Mondain-Monval: Design Principles for Communication Gateways. IEEE Journal on Selected Areas in Communications 8(1): 12-21 (1990)
1989
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Qiang Gao, Cheng Wu: On the Distributed Implementation of LOTOS. FORTE 1989: 133-146
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Michel Deslauriers: Combining ASN1 Support with the LOTOS Language. PSTV 1989: 175-186
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerhat Khendek, Gregor von Bochmann, Christian Kant: New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM 1989: 136-145
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Protocol Specification for OSI. Computer Networks and ISDN Systems 18(3): 167-184 (1989)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. Computer Networks and ISDN Systems 18(5): 335-377 (1989)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Rachida Dssouli, J. R. Zhao: Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. 15(11): 1347-1356 (1989)
1988
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Delay-Independent Design for Distributed Systems. IEEE Trans. Software Eng. 14(8): 1229-1237 (1988)
1987
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Usage of Protocol Development Tools: The Results of a Survey. PSTV 1987: 139-161
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBehçet Sarikaya, Gregor von Bochmann, Eduard Cerny: A Test Design Methodology for Protocol Testing. IEEE Trans. Software Eng. 13(5): 518-531 (1987)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, George Walter Gerber, Jean-Marc Serre: Semiautomatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 13(9): 989-1000 (1987)
1986
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Reinhard Gotzhein: Deriving protocol specifications from service specifications. SIGCOMM 1986: 148-156
1985
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachida Dssouli, Gregor von Bochmann: Error detection with multiple observers. PSTV 1985: 483-494
1984
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Formal Description Techniques for OSI: an Example. INFOCOM 1984: 312-317
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Specification in Distributed Systems. Advanced Course: Local Area Networks 1983: 470-497
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip M. Merlin, Gregor von Bochmann: On the Construction of Submodule Specifications and Communication Protocols. ACM Trans. Program. Lang. Syst. 5(1): 1-25 (1983)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Michel Raynal: Structured Specification of Communicating Systems. IEEE Trans. Computers 32(2): 120-133 (1983)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude Jard, Gregor von Bochmann: An approach to testing specifications. Journal of Systems and Software 3(4): 315-323 (1983)
1982
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBehçet Sarikaya, Gregor von Bochmann: Some Experience with Test Sequence Generation for Protocols. PSTV 1982: 555-567
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Hardware Specification with Temporal Logic: En Example. IEEE Trans. Computers 31(3): 223-231 (1982)
1979
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Architecture of Distributed Computer Systems Springer 1979
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Distributed Synchronization and Regularity. Computer Networks 3: 36-43 (1979)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Joachim Tankoano: Development and Structure of an X.25 Implementation. IEEE Trans. Software Eng. 5(5): 429-439 (1979)
1978
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Synchronization in Distributed System Modules. Berkeley Workshop 1978: 322-339
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, P. Ward: Compiler Writing System for Attribute Grammars. Comput. J. 21(2): 144-148 (1978)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Finite State Description of Communication Protocols. Computer Networks 2: 361-372 (1978)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Compile Time Memory Allocation for Parallel Processes. IEEE Trans. Software Eng. 4(6): 517-520 (1978)
1977
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann, Jan Gecsei: A Unified Method for the Specification and Verification of Protocols. IFIP Congress 1977: 229-234
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Marcotty, Henry F. Ledgard, Gregor von Bochmann: Corrigendum: ``A Sampler of Formal Definitions''. ACM Comput. Surv. 9(2): 168 (1977)
1976
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Marcotty, Henry F. Ledgard, Gregor von Bochmann: A Sampler of Formal Definitions. ACM Comput. Surv. 8(2): 191-276 (1976)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Semantic Evaluation from Left to Right. Commun. ACM 19(2): 55-62 (1976)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor von Bochmann: Comments on Monitor Definition and Implementation. Inf. Process. Lett. 5(4): 116-117 (1976)
1974
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Lecarme, Gregor von Bochmann: A (Truly) Usable and Portable Compiler Writing System. IFIP Congress 1974: 218-221
1973
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregor 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]
8Morad Benyoucef [186]
9Raouf Boutaba [119]
10Rolv Bræk [160] [177]
11Jeff Brinskelle [109]
12Sergey Buffalov [144] [165]
13Scott Campbell [159] [161] [174]
14Humberto Nicolás Castejón [177]
15Eduard Cerny [17] [22] [28]
16Ken Y. Chan [138] [145]
17Nawel Chefaï [132] [139]
18Omar Cherkaoui [60]
19Elspeth Cusack [54]
20Bassel Daou [158] [162] [172]
21Joumana Dargham [69] [98]
22Anindya Das [49] [55] [64] [69] [75] [78] [80]
23D. Desbiens [69]
24Michel Deslauriers [36]
25Petre Dini [100] [112]
26Rachida 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]
27Eric Dubois [109]
28Martin Dubuc [43] [48] [49]
29Khaled El-Fakih [126] [130] [133] [136] [137] [144] [153] [165] [173]
30Khalil El-Khatib [129] [140] [147] [149] [154] [168] [175]
31Abdulmotaleb El-Saddik [154] [175]
32David Evans [109]
33S. Alan Ezust [94]
34Sergi Figuerola [174]
35Stefan Fischer [113]
36Paola Flocchini [117]
37Reine Fournier [42] [45]
38Susumu Fujiwara [46] [47]
39Michel Gagne [17]
40Qiang Gao [37] [98]
41Jan Gecsei [7] [82] [89] [91] [118]
42Nicolas D. Georganas [109] [132] [139]
43G. Gerber [22]
44George Walter Gerber [27]
45Abderrazak Ghedamsi [46] [49] [58] [59] [66] [68] [70]
46Reinhard Gotzhein [26] [40] [83]
47Roland Groz [98]
48Mahamat Guiagoussou [75] [119]
49Stefan Haar [179]
50N. Hadibi [147] [149]
51Abdelhakim Hafid [82] [90] [104] [109] [110] [113] [114] [115] [118] [120]
52Trevor J. Hall [169] [170] [187]
53Peng He [166] [167] [169] [176]
54Teruo Higashino [57] [81] [101] [126] [136] [143] [173]
55E. Houssain Htite [98]
56Norman C. Hutchinson [109]
57Paul Iglinski [109]
58Claude Jard [17] [18] [179]
59Guy-Vincent Jourdan [179] [184] [185]
60Christian Kant [35] [101]
61Rudolf K. Keller [116]
62Brigitte Kerhervé [82] [89] [91] [104] [109] [124] [128] [141] [146] [148] [152]
63Ferhat Khendek [35] [46] [61] [71] [73] [92]
64Ahmed Khoumsi [84] [97] [122]
65Thomas Koch [112]
66Vassilios N. Koukoulidis [39]
67Bernd J. Krämer [112]
68Clement Lacaille [17]
69Yair Lahav [125]
70Louise Lamont [109]
71Olivier Lecarme [2]
72Henry F. Ledgard [5] [6]
73Alain Léveillé [17]
74Hui Li [186]
75Xiangdong Li [57]
76Gang Luo [49] [55] [64] [66] [79] [80]
77Hanan Lutfiyya (Hanan Lutfi Lutfiyya) [128]
78Kelly A. Lyons [109]
79Abdelilah Maach [134] [150] [155] [156] [164]
80Erika Madja [118]
81S. Maguiraga [111]
82Dwight J. Makaroff [109]
83Michel Maksud [17] [22]
84Michael Marcotty [5] [6]
85Hermann de Meer [113]
86Jan de Meer [90]
87Philip M. Merlin [20]
88Mohamed-Vall O. Mohamed-Salem [128] [142]
89Pierre Mondain-Monval [38] [51] [56] [93]
90H. T. Mouftah (Hussein T. Mouftah) [150] [155] [164]
91Gerald W. Neufeld [41] [109]
92Vincent Oria [141]
93Daniel Ouimet [41]
94M. Tamer Özsu [109]
95Sofia A. Paredes [170] [187]
96Cheng Peng [169] [170] [171]
97Alexandre Petrenko [65] [67] [79] [85] [86] [87] [95] [102] [103] [105] [106] [111]
98B. H. Phan [22]
99Stéphane Poirier [51] [56] [93]
100Robert L. Probert [127]
101David K. Probst [76]
102Svetlana Prokopenko [137]
103Guy Pujolle [77]
104Ying Qiao [180] [181]
105Omar Rafiq [107]
106S. V. Raghavan [77]
107K. S. Raghunathan [17]
108D. Ramazani [117] [123]
109Michel Raynal [19]
110Alex Rennoch [90]
111Nathalie Rico [50] [60]
112F. Saba [43]
113Richard Torbjørn Sanders [160]
114Behçet Sarikaya [16] [17] [22] [25] [28] [39]
115Michel Savoie [159] [161] [174] [178] [189] [190]
116Jean-Marc Serre [22] [27]
117Jianqiang Shi [157]
118Wanderley Lopes de Souza [25]
119Duane Szafron [109]
120Q. M. Tan [95] [105]
121Kenichi Taniguchi [57]
122Joachim Tankoano [12]
123Z. P. Tao [99]
124Zhongping Tao [96] [108]
125Jean Tessier [116]
126Hasan Ural [25] [127]
127Rolf J. Velthuys [109]
128Pallapa Venkataram [66]
129Jean-Pierre Verjus [29]
130Andreas Vogel [82] [89] [91]
131P. Ward [10]
132Johnny W. Wong [109] [142]
133Cheng Wu [37] [52] [55] [62]
134Jing Wu [159] [161] [178] [189] [190]
135Hirozumi Yamaguchi [126] [136] [143] [173]
136Zhen Yang [121]
137Ming Yu Yao [62] [63] [67] [86] [87] [102]
138Keiichi Yasumoto [57]
139Haiwei Ye [124] [128] [141] [146] [148] [152]
140Nina Yevtushenko [103] [106] [130] [133] [137] [144] [153] [165]
141Hassan Zeineddine [156] [166] [188]
142Hanxi Zhang [159] [161] [174]
143James Yiming Zhang [178] [189] [190]
144Zhen E. Zhang [149]
145J. R. Zhao [32]
146Jun Zheng [171]
147Yu Zhong [129]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)