Gregor von Bochmann

270 papers A* 16A 7B 17C 30Misc 2Journal 86Unranked 106

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	An Automatic Detection and Analysis of the Bitcoin Generator Scam. EuroS&P Workshops Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut
2019	J	`jnl`	Automatic Detection and Analysis of the "Game Hack" Scam. J. Web Eng. Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut
2019	—	`conf`	Deriving Distributed Design Models from Global State Machines Requirements. SAM Mohammad F. Al-Hammouri, Gregor von Bochmann
2019	B	`conf`	Domain Classifier: Compromised Machines Versus Malicious Registrations. ICWE Sophie Le Page, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood
2019	B	`conf`	The "Game Hack" Scam. ICWE Emad Badawi, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood
2018	—	`conf`	Phishing Attacks Modifications and Evolutions. ESORICS (1) Qian Cui, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut, Jason Flood
2018	—	`conf`	Realizability of Service Specifications. SAM Mohammad F. Al-Hammouri, Gregor von Bochmann
2018	J	`jnl`	Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces. J. Internet Serv. Appl. Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Russell Couturier, Iosif-Viorel Onut
2018	C	`conf`	Using AP-TED to Detect Phishing Attack Variations. PST Sophie Le Page, Gregor von Bochmann, Qian Cui, Jason Flood, Guy-Vincent Jourdan, Iosif-Viorel Onut
2018	—	`conf`	Using URL shorteners to compare phishing and malware attacks. eCrime Sophie Le Page, Guy-Vincent Jourdan, Gregor von Bochmann, Jason Flood, Iosif-Viorel Onut
2017	J	`jnl`	Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects Comput. Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2017	A*	`conf`	Tracking Phishing Attacks Over Time. WWW Qian Cui, Guy-Vincent Jourdan, Gregor von Bochmann, Russell Couturier, Iosif-Viorel Onut
2016	C	`conf`	Conformance Testing with Respect to Partial-Order Specifications. ICTSS Gregor von Bochmann
2016	—	`conf`	D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich Internet Applications. WWW (Companion Volume) Salman Hooshmand, Akib Mahmud, Gregor von Bochmann, Muhammad Faheem, Guy-Vincent Jourdan, Russ Couturier, Iosif-Viorel Onut
2016	—	`conf`	D-ForenRIA: a distributed tool to reconstruct user sessions for rich internet applications. CASCON Salman Hooshmand, Muhammad Faheem, Gregor von Bochmann, Guy-Vincent Jourdan, Russell Couturier, Iosif-Viorel Onut
2016	—	`conf`	Fault Tolerant P2P RIA Crawling. NETYS Khaled Ben Hafaiedh, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2016	—	`conf`	Reconstructing Interactions with Rich Internet Applications from HTTP Traces. IFIP Int. Conf. Digital Forensics Sara Baghbanzadeh, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Seyed M. Mirtaheri, Muhammad Faheem, Iosif-Viorel Onut
2015	Misc	`conf`	Synthesizing Controllers for Multi-lane Traffic Maneuvers. SETTA Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog
2015	—	`conf`	Workshop on the application of security and testing to rich internet applications. CASCON Guy-Vincent Jourdan, Gregor von Bochmann, Ettore Merlo, James Miller, Vio Onut, Lin Tan
2014	J	`jnl`	A Brief History of Web Crawlers. CoRR Seyed M. Mirtaheri, Mustafa Emre Dinçtürk, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2014	J	`jnl`	A Model-Based Approach for Crawling Rich Internet Applications. ACM Trans. Web Mustafa Emre Dincturk, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut
2014	—	`conf`	A Scalable P2P RIA Crawling System with Partial Knowledge. NETYS Khaled Ben Hafaiedh, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2014	—	`conf`	Associativity between Weak and Strict Sequencing. SAM Gregor von Bochmann
2014	—	`conf`	GDist-RIA Crawler: A Greedy Distributed Crawler for Rich Internet Applications. NETYS Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2014	J	`jnl`	Model-Based Rich Internet Applications Crawling: "Menu" and "Probability" Models. J. Web Eng. Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2014	—	`conf`	PDist-RIA Crawler: A Peer-to-Peer Distributed Crawler for Rich Internet Applications. WISE (2) Seyed M. Mirtaheri, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2014	J	`jnl`	Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System. Int. J. Netw. Comput. Jing Zhou, Gregor von Bochmann, Zhongzhi Shi
2013	—	`conf`	A brief history of web crawlers. CASCON Seyed M. Mirtaheri, Mustafa Emre Dinçtürk, Salman Hooshmand, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2013	J	`jnl`	A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem. Comput. Commun. James Yiming Zhang, Jing Wu, Gregor von Bochmann
2013	B	`conf`	Building Rich Internet Applications Models: Example of a Better Strategy. ICWE Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Guy-Vincent Jourdan, Gregor von Bochmann, Iosif-Viorel Onut
2013	—	`conf`	Dist-RIA Crawler: A Distributed Crawler for Rich Internet Applications. 3PGCIC Seyed M. Mirtaheri, Di Zou, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2013	—	`conf`	Distributed B-Tree with Weak Consistency. NETYS Gregor von Bochmann, Shah Asaduzzaman
2013	—	`conf`	Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing System. IPDPS Workshops Jing Zhou, Gregor von Bochmann, Zhongzhi Shi
2013	J	`jnl`	On the realizability of collaborative services. Softw. Syst. Model. Humberto Nicolás Castejón Martínez, Gregor von Bochmann, Rolv Bræk
2013	—	`conf`	Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outpus. NiM-ALP@MoDELS Toqeer Israr, Gregor von Bochmann
2013	—	`conf`	Stochastic Performance Analysis of Distributed Activities. NiM-ALP@MoDELS Toqeer Israr, Gregor von Bochmann
2013	J	`jnl`	Using logic to solve the submodule construction problem. Discret. Event Dyn. Syst. Gregor von Bochmann
2012	B	`conf`	A Statistical Approach for Efficient Crawling of Rich Internet Applications. ICWE Mustafa Emre Dincturk, Suryakant Choudhary, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2012	—	`conf`	Crawling rich internet applications: the state of the art. CASCON Suryakant Choudhary, Mustafa Emre Dincturk, Seyed M. Mirtaheri, Ali Moosavi, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2012	B	`conf`	Evaluating Reliability-Testing Usage Models. COMPSAC Bo Wan, Gregor von Bochmann, Guy-Vincent Jourdan
2012	J	`jnl`	FSM-based testing from user defined faults adapted to incremental and mutation testing. Program. Comput. Softw. Khaled El-Fakih, Rita Dorofeeva, Nina Yevtushenko, Gregor von Bochmann
2012	J	`jnl`	Forward-Looking WDM Network Reconfiguration with Per-Link Congestion Control. J. Netw. Syst. Manag. Jing Wu, James Yiming Zhang, Gregor von Bochmann, Michel Savoie
2012	J	`jnl`	Load balancing in peer-to-peer systems using a diffusive approach. Computing Ying Qiao, Gregor von Bochmann
2012	A	`conf`	Solving Some Modeling Challenges when Testing Rich Internet Applications for Security. ICST Suryakant Choudhary, Mustafa Emre Dincturk, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut, Paul Ionescu
2011	B	`conf`	A Strategy for Efficient Crawling of Rich Internet Applications. ICWE Kamara Benjamin, Gregor von Bochmann, Mustafa Emre Dincturk, Guy-Vincent Jourdan, Iosif-Viorel Onut
2011	C	`conf`	Improved Usage Model for Web Application Reliability Testing. ICTSS Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan
2011	B	`conf`	Performance modeling of distributed collaboration services. ICPE Toqeer Israr, Gregor von Bochmann
2011	—	`conf`	Transforming dynamic behavior specifications from activity diagrams to BPEL. SOSE Nasser Mousa Faleh. Mustafa, Gregor von Bochmann
2011	—	`conf`	Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services. AIMS Ying Qiao, Gregor von Bochmann
2010	J	`jnl`	Applying diffusive load balancing schemes in a clustered P2P system. Stud. Inform. Univ. Ying Qiao, Gregor von Bochmann
2010	J	`jnl`	CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT. Peer-to-Peer Netw. Appl. Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann
2010	J	`jnl`	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. Shen Yu, Jing Wu, James Yiming Zhang, Gregor von Bochmann
2010	—	`conf`	Some Modeling Challenges When Testing Rich Internet Applications for Security. ICST Workshops Kamara Benjamin, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut
2010	J	`jnl`	Some notes on the history of protocol engineering. Comput. Networks Gregor von Bochmann, Dave Rayner, Colin H. West
2009	B	`conf`	A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems. ICPADS Ying Qiao, Gregor von Bochmann
2009	—	`conf`	A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks. ICC Hassan Zeineddine, Gregor von Bochmann
2009	J	`jnl`	A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem. IEEE Commun. Lett. James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie
2009	J	`jnl`	CliqueStream: an efficient and fault-resilient live streaming network on a clustered peer-to-peer overlay CoRR Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann
2009	C	`conf`	Deploying agile photonic networks over reconfigurable optical networks. ISCC Sofia A. Paredes, Gregor von Bochmann, Trevor J. Hall
2009	—	`conf`	Differentiated Static Resource Allocation in WDM Networks. ICC James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie
2009	J	`jnl`	GeoP2P: An adaptive peer-to-peer overlay for efficient search and update of spatial information CoRR Shah Asaduzzaman, Gregor von Bochmann
2009	Misc	`conf`	On Testing 1-Safe Petri Nets. TASE Guy-Vincent Jourdan, Gregor von Bochmann
2009	J	`jnl`	Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality CoRR Shah Asaduzzaman, Gregor von Bochmann
2009	—	`conf`	Resource Criticality Analysis of Static Resource Allocations in WDM Networks. ICC James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie
2009	—	`conf`	Testing TestCom/FATES Gregor von Bochmann, Guy-Vincent Jourdan
2009	C	`conf`	Towards a global online reputation. MEDES Hui Li, Morad Benyoucef, Gregor von Bochmann
2009	—	`conf`	Using First-Order Logic to Reason about Submodule Construction. FMOODS/FORTE Gregor von Bochmann
2008	—	`conf`	CliqueStream: An Efficient and Fault-Resilient Live Streaming Network on a Clustered Peer-to-Peer Overlay. Peer-to-Peer Computing Shah Asaduzzaman, Ying Qiao, Gregor von Bochmann
2008	J	`jnl`	Grade-of-service differentiated static resource allocation schemes in WDM networks. Opt. Switch. Netw. James Yiming Zhang, Jing Wu, Gregor von Bochmann, Michel Savoie
2008	—	`conf`	Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan
2007	—	`conf`	A QoS-based Service Composition for Content Adaptation. ICDE Workshops Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El Saddik
2007	J	`jnl`	Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Comput. Networks Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
2007	B	`conf`	Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks. GLOBECOM Peng He, Gregor von Bochmann
2007	C	`conf`	Realizability of Collaboration-based Service Specifications. APSEC Humberto Nicolás Castejón Martínez, Rolv Bræk, Gregor von Bochmann
2007	A	`conf`	Service-Oriented Virtual Private Networks for Grid Applications. ICWS Hanxi Zhang, Michel Savoie, Scott Campbell, Sergi Figuerola, Gregor von Bochmann, Bill St. Arnaud
2006	B	`conf`	Blocking Model for All-Optical Overlaid-Star TDM Networks. GLOBECOM Jun Zheng, Cheng Peng, Gregor von Bochmann
2006	C	`conf`	Constructing Service Matrices for Agile All-Optical Cores. ISCC Cheng Peng, Sofia A. Paredes, Trevor J. Hall, Gregor von Bochmann
2006	B	`conf`	Delay Performance Analysis for an Agile All-Photonic Star Network. Networking Cheng Peng, Peng He, Gregor von Bochmann, Trevor J. Hall
2006	C	`conf`	Generalizing the Submodule Construction Techniques for Extended State Machine Models. FORTE Bassel Daou, Gregor von Bochmann
2006	—	`conf`	Optimization Analysis of Optical Time Slot Interchanges in All-Optical Network. Wireless and Optical Communications Hassan Zeineddine, Peng He, Gregor von Bochmann
2006	J	`jnl`	Petri net-based protocol synthesis with minimum communication costs. J. Frankl. Inst. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
2006	J	`jnl`	Progressive solutions to a parallel automata equation. Theor. Comput. Sci. Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor von Bochmann
2006	—	`conf`	Protecting the privacy of user's QoS preferences for multimedia applications. WMuNeP Khalil El-Khatib, Gregor von Bochmann
2006	—	`conf`	Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic Network Cores. ICC Cheng Peng, Gregor von Bochmann, Trevor J. Hall
2006	—	`conf`	Routing of MPLS Flows over an Agile All-Photonic Star Network. Wireless and Optical Communications Peng He, Gregor von Bochmann
2005	C	`conf`	An optimal shared protection scheme for optical networks. AICCSA Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah
2005	J	`jnl`	Customer-managed end-to-end lightpath provisioning. Int. J. Netw. Manag. Jing Wu, Michel Savoie, Scott Campbell, Hanxi Zhang, Gregor von Bochmann, Bill St. Arnaud
2005	C	`conf`	Hierarchical Inter-Domain Management for Networks with Condo-Switches. Communication Systems and Applications Gregor von Bochmann
2005	—	`conf`	Service Discovery and Component Reuse with Semantic Interfaces. SDL Forum Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot
2005	—	`conf`	Service-oriented Layer 1 Virtual Private Network for Grid Applications. GCA Hanxi Zhang, Michel Savoie, Jing Wu, Scott Campbell, Gregor von Bochmann, Bill St. Arnaud
2005	C	`conf`	Submodule Construction for Extended State Machine Models. FORTE Bassel Daou, Gregor von Bochmann
2004	—	`conf`	A Bandwidth Allocation Scheme in Optical TDM. HSNMC Abdelilah Maach, Hassan Zeineddine, Gregor von Bochmann
2004	C	`conf`	A QoS-Based Framework for Distributed Content Adaptation. QSHINE Khalil El-Khatib, Gregor von Bochmann, Abdulmotaleb El Saddik
2004	—	`conf`	A Trust Model with Statistical Foundation. Formal Aspects in Security and Trust Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams
2004	—	`conf`	Comparison of Methods for Supervisory Control and Submodule Construction. ACSD Gregor von Bochmann, Bassel Daou
2004	J	`jnl`	Congestion Control and Contention Elimination in Optical Burst Switching. Telecommun. Syst. Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah
2004	J	`jnl`	FSM-Based Incremental Conformance Testing Methods. IEEE Trans. Software Eng. Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2004	J	`jnl`	High-level design for user and component interfaces. Knowl. Based Syst. Gregor von Bochmann
2004	J	`jnl`	Personal and service mobility in ubiquitous computing environments. Wirel. Commun. Mob. Comput. Khalil El-Khatib, Zhen E. Zhang, N. Hadibi, Gregor von Bochmann
2004	J	`jnl`	QoS-based Distributed Query Processing. Ingénierie des Systèmes d Inf. Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
2004	B	`conf`	Shared Protection for Time Slotted Optical Networks. NCA Abdelilah Maach, Gregor von Bochmann, Hussein T. Mouftah
2003	—	`conf`	Agent Support for Context-Aware Services and Personal Mobility. MATA Khalil El-Khatib, Gregor von Bochmann
2003	C	`conf`	An experimental prototype for scalable server selection. IPCCC Mohamed-Vall O. Mohamed-Salem, J. Chen, Gregor von Bochmann, Johnny W. Wong
2003	C	`conf`	Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems. FORTE Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
2003	—	`conf`	Fault Diagnosis in Extended Finite State Machines. TestCom Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann
2003	C	`conf`	Integrating Quality of Service into Database Systems. DEXA Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
2003	—	`conf`	Methods for Designing SIP Features in SDL with Fewer Feature Interactions. FIW Ken Y. Chan, Gregor von Bochmann
2003	—	`conf`	Modeling IETF Session Initiation Protocol and Its Services in SDL. SDL Forum Ken Y. Chan, Gregor von Bochmann
2003	—	`conf`	Performance Evaluation of the Preemptive Bandwidth Allocation Protocol. MIPS Nawel Chefaï, Gregor von Bochmann, Nicolas D. Georganas
2003	C	`conf`	Progressive Solutions to a Parallel Automata Equation. FORTE Sergey Buffalov, Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2003	J	`jnl`	Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Comput. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino
2003	C	`conf`	Pushing Quality of Service Information and Requirements into Global Query Optimization. IDEAS Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Vincent Oria
2003	—	`conf`	Revisiting Join Site Selection in Distributed Database Systems. Euro-Par Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
2003	J	`jnl`	Scalability of Web-based electronic commerce systems. IEEE Commun. Mag. Gregor von Bochmann, Johnny W. Wong, David Evans, Terence C. Lau, Don Bourne, Brigitte Kerhervé, Mohamed-Vall M. Salem, Haiwei Ye
2003	—	`conf`	Scaling Server Selection Using a Multi-Broker Architecture. ICDCS Workshops Mohamed-Vall O. Mohamed-Salem, Gregor von Bochmann, Johnny W. Wong
2003	—	`conf`	Support for Personal and Service Mobility in Ubiquitous Computing Environments. Euro-Par Khalil El-Khatib, N. Hadibi, Gregor von Bochmann
2002	—	`conf`	FSM-based Re-Testing Methods. TestCom Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2002	—	`conf`	Segmented Burst Switching: Enhancement of Optical Burst Switching to Decrease Loss Rate and Support Quality of Service. ONDM Abdelilah Maach, Gregor von Bochmann
2002	C	`conf`	Submodule Construction for Specifications with Input Assumptions and Output Guarantees. FORTE Gregor von Bochmann
2001	—	`conf`	Data Distribution Strategies for Providing Database Scalability in E-commerce Applications. WECWIS Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann, Don Bourne
2001	C	`conf`	Diagnosing Multiple Faults in Communicating Finite State Machines. FORTE Khaled El-Fakih, Nina Yevtushenko, Gregor von Bochmann
2001	—	`conf`	Introducing QoS to Electronic Commerce Applications. ISEC Gregor von Bochmann, Brigitte Kerhervé, Hanan Lutfiyya, Mohamed-Vall O. Mohamed-Salem, Haiwei Ye
2001	A*	`conf`	Preemptive bandwidth allocation protocol for multicast, multi-streams environments. ACM Multimedia Nawel Chefaï, Nicolas D. Georganas, Gregor von Bochmann
2001	—	`conf`	Selecting the QoS Parameters for Multicast Applications Based on User Profile and Device Capability. IDMS Khalil El-Khatib, Gregor von Bochmann, Yu Zhong
2001	C	`conf`	Submodule Construction and Supervisory Control: A Generalization. CIAA Gregor von Bochmann
2000	A*	`conf`	Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino
2000	—	`ed.`	Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13 TestCom Hasan Ural, Robert L. Probert, Gregor von Bochmann
1999	J	`jnl`	A Framework for Alarm Correlation and Fault Diagnostics. Netw. Inf. Syst. J. Mahamat Guiagoussou, Raouf Boutaba, Gregor von Bochmann
1999	J	`jnl`	An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation. Multim. Tools Appl. Abdelhakim Hafid, Gregor von Bochmann
1999	—	`conf`	Object Composition: A Case Study. FMOODS D. Ramazani, Gregor von Bochmann
1999	C	`conf`	Protocol Synthesis for Real-Time Applications. FORTE Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
1999	—	`conf`	QoS Aware Distributed Query Processing. DEXA Workshop Haiwei Ye, Brigitte Kerhervé, Gregor von Bochmann
1999	—	`conf`	Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF. IDMS Gregor von Bochmann, Zhen Yang
1999	—	`ed.`	SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings SDL Forum Rachida Dssouli, Gregor von Bochmann, Yair Lahav
1998	J	`jnl`	A Pattern System for Network Management Interfaces. Commun. ACM Rudolf K. Keller, Jean Tessier, Gregor von Bochmann
1998	J	`jnl`	A Quality of Service Negotiation Approach with Future Reservations (NAFUR): A Detailed Study. Comput. Networks Abdelhakim Hafid, Gregor von Bochmann, Rachida Dssouli
1998	—	`conf`	Distributed Objects with Sense of Direction. WDAS Gregor von Bochmann, Paola Flocchini, D. Ramazani
1998	B	`conf`	Meta-Data Modeling for Quality of Service (QoS) Management in the World Wide Web (WWW). MMM Erika Madja, Abdelhakim Hafid, Rachida Dssouli, Gregor von Bochmann, Jan Gecsei
1998	J	`jnl`	Quality-of-Service Adaptation in Distributed Multimedia Applications. Multim. Syst. Abdelhakim Hafid, Gregor von Bochmann
1997	J	`jnl`	A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. Mob. Networks Appl. Zhongping Tao, Gregor von Bochmann, Rachida Dssouli
1997	—	`conf`	Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. Integrated Network Management Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer
1997	—	`conf`	Automating the process of test derivation from SDL specifications. SDL Forum Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga
1997	—	`conf`	Cooperative QoS Management for Multimedia Applications. ICMCS Stefan Fischer, Abdelhakim Hafid, Gregor von Bochmann, Hermann de Meer
1997	J	`jnl`	Enabling Technology for Distributed Multimedia Applications. IBM Syst. J. 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
1997	J	`jnl`	Forte '95. Comput. Networks ISDN Syst. Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
1997	J	`jnl`	Some principles for quality of service management. Distributed Syst. Eng. Gregor von Bochmann, Abdelhakim Hafid
1996	—	`conf`	A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
1996	A	`conf`	A Quality of Service Negotiation Procedure for Distributed Multimedia Presentational Applications. HPDC Abdelhakim Hafid, Gregor von Bochmann, Brigitte Kerhervé
1996	—	`conf`	Architectural design of adaptive distributed multimedia systems. MMSD Gregor von Bochmann, Brigitte Kerhervé, Abdelhakim Hafid, Petre Dini, Anne Pons
1996	J	`jnl`	Deriving Protocol Specifications from Service Specifications Written in LOTOS. Distributed Comput. Christian Kant, Teruo Higashino, Gregor von Bochmann
1996	C	`conf`	Fault Models for Testing in Context. FORTE Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
1996	C	`ed.`	Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 FORTE Gregor von Bochmann, Rachida Dssouli, Omar Rafiq
1996	J	`jnl`	On Fault Coverage of Tests for Finite State Specifications. Comput. Networks ISDN Syst. Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao
1996	J	`jnl`	Testing in context: framework and test derivation. Comput. Commun. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
1995	J	`jnl`	Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language. IEICE Trans. Inf. Syst. Issam A. Hamid, Mohammed Erradi, Gregor von Bochmann, Setsuo Ohsuga
1995	A*	`conf`	An Automatic Trace Analysis Tool Generator for Estelle Specifications. SIGCOMM S. Alan Ezust, Gregor von Bochmann
1995	B	`conf`	An efficient method for protocol conversion. ICCCN Z. P. Tao, Gregor von Bochmann, Rachida Dssouli
1995	—	`conf`	Automatic Reconfiguration for Runtime Feature-Interaction Resolution in an Object-Oriented Environment. FIW Petre Dini, Gregor von Bochmann
1995	J	`jnl`	Distributed Multimedia and QOS: A Survey. IEEE Multim. Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei
1995	J	`jnl`	Merging Behavior Specifications. Formal Methods Syst. Des. Ferhat Khendek, Gregor von Bochmann
1995	—	`conf`	Modeling basic LOTOS by FSMs for conformance testing. PSTV Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
1995	J	`jnl`	Object-Oriented Design for Distributed Systems: The OSI Directory Example. Comput. Networks ISDN Syst. Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval
1995	B	`conf`	Protocol synthesis using basic Lotos and global variables. ICNP Ahmed Khoumsi, Gregor von Bochmann
1995	B	`conf`	Validation of distributed algorithms and protocols. ICNP Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite
1995	B	`conf`	Verification and diagnosis of testing equivalence and reduction relation. ICNP Zhongping Tao, Gregor von Bochmann, Rachida Dssouli
1994	C	`conf`	A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. FORTE Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
1994	J	`jnl`	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. IEEE Trans. Software Eng. Teruo Higashino, Gregor von Bochmann
1994	—	`conf`	Configuration in the framework of open distributed processing. CDS Andreas Vogel, Gregor von Bochmann, Petre Dini, Andreas Polze
1994	—	`conf`	Distributed multimedia applications and quality of service: a survey. CASCON Andreas Vogel, Brigitte Kerhervé, Gregor von Bochmann, Jan Gecsei
1994	A*	`conf`	Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
1994	—	`conf`	Object-Oriented Modelling and Development of Distributed Systems. COODBSE Gregor von Bochmann
1994	—	`conf`	On distributed multimedia presentational applications: functional and computational architecture and QoS negotiation. Protocols for High-Speed Networks Brigitte Kerhervé, Andreas Vogel, Gregor von Bochmann, Rachida Dssouli, Jan Gecsei, Abdelhakim Hafid
1994	—	`conf`	On specifying services and synthesizing protocols for real-time applications. PSTV Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli
1994	A	`conf`	Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA Gregor von Bochmann, Alexandre Petrenko
1994	—	`conf`	Quality of service verification experiments. CASCON Abdelhakim Hafid, Jan de Meer, Axel Rennoch, Gregor von Bochmann, Rachida Dssouli
1994	J	`jnl`	Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. Gang Luo, Anindya Das, Gregor von Bochmann
1994	—	`conf`	Specialization in Estelle. PSTV Reinhard Gotzhein, Gregor von Bochmann
1994	J	`jnl`	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. IEEE Trans. Software Eng. Gang Luo, Gregor von Bochmann, Alexandre Petrenko
1993	—	`conf`	A Subset of Lotos with the Computational Power of Place/Transition-Nets. Application and Theory of Petri Nets Michel Barbeau, Gregor von Bochmann
1993	—	`conf`	An Overview of Fault Management in Telecommunication Networks. Advanced Information Processing Techniques for LAN and MAN Management Mahamat Guiagoussou, Anindya Das, Gregor von Bochmann
1993	A*	`ed.`	Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings CAV Gregor von Bochmann, David K. Probst
1993	—	`ed.`	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 NETWORKS S. V. Raghavan, Gregor von Bochmann, Guy Pujolle
1993	—	`conf`	Conformance Relations and Test Derivation. Protocol Test Systems Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	Conformance Testing of Protocol Machines without Reset. PSTV Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
1993	A	`conf`	Diagnosis of Single Transition Faults in Communicating Finite State Machines. ICDCS Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	Fairness of N-party Synchronization and Its Implementation in a Distributed Environment. WDAG Cheng Wu, Gregor von Bochmann, Ming Yu Yao
1993	—	`conf`	Formal specifications design, evolution and reuse. CASCON Ferhat Khendek, Gregor von Bochmann
1993	—	`conf`	Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. Protocol Test Systems Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi
1993	—	`conf`	Generating Tests for Control Portion of SDL Specifications. Protocol Test Systems Gang Luo, Anindya Das, Gregor von Bochmann
1993	C	`conf`	Incremental Construction Approach for Distributed System Specifications. FORTE Ferhat Khendek, Gregor von Bochmann
1993	A*	`conf`	Modeling and Formal Specification of the Personal Communication Service. INFOCOM D. Desbiens, Gregor von Bochmann, Anindya Das, Joumana Dargham
1993	A*	`conf`	Multiple Fault Diagnostics for Finite State Machines. INFOCOM Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
1993	—	`ed.`	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 Protocol Test Systems Gregor von Bochmann, Rachida Dssouli, Anindya Das
1993	—	`conf`	Specification Languages for Communication Protocols. CHDL Gregor von Bochmann
1993	—	`conf`	Testing for a Conformance Relation Based on Acceptance. TAPSOFT Ming Yu Yao, Gregor von Bochmann
1992	—	`conf`	A formalization of the CORDS Process Model using Mondel. CASCON Ferhat Khendek, Gregor von Bochmann
1992	—	`conf`	A framework for dynamic evolution of object-oriented specifications. ICSM Mohammed Erradi, Gregor von Bochmann, Rachida Dssouli
1992	A	`conf`	Control-flow based testing of Prolog programs. ISSRE Gang Luo, Gregor von Bochmann, Behçet Sarikaya, Michel Boyer
1992	—	`conf`	Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. Protocol Test Systems Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann
1992	J	`jnl`	Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions. Inf. Process. Lett. Gang Luo, Gregor von Bochmann, Anindya Das, Cheng Wu
1992	J	`jnl`	Formal object-oriented methods in communication standards. OOPS Messenger Elspeth Cusack, Gregor von Bochmann
1992	A*	`conf`	Model-Checking for Real-Time Systems Specified in Lotos. CAV Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui
1992	—	`conf`	Object-Oriented Design for Distributed Systems and OSI Standards. ULPAA Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval
1992	A	`conf`	Test Result Analysis and Diagnostics for Finite State Machines. ICDCS Abderrazak Ghedamsi, Gregor von Bochmann
1992	—	`conf`	Test System for a Restricted Class of LOTOS Expressions with Data Parameters. Protocol Test Systems Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi
1991	C	`conf`	Fairness in LOTOS. FORTE Cheng Wu, Gregor von Bochmann
1991	—	`conf`	Fault Models in Testing. Protocol Test Systems Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo
1991	—	`conf`	Object-Oriented Design for ODP. Open Distributed Processing Gregor von Bochmann, Stéphane Poirier, Pierre Mondain-Monval
1991	—	`conf`	Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. PSTV Nathalie Rico, Gregor von Bochmann
1991	—	`conf`	TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems Martin Dubuc, Rachida Dssouli, Gregor von Bochmann
1991	J	`jnl`	Test Selection Based on Finite State Models. IEEE Trans. Software Eng. Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi
1991	—	`conf`	Testing Non-Deterministic State Machines with Fault Coverage. Protocol Test Systems Susumu Fujiwara, Gregor von Bochmann
1991	J	`jnl`	The Equivalence in the DCP Model. Theor. Comput. Sci. Reine Fournier, Gregor von Bochmann
1991	A*	`conf`	The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach. CAV Michel Barbeau, Gregor von Bochmann
1990	C	`conf`	ASN.1 and Estelle Implementation Support Tools. FORTE Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld
1990	J	`jnl`	Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. Comput. Syst. Reinhard Gotzhein, Gregor von Bochmann
1990	J	`jnl`	Deriving protocol converters for communications gateways. IEEE Trans. Commun. Gregor von Bochmann
1990	J	`jnl`	Design Principles for Communication Gateways. IEEE J. Sel. Areas Commun. Gregor von Bochmann, Pierre Mondain-Monval
1990	C	`conf`	Distributed Observation and FIFO Queues. FORTE Rachida Dssouli, Reine Fournier, Gregor von Bochmann
1990	—	`conf`	Extension of the Karp and Miller Procedure to LOTOS Specifications. CAV (DIMACS/AMS volume) Michel Barbeau, Gregor von Bochmann
1990	A*	`conf`	Extension of the Karp and Miller Procedure to Lotos Specifications. CAV Michel Barbeau, Gregor von Bochmann
1990	J	`jnl`	Method of analysing extended finite-state machine specifications. Comput. Commun. Behçet Sarikaya, Vassilios N. Koukoulidis, Gregor von Bochmann
1990	C	`conf`	Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba
1989	—	`conf`	Combining ASN1 Support with the LOTOS Language. PSTV Gregor von Bochmann, Michel Deslauriers
1989	A*	`conf`	New Results on Deriving Protocol Specifications from Service Specifications. SIGCOMM Ferhat Khendek, Gregor von Bochmann, Christian Kant
1989	C	`conf`	On the Distributed Implementation of LOTOS. FORTE Gregor von Bochmann, Qiang Gao, Cheng Wu
1989	J	`jnl`	Protocol Specification for OSI. Comput. Networks ISDN Syst. Gregor von Bochmann
1989	J	`jnl`	Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques. Comput. Networks ISDN Syst. Gregor von Bochmann
1989	J	`jnl`	Trace Analysis for Conformance and Arbitration Testing. IEEE Trans. Software Eng. Gregor von Bochmann, Rachida Dssouli, J. R. Zhao
1988	J	`jnl`	Delay-Independent Design for Distributed Systems. IEEE Trans. Software Eng. Gregor von Bochmann
1987	J	`jnl`	A Test Design Methodology for Protocol Testing. IEEE Trans. Software Eng. Behçet Sarikaya, Gregor von Bochmann, Eduard Cerny
1987	J	`jnl`	Semiautomatic Implementation of Communication Protocols. IEEE Trans. Software Eng. Gregor von Bochmann, George Walter Gerber, Jean-Marc Serre
1987	J	`jnl`	Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols. IEEE Trans. Software Eng. Gregor von Bochmann, Jean-Pierre Verjus
1987	—	`conf`	Usage of Protocol Development Tools: The Results of a Survey. PSTV Gregor von Bochmann
1986	A*	`conf`	Deriving protocol specifications from service specifications. SIGCOMM Gregor von Bochmann, Reinhard Gotzhein
1985	—	`conf`	Error detection with multiple observers. PSTV Rachida Dssouli, Gregor von Bochmann
1985	—	`conf`	Use of Prolog for building protocol design tools. PSTV Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural
1984	A*	`conf`	Formal Description Techniques for OSI: an Example. INFOCOM Gregor von Bochmann
1984	J	`jnl`	Synchronization and Specification Issues in Protocol Testing. IEEE Trans. Commun. Behçet Sarikaya, Gregor von Bochmann
1984	—	`conf`	Use of Formal Specifications for Protocol Design, Implementation and Testing. PSTV Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre
1983	J	`jnl`	An approach to testing specifications. J. Syst. Softw. Claude Jard, Gregor von Bochmann
1983	—	`conf`	An approach to testing specifications. SIGSOFT Claude Jard, Gregor von Bochmann
1983	—	`book`	Concepts for distributed systems design. Gregor von Bochmann
1983	J	`jnl`	On the Construction of Submodule Specifications and Communication Protocols. ACM Trans. Program. Lang. Syst. Philip M. Merlin, Gregor von Bochmann
1983	A*	`conf`	Relationship between performance parameters for transport and network services. SIGCOMM K. S. Raghunathan, J. A. Barchanski, Gregor von Bochmann
1983	—	`conf`	Specification in Distributed Systems. Advanced Course: Local Area Networks Gregor von Bochmann
1983	J	`jnl`	Structured Specification of Communicating Systems. IEEE Trans. Computers Gregor von Bochmann, Michel Raynal
1983	A*	`conf`	Synchronization issues in protocol testing. SIGCOMM Behçet Sarikaya, Gregor von Bochmann
1982	J	`jnl`	Experience with Formal Specifications Using an Extended State Transition Model. IEEE Trans. Commun. Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
1982	J	`jnl`	Hardware Specification with Temporal Logic: En Example. IEEE Trans. Computers Gregor von Bochmann
1982	—	`conf`	Some Experience with Test Sequence Generation for Protocols. PSTV Behçet Sarikaya, Gregor von Bochmann
1982	—	`conf`	Some Experience with the Use of Formal Specifications. PSTV Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
1981	J	`jnl`	Special Feature: Data Structuring Facilities for Interactive Videotex Systems. Computer Frank Wm. Tompa, Jan Gecsei, Gregor von Bochmann
1980	J	`jnl`	Videotex Networks. Computer Alan J. S. Ball, Gregor von Bochmann, Jan Gecsei
1979	—	`book`	Architecture of Distributed Computer Systems Gregor von Bochmann
1979	J	`jnl`	Development and Structure of an X.25 Implementation. IEEE Trans. Software Eng. Gregor von Bochmann, Joachim Tankoano
1979	J	`jnl`	Distributed Synchronization and Regularity. Comput. Networks Gregor von Bochmann
1979	J	`jnl`	Semantic equivalence of covering attribute grammars. Int. J. Parallel Program. Gregor von Bochmann
1978	J	`jnl`	Compile Time Memory Allocation for Parallel Processes. IEEE Trans. Software Eng. Gregor von Bochmann
1978	J	`jnl`	Compiler Writing System for Attribute Grammars. Comput. J. Gregor von Bochmann, P. Ward
1978	J	`jnl`	Finite State Description of Communication Protocols. Comput. Networks Gregor von Bochmann
1978	—	`conf`	Synchronization in Distributed System Modules. Berkeley Workshop Gregor von Bochmann
1977	—	`conf`	A Unified Method for the Specification and Verification of Protocols. IFIP Congress Gregor von Bochmann, Jan Gecsei
1977	J	`jnl`	Corrigendum: "A Sampler of Formal Definitions". ACM Comput. Surv. Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann
1976	J	`jnl`	A Sampler of Formal Definitions. ACM Comput. Surv. Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann
1976	J	`jnl`	Comments on Monitor Definition and Implementation. Inf. Process. Lett. Gregor von Bochmann
1976	J	`jnl`	Semantic Evaluation from Left to Right. Commun. ACM Gregor von Bochmann
1975	—	`conf`	Communication protocols and error recovery procedures. SIGCOMM/SIGOPS Workshop on Interprocess Communications Gregor von Bochmann
1974	—	`conf`	A (Truly) Usable and Portable Compiler Writing System. IFIP Congress Olivier Lecarme, Gregor von Bochmann
1973	J	`jnl`	Multiple Exits from a Loop Without the GOTO. Commun. ACM Gregor von Bochmann