Gregor von Bochmann
Orcid: 0000-0001-9870-1144Affiliations:
- University of Ottawa, Canada
- Université de Montréal, Canada
According to our database1,
Gregor von Bochmann
authored at least 272 papers
between 1973 and 2021.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 1995, "For contributions to the formal specification of protocols for data communications.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers.
IEEE Trans. Software Eng., 2021
Proceedings of the Applied Cryptography and Network Security, 2021
2020
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020
SemanticPhish: A Semantic-based Scanning System for Early Detection of Phishing Attacks.
Proceedings of the APWG Symposium on Electronic Crime Research, 2020
2019
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019
Proceedings of the Web Engineering - 19th International Conference, 2019
Proceedings of the Web Engineering - 19th International Conference, 2019
2018
Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces.
J. Internet Serv. Appl., 2018
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018
Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018
Proceedings of the Computer Security, 2018
Proceedings of the 2018 APWG Symposium on Electronic Crime Research, 2018
2017
Formal Aspects Comput., 2017
Proceedings of the 26th International Conference on World Wide Web, 2017
2016
D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich Internet Applications.
Proceedings of the 25th International Conference on World Wide Web, 2016
Proceedings of the Testing Software and Systems, 2016
Proceedings of the Networked Systems - 4th International Conference, 2016
Proceedings of the Advances in Digital Forensics XII, 2016
D-ForenRIA: a distributed tool to reconstruct user sessions for rich internet applications.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016
2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015
2014
J. Web Eng., 2014
Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System.
Int. J. Netw. Comput., 2014
PDist-RIA Crawler: A Peer-to-Peer Distributed Crawler for Rich Internet Applications.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Proceedings of the Networked Systems - Second International Conference, 2014
Proceedings of the Networked Systems - Second International Conference, 2014
2013
Discret. Event Dyn. Syst., 2013
A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem.
Comput. Commun., 2013
Proceedings of the Networked Systems - First International Conference, 2013
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013
Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus.
Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013
Proceedings of the Web Engineering - 13th International Conference, 2013
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013
Proceedings of the Eighth International Conference on P2P, 2013
2012
FSM-based testing from user defined faults adapted to incremental and mutation testing.
Program. Comput. Softw., 2012
J. Netw. Syst. Manag., 2012
Proceedings of the Web Engineering - 12th International Conference, 2012
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the Center for Advanced Studies on Collaborative Research, 2012
2011
Proceedings of the ICPE'11, 2011
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011
Proceedings of the Testing Software and Systems, 2011
Proceedings of the Web Engineering - 11th International Conference, 2011
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services.
Proceedings of the Managing the Dynamics of Networks and Services, 2011
2010
Stud. Inform. Univ., 2010
CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT.
Peer-to-Peer Netw. Appl., 2010
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., 2010
Proceedings of the Third International Conference on Software Testing, 2010
2009
Resource Criticality Analysis of Static Resource Allocations and Its Applications in WDM Network Planning.
JOCN, 2009
A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem.
IEEE Commun. Lett., 2009
Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality
CoRR, 2009
GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information
CoRR, 2009
Proceedings of the Testing of Software and Communication Systems, 2009
Proceedings of the MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, 2009
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009
Proceedings of IEEE International Conference on Communications, 2009
Proceedings of IEEE International Conference on Communications, 2009
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks.
Proceedings of IEEE International Conference on Communications, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Opt. Switch. Netw., 2008
Proceedings of the Testing of Software and Communicating Systems, 2008
CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay.
Proceedings of the Proceedings P2P'08, 2008
2007
Deriving protocol specifications from service specifications written as Predicate/Transition-nets.
Comput. Networks, 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007
Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks.
Proceedings of the Global Communications Conference, 2007
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007
2006
J. Frankl. Inst., 2006
Optimization Analysis of Optical Time Slot Interchanges in All-Optical Network.
Proceedings of the Sixth IASTED International Multi-Conference on Wireless and Optical Communications: Conference on Communication Systems and Applications, 2006
Routing of MPLS Flows over an Agile All-Photonic Star Network.
Proceedings of the Sixth IASTED International Multi-Conference on Wireless and Optical Communications: Conference on Communication Systems and Applications, 2006
Proceedings of the NETWORKING 2006, 2006
Proceedings of the WMuNeP'06, 2006
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006
Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic Network Cores.
Proceedings of IEEE International Conference on Communications, 2006
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006
Generalizing the Submodule Construction Techniques for Extended State Machine Models.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the SDL 2005: Model Driven, 2005
Service-oriented Layer 1 Virtual Private Network for Grid Applications.
Proceedings of The 2005 International Conference on Grid Computing and Applications, 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Hierarchical Inter-Domain Management for Networks with Condo-Switches.
Proceedings of the IASTED International Conference on Communication Systems and Applications, 2005
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
2004
Wirel. Commun. Mob. Comput., 2004
Telecommun. Syst., 2004
Proceedings of the 1st International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2004), 2004
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
Proceedings of the High Speed Networks and Multimedia Communications, 2004
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.
Distributed Comput., 2003
Proceedings of the SDL 2003: System Design, 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003
Proceedings of the Mobile Agents for Telecommunication Applications, 2003
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003
Pushing Quality of Service Information and Requirements into Global Query Optimization.
Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Methods for Designing SIP Features in SDL with Fewer Feature Interactions.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003
2002
FSM-based Re-Testing Methods.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002
Segmented Burst Switching: Enhancement of Optical Burst Switching to Decrease Loss Rate and Support Quality of Service.
Proceedings of the Next Generation Optical Network Design and Modelling, 2002
Submodule Construction for Specifications with Input Assumptions and Output Guarantees.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002
2001
Proceedings of the Implementation and Application of Automata, 2001
Data Distribution Strategies for Providing Database Scalability in E-commerce Applications.
Proceedings of the Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS '01), 2001
Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30, 2001
Proceedings of the Topics in Electronic Commerce, Second International Symposium, 2001
Selecting the QoS Parameters for Multicast Applications Based on User Profile and Device Capability.
Proceedings of the Interactive Distributed Multimedia Systems, 2001
Diagnosing Multiple Faults in Communicating Finite State Machines.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
2000
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
1999
A Framework for Alarm Correlation and Fault Diagnostics.
Netw. Inf. Syst. J., 1999
An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation.
Multim. Tools Appl., 1999
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1999
Protocol Synthesis for Real-Time Applications.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
Object Composition: A Case Study.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999
1998
Multim. Syst., 1998
A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study.
Comput. Networks, 1998
Distributed Objects with Sense of Direction.
Proceedings of the Distributed Data & Structures, 1998
Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW).
Proceedings of the 1998 MultiMedia Modeling (MMM '98), 1998
1997
A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks.
Mob. Networks Appl., 1997
Automating the process of test derivation from SDL specifications.
Proceedings of the SDL '97 Time for Testing, 1997
Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies.
Proceedings of the Integrated Network Management V, 1997
Proceedings of the International Conference on Multimedia Computing and Systems, 1997
1996
Distributed Comput., 1996
Comput. Networks ISDN Syst., 1996
Metadata Modeling for Quality of Service Management in Distributed Multimedia Systems.
Proceedings of the 1st IEEE Metadata Conference 1996, MD 1996, Silver Spring, 1996
Proceedings of the 1996 International Workshop on Multimedia Software Development, 1996
A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications.
Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996
Proceedings of the Digest of Papers: FTCS-26, 1996
Fault Models for Testing in Context.
Proceedings of the Formal Description Techniques IX: Theory, 1996
1995
IEICE Trans. Inf. Syst., 1995
Comput. Networks ISDN Syst., 1995
Proceedings of the ACM SIGCOMM 1995 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Cambridge, MA, USA, August 28, 1995
Modeling basic LOTOS by FSMs for conformance testing.
Proceedings of the Protocol Specification, 1995
Proceedings of the 1995 International Conference on Network Protocols, 1995
Proceedings of the 1995 International Conference on Network Protocols, 1995
Proceedings of the 1995 International Conference on Network Protocols, 1995
Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995
Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment.
Proceedings of the Feature Interactions in Telecommunications III, 1995
1994
IEEE Trans. Software Eng., 1994
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.
IEEE Trans. Software Eng., 1994
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.
IEEE Trans. Software Eng., 1994
On specifying services and synthesizing protocols for real-time applications.
Proceedings of the Protocol Specification, 1994
Specialization in Estelle.
Proceedings of the Protocol Specification, 1994
On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation.
Proceedings of the Protocols for High-Speed Networks IV, 1994
Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994
Proceedings of the Proceedings IEEE INFOCOM '94, 1994
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.
Proceedings of the Formal Description Techniques VII, 1994
Object-Oriented Modelling and Development of Distributed Systems.
Proceedings of the Object-Oriented Technology for Database and Software Systems, 1994
Proceedings of the Second International Workshop on Configurable Distributed Systems, 1994
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994
1993
Fairness of N-party Synchronization and Its Implementation in a Distributed Environment.
Proceedings of the Distributed Algorithms, 7th International Workshop, 1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Conformance Relations and Test Derivation.
Proceedings of the Protocol Test Systems, 1993
Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports.
Proceedings of the Protocol Test Systems, 1993
Generating Tests for Control Portion of SDL Specifications.
Proceedings of the Protocol Test Systems, 1993
Conformance Testing of Protocol Machines without Reset.
Proceedings of the Protocol Specification, 1993
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993
Incremental Construction Approach for Distributed System Specifications.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
Specification Languages for Communication Protocols.
Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993
Proceedings of the Application and Theory of Petri Nets 1993, 1993
An Overview of Fault Management in Telecommunication Networks.
Proceedings of the Advanced Information Processing Techniques for LAN and MAN Management, 1993
1992
Inf. Process. Lett., 1992
Object-Oriented Design for Distributed Systems and OSI Standards.
Proceedings of the Upper Layer Protocols, 1992
Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
Proceedings of the Protocol Test Systems, V, 1992
Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines.
Proceedings of the Protocol Test Systems, V, 1992
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992
Proceedings of the Conference on Software Maintenance, 1992
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, 1992
1991
Testing Non-Deterministic State Machines with Fault Coverage.
Proceedings of the Protocol Test Systems, IV, 1991
TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models.
Proceedings of the Protocol Test Systems, IV, 1991
Fault Models in Testing.
Proceedings of the Protocol Test Systems, IV, 1991
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS.
Proceedings of the Protocol Specification, 1991
Object-Oriented Design for ODP.
Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991
Fairness in LOTOS.
Proceedings of the Formal Description Techniques, 1991
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991
1990
ACM Trans. Comput. Syst., 1990
Comput. Commun., 1990
Translation from TTCN to LOTOS and the Validation of Test Cases.
Proceedings of the Formal Description Techniques, 1990
Distributed Observation and FIFO Queues.
Proceedings of the Formal Description Techniques, 1990
ASN.1 and Estelle Implementation Support Tools.
Proceedings of the Formal Description Techniques, 1990
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990
1989
IEEE Trans. Software Eng., 1989
Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques.
Comput. Networks ISDN Syst., 1989
Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989
Combining ASN1 Support with the LOTOS Language.
Proceedings of the Protocol Specification, 1989
On the Distributed Implementation of LOTOS.
Proceedings of the Formal Description Techniques, 1989
1988
1987
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols.
IEEE Trans. Software Eng., 1987
IEEE Trans. Software Eng., 1987
Usage of Protocol Development Tools: The Results of a Survey.
Proceedings of the Protocol Specification, 1987
1986
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986
1985
Error detection with multiple observers.
Proceedings of the Protocol Specification, 1985
Use of Prolog for building protocol design tools.
Proceedings of the Protocol Specification, 1985
1984
IEEE Trans. Commun., 1984
Use of Formal Specifications for Protocol Design, Implementation and Testing.
Proceedings of the Protocol Specification, 1984
Formal Description Techniques for OSI: an Example.
Proceedings of the Proceedings IEEE INFOCOM 84, San Francisco, CA, USA, April 9-12, 1984, 1984
1983
ACM Trans. Program. Lang. Syst., 1983
Proceedings of the symposium on High-level debugging, 1983
Proceedings of the symposium on Communications Architectures & Protocols, 1983
Proceedings of the symposium on Communications Architectures & Protocols, 1983
Proceedings of the symposium on Communications Architectures & Protocols, 1983
Proceedings of the Local Area Networks: An Advanced Course, 1983
Concepts for distributed systems design.
Springer, ISBN: 978-0-387-12049-2, 1983
1982
IEEE Trans. Commun., 1982
Some Experience with Test Sequence Generation for Protocols.
Proceedings of the Protocol Specification, 1982
Some Experience with the Use of Formal Specifications.
Proceedings of the Protocol Specification, 1982
1981
Computer, 1981
1980
IEEE Trans. Commun., 1980
1979
Lecture Notes in Computer Science 77, Springer, ISBN: 3-540-09723-6, 1979
1978
IEEE Trans. Software Eng., 1978
Synchronization in Distributed System Modules.
Proceedings of the Third Berkeley Workshop on Distributed Data Management and Computer Networks, 1978
1977
Comput. Commun. Rev., 1977
Proceedings of the fifth symposium on Data communications, 1977
A Unified Method for the Specification and Verification of Protocols.
Proceedings of the Information Processing, 1977
1976
1975
Proceedings of the 1975 ACM SIGCOMM/SIGOPS Workshop on Interprocess Communications, USA, 1975
1974
A (Truly) Usable and Portable Compiler Writing System.
Proceedings of the Information Processing, 1974
1973
Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973