| 2019 | ICWE | The "Game Hack" Scam. | Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood |
| 2019 | ICWE | Domain Classifier: Compromised Machines Versus Malicious Registrations. | Sophie Le Page, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood |
| 2018 | ESORICS | Phishing Attacks Modifications and Evolutions. | Qian Cui, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood |
| 2018 | PST | Using AP-TED to Detect Phishing Attack Variations. | Sophie Le Page, Gregor von Bochmann, Qian Cui, Jason Flood, Guy-Vincent Jourdan, Iosif-Viorel Onut |
| 2017 | WWW | Tracking Phishing Attacks Over Time. | Qian Cui, Guy-Vincent Jourdan, Gregor von Bochmann, Russell Couturier, Iosif-Viorel Onut |
| 2016 | WWW | D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich Internet Applications. | Salman Hooshmand, Akib Mahmud, Gregor von Bochmann, Muhammad Faheem, Guy-Vincent Jourdan, Russ Couturier, Iosif-Viorel Onut |
| 2015 | SETTA | Synthesizing Controllers for Multi-lane Traffic Maneuvers. | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog |
| 2014 | WISE | PDist-RIA Crawler: A Peer-to-Peer Distributed Crawler for Rich Internet Applications. | Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut |
| 2013 | ICWE | Building Rich Internet Applications Models: Example of a Better Strategy. | Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut |
| 2013 | MODELS | Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus. | Toqeer Israr, Gregor von Bochmann |
| 2013 | MODELS | Stochastic Performance Analysis of Distributed Activities. | Toqeer Israr, Gregor von Bochmann |
| 2012 | COMPSAC | Evaluating Reliability-Testing Usage Models. | Bo Wan, Gregor von Bochmann, Guy-Vincent Jourdan |
| 2012 | ICST | Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. | Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu |
| 2012 | ICWE | A Statistical Approach for Efficient Crawling of Rich Internet Applications. | Mustafa Emre Dincturk, Suryakant Choudhary, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut |
| 2011 | ICWE | A Strategy for Efficient Crawling of Rich Internet Applications. | Kamara Benjamin, Gregor von Bochmann, Mustafa Emre Dincturk, Guy-Vincent Jourdan, Iosif-Viorel Onut |
| 2010 | ICST | Some Modeling Challenges When Testing Rich Internet Applications for Security. | Kamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut |
| 2009 | FORTE | Using First-Order Logic to Reason about Submodule Construction. | Gregor von Bochmann |
| 2009 | ICPADS | A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems. | Ying Qiao, Gregor von Bochmann |
| 2009 | ISCC | Deploying agile photonic networks over reconfigurable optical networks. | Sofia A. Paredes, Gregor von Bochmann, Trevor J. Hall |
| 2009 | MEDES | Towards a global online reputation. | Hui Li, Morad Benyoucef, Gregor von Bochmann |
| 2009 | TASE | On Testing 1-Safe Petri Nets. | Guy-Vincent Jourdan, Gregor von Bochmann |
| 2007 | APSEC | Realizability of Collaboration-based Service Specifications. | Humberto Nicols Castejn Martnez, Rolv Brk, Gregor von Bochmann |
| 2007 | GLOBECOM | Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks. | Peng He, Gregor von Bochmann |
| 2007 | ICDE | A QoS-based Service Composition for Content Adaptation. | Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El Saddik |
| 2007 | ICWS | Service-Oriented Virtual Private Networks for Grid Applications. | Hanxi Zhang, Michel Savoie, Scott Campbell, Sergi Figuerola, Gregor von Bochmann, Bill St. Arnaud |
| 2006 | FORTE | Generalizing the Submodule Construction Techniques for Extended State Machine Models. | Bassel Daou, Gregor von Bochmann |
| 2006 | GLOBECOM | Blocking Model for All-Optical Overlaid-Star TDM Networks. | Jun Zheng, Cheng Peng, Gregor von Bochmann |
| 2006 | ISCC | Constructing Service Matrices for Agile All-Optical Cores. | Cheng Peng, Sofia A. Paredes, Trevor J. Hall, Gregor von Bochmann |
| 2006 | MSWIM | Protecting the privacy of user's QoS preferences for multimedia applications. | Khalil El-Khatib, Gregor von Bochmann |
| 2006 | Networking | Delay Performance Analysis for an Agile All-Photonic Star Network. | Cheng Peng, Peng He, Gregor von Bochmann, Trevor J. Hall |
| 2005 | AICCSA | An optimal shared protection scheme for optical networks. | Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah |
| 2005 | FORTE | Submodule Construction for Extended State Machine Models. | Bassel Daou, Gregor von Bochmann |
| 2004 | NCA | Shared Protection for Time Slotted Optical Networks. | Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah |
| 2004 | Qshine | A QoS-Based Framework for Distributed Content Adaptation. | Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El Saddik |
| 2003 | DEXA | Integrating Quality of Service into Database Systems. | Haiwei Ye, Brigitte Kerherv, Gregor von Bochmann |
| 2003 | EuroPar | Support for Personal and Service Mobility in Ubiquitous Computing Environments. | Khalil El-Khatib, N. Hadibi, Gregor von Bochmann |
| 2003 | EuroPar | Revisiting Join Site Selection in Distributed Database Systems. | Haiwei Ye, Brigitte Kerherv, Gregor von Bochmann |
| 2003 | FORTE | Progressive Solutions to a Parallel Automata Equation. | Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 2003 | FORTE | Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. | Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino |
| 2003 | IPCCC | An experimental prototype for scalable server selection. | Mohamed-Vall O. Mohamed-Salem, J. Chen, Gregor von Bochmann, Johnny W. Wong |
| 2003 | IDEAS | Pushing Quality of Service Information and Requirements into Global Query Optimization. | Haiwei Ye, Brigitte Kerherv, Gregor von Bochmann, Vincent Oria |
| 2002 | FORTE | Submodule Construction for Specifications with Input Assumptions and Output Guarantees. | Gregor von Bochmann |
| 2001 | FORTE | Diagnosing Multiple Faults in Communicating Finite State Machines. | Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann |
| 1999 | FORTE | Protocol Synthesis for Real-Time Applications. | Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli |
| 1998 | MMM | Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). | Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei |
| 1997 | IM | Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. | Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krmer |
| 1996 | FORTE | Fault Models for Testing in Context. | Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann |
| 1996 | HPDC | A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. | Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerherv |
| 1995 | ICCCN | An efficient method for protocol conversion. | Z. P. Tao, Gregor von Bochmann, Rachida Dssouli |
| 1995 | ICNP | Validation of distributed algorithms and protocols. | Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite |
| 1995 | ICNP | Protocol synthesis using basic Lotos and global variables. | Ahmed Khoumsi, Gregor von Bochmann |
| 1995 | ICNP | Verification and diagnosis of testing equivalence and reduction relation. | Zhongping Tao, Gregor von Bochmann, Rachida Dssouli |
| 1995 | SIGCOMM | An Automatic Trace Analysis Tool Generator for Estelle Specifications. | S. Alan Ezust, Gregor von Bochmann |
| 1994 | FORTE | A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
| 1994 | INFOCOM | Fault Coverage Analysis in Respect to an FSM Specification. | Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann |
| 1994 | ISSTA | Protocol Testing: Review of Methods and Relevance for Software Testing. | Gregor von Bochmann, Alexandre Petrenko |
| 1993 | FORTE | Incremental Construction Approach for Distributed System Specifications. | Ferhat Khendek, Gregor von Bochmann |
| 1993 | ICDCS | Diagnosis of Single Transition Faults in Communicating Finite State Machines. | Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli |
| 1993 | INFOCOM | Modeling and Formal Specification of the Personal Communication Service. | D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham |
| 1993 | INFOCOM | Multiple Fault Diagnostics for Finite State Machines. | Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli |
| 1992 | CAV | Model-Checking for Real-Time Systems Specified in Lotos. | Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui |
| 1992 | ICDCS | Test Result Analysis and Diagnostics for Finite State Machines. | Abderrazak Ghedamsi, Gregor von Bochmann |
| 1992 | ISSRE | Control-flow based testing of Prolog programs. | Gang Luo, Gregor von Bochmann, Behet Sarikaya, Michel Boyer |
| 1991 | CAV | The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. | Michel Barbeau, Gregor von Bochmann |
| 1991 | FORTE | Fairness in LOTOS. | Cheng Wu, Gregor von Bochmann |
| 1990 | CAV | Extension of the Karp and Miller Procedure to Lotos Specifications. | Michel Barbeau, Gregor von Bochmann |
| 1990 | FORTE | ASN.1 and Estelle Implementation Support Tools. | Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld |
| 1990 | FORTE | Distributed Observation and FIFO Queues. | Rachida Dssouli, Reine Fournier, Gregor von Bochmann |
| 1990 | FORTE | Translation from TTCN to LOTOS and the Validation of Test Cases. | Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba |
| 1989 | FORTE | On the Distributed Implementation of LOTOS. | Gregor von Bochmann, Qiang Gao, Cheng Wu |
| 1989 | SIGCOMM | New Results on Deriving Protocol Specifications from Service Specifications. | Ferhat Khendek, Gregor von Bochmann, Christian Kant |
| 1986 | SIGCOMM | Deriving protocol specifications from service specifications. | Gregor von Bochmann, Reinhard Gotzhein |
| 1984 | INFOCOM | Formal Description Techniques for OSI: an Example. | Gregor von Bochmann |
| 1983 | SIGCOMM | Relationship between performance parameters for transport and network services. | K. S. Raghunathan, J. A. Barchanski, Gregor von Bochmann |
| 1983 | SIGCOMM | Synchronization issues in protocol testing. | Behet Sarikaya, Gregor von Bochmann |