default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGregor von Bochmann
Gregor v. Bochmann
Person information
- affiliation: University of Ottawa, Canada
- affiliation: Université de Montréal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j89]Khaled El-Fakih
, Gregor v. Bochmann:
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers. IEEE Trans. Software Eng. 47(1): 1-16 (2021)- [c182]Qian Cui, Guy-Vincent Jourdan, Gregor v. Bochmann, Iosif-Viorel Onut:
Proactive Detection of Phishing Kit Traffic. ACNS (2) 2021: 257-286 - 2020
- [c181]Qian Cui, Guy-Vincent Jourdan, Gregor v. Bochmann, Iosif-Viorel Onut:
SemanticPhish: A Semantic-based Scanning System for Early Detection of Phishing Attacks. eCrime 2020: 1-12 - [c180]Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut:
An Automatic Detection and Analysis of the Bitcoin Generator Scam. EuroS&P Workshops 2020: 407-416
2010 – 2019
- 2019
- [j88]Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut:
Automatic Detection and Analysis of the "Game Hack" Scam. J. Web Eng. 18(8): 729-760 (2019) - [c179]Sophie Le Page, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood:
Domain Classifier: Compromised Machines Versus Malicious Registrations. ICWE 2019: 265-279 - [c178]Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood:
The "Game Hack" Scam. ICWE 2019: 280-295 - [c177]Mohammad F. Al-hammouri, Gregor von Bochmann:
Deriving Distributed Design Models from Global State Machines Requirements. SAM 2019: 27-43 - 2018
- [j87]Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Russell Couturier, Iosif-Viorel Onut:
Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces. J. Internet Serv. Appl. 9(1): 9:1-9:27 (2018) - [c176]Sophie Le Page, Guy-Vincent Jourdan, Gregor von Bochmann, Jason Flood, Iosif-Viorel Onut:
Using URL shorteners to compare phishing and malware attacks. eCrime 2018: 1-13 - [c175]Qian Cui, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood:
Phishing Attacks Modifications and Evolutions. ESORICS (1) 2018: 243-262 - [c174]Sophie Le Page, Gregor von Bochmann, Qian Cui, Jason Flood, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Using AP-TED to Detect Phishing Attack Variations. PST 2018: 1-6 - [c173]Mohammad F. Al-hammouri, Gregor von Bochmann:
Realizability of Service Specifications. SAM 2018: 127-143 - 2017
- [j86]Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog:
Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. 29(4): 583-600 (2017) - [c172]Qian Cui, Guy-Vincent Jourdan, Gregor von Bochmann, Russell Couturier, Iosif-Viorel Onut:
Tracking Phishing Attacks Over Time. WWW 2017: 667-676 - 2016
- [c171]Salman Hooshmand, Muhammad Faheem, Gregor von Bochmann, Guy-Vincent Jourdan, Russell Couturier, Iosif-Viorel Onut:
D-ForenRIA: a distributed tool to reconstruct user sessions for rich internet applications. CASCON 2016: 64-74 - [c170]Sara Baghbanzadeh, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Seyed M. Mirtaheri, Muhammad Faheem, Iosif-Viorel Onut:
Reconstructing Interactions with Rich Internet Applications from HTTP Traces. IFIP Int. Conf. Digital Forensics 2016: 147-164 - [c169]Khaled Ben Hafaiedh, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Fault Tolerant P2P RIA Crawling. NETYS 2016: 32-47 - [c168]Gregor von Bochmann:
Conformance Testing with Respect to Partial-Order Specifications. ICTSS 2016: 3-17 - [c167]Salman Hooshmand, Akib Mahmud, Gregor von Bochmann, Muhammad Faheem, Guy-Vincent Jourdan, Russ Couturier, Iosif-Viorel Onut:
D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich Internet Applications. WWW (Companion Volume) 2016: 211-214 - 2015
- [c166]Guy-Vincent Jourdan, Gregor von Bochmann, Ettore Merlo, James Miller, Vio Onut, Lin Tan:
Workshop on the application of security and testing to rich internet applications. CASCON 2015: 320-322 - [c165]Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog:
Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA 2015: 71-86 - 2014
- [j85]Jing Zhou, Gregor von Bochmann, Zhongzhi Shi:
Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System. Int. J. Netw. Comput. 4(1): 88-110 (2014) - [j84]Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Model-Based Rich Internet Applications Crawling: "Menu" and "Probability" Models. J. Web Eng. 13(3&4): 243-262 (2014) - [j83]Mustafa Emre Dincturk, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut:
A Model-Based Approach for Crawling Rich Internet Applications. ACM Trans. Web 8(3): 19:1-19:39 (2014) - [c164]Khaled Ben Hafaiedh, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
A Scalable P2P RIA Crawling System with Partial Knowledge. NETYS 2014: 185-199 - [c163]Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications. NETYS 2014: 200-214 - [c162]Gregor von Bochmann:
Associativity between Weak and Strict Sequencing. SAM 2014: 96-109 - [c161]Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
PDist-RIA Crawler: A Peer-to-Peer Distributed Crawler for Rich Internet Applications. WISE (2) 2014: 365-380 - [i4]Seyed M. Mirtaheri, Mustafa Emre Dinçtürk, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
A Brief History of Web Crawlers. CoRR abs/1405.0749 (2014) - 2013
- [j82]James Yiming Zhang, Jing Wu, Gregor von Bochmann:
A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem. Comput. Commun. 36(5): 600-606 (2013) - [j81]Gregor von Bochmann:
Using logic to solve the submodule construction problem. Discret. Event Dyn. Syst. 23(1): 27-59 (2013) - [j80]Humberto Nicolás Castejón Martínez, Gregor von Bochmann, Rolv Bræk:
On the realizability of collaborative services. Softw. Syst. Model. 12(3): 597-617 (2013) - [c160]Seyed M. Mirtaheri, Di Zou, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Dist-RIA Crawler: A Distributed Crawler for Rich Internet Applications. 3PGCIC 2013: 105-112 - [c159]Seyed M. Mirtaheri, Mustafa Emre Dinçtürk, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
A brief history of web crawlers. CASCON 2013: 40-54 - [c158]Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut:
Building Rich Internet Applications Models: Example of a Better Strategy. ICWE 2013: 291-305 - [c157]Jing Zhou, Gregor von Bochmann, Zhongzhi Shi:
Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing System. IPDPS Workshops 2013: 687-695 - [c156]Toqeer Israr, Gregor von Bochmann:
Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus. NiM-ALP@MoDELS 2013: 16-23 - [c155]Toqeer Israr, Gregor von Bochmann:
Stochastic Performance Analysis of Distributed Activities. NiM-ALP@MoDELS 2013: 24-31 - [c154]Gregor von Bochmann, Shah Asaduzzaman:
Distributed B-Tree with Weak Consistency. NETYS 2013: 159-174 - 2012
- [j79]Ying Qiao, Gregor von Bochmann:
Load balancing in peer-to-peer systems using a diffusive approach. Computing 94(8-10): 649-678 (2012) - [j78]Jing Wu, James Yiming Zhang, Gregor von Bochmann, Michel Savoie:
Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control. J. Netw. Syst. Manag. 20(1): 6-33 (2012) - [j77]Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann:
FSM-based testing from user defined faults adapted to incremental and mutation testing. Program. Comput. Softw. 38(4): 201-209 (2012) - [c153]Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Ali Moosavi, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Crawling rich internet applications: the state of the art. CASCON 2012: 146-160 - [c152]Bo Wan, Gregor von Bochmann, Guy-Vincent Jourdan:
Evaluating Reliability-Testing Usage Models. COMPSAC 2012: 129-137 - [c151]Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu:
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. ICST 2012: 850-857 - [c150]Mustafa Emre Dincturk, Suryakant Choudhary, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
A Statistical Approach for Efficient Crawling of Rich Internet Applications. ICWE 2012: 362-369 - 2011
- [c149]Ying Qiao, Gregor von Bochmann:
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services. AIMS 2011: 124-135 - [c148]Kamara Benjamin, Gregor von Bochmann, Mustafa Emre Dincturk, Guy-Vincent Jourdan, Iosif-Viorel Onut:
A Strategy for Efficient Crawling of Rich Internet Applications. ICWE 2011: 74-89 - [c147]Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan:
Improved Usage Model for Web Application Reliability Testing. ICTSS 2011: 15-31 - [c146]Nasser Mousa Faleh. Mustafa, Gregor von Bochmann:
Transforming dynamic behavior specifications from activity diagrams to BPEL. SOSE 2011: 305-311 - [c145]Toqeer Israr, Gregor von Bochmann:
Performance modeling of distributed collaboration services. ICPE 2011: 475-480 - 2010
- [j76]Gregor von Bochmann, Dave Rayner, Colin H. West:
Some notes on the history of protocol engineering. Comput. Networks 54(18): 3197-3209 (2010) - [j75]Shen Yu, Jing Wu, James Yiming Zhang, Gregor von Bochmann:
Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Networks". IEEE J. Sel. Areas Commun. 28(9): 1502-1503 (2010) - [j74]Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann:
CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT. Peer-to-Peer Netw. Appl. 3(2): 100-114 (2010) - [j73]Ying Qiao, Gregor von Bochmann:
Applying diffusive load balancing schemes in a clustered P2P system. Stud. Inform. Univ. 8(3): 99-128 (2010) - [c144]Kamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut:
Some Modeling Challenges When Testing Rich Internet Applications for Security. ICST Workshops 2010: 403-409
2000 – 2009
- 2009
- [j72]James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie:
A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem. IEEE Commun. Lett. 13(5): 345-347 (2009) - [j71]James Yiming Zhang, Jing Wu, Gregor v. Bochmann, Michel Savoie:
Resource Criticality Analysis of Static Resource Allocations and Its Applications in WDM Network Planning. JOCN 1(4): 294-306 (2009) - [c143]Gregor von Bochmann:
Using First-Order Logic to Reason about Submodule Construction. FMOODS/FORTE 2009: 213-218 - [c142]Hassan Zeineddine, Gregor von Bochmann:
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks. ICC 2009: 1-6 - [c141]James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie:
Differentiated Static Resource Allocation in WDM Networks. ICC 2009: 1-5 - [c140]James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie:
Resource Criticality Analysis of Static Resource Allocations in WDM Networks. ICC 2009: 1-5 - [c139]Ying Qiao, Gregor von Bochmann:
A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems. ICPADS 2009: 842-847 - [c138]Sofia A. Paredes, Gregor von Bochmann, Trevor J. Hall:
Deploying agile photonic networks over reconfigurable optical networks. ISCC 2009: 182-187 - [c137]Hui Li, Morad Benyoucef, Gregor von Bochmann:
Towards a global online reputation. MEDES 2009: 377-382 - [c136]Gregor von Bochmann, Guy-Vincent Jourdan:
Testing k-Safe Petri Nets. TestCom/FATES 2009: 33-48 - [c135]Guy-Vincent Jourdan, Gregor von Bochmann:
On Testing 1-Safe Petri Nets. TASE 2009: 275-281 - [i3]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) - [i2]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) - [i1]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
- [j70]James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie:
Grade-of-service differentiated static resource allocation schemes in WDM networks. Opt. Switch. Netw. 5(2-3): 107-122 (2008) - [c134]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 - [c133]Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183 - 2007
- [j69]Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino:
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Comput. Networks 51(1): 258-284 (2007) - [c132]Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann:
Realizability of Collaboration-based Service Specifications. APSEC 2007: 73-80 - [c131]Peng He, Gregor von Bochmann:
Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks. GLOBECOM 2007: 2325-2330 - [c130]Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik:
A QoS-based Service Composition for Content Adaptation. ICDE Workshops 2007: 331-338 - [c129]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 - 2006
- [j68]Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Petri net-based protocol synthesis with minimum communication costs. J. Frankl. Inst. 343(4-5): 501-520 (2006) - [j67]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) - [c128]Bassel Daou, Gregor von Bochmann:
Generalizing the Submodule Construction Techniques for Extended State Machine Models. FORTE 2006: 191-195 - [c127]Jun Zheng, Cheng Peng, Gregor von Bochmann:
Blocking Model for All-Optical Overlaid-Star TDM Networks. GLOBECOM 2006 - [c126]Cheng Peng, Gregor von Bochmann, Trevor J. Hall:
Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic Network Cores. ICC 2006: 2593-2598 - [c125]Cheng Peng, Sofia A. Paredes, Trevor J. Hall, Gregor von Bochmann:
Constructing Service Matrices for Agile All-Optical Cores. ISCC 2006: 967-973 - [c124]Khalil El-Khatib, Gregor von Bochmann:
Protecting the privacy of user's QoS preferences for multimedia applications. WMuNeP 2006: 35-42 - [c123]Cheng Peng, Peng He, Gregor von Bochmann, Trevor J. Hall:
Delay Performance Analysis for an Agile All-Photonic Star Network. Networking 2006: 368-378 - [c122]Peng He, Gregor von Bochmann:
Routing of MPLS Flows over an Agile All-Photonic Star Network. Wireless and Optical Communications 2006: 138-144 - [c121]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 - 2005
- [j66]Jing Wu, Michel Savoie, Scott Campbell, Hanxi Zhang, Gregor von Bochmann, Bill St. Arnaud:
Customer-managed end-to-end lightpath provisioning. Int. J. Netw. Manag. 15(5): 349-362 (2005) - [c120]Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah:
An optimal shared protection scheme for optical networks. AICCSA 2005: 71 - [c119]Gregor von Bochmann:
Hierarchical Inter-Domain Management for Networks with Condo-Switches. Communication Systems and Applications 2005: 190-196 - [c118]Bassel Daou, Gregor von Bochmann:
Submodule Construction for Extended State Machine Models. FORTE 2005: 396-410 - [c117]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 - [c116]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 - 2004
- [j65]Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann:
QoS-based Distributed Query Processing. Ingénierie des Systèmes d Inf. 9(5-6): 205-234 (2004) - [j64]Gregor von Bochmann:
High-level design for user and component interfaces. Knowl. Based Syst. 17(5-6): 303-310 (2004) - [j63]Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah:
Congestion Control and Contention Elimination in Optical Burst Switching. Telecommun. Syst. 27(2-4): 115-131 (2004) - [j62]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. 30(7): 425-436 (2004) - [j61]Khalil El-Khatib, Zhen E. Zhang, N. Hadibi, Gregor von Bochmann:
Personal and service mobility in ubiquitous computing environments. Wirel. Commun. Mob. Comput. 4(6): 595-607 (2004) - [c115]Gregor von Bochmann, Bassel Daou:
Comparison of Methods for Supervisory Control and Submodule Construction. ACSD 2004: 111-114 - [c114]Abdelilah Maach, Hassan Zeineddine, Gregor von Bochmann:
A Bandwidth Allocation Scheme in Optical TDM. HSNMC 2004: 801-812 - [c113]Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams:
A Trust Model with Statistical Foundation. Formal Aspects in Security and Trust 2004: 145-158 - [c112]Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah:
Shared Protection for Time Slotted Optical Networks. NCA 2004: 333-336 - [c111]Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El-Saddik:
A QoS-Based Framework for Distributed Content Adaptation. QSHINE 2004: 308-312 - 2003
- [j60]Gregor von Bochmann, Johnny W. Wong, David Evans, Terence C. Lau, Don Bourne, Brigitte Kerhervé, Mohamed-Vall M. Salem, Haiwei Ye:
Scalability of Web-based electronic commerce systems. IEEE Commun. Mag. 41(7): 110-115 (2003) - [j59]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 Comput. 16(1): 21-35 (2003) - [c110]Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann:
Integrating Quality of Service into Database Systems. DEXA 2003: 803-812 - [c109]Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann:
Revisiting Join Site Selection in Distributed Database Systems. Euro-Par 2003: 342-347 - [c108]Khalil El-Khatib, N. Hadibi, Gregor von Bochmann:
Support for Personal and Service Mobility in Ubiquitous Computing Environments. Euro-Par 2003: 1046-1055 - [c107]Ken Y. Chan, Gregor von Bochmann:
Methods for Designing SIP Features in SDL with Fewer Feature Interactions. FIW 2003: 59-76 - [c106]Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Progressive Solutions to a Parallel Automata Equation. FORTE 2003: 367-382 - [c105]Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino:
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE 2003: 399-414 - [c104]Mohamed-Vall O. Mohamed-Salem, Gregor von Bochmann, Johnny W. Wong:
Scaling Server Selection Using a Multi-Broker Architecture. ICDCS Workshops 2003: 934- - [c103]Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Vincent Oria:
Pushing Quality of Service Information and Requirements into Global Query Optimization. IDEAS 2003: 170-179 - [c102]Mohamed-Vall O. Mohamed-Salem, J. Chen, Gregor von Bochmann, Johnny W. Wong:
An experimental prototype for scalable server selection. IPCCC 2003: 505-512 - [c101]Khalil El-Khatib, Gregor von Bochmann:
Agent Support for Context-Aware Services and Personal Mobility. MATA 2003: 89-98 - [c100]Nawel Chefaï, Gregor von Bochmann, Nicolas D. Georganas:
Performance Evaluation of the Preemptive Bandwidth Allocation Protocol. MIPS 2003: 182-194 - [c99]Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Diagnosis in Extended Finite State Machines. TestCom 2003: 197-210 - [c98]Ken Y. Chan, Gregor von Bochmann:
Modeling IETF Session Initiation Protocol and Its Services in SDL. SDL Forum 2003: 352-373 - 2002
- [c97]Gregor von Bochmann:
Submodule Construction for Specifications with Input Assumptions and Output Guarantees. FORTE 2002: 17-33 - [c96]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 - [c95]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
FSM-based Re-Testing Methods. TestCom 2002: 373-390 - 2001
- [c94]Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann:
Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE 2001: 85-100 - [c93]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 - [c92]Gregor von Bochmann, Brigitte Kerhervé, Hanan Lutfiyya, Mohamed-Vall O. Mohamed-Salem, Haiwei Ye:
Introducing QoS to Electronic Commerce Applications. ISEC 2001: 138-147 - [c91]Nawel Chefaï, Nicolas D. Georganas, Gregor von Bochmann:
Preemptive bandwidth allocation protocol for multicast, multi-streams environments. ACM Multimedia 2001: 528-530 - [c90]Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Don Bourne:
Data Distribution Strategies for Providing Database Scalability in E-commerce Applications. WECWIS 2001: 86-89 - [c89]Gregor von Bochmann:
Submodule Construction and Supervisory Control: A Generalization. CIAA 2001: 27-39 - 2000
- [c88]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 - [e6]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. IFIP Conference Proceedings 176, Kluwer 2000, ISBN 0-7923-7921-7 [contents]
1990 – 1999
- 1999
- [j58]Abdelhakim Hafid, Gregor von Bochmann:
An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation. Multim. Tools Appl. 9(2): 167-191 (1999) - [j57]Mahamat Guiagoussou, Raouf Boutaba, Gregor von Bochmann:
A Framework for Alarm Correlation and Fault Diagnostics. Netw. Inf. Syst. J. 2(4): 459-482 (1999) - [c87]Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann:
QoS Aware Distributed Query Processing. DEXA Workshop 1999: 923-927 - [c86]D. Ramazani, Gregor von Bochmann:
Object Composition: A Case Study. FMOODS 1999 - [c85]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
Protocol Synthesis for Real-Time Applications. FORTE 1999: 417-433 - [c84]Gregor von Bochmann, Zhen Yang:
Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF. IDMS 1999: 133-145 - [e5]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 [contents] - 1998
- [j56]Rudolf K. Keller, Jean Tessier, Gregor von Bochmann:
A Pattern System for Network Management Interfaces. Commun. ACM 41(9): 86-93 (1998) - [j55]Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli:
A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Comput. Networks 30(8): 777-794 (1998) - [j54]Abdelhakim Hafid, Gregor von Bochmann:
Quality-of-Service Adaptation in Distributed Multimedia Applications. Multim. Syst. 6(5): 299-315 (1998) - [c83]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- - [c82]Gregor von Bochmann, Paola Flocchini, D. Ramazani:
Distributed Objects with Sense of Direction. WDAS 1998: 1-12 - 1997
- [j53]Gregor von Bochmann, Rachida Dssouli, Omar Rafiq:
Forte '95. Comput. Networks ISDN Syst. 29(7): 731-733 (1997) - [j52]Gregor von Bochmann, Abdelhakim Hafid:
Some principles for quality of service management. Distributed Syst. Eng. 4(1): 16-27 (1997) - [j51]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 Syst. J. 36(4): 489-507 (1997) - [j50]Zhongping Tao, Gregor von Bochmann, Rachida Dssouli:
A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. Mob. Networks Appl. 2(3): 259-269 (1997) - [c81]Stefan Fischer, Abdelhakim Hafid, Gregor von Bochmann, Hermann de Meer:
Cooperative QoS Management for Multimedia Applications. ICMCS 1997: 303-310 - [c80]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 - [c79]Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga:
Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276 - 1996
- [j49]Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao:
On Fault Coverage of Tests for Finite State Specifications. Comput. Networks ISDN Syst. 29(1): 81-106 (1996) - [j48]Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli:
Testing in context: framework and test derivation. Comput. Commun. 19(14): 1236-1249 (1996) - [j47]Christian Kant, Teruo Higashino, Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Comput. 10(1): 29-47 (1996) - [c78]Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Models for Testing in Context. FORTE 1996: 163-178 - [c77]Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann:
A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238 - [c76]Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé:
A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. HPDC 1996: 330-339 - [c75]Gregor von Bochmann, Brigitte Kerhervé, Abdelhakim Hafid, Petre Dini, Anne Pons:
Architectural design of adaptive distributed multimedia systems. MMSD 1996: 31-40 - [c74]Brigitte Kerhervé, Anne Pons, Gregor v. Bochmann, Abdelhakim Hafid:
Metadata Modeling for Quality of Service Management in Distributed Multimedia Systems. MD 1996 - [e4]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. IFIP Conference Proceedings 43, Chapman & Hall 1996, ISBN 0-412-73270-X [contents] - 1995
- [j46]Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval:
Object-Oriented Design for Distributed Systems: The OSI Directory Example. Comput. Networks ISDN Syst. 27(4): 571-590 (1995) - [j45]Ferhat Khendek, Gregor von Bochmann:
Merging Behavior Specifications. Formal Methods Syst. Des. 6(3): 259-293 (1995) - [j44]Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei:
Distributed Multimedia and QOS: A Survey. IEEE Multim. 2(2): 10-19 (1995) - [j43]Issam A. Hamid, Mohammed Erradi, Gregor von Bochmann, Setsuo Ohsuga:
Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language. IEICE Trans. Inf. Syst. 78-D(4): 363-382 (1995) - [c73]Petre Dini, Gregor von Bochmann:
Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment. FIW 1995: 115-126 - [c72]Z. P. Tao, Gregor von Bochmann, Rachida Dssouli:
An efficient method for protocol conversion. ICCCN 1995: 40 - [c71]Zhongping Tao, Gregor von Bochmann, Rachida Dssouli:
Verification and diagnosis of testing equivalence and reduction relation. ICNP 1995: 14-21 - [c70]Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite:
Validation of distributed algorithms and protocols. ICNP 1995: 110-117 - [c69]Ahmed Khoumsi, Gregor von Bochmann:
Protocol synthesis using basic Lotos and global variables. ICNP 1995: 126- - [c68]Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann:
Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152 - [c67]S. Alan Ezust, Gregor von Bochmann:
An Automatic Trace Analysis Tool Generator for Estelle Specifications. SIGCOMM 1995: 175-184 - 1994
- [j42]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) - [j41]Gang Luo, Anindya Das, Gregor von Bochmann:
Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20(1): 72-87 (1994) - [j40]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) - [c66]Abdelhakim Hafid, Jan de Meer, Axel Rennoch, Gregor von Bochmann, Rachida Dssouli:
Quality of service verification experiments. CASCON 1994: 23 - [c65]Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei:
Distributed multimedia applications and quality of service: a survey. CASCON 1994: 71 - [c64]Andreas Vogel, Gregor von Bochmann, Petre Dini, Andreas Polze:
Configuration in the framework of open distributed processing. CDS 1994: 106-111 - [c63]Gregor von Bochmann:
Object-Oriented Modelling and Development of Distributed Systems. COODBSE 1994: 90-113 - [c62]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 - [c61]Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann:
Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM 1994: 768-775 - [c60]Gregor von Bochmann, Alexandre Petrenko:
Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA 1994: 109-124 - [c59]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 - [c58]Reinhard Gotzhein, Gregor von Bochmann:
Specialization in Estelle. PSTV 1994: 21-36 - [c57]Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200 - 1993
- [c56]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 - [c55]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 - [c54]Ferhat Khendek, Gregor von Bochmann:
Formal specifications design, evolution and reuse. CASCON 1993: 184-193 - [c53]Gregor von Bochmann:
Specification Languages for Communication Protocols. CHDL 1993: 379-396 - [c52]Ferhat Khendek, Gregor von Bochmann:
Incremental Construction Approach for Distributed System Specifications. FORTE 1993: 87-102 - [c51]Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli:
Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS 1993: 157-166 - [c50]D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham:
Modeling and Formal Specification of the Personal Communication Service. INFOCOM 1993: 756-765 - [c49]Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli:
Multiple Fault Diagnostics for Finite State Machines. INFOCOM 1993: 782-791 - [c48]Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann:
Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256 - [c47]Gang Luo, Anindya Das, Gregor von Bochmann:
Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems 1993: 51-66 - [c46]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 - [c45]Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli:
Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178 - [c44]Ming Yu Yao, Gregor von Bochmann:
Testing for a Conformance Relation Based on Acceptance. TAPSOFT 1993: 519-528 - [c43]Cheng Wu, Gregor von Bochmann, Ming Yu Yao:
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment. WDAG 1993: 279-293 - [e3]Gregor von Bochmann, David K. Probst:
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings. Lecture Notes in Computer Science 663, Springer 1993, ISBN 3-540-56496-9 [contents] - [e2]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. IFIP Transactions C-13, North-Holland 1993, ISBN 0-444-89968-5 [contents] - [e1]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. IFIP Transactions C-11, North-Holland 1993, ISBN 0-444-89980-4 [contents] - 1992
- [j39]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) - [j38]Elspeth Cusack, Gregor von Bochmann:
Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992) - [c42]Ferhat Khendek, Gregor von Bochmann:
A formalization of the CORDS Process Model using Mondel. CASCON 1992: 351-360 - [c41]Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui:
Model-Checking for Real-Time Systems Specified in Lotos. CAV 1992: 288-301 - [c40]Abderrazak Ghedamsi, Gregor von Bochmann:
Test Result Analysis and Diagnostics for Finite State Machines. ICDCS 1992: 244-251 - [c39]Mohammed Erradi, Gregor von Bochmann, Rachida Dssouli:
A framework for dynamic evolution of object-oriented specifications. ICSM 1992: 96-104 - [c38]Gang Luo, Gregor von Bochmann, Behçet Sarikaya, Michel Boyer:
Control-flow based testing of Prolog programs. ISSRE 1992: 104-113 - [c37]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 - [c36]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 - [c35]Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval:
Object-Oriented Design for Distributed Systems and OSI Standards. ULPAA 1992: 265-280 - 1991
- [j37]Reine Fournier, Gregor von Bochmann:
The Equivalence in the DCP Model. Theor. Comput. Sci. 87(1): 97-114 (1991) - [j36]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) - [c34]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 - [c33]Cheng Wu, Gregor von Bochmann:
Fairness in LOTOS. FORTE 1991: 543-558 - [c32]Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval:
Object-Oriented Design for ODP. Open Distributed Processing 1991: 435-439 - [c31]Nathalie Rico, Gregor von Bochmann:
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. PSTV 1991: 199-213 - [c30]Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo:
Fault Models in Testing. Protocol Test Systems 1991: 17-30 - [c29]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 - [c28]Susumu Fujiwara, Gregor von Bochmann:
Testing Non-Deterministic State Machines with Fault Coverage. Protocol Test Systems 1991: 267-280 - 1990
- [j35]Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann:
Method of analysing extended finite-state machine specifications. Comput. Commun. 13(2): 83-92 (1990) - [j34]Gregor von Bochmann, Pierre Mondain-Monval:
Design Principles for Communication Gateways. IEEE J. Sel. Areas Commun. 8(1): 12-21 (1990) - [j33]Gregor von Bochmann:
Deriving protocol converters for communications gateways. IEEE Trans. Commun. 38(9): 1298-1300 (1990) - [j32]Reinhard Gotzhein, Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. Comput. Syst. 8(4): 255-283 (1990) - [c27]Michel Barbeau, Gregor von Bochmann:
Extension of the Karp and Miller Procedure to Lotos Specifications. CAV 1990: 333-342 - [c26]Michel Barbeau, Gregor von Bochmann:
Extension of the Karp and Miller Procedure to LOTOS Specifications. CAV (DIMACS/AMS volume) 1990: 103-120 - [c25]Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba:
Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE 1990: 141-155 - [c24]Rachida Dssouli, Reine Fournier, Gregor von Bochmann:
Distributed Observation and FIFO Queues. FORTE 1990: 303-310 - [c23]Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld:
ASN.1 and Estelle Implementation Support Tools. FORTE 1990: 531-534
1980 – 1989
- 1989
- [j31]Gregor von Bochmann:
Protocol Specification for OSI. Comput. Networks ISDN Syst. 18(3): 167-184 (1989) - [j30]Gregor von Bochmann:
Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. Comput. Networks ISDN Syst. 18(5): 335-377 (1989) - [j29]Gregor von Bochmann, Rachida Dssouli, J. R. Zhao:
Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. 15(11): 1347-1356 (1989) - [c22]Gregor von Bochmann, Qiang Gao, Cheng Wu:
On the Distributed Implementation of LOTOS. FORTE 1989: 133-146 - [c21]Gregor von Bochmann, Michel Deslauriers:
Combining ASN1 Support with the LOTOS Language. PSTV 1989: 175-186 - [c20]Ferhat Khendek, Gregor von Bochmann, Christian Kant:
New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM 1989: 136-145 - 1988
- [j28]Gregor von Bochmann:
Delay-Independent Design for Distributed Systems. IEEE Trans. Software Eng. 14(8): 1229-1237 (1988) - 1987
- [j27]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) - [j26]Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny:
A Test Design Methodology for Protocol Testing. IEEE Trans. Software Eng. 13(5): 518-531 (1987) - [j25]Gregor von Bochmann, George Walter Gerber, Jean-Marc Serre:
Semiautomatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 13(9): 989-1000 (1987) - [c19]Gregor von Bochmann:
Usage of Protocol Development Tools: The Results of a Survey. PSTV 1987: 139-161 - 1986
- [c18]Gregor von Bochmann, Reinhard Gotzhein:
Deriving protocol specifications from service specifications. SIGCOMM 1986: 148-156 - 1985
- [c17]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 - [c16]Rachida Dssouli, Gregor von Bochmann:
Error detection with multiple observers. PSTV 1985: 483-494 - 1984
- [j24]Behçet Sarikaya, Gregor von Bochmann:
Synchronization and Specification Issues in Protocol Testing. IEEE Trans. Commun. 32(4): 389-395 (1984) - [c15]Gregor von Bochmann:
Formal Description Techniques for OSI: an Example. INFOCOM 1984: 312-317 - [c14]Gregor von Bochmann, Eduard Cerny, George Walter 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
- [b2]Gregor von Bochmann:
Concepts for distributed systems design. Springer 1983, ISBN 978-0-387-12049-2, pp. I-XI, 1-259 - [j23]Claude Jard, Gregor von Bochmann:
An approach to testing specifications. J. Syst. Softw. 3(4): 315-323 (1983) - [j22]Gregor von Bochmann, Michel Raynal:
Structured Specification of Communicating Systems. IEEE Trans. Computers 32(2): 120-133 (1983) - [j21]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) - [c13]Gregor von Bochmann:
Specification in Distributed Systems. Advanced Course: Local Area Networks 1983: 470-497 - [c12]Gregor v. Bochmann:
Higher-level protocols are not necessary end-to-end. SIGCOMM 1983: 10-11 - [c11]Behçet Sarikaya, Gregor von Bochmann:
Synchronization issues in protocol testing. SIGCOMM 1983: 121-128 - [c10]K. S. Raghunathan, J. A. Barchanski, Gregor von Bochmann:
Relationship between performance parameters for transport and network services. SIGCOMM 1983: 129-135 - [c9]Claude Jard, Gregor von Bochmann:
An approach to testing specifications. SIGSOFT 1983: 53-59 - 1982
- [j20]Gregor von Bochmann:
Hardware Specification with Temporal Logic: En Example. IEEE Trans. Computers 31(3): 223-231 (1982) - [j19]Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya:
Experience with Formal Specifications Using an Extended State Transition Model. IEEE Trans. Commun. 30(12): 2506-2513 (1982) - [c8]Gregor von Bochmann, Eduard Cerny, Michel Gagné, 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 - [c7]Behçet Sarikaya, Gregor von Bochmann:
Some Experience with Test Sequence Generation for Protocols. PSTV 1982: 555-567 - 1981
- [j18]Frank Wm. Tompa, Jan Gecsei, Gregor von Bochmann:
Special Feature: Data Structuring Facilities for Interactive Videotex Systems. Computer 14(8): 72-81 (1981) - 1980
- [j17]Alan J. S. Ball, Gregor von Bochmann, Jan Gecsei:
Videotex Networks. Computer 13(12): 8-14 (1980) - [j16]Gregor v. Bochmann, Carl A. Sunshine:
Formal Methods in Communication Protocol Design. IEEE Trans. Commun. 28(4): 624-631 (1980) - [j15]Gregor v. Bochmann:
A General Transition Model for Protocols and Communication Services. IEEE Trans. Commun. 28(4): 643-650 (1980)
1970 – 1979
- 1979
- [b1]Gregor von Bochmann:
Architecture of Distributed Computer Systems. Lecture Notes in Computer Science 77, Springer 1979, ISBN 3-540-09723-6 - [j14]Gregor v. Bochmann, Friedrich H. Vogt:
Message link protocol (MLP): functional specification. Comput. Commun. Rev. 9(2): 7-39 (1979) - [j13]Gregor von Bochmann:
Distributed Synchronization and Regularity. Comput. Networks 3: 36-43 (1979) - [j12]Gregor von Bochmann:
Semantic equivalence of covering attribute grammars. Int. J. Parallel Program. 8(6): 523-539 (1979) - [j11]Gregor von Bochmann, Joachim Tankoano:
Development and Structure of an X.25 Implementation. IEEE Trans. Software Eng. 5(5): 429-439 (1979) - 1978
- [j10]Gregor von Bochmann, P. Ward:
Compiler Writing System for Attribute Grammars. Comput. J. 21(2): 144-148 (1978) - [j9]Gregor von Bochmann:
Finite State Description of Communication Protocols. Comput. Networks 2: 361-372 (1978) - [j8]Gregor von Bochmann:
Compile Time Memory Allocation for Parallel Processes. IEEE Trans. Software Eng. 4(6): 517-520 (1978) - [c6]Gregor von Bochmann:
Synchronization in Distributed System Modules. Berkeley Workshop 1978: 322-339 - 1977
- [j7]Gregor v. Bochmann:
Notes on the X.25 procedures for virtual call establishment and clearing. Comput. Commun. Rev. 7(4): 53-59 (1977) - [j6]Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann:
Corrigendum: "A Sampler of Formal Definitions". ACM Comput. Surv. 9(2): 168 (1977) - [c5]Gregor von Bochmann, Jan Gecsei:
A Unified Method for the Specification and Verification of Protocols. IFIP Congress 1977: 229-234 - [c4]Wilfried G. Probst, Gregor v. Bochmann:
Operating system design with computer network communication protocols. SIGCOMM 1977: 4 - 1976
- [j5]Gregor von Bochmann:
Semantic Evaluation from Left to Right. Commun. ACM 19(2): 55-62 (1976) - [j4]Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann:
A Sampler of Formal Definitions. ACM Comput. Surv. 8(2): 191-276 (1976) - [j3]Gregor von Bochmann:
Comments on Monitor Definition and Implementation. Inf. Process. Lett. 5(4): 116-117 (1976) - 1975
- [c3]Gregor von Bochmann:
Communication protocols and error recovery procedures. SIGCOMM/SIGOPS Workshop on Interprocess Communications 1975: 45-50 - 1974
- [c2]Olivier Lecarme, Gregor von Bochmann:
A (Truly) Usable and Portable Compiler Writing System. IFIP Congress 1974: 218-221 - 1973
- [j2]Gregor von Bochmann:
Multiple Exits from a Loop Without the GOTO. Commun. ACM 16(7): 443-444 (1973) - [j1]Gregor v. Bochmann:
Compiler generation for attribute grammars. ACM SIGPLAN Notices 8(6): 7 (1973) - [c1]Gregor v. Bochmann:
Hierarchical language definition. SIGPLAN-SIGOPS Interface Meeting 1973: 50-51
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
