Gregor von Bochmann

Gregor von Bochmann 's AcademicInfluence.com Rankings

Gregor von Bochmann

Physics

#5080

World Rank

#6856

Historical Rank

physics Degrees

Download Badge

Physics

Why Is Gregor von Bochmann Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Gregor von Bochmann is a German-Canadian computer scientist and emeritus professor of the Université de Montréal and the University of Ottawa. He is known for his work in the area of protocol engineering and distributed applications.

(See a Problem?)

Gregor von Bochmann 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Test Selection Based on Finite State Models (1991) (689)
Distributed Multimedia and QOS: A Survey (1995) (378)
Finite State Description of Communication Protocols (1978) (320)
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method (1994) (286)
Protocol testing: review of methods and relevance for software testing (1994) (265)
Formal Methods in Communication Protocol Design (1980) (241)
Semantic evaluation from left to right (1976) (214)
Formal description techniques (1983) (160)
On the Construction of Submodule Specifications and Communication Protocols (1983) (159)
Synchronization and Specification Issues in Protocol Testing (1984) (158)
A Test Design Methodology for Protocol Testing (1987) (143)
Selecting test sequences for partially-specified nondeterministic finite state machines (1995) (118)
Testing deterministic implementations from nondeterministic FSM specifications (1996) (110)
Hardware Specification with Temporal Logic: An Example (1982) (107)
On Fault Coverage of Tests for Finite State Specifications (1996) (106)
A Unified Method for the Specification and Verification of Protocols (1977) (94)
A General Transition Model for Protocols and Communication Services (1980) (94)
A Sampler of Formal Definitions (1976) (92)
Distributed multimedia applications and quality of service: a survey (1994) (91)
Fault Models in Testing (1991) (81)
Quality-of-service adaptation in distributed multimedia applications (1998) (73)
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (1993) (72)
Trace Analysis for Conformance and Arbitration Testing (1989) (70)
Testing in context: framework and test derivation (1996) (70)
Deriving protocol specifications from service specifications (1986) (70)
Fault Models for Testing in Context (1996) (70)
FSM-based incremental conformance testing methods (2004) (67)
Usage of Protocol Development Tools: The Results of a Survey (1987) (66)
Some principles for quality of service management (1997) (66)
Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques (1990) (63)
Tracking Phishing Attacks Over Time (2017) (63)
A Trust Model with Statistical Foundation (2004) (61)
Test generation with respect to distributed interfaces (1994) (61)
The Agile All-Photonic Network: An architectural outline (2004) (53)
Precise measurement of the anomalous magnetic moment of the muon (1973) (51)
Design Principles for Communication Gateways (1990) (51)
Deriving protocol specifications from service specifications written in LOTOS (1993) (50)
A Survey of Formal Methods (1982) (50)
Protocol Specification for OSI (1990) (49)
Error detection with multiple observers (1985) (48)
Testing Systems Specified as Partial Order Input/Output Automata (2008) (45)
New results on deriving protocol specifications from service specifications (1989) (45)
A brief history of web crawlers (2013) (45)
Semiautomatic Implementation of Communication Protocols (1987) (44)
Cooperative QoS management for multimedia applications (1997) (44)
Testing Non-Deterministic State Machines with Fault Coverage (1991) (44)
Crawling rich internet applications: the state of the art (2012) (44)
Deriving protocol specifications from service specifications including parameters (1990) (43)
Conformance Relations and Test Derivation (1993) (42)
Service Discovery and Component Reuse with Semantic Interfaces (2005) (40)
A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study (1998) (38)
A Model-Based Approach for Crawling Rich Internet Applications (2014) (38)
A Strategy for Efficient Crawling of Rich Internet Applications (2011) (37)
Personal and service mobility in ubiquitous computing environments (2004) (37)
Experience with Formal Specifications Using an Extended State Transition Model (1982) (37)
Conformance Testing of Protocol Machines without Reset (1993) (37)
Deriving protocol converters for communications gateways (1990) (35)
Introducing QoS to Electronic Commerce Applications (2001) (34)
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS (1991) (33)
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters (1994) (33)
CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay (2008) (32)
Realizability of Collaboration-based Service Specifications (2007) (32)
Some Experience with Test Sequence Generation for Protocols (1982) (32)
Software Testing Based on SDL Specifications with Save (1994) (31)
Multiple exits from a loop without the GOTO (1973) (31)
Test result analysis and diagnostics for finite state machines (1992) (31)
Videotex Networks (1980) (30)
A Statistical Approach for Efficient Crawling of Rich Internet Applications (2012) (28)
Automating the process of test derivation from SDL specifications (1997) (28)
Adding performance aspects to specification languages 6 (1988) (27)
On the Distributed Implementation of LOTOS (1989) (27)
A quality of service negotiation procedure for distributed multimedia presentational applications (1996) (27)
Architectural design of adaptive distributed multimedia systems (1996) (26)
Communication protocols and error recovery procedures (1975) (25)
A Method and a Genetic Algorithm for Deriving Protocols for Distributed Applications with Minimum Communication Cost (1999) (24)
Merging behavior specifications (1995) (24)
Service-Oriented Virtual Private Networks for Grid Applications (2007) (23)
Compiler Writing System for Attribute Grammars (1978) (23)
Enabling Technology for Distributed Multimedia Applications (1997) (22)
Congestion Control and Contention Elimination in Optical Burst Switching (2004) (22)
Fault Diagnosis in Extended Finite State Machines (2003) (22)
Some Modeling Challenges When Testing Rich Internet Applications for Security (2010) (22)
A (Truly) Usable and Portable Compiler Writing System (1974) (22)
Retransmission schemes for optical burst switching over star networks (2005) (21)
Control-flow based testing of Prolog programs (1992) (21)
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets (2003) (21)
Concepts for Distributed Systems Design (1983) (21)
Progressive solutions to a parallel automata equation (2003) (20)
An approach to testing specifications (1983) (20)
Logical verification and implementation of protocols (1975) (20)
Architecture of Distributed Computer Systems (1979) (20)
Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic Network Cores (2006) (20)
Submodule construction for systems of I / O automata * (1999) (20)
Customer-managed end-to-end lightpath provisioning (2005) (19)
A QoS-based framework for distributed content adaptation (2004) (19)
Multiple fault diagnosis for finite state machines (1993) (19)
Development and Structure of an X.25 Implementation (1979) (19)
Building Rich Internet Applications Models: Example of a Better Strategy (2013) (18)
Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies (1997) (18)
An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation (1999) (18)
Dist-RIA Crawler: A Distributed Crawler for Rich Internet Applications (2013) (18)
Modeling basic LOTOS by FSMs for conformance testing (1995) (18)
Multiplexing Scheme for RTP Flows between Access Routers (1999) (18)
A formal method for synthesizing optimized protocol converters and its application to mobile data networks (1997) (18)
On specifying services and synthesizing protocols for real-time applications (1995) (18)
On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation (1994) (17)
Using URL shorteners to compare phishing and malware attacks (2018) (17)
Fault coverage of tests based on finite state models (1995) (17)
Segmented Burst Switching: Enhancement of Optical Burst Switching to Decrease Loss Rate and Support Quality of Service (2002) (17)
On the realizability of collaborative services (2013) (17)
Deriving component designs from global requirements (2008) (16)
A pattern system for network management interfaces (1998) (16)
A grid oriented lightpath provisioning system (2004) (16)
TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS (1989) (15)
Multi-step contributions to particle production in nuclei (1969) (15)
An Approach to Quality of Service Management for Distributed Multimedia Applications (1995) (15)
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security (2012) (15)
Modeling IETF Session Initiation Protocol and Its Services in SDL (2003) (15)
Formal Description Techniques VIII (1996) (14)
Dealing with Recommendations in a Statistical Trust Model (2005) (14)
Fault coverage analysis in respect to an FSM specification (1994) (14)
Domain Classifier: Compromised Machines Versus Malicious Registrations (2019) (13)
Customer‐managed end‐to‐end lightpath provisioning (2005) (13)
Multiple Fault Diagnostics for Finite State Machines. (1993) (13)
Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions (1992) (13)
Structured Specification of Communicating Systems (1983) (13)
FSM-based Re-Testing Methods (2002) (12)
QoS-aware distributed query processing (1999) (12)
Combining ASN1 Support with the LOTOS Language (1989) (12)
Methods for Designing SIP Features in SDL with Fewer Feature Interactions (2003) (12)
Effect of correlations on coherent and incoherent processes in nuclei (1969) (12)
Translation from TTCN to LOTOS and the Validation of Test Cases (1990) (12)
Some notes on the history of protocol engineering (2010) (12)
Properties of boolean functions with a tree decomposition (1974) (12)
Legal Challenges of Online Reputation Systems (2007) (12)
An automatic trace analysis tool generator for Estelle specifications (1995) (12)
Method of analysing extended finite-state machine specifications (1990) (11)
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols (1987) (11)
Testing k-Safe Petri Nets (2009) (11)
Support for Personal and Service Mobility in Ubiquitous Computing Environments (2003) (11)
Submodule Construction for Specifications with Input Assumptions and Output Guarantees (2002) (11)
Generating Tests for Control Portion of SDL Specifications (1993) (11)
Pushing quality of service information and requirements into global query optimization (2003) (11)
FSM-based testing from user defined faults adapted to incremental and mutation testing (2012) (11)
Submodule Construction and Supervisory Control: A Generalization (2001) (11)
Synthesizing and verifying controllers for multi-lane traffic maneuvers (2017) (11)
Experiments on Nondeterministic Systems for the Reduction Relation (1994) (10)
Test Selection Based on SDL Specification with Save (1991) (10)
A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems (2009) (10)
An efficient method for protocol conversion (1995) (10)
Load balancing in peer-to-peer systems using a diffusive approach (2012) (10)
Application Design for Cooperative QoS Management (1997) (10)
Diagnosing Multiple Faults in Communicating Finite State Machines (2001) (10)
An Automatic Detection and Analysis of the Bitcoin Generator Scam (2020) (10)
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines (1992) (10)
Protocol synthesis using basic Lotos and global variables (1995) (10)
Use of Prolog for building protocol design tools (1985) (9)
GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information (2009) (9)
A Probabilistic Approach for Admission Control to Web Servers (2004) (9)
Specification Languages for Communication Protocols (1993) (9)
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing (1994) (9)
On the Use of Web Services in Content Adaptation (2009) (8)
Incremental Construction Approach for Distributed System Specifications (1993) (8)
CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT (2010) (8)
Deriving protocol specifications from service specifications written as Predicate/Transition-nets (2007) (8)
Diagnostic tests for communicating finite state machines (1993) (8)
Protocol Synthesis for Real-Time Applications (1999) (8)
Photon Cross Sections and Vector Dominance (1970) (8)
Extension of the Karp and Miller Procedure to LOTOS Specifications (1990) (8)
Model-Based Rich Internet Applications Crawling: "Menu" and "Probability" Models (2014) (8)
Test System for a Restricted Class of LOTOS Expressions with Data Parameters (1992) (8)
On Testing 1-Safe Petri Nets (2009) (8)
A Bandwidth Allocation Scheme in Optical TDM (2004) (8)
Special Feature: Data Structuring Facilities for Interactive Videotex Systems (1981) (8)
Submodule construction for systems of timed I / O automata * (2000) (7)
Petri net-based protocol synthesis with minimum communication costs (2006) (7)
Synthesizing Controllers for Multi-lane Traffic Maneuvers (2015) (7)
Performance modeling of distributed collaboration services (2011) (7)
A Subset of Lotos with the Computational Power of Place/Transition-Nets (1993) (7)
Load Balancing in All-Optical Overlaid-Star TDM Networks (2006) (7)
Diagnosis of single transition faults in communicating finite state machines (1993) (7)
Object-Oriented Design for Distributed Systems and OSI Standards (1992) (7)
An execution model for LOTOS specifications (1990) (7)
Using logic to solve the submodule construction problem (2013) (7)
Using collaborations in the development of distributed services (2008) (7)
Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control (2012) (7)
Notes on the X.25 procedures for virtual call establishment and clearing (1977) (7)
Meta-data modelling for quality of service (QoS) management in the World Wide Web (WWW) (1998) (6)
Improved Usage Model for Web Application Reliability Testing (2011) (6)
Distributed Synchronization and Regularity (1979) (6)
Validation of distributed algorithms and protocols (1995) (6)
Routing of MPLS Flows over an Agile All-Photonic Star Network (2006) (6)
Test result analysis and validation of test verdicts (1999) (6)
Message link protocol (MLP): functional specification (1979) (6)
GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications (2014) (6)
Specialization in Estelle (1995) (6)
PDist-RIA Crawler: A Peer-to-Peer Distributed Crawler for Rich Internet Applications (2014) (6)
Transforming dynamic behavior specifications from activity diagrams to BPEL (2011) (6)
Submodule Construction for Extended State Machine Models (2005) (6)
Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks (2007) (6)
Constructing Service Matrices for Agile All-Optical Cores (2006) (6)
Peer-to-Peer Platforms for High-Quality Web Services: The Case for Load-Balanced Clustered Peer-to-Peer Systems (2010) (6)
INCOHERENT PRODUCTION OF rho$sup 0$ MESONS FROM NUCLEI AND VECTOR DOMINANCE. (1969) (6)
Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification organized by Concordia University and Université de Montréal, Montreal, Quebec, Canada, June 10-13, 1986 (1987) (5)
Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus (2013) (5)
Scalability of Web-based electronic commerce systems (2003) (5)
A Hybrid Model and the Representation of Communication Services (1982) (5)
Preemptive bandwidth allocation protocol for multicast, multi-streams environments (2001) (5)
A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem (2009) (5)
Phishing Attacks Modifications and Evolutions (2018) (5)
Using First-Order Logic to Reason about Submodule Construction (2009) (5)
Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System (2014) (5)
A QoS-based Service Composition for Content Adaptation (2007) (5)
Activity Nets : A UML profile for modeling workflow and business processes (5)
Some Experience with the Use of Formal Specifications (1982) (5)
Data distribution strategies for providing database scalability in e-commerce applications (2001) (5)
Object-Oriented Design for Distributed Systems: The OSI Directory Example (1995) (5)
Revisiting Join Site Selection in Distributed Database Systems (2003) (5)
Grade-of-service differentiated static resource allocation schemes in WDM networks (2008) (5)
Towards a global online reputation (2009) (4)
BLOCKING ANALYSIS FOR TIME-SPACE SWITCHED ALL-OPTICAL NETWORKS (2004) (4)
A Scalable P2P RIA Crawling System with Partial Knowledge (2014) (4)
Delay-Independent Design for Distributed Systems (1988) (4)
Protocol Re-synthesis Based on Extended Petri Nets (2000) (4)
Test generation for the distributed test architecture (1993) (4)
ASN.1 and Estelle Implementation Support Tools (1990) (4)
Automatic derivation of Petri net based distributed specification with optimal allocation of resources (2000) (4)
Submodule construction – the inverse of composition (4)
Verification and diagnosis of testing equivalence and reduction relation (1995) (4)
Design of an agile all-photonic network (2007) (4)
Checking Experiments with Labeled Transition Systems for Trace Equivalence (1997) (4)
A top-down method for synthesizing optimized protocol converters (1995) (4)
Formal Description Techniques for OSI: an Example (1984) (4)
Scaling server selection using a multi-broker architecture (2003) (4)
Contention avoidance in optical burst switching (2004) (4)
A framework for conformance testing of systems communicating through rendezvous (1996) (4)
Model-Checking for Real-Time Systems Specified in Lotos (1992) (4)
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 (2000) (4)
A framework for dynamic evolution of object-oriented specifications (1992) (4)
Multiple-Step Production Model for Coherent Reactions on Nuclei (1972) (4)
Architecture of Distributed Systems (1983) (4)
Associativity between Weak and Strict Sequencing (2014) (3)
A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem (2013) (3)
A Distributed Content Adaptation framework for Content Distribution Networks (2004) (3)
An Overview of Fault Management in Telecommunication Networks (1993) (3)
D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich Internet Applications (2016) (3)
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models (1991) (3)
Delay Performance Analysis for an Agile All-Photonic Star Network (2006) (3)
Using AP-TED to Detect Phishing Attack Variations (2018) (3)
Standards issues in data communications (1977) (3)
Least Constrained Slot Allocation in Optical TDM Networks (2007) (3)
Formal Methods for Protocol Specification and Validation (1989) (3)
Integrating Quality of Service into Database Systems (2003) (3)
SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999 (1999) (3)
Distributed Observation and FIFO Queues (1990) (3)
Fault Detection and Localization Scheme for All-Optical Overlaid-Star TDM Networks (2006) (3)
Quality of service management issues in electronic commerce applications (1999) (3)
Investigating the Realizability of Collaboration-based Service Specifications (2007) (3)
Optimization Analysis of Optical Time Slot Interchanges in All-Optical Network (2006) (3)
Formal Description of Network Management Issues (1991) (3)
Formal object-oriented methods in communication standards (1992) (3)
Diagnosing Multiple Faults in Finite State Machines (1993) (3)
Integrating quality of service requirements in a distributed query processing environment (2003) (3)
The "Game Hack" Scam (2019) (3)
Evaluating Reliability-Testing Usage Models (2012) (3)
Deploying agile photonic networks over reconfigurable optical networks (2009) (3)
Service-oriented Layer 1 Virtual Private Network for Grid Applications (2005) (3)
On the design of a submodule based on the input/output FSM model* (2007) (3)
Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment (1995) (3)
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks (2009) (3)
Metadata Modeling for Quality of Service Management in Distributed Multimedia Systems (1996) (3)
Fairness in LOTOS (1991) (2)
Diagnostic tests for protocol implementations modeled by finite state machines (1993) (2)
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services (2011) (2)
Formal specifications design, evolution and reuse (1993) (2)
Semi-automatic implementation of transport and session protocols (1986) (2)
Specification in Distributed Systems (1983) (2)
Stochastic Performance Analysis of Distributed Activities (2013) (2)
High-level design for user and component interfaces (2004) (2)
Semantic equivalence of covering attribute grammars (1979) (2)
A Bandwidth Allocation Scheme in Optical TDM Network (2004) (2)
Describing Requirements in Lyee and in Conventional Methods : Towards a Comparison (2)
Diagnosing Distributed Systems Modeled by Communicating Finite State Machines (1999) (2)
Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF (1999) (2)
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment (1993) (2)
A Digital Libraries System based on Multi-level Agents (1999) (2)
Compile Time Memory Allocation for Parallel Processes (1978) (2)
Shared protection for time slotted optical networks (2004) (2)
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers (2018) (2)
Higher-level protocols are not necessary end-to-end (1983) (2)
Relationship between performance parameters for transport and network services (1983) (2)
Selecting the QoS Parameters for Multicast Applications Based on User Profile and Device Capability (2001) (2)
Automatic Detection and Analysis of the "Game Hack" Scam (2019) (2)
A locality preserving routing overlay using geographic coordinates (2009) (2)
Mondel: An Object-Oriented Specification Language (2012) (2)
Approaches to the specification of object associations (1997) (2)
Corrections to "Lightpath (Wavelength) Routing in Large WDM Networks" and "Dynamic Routing and Assignment of Wavelength Algorithms in Multifiber Wavelength Division Multiplexing Networks" (2010) (2)
Computer Networks, Architecture and Applications (1995) (2)
QoS-based Distributed Query Processing (2004) (2)
Protecting the privacy of user's QoS preferences for multimedia applications (2006) (2)
Distributed B-Tree with Weak Consistency (2013) (2)
OSN-IX: A Novel Internet eXchange (IX) Architecture based on Overlaid-Star Networks (2008) (2)
Operating system design with computer network communication protocols (1977) (2)
Fault Tolerant P2P RIA Crawling (2016) (2)
Reconstructing Interactions with Rich Internet Applications from HTTP Traces (2016) (2)
The Equivalence in the DCP Model (1991) (2)
A Novel Framework for Inter-area MPLS Optimal Routing (2006) (2)
Use of Formal Specifications for Protocol Design, Implementation and Testing (1984) (2)
Distributed Objects with Sense of Direction (1998) (2)
Locating a Faulty Machine in a System of Communicating Finite State Machines (2008) (1)
Comments on Monitor Definition and Implementation (1976) (1)
Conformance Testing with Respect to Partial-Order Specifications (2016) (1)
Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 (1996) (1)
Deriving Distributed Design Models from Global State Machines Requirements (2019) (1)
Synchronization in Distributed System Modules (1978) (1)
Agent Support for Context-Aware Services and Personal Mobility (2003) (1)
A Secure Authentication Infrastructure for Mobile Users (2005) (1)
An Overview of Content Distribution and Content Access in Peer-to-Peer Systems (2008) (1)
Modeling and formal specification of the personal communication service (1993) (1)
Formal and Informal in Balanced System Specifications (1995) (1)
VIRTUAL-PHOTON TOTAL CROSS SECTIONS ON NUCLEI AND THE PHASES BETWEEN TWO- BODY AMPLITUDES. (1972) (1)
Implementation support tools for OSI application layer protocols (2012) (1)
Security Testing of Web Applications: Issues and Challenges (2017) (1)
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems (2003) (1)
SemanticPhish: A Semantic-based Scanning System for Early Detection of Phishing Attacks (2020) (1)
An approach to testing specifications (Preliminary Draft) (1983) (1)
Submodule construction tool 1 (1)
Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces (2018) (1)
A System for Centralizing Online Reputation (2011) (1)
A HYBRID ARCHITECTURE USING BOTH OPTICAL BURST SWITCHING AND ROUTED WAVELENGTH (2004) (1)
Proactive Detection of Phishing Kit Traffic (2021) (1)
Prolog for industrial software development (1996) (1)
Hierarchical Inter-Domain Management for Networks with Condo-Switches (2005) (1)
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach (1991) (1)
A formalization of the CORDS Process Model using Mondel (1992) (1)
Workshop on the application of security and testing to rich internet applications (2015) (1)
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 (1993) (1)
An optimal shared protection scheme for optical networks (2005) (1)
Generalizing the Submodule Construction Techniques for Extended State Machine Models (2006) (1)
Performance simulation of communication protocols based on formal specifications (1992) (1)
Differentiated Static Resource Allocation in WDM Networks (2009) (1)
Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing System (2013) (1)
Realizability of Service Specifications (2018) (1)
Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques (2000) (1)
An Efficient Method for Synthesizing Optimized Protocol Converters (1)
NETp1-15: Blocking Model for All-Optical Overlaid-Star TDM Networks (2006) (1)
Technical program committee (2018) (0)
Comparison of methods for supervisory control and submodule construction (2004) (0)
An experimental prototype for scalable server selection (2003) (0)
People that were important during my career (2016) (0)
Study of Conformance and InteroperabilityTesting : AAL 3 / 4 layer implementationsYazid (2007) (0)
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 (1993) (0)
Photoreactions on Nuclei and Vector-Meson-Dominance Breaking (1972) (0)
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII (1995) (0)
Distributed systems: Definition and examples (1979) (0)
OSI Specifications using ASN . 1 and other formal description techniques (2012) (0)
Message Transport Requirements and Data Transmission Networks (1983) (0)
Object-Oriented Design for ODP (1991) (0)
A Framework for Alarm Correlation and Fault Diagnostics (1999) (0)
Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications. on Computer networks, architecture and applications (1993) (0)
Erratum to: Testing of Communicating Systems (2017) (0)
A computation method for scenario studies in WDM network planning (2009) (0)
Test Suite Design for the ISDN D-channel Q . 931 signaling protocol from an Estelle specification (2012) (0)
Synchronization issues in protocol testing (1983) (0)
FORMAL METHODS FOR DESCRIBING DISTRIBUTED SYSTEMS : A DISCUSSION OF THE EXPERIENCE IN OSI STANDARDIZATION * (0)
[Haf 97b] A.Hafid, Providing a Scalable Video-on-Demand System Using Future Reservation of Resources and Multicast Communications, Submitted to the Fifth IFIP International Workshop on QoS (IWQoS), NY, 1997 [Heh 91] D.Hehmann, R.Herrtwich, W.Schulz, T.Schett and R.Steinmetz, Implementing HeiTS: Arch (1997) (0)
A State Transition Formalism for the Description of Systems (1983) (0)
Role of Specifications in the Design of Distributed Systems (1983) (0)
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V (1992) (0)
Load balancing in peer-to-peer systems using a diffusive approach (2012) (0)
A general formalism for the description of systems (1979) (0)
- 1-Type Evolution in a Reflective Object-Oriented Language (2007) (0)
1 SECURE AUTHENTICATION FOR MOBILE COMMUNICATION OVER THE INTERNET 1 (2001) (0)
A Formal Description Technique for Distributed Systems (1983) (0)
TEST GENERATION FOR THE DISTRIBUTED TEST ARCHITECTURE ( Extended abstract ) (2012) (0)
Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces (2018) (0)
Performance Evaluation of the Preemptive Bandwidth Allocation Multicast Protocol (2010) (0)
Personal and service mobility in ubiquitous computing environments: Research Articles (2004) (0)
Computer Aided Verification (2018) (0)
Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium (1984) (0)
Formal specifications for protocols : Issues and experiences (2012) (0)
ON THE-FLY RE-SYNTHESIS OF COMMUNICATIONS PROTOCOLS (2008) (0)
Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language (1995) (0)
Object-oriented design of a message handling system protocol (1995) (0)
Applying diffusive load balancing schemes in a clustered P2P system (2010) (0)
Specification of composite objects based on the ODP Reference Model (1997) (0)
Proceedings of the Fourth International Workshop on Computer Aided Verification (1992) (0)
Diagnostic Tests for a Class of Non-Deterministic Finite State Machines (2012) (0)
Distributed Systems: Examples and Definition (1983) (0)
Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992 (1993) (0)
Testing for a Conformance Relation Based on Acceptance (1993) (0)
Markovian Component Modeling (2008) (0)
Testing of Partial Order Input / Output Automata (2007) (0)
Object Composition: A Case Study (1999) (0)
Validation of Distributed Rendezvous Algorithms through Simulation (1999) (0)
Experience with Ada for the design and implementation of interactive systems (1990) (0)
Resource Criticality Analysis of Static Resource Allocations in WDM Networks (2009) (0)
Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality (2009) (0)
FSM-based testing from user defined faults adapted to incremental and mutation testing (2012) (0)
Protocol Engineering : An Historical Perspective (2012) (0)
Technological Developments and Standards (1983) (0)
Compiler generation for attribute grammars (1973) (0)
D-ForenRIA: a distributed tool to reconstruct user sessions for rich internet applications (2016) (0)
Finite State Protocols Description of Communication (2002) (0)
5.4 Discussion of Qos Architectures End-point Resource Management End-point Resource Management Network Resource Management Atm Network (1998) (0)
Performance Evaluation of the Preemptive Bandwidth Allocation Protocol (2003) (0)
Hierarchical language definition (1973) (0)
Using logic to solve the submodule construction problem (2012) (0)
Dynamic extension of object-oriented distributed system specifcations* (2012) (0)
6. Conclusion Multimedia Client File Servers Multimedia Transport System Negotiation at the Client Side (1995) (0)
TEST GENERATION FOR CONCURRENT PROGRAMS MODELED BY COMMUNICATING NONDETERMINISTIC FINITE STATE MACHINES1 (2012) (0)
1 Direct Realizability (2009) (0)
Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings (1993) (0)
The lotos language: distributed implementation and fairness (1993) (0)
A Framework for Dynamic Evolution of Distributed Systems Specifications (1995) (0)
Chapter IV A Secure Authentication Infrastructure for Mobile Users (2019) (0)
Object-Oriented Modelling and Development of Distributed Systems (1994) (0)
Application Design for Cooperative QoS Management 1 (1999) (0)
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings (1999) (0)
Configuration in the framework of open distributed processing (1994) (0)
Synthesizing and verifying controllers for multi-lane traffic maneuvers (2017) (0)
Corrigendum: “A Sampler of Formal Definitions” (1977) (0)
8. Conclusion (2017) (0)
Prolog for industrial software development 1 (1992) (0)
Fault Tolerant P 2 P RIA Crawling (2016) (0)

This paper list is powered by the following services:

Other Resources About Gregor von Bochmann

What Schools Are Affiliated With Gregor von Bochmann ?

Gregor von Bochmann is affiliated with the following schools:

Gregor von Bochmann 's Academic­Influence.com Rankings