 | 2009 |
|---|
| 191 |       | Gregor von Bochmann:
Using First-Order Logic to Reason about Submodule Construction.
FMOODS/FORTE 2009: 213-218 |
| 190 | | James Yiming Zhang,
Jing Wu,
Gregor von Bochmann,
Michel Savoie:
Differentiated Static Resource Allocation in WDM Networks.
ICC 2009: 1-5 |
| 189 | | James Yiming Zhang,
Jing Wu,
Gregor von Bochmann,
Michel Savoie:
Resource Criticality Analysis of Static Resource Allocations in WDM Networks.
ICC 2009: 1-5 |
| 188 | | Hassan Zeineddine,
Gregor von Bochmann:
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks.
ICC 2009: 1-6 |
| 187 | | Sofia A. Paredes,
Gregor von Bochmann,
Trevor J. Hall:
Deploying agile photonic networks over reconfigurable optical networks.
ISCC 2009: 182-187 |
| 186 | | Hui Li,
Morad Benyoucef,
Gregor von Bochmann:
Towards a global online reputation.
MEDES 2009: 377-382 |
| 185 | | Guy-Vincent Jourdan,
Gregor von Bochmann:
On Testing 1-Safe Petri Nets.
TASE 2009: 275-281 |
| 184 | | Gregor von Bochmann,
Guy-Vincent Jourdan:
Testing k-Safe Petri Nets.
TestCom/FATES 2009: 33-48 |
| 183 | | Shah Asaduzzaman,
Gregor von Bochmann:
GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information
CoRR abs/0903.3759: (2009) |
| 182 | | Shah Asaduzzaman,
Gregor von Bochmann:
Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality
CoRR abs/0903.4113: (2009) |
| 181 | | Shah 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 |
|---|
| 180 | | Shah 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 |
| 179 | | Gregor von Bochmann,
Stefan Haar,
Claude Jard,
Guy-Vincent Jourdan:
Testing Systems Specified as Partial Order Input/Output Automata.
TestCom/FATES 2008: 169-183 |
| 178 | | James 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 |
|---|
| 177 | | Humberto Nicolás Castejón,
Rolv Bræk,
Gregor von Bochmann:
Realizability of Collaboration-based Service Specifications.
APSEC 2007: 73-80 |
| 176 | | Peng He,
Gregor von Bochmann:
Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks.
GLOBECOM 2007: 2325-2330 |
| 175 | | Khalil El-Khatib,
Gregor von Bochmann,
Abdulmotaleb El-Saddik:
A QoS-based Service Composition for Content Adaptation.
ICDE Workshops 2007: 331-338 |
| 174 | | Hanxi 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 |
| 173 | | Hirozumi 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 |
|---|
| 172 | | Bassel Daou,
Gregor von Bochmann:
Generalizing the Submodule Construction Techniques for Extended State Machine Models.
FORTE 2006: 191-195 |
| 171 | | Jun Zheng,
Cheng Peng,
Gregor von Bochmann:
Blocking Model for All-Optical Overlaid-Star TDM Networks.
GLOBECOM 2006 |
| 170 | | Cheng Peng,
Sofia A. Paredes,
Trevor J. Hall,
Gregor von Bochmann:
Constructing Service Matrices for Agile All-Optical Cores.
ISCC 2006: 967-973 |
| 169 | | Cheng Peng,
Peng He,
Gregor von Bochmann,
Trevor J. Hall:
Delay Performance Analysis for an Agile All-Photonic Star Network.
Networking 2006: 368-378 |
| 168 | | Khalil 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 |
| 165 | | Khaled 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 |
|---|
| 164 | | Abdelilah 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 |
| 162 | | Bassel 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 |
| 160 | | Richard Torbjørn Sanders,
Rolv Bræk,
Gregor von Bochmann,
Daniel Amyot:
Service Discovery and Component Reuse with Semantic Interfaces.
SDL Forum 2005: 85-102 |
| 159 | | Jing 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 |
|---|
| 158 | | Gregor von Bochmann,
Bassel Daou:
Comparison of Methods for Supervisory Control and Submodule Construction.
ACSD 2004: 111-114 |
| 157 | | Jianqiang Shi,
Gregor von Bochmann,
Carlisle M. Adams:
A Trust Model with Statistical Foundation.
Formal Aspects in Security and Trust 2004: 145-158 |
| 156 | | Abdelilah Maach,
Hassan Zeineddine,
Gregor von Bochmann:
A Bandwidth Allocation Scheme in Optical TDM.
HSNMC 2004: 801-812 |
| 155 | | Abdelilah Maach,
Gregor von Bochmann,
Hussein T. Mouftah:
Shared Protection for Time Slotted Optical Networks.
NCA 2004: 333-336 |
| 154 | | Khalil El-Khatib,
Gregor von Bochmann,
Abdulmotaleb El-Saddik:
A QoS-Based Framework for Distributed Content Adaptation.
QSHINE 2004: 308-312 |
| 153 | | Khaled 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) |
| 151 | | Gregor von Bochmann:
High-level design for user and component interfaces.
Knowl.-Based Syst. 17(5-6): 303-310 (2004) |
| 150 | | Abdelilah Maach,
Gregor von Bochmann,
Hussein T. Mouftah:
Congestion Control and Contention Elimination in Optical Burst Switching.
Telecommunication Systems 27(2-4): 115-131 (2004) |
| 149 | | Khalil 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 |
|---|
| 148 | | Haiwei Ye,
Brigitte Kerhervé,
Gregor von Bochmann:
Integrating Quality of Service into Database Systems.
DEXA 2003: 803-812 |
| 147 | | Khalil El-Khatib,
N. Hadibi,
Gregor von Bochmann:
Support for Personal and Service Mobility in Ubiquitous Computing Environments.
Euro-Par 2003: 1046-1055 |
| 146 | | Haiwei 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 |
| 144 | | Sergey Buffalov,
Khaled El-Fakih,
Nina Yevtushenko,
Gregor von Bochmann:
Progressive Solutions to a Parallel Automata Equation.
FORTE 2003: 367-382 |
| 143 | | Hirozumi Yamaguchi,
Gregor von Bochmann,
Teruo Higashino:
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.
FORTE 2003: 399-414 |
| 142 | | Mohamed-Vall O. Mohamed-Salem,
Gregor von Bochmann,
Johnny W. Wong:
Scaling Server Selection Using a Multi-Broker Architecture.
ICDCS Workshops 2003: 934- |
| 141 | | Haiwei Ye,
Brigitte Kerhervé,
Gregor von Bochmann,
Vincent Oria:
Pushing Quality of Service Information and Requirements into Global Query Optimization.
IDEAS 2003: 170-179 |
| 140 | | Khalil El-Khatib,
Gregor von Bochmann:
Agent Support for Context-Aware Services and Personal Mobility.
MATA 2003: 89-98 |
| 139 | | Nawel Chefaï,
Gregor von Bochmann,
Nicolas D. Georganas:
Performance Evaluation of the Preemptive Bandwidth Allocation Protocol.
MIPS 2003: 182-194 |
| 138 | | Ken Y. Chan,
Gregor von Bochmann:
Modeling IETF Session Initiation Protocol and Its Services in SDL.
SDL Forum 2003: 352-373 |
| 137 | | Khaled El-Fakih,
Svetlana Prokopenko,
Nina Yevtushenko,
Gregor von Bochmann:
Fault Diagnosis in Extended Finite State Machines.
TestCom 2003: 197-210 |
| 136 | | Hirozumi Yamaguchi,
Khaled El-Fakih,
Gregor von Bochmann,
Teruo Higashino:
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.
Distributed Computing 16(1): 21-35 (2003) |
| 2002 |
|---|
| 135 | | Gregor 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 |
|---|
| 132 | | Nawel Chefaï,
Nicolas D. Georganas,
Gregor von Bochmann:
Preemptive bandwidth allocation protocol for multicast, multi-streams environments.
ACM Multimedia 2001: 528-530 |
| 131 | | Gregor 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 |
| 129 | | Khalil 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 |
| 128 | | Gregor 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 |
| 126 | | Khaled 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 |
| 124 | | Haiwei 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 |
|---|
| 118 | | Erika Madja,
Abdelhakim Hafid,
Rachida Dssouli,
Gregor von Bochmann,
Jan Gecsei:
Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW).
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) |
| 115 | | Abdelhakim 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) |
| 114 | | Abdelhakim 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 |
| 110 | | Gregor 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 |
| 104 | | Abdelhakim Hafid,
Gregor von Bochmann,
Brigitte Kerhervé:
A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications.
HPDC 1996: 330-339 |
| 103 | | Alexandre Petrenko,
Nina Yevtushenko,
Gregor von Bochmann,
Rachida Dssouli:
Testing in context: framework and test derivation.
Computer Communications 19(14): 1236-1249 (1996) |
| 102 | | Alexandre 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 |
| 99 | | Z. P. Tao,
Gregor von Bochmann,
Rachida Dssouli:
An efficient method for protocol conversion.
ICCCN 1995: 40 |
| 98 | | Qiang Gao,
Roland Groz,
Gregor von Bochmann,
Joumana Dargham,
E. Houssain Htite:
Validation of distributed algorithms and protocols.
ICNP 1995: 110-117 |
| 97 | | Ahmed Khoumsi,
Gregor von Bochmann:
Protocol synthesis using basic Lotos and global variables.
ICNP 1995: 126- |
| 96 | | Zhongping 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 |
| 94 | | S. Alan Ezust,
Gregor von Bochmann:
An Automatic Trace Analysis Tool Generator for Estelle Specifications.
SIGCOMM 1995: 175-184 |
| 93 | | Gregor 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) |
| 91 | | Andreas Vogel,
Brigitte Kerhervé,
Gregor von Bochmann,
Jan Gecsei:
Distributed Multimedia and QOS: A Survey.
IEEE MultiMedia 2(2): 10-19 (1995) |
| 1994 |
|---|
| 90 | | Abdelhakim Hafid,
Jan de Meer,
Alex Rennoch,
Gregor von Bochmann,
Rachida Dssouli:
Quality of service verification experiments.
CASCON 1994: 23 |
| 89 | | Andreas 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 |
| 85 | | Gregor 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 |
| 81 | | Teruo 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) |
| 80 | | Gang Luo,
Anindya Das,
Gregor von Bochmann:
Software Testing Based on SDL Specifications with Save.
IEEE Trans. Software Eng. 20(1): 72-87 (1994) |
| 79 | | Gang 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 |
| 74 | | Michel 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 |
| 73 | | Ferhat 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 |
| 63 | | Ming Yu Yao,
Gregor von Bochmann:
Testing for a Conformance Relation Based on Acceptance.
TAPSOFT 1993: 519-528 |
| 62 | | Cheng Wu,
Gregor von Bochmann,
Ming Yu Yao:
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment.
WDAG 1993: 279-293 |
| 1992 |
|---|
| 61 | | Ferhat Khendek,
Gregor von Bochmann:
A formalization of the CORDS Process Model using Mondel.
CASCON 1992: 351-360 |
| 60 | | Nathalie 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 |
|---|
| 53 | | Michel 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 |
| 46 | | Susumu 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 |
|---|
| 44 | | Michel 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 |
| 40 | | Reinhard Gotzhein,
Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Including Parameters.
ACM Trans. Comput. Syst. 8(4): 255-283 (1990) |
| 39 | | Behç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 |
| 35 | | Ferhat 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) |
| 32 | | Gregor von Bochmann,
Rachida Dssouli,
J. R. Zhao:
Trace Analysis for Conformance and Arbitration Testing.
IEEE Trans. Software Eng. 15(11): 1347-1356 (1989) |
| 1988 |
|---|
| 31 | | Gregor 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 |
|---|
| 26 | | Gregor 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 |
| 20 | | Philip 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) |
| 18 | | Claude 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) |
