G. Bochmann
发表
G. Bochmann,
O. Bellal,
1989
.
G. Bochmann,
A. Petrenko,
N. Yevtushenko,
1996
.
Alexandre Petrenko,
Gregor von Bochmann,
Ming Yu Yao,
1993,
PSTV.
Alexandre Petrenko,
Gregor von Bochmann,
Ming Yu Yao,
1996,
Comput. Networks ISDN Syst..
G. Bochmann,
R. Dssouli,
A. Das,
1991,
Protocol Test Systems.
G. Bochmann,
A. Petrenko,
R. Dssouli,
1993,
Protocol Test Systems.
C. Jard,
G. Bochmann,
1983,
SIGSOFT '83.
G. Bochmann,
Zhengdao Xu,
2004
.
W. W. Armstrong,
G. Bochmann,
1974
.
Gregor von Bochmann,
Carl A. Sunshine,
G. Bochmann,
1980,
IEEE Trans. Commun..
G. Bochmann,
2022
.
G. Bochmann,
2012
.
G. Bochmann,
J. Drissi,
2000
.
G. Bochmann,
Reine Fournier,
1991
.
G. Bochmann,
F. Dankar,
2008
.
Gregor von Bochmann,
Guy-Vincent Jourdan,
G. Bochmann,
2012,
2012 IEEE 36th Annual Computer Software and Applications Conference.
Hussein Mouftah,
Abdelilah Maach,
G. Bochmann,
2004
.
G. Bochmann,
K. El-Fakih,
2008
.
G. Bochmann,
A. Petrenko,
N. Yevtushenko,
2007
.
Rachida Dssouli,
Abderrazak Ghedamsi,
Gregor v. Bochmann,
1993
.
G. Bochmann,
J. Drissi,
2022
.
Bin Zhou,
Gregor v. Bochmann,
G. Bochmann,
2004
.
Gregor von Bochmann,
Michel Barbeau,
G. Bochmann,
1990,
International Conference on Computer Aided Verification.
G. Bochmann,
S. Asaduzzaman,
Ying Qiao,
2010
.
Gang Luo,
Khalil El-Khatib,
Gregor von Bochmann,
1999
.
G. Bochmann,
2008
.
Mohamed-Vall O. Mohamed-Salem,
G. Bochmann,
B. Kerhervé,
1999
.
Mustafa Emre Dincturk,
Suryakant Choudhary,
Gregor v. Bochmann,
2017
.
G. Bochmann,
Daniel Ouimet,
2012
.
G. Bochmann,
M. Barbeau,
M. Erradi,
2012
.
G. Bochmann,
M. Erradi,
I. A. Hamid,
2007
.
G. Bochmann,
2008
.
Gregor von Bochmann,
Rachida Dssouli,
Abderrazak Ghedamsi,
1992,
Protocol Test Systems.
G. Bochmann,
R. Dssouli,
A. Ghedamsi,
1999
.
G. Bochmann,
J. Drissi,
1999
.
Gregor von Bochmann,
Rachida Dssouli,
Abderrazak Ghedamsi,
1993
.
G. Bochmann,
J. Chouinard,
Irénée Dupré la Tour,
2001
.
Gregor von Bochmann,
David K. Probst,
G. Bochmann,
1992
.
G. Bochmann,
L. Logrippo,
B. Sarikaya,
2012
.
Gregor von Bochmann,
Rachida Dssouli,
Omar Rafiq,
1996,
IFIP Advances in Information and Communication Technology.
Gregor von Bochmann,
Rachida Dssouli,
Abderrazak Ghedamsi,
1993,
INFOCOM 1993.
G. Bochmann,
J. Vaucher,
B. Lefebvre,
1996
.
Gregor von Bochmann,
Nathalie Rico,
G. Bochmann,
1991,
PSTV.
G. Bochmann,
Mokhtar Amalou,
2012
.
G. Bochmann,
R. Dssouli,
Z. Tao,
2022
.
G. Bochmann,
2012,
Discrete Event Dynamic Systems.
Gregor von Bochmann,
Haiwei Ye,
Brigitte Kerhervé,
2004,
Ingénierie des Systèmes d Inf..
Gregor von Bochmann,
Haiwei Ye,
Brigitte Kerhervé,
2003,
Euro-Par.
Qian Cui,
Gregor von Bochmann,
Guy-Vincent Jourdan,
2017,
WWW.
Jing Zhou,
Zhongzhi Shi,
Gregor von Bochmann,
2014,
Int. J. Netw. Comput..
Jing Zhou,
Zhongzhi Shi,
Gregor von Bochmann,
2013,
2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum.
G. Bochmann,
B. Margolis,
1969
.
G. Bochmann,
C. Tang,
B. Margolis,
1969
.
Gregor von Bochmann,
Bo Wan,
Guy-Vincent Jourdan,
2011,
ICTSS.
G. Bochmann,
W. Bartl,
R. Brown,
1973
.
Gregor von Bochmann,
Ming Yu Yao,
G. Bochmann,
1993,
TAPSOFT.
Cheng Wu,
Gregor von Bochmann,
G. Bochmann,
1991,
FORTE.
Gregor von Bochmann,
D. Ramazani,
G. Bochmann,
1997
.
Gregor von Bochmann,
G. Bochmann,
1973,
Commun. ACM.
Gregor von Bochmann,
Brigitte Kerhervé,
Jan Gecsei,
1995,
IEEE Multim..
Gregor von Bochmann,
Brigitte Kerhervé,
Jan Gecsei,
1994,
CASCON.
Hirozumi Yamaguchi,
Gregor von Bochmann,
Khaled El-Fakih,
1999
.
Ferhat Khendek,
Gregor von Bochmann,
Abderrazak Ghedamsi,
1991,
IEEE Trans. Software Eng..
Gregor von Bochmann,
G. Bochmann,
1983,
Springer Berlin Heidelberg.
Gregor von Bochmann,
Eduard Cerny,
Behçet Sarikaya,
1987,
IEEE Transactions on Software Engineering.
Nina Yevtushenko,
Alexandre Petrenko,
Gregor von Bochmann,
1996,
Comput. Commun..
Abdulmotaleb El-Saddik,
Khalil El-Khatib,
Gregor von Bochmann,
2004,
First International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks.
Zhen Yang,
Gregor von Bochmann,
G. Bochmann,
1999,
IDMS.
Abdelhakim Hafid,
Gregor von Bochmann,
Brigitte Kerhervé,
1996,
Proceedings International Workshop on Multimedia Software Development.
G. Bochmann,
A. Hafid,
B. Kerhervé,
1996,
MD.
Jian-Yun Nie,
Robert Godin,
Brigitte Kerhervé,
1999
.
H. T. Mouftah,
Gregor von Bochmann,
Abdelilah Maach,
2004,
Telecommun. Syst..
Gregor von Bochmann,
Jing Wu,
James Yiming Zhang,
2013,
Comput. Commun..
Gregor von Bochmann,
Omar Cherkaoui,
Nathalie Rico,
1992,
CAV.
Alexandre Petrenko,
Gregor von Bochmann,
G. Bochmann,
1994,
ISSTA '94.
Alexandre Petrenko,
Gregor von Bochmann,
Gang Luo,
1994,
IEEE Trans. Software Eng..
Gregor von Bochmann,
Michel Barbeau,
G. Bochmann,
1990,
CAV.
Cheng Peng,
Jun Zheng,
G.V. Bochmann,
2006,
2006 First International Conference on Communications and Networking in China.
Alexandre Petrenko,
Gregor von Bochmann,
Q. M. Tan,
1996,
Proceedings of Annual Symposium on Fault Tolerant Computing.
Ernst-Rüdiger Olderog,
Gregor von Bochmann,
Sven Linker,
2017,
Formal Aspects of Computing.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
2011,
ICWE.
Alexandre Petrenko,
Gregor von Bochmann,
Mingyu Yao,
1995
.
Gregor von Bochmann,
Reine Fournier,
G. Bochmann,
1991,
Theor. Comput. Sci..
Alexandre Petrenko,
Gregor von Bochmann,
Ming Yu Yao,
1994,
FORTE.
Nina Yevtushenko,
Alexandre Petrenko,
Gregor von Bochmann,
1994
.
Wilfried G. PROBST,
Gregor V. BOCHMANN,
G. Bochmann,
1977,
SIGCOMM.
Nina Yevtushenko,
Alexandre Petrenko,
Gregor von Bochmann,
1996,
FORTE.
Jean G. Vaucher,
Gregor von Bochmann,
Daniel M. Ouimet,
1992
.
Gregor von Bochmann,
Stefan Fischer,
Mohamed-Vall Om Salem,
1997
.
Alexandre Petrenko,
Gregor von Bochmann,
Q. M. Tan,
1995,
PSTV.
R. Dssouli,
G.V. Bochmann,
A. Ghedamsi,
1993,
IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.
Gregor von Bochmann,
Abderrazak Ghedamsi,
G. Bochmann,
1992,
[1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
Alexandre Petrenko,
Gregor von Bochmann,
O. Bellal,
1997,
SDL Forum.
Alexandre Petrenko,
Gregor von Bochmann,
Q. M. Tan,
1997
.
Gregor von Bochmann,
Carl A. Sunshine,
G. Bochmann,
1982
.
Gregor von Bochmann,
C. H. West,
Colin H. West,
2010,
Comput. Networks.
Gregor von Bochmann,
Jan Gecsei,
J. Gecsei,
1977,
IFIP Congress.
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
Emad Badawi,
2020,
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Gregor von Bochmann,
Guy-Vincent Jourdan,
Seyed M. Mirtaheri,
2014,
WISE.
Gregor von Bochmann,
S. Alan Ezust,
G. Bochmann,
1995,
SIGCOMM '95.
Gregor von Bochmann,
G. Bochmann,
1976,
CACM.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Seyed M. Mirtaheri,
2014,
J. Web Eng..
Abdelhakim Hafid,
Gregor von Bochmann,
G. Bochmann,
1998,
Multimedia Systems.
Abdelhakim Hafid,
Gregor von Bochmann,
Brigitte Kerhervé,
1996,
Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing.
G. Bochmann,
Guy-Vincent Jourdan,
Q. Cui,
2020,
2020 APWG Symposium on Electronic Crime Research (eCrime).
Hirozumi Yamaguchi,
Teruo Higashino,
Gregor von Bochmann,
2007,
Comput. Networks.
Hirozumi Yamaguchi,
Teruo Higashino,
Gregor von Bochmann,
2006,
J. Frankl. Inst..
Hirozumi Yamaguchi,
Teruo Higashino,
Gregor von Bochmann,
2003,
Distributed Computing.
Hirozumi Yamaguchi,
Teruo Higashino,
Gregor von Bochmann,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
Hui Li,
Morad Benyoucef,
Gregor von Bochmann,
2011
.
Hui Li,
Morad Benyoucef,
Gregor von Bochmann,
2009,
MEDES.
Gregor von Bochmann,
Pierre Mondain-Monval,
Stéphane Poirier,
1995,
Comput. Networks ISDN Syst..
Khalil El-Khatib,
Gregor von Bochmann,
Yu Zhong,
2001,
IDMS.
Gregor von Bochmann,
G. Bochmann,
2013,
Discret. Event Dyn. Syst..
Gregor von Bochmann,
G. Bochmann,
2009,
FMOODS/FORTE.
Gregor von Bochmann,
Bassel Daou,
G. Bochmann,
2005,
FORTE.
Gregor von Bochmann,
G. Bochmann,
2002,
FORTE.
Gregor von Bochmann,
G. Bochmann,
2001,
CIAA.
Alexandre Petrenko,
Gang Luo,
Gregor von Bochmann,
1995
.
Reinhard Gotzhein,
Gregor von Bochmann,
G. Bochmann,
1995,
PSTV.
Gregor von Bochmann,
Rachida Dssouli,
Abderrazak Ghedamsi,
1993,
[1993] Proceedings. The 13th International Conference on Distributed Computing Systems.
Cheng Wu,
Gregor von Bochmann,
Anindya Das,
1992,
Inf. Process. Lett..
Reinhard Gotzhein,
Gregor von Bochmann,
G. Bochmann,
1990,
TOCS.
Gregor von Bochmann,
G. Bochmann,
1988,
IEEE Trans. Software Eng..
Gregor von Bochmann,
George Walter Gerber,
Jean-Marc Serre,
1987,
IEEE Transactions on Software Engineering.
Gregor von Bochmann,
Jean-Pierre Verjus,
G. Bochmann,
1987,
IEEE Trans. Software Eng..
Michel Raynal,
Gregor von Bochmann,
G. Bochmann,
1983,
IEEE Transactions on Computers.
Gregor von Bochmann,
G. Bochmann,
1978,
Comput. Networks.
G. Bochmann,
R. Dssouli,
F. Khendek,
2012
.
Jing Wu,
M. Savoie,
J.Y. Zhang,
2009,
IEEE/OSA Journal of Optical Communications and Networking.
Gregor von Bochmann,
Haiwei Ye,
Brigitte Kerhervé,
2003,
Seventh International Database Engineering and Applications Symposium, 2003. Proceedings..
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
Gregor V. Bochmann,
2021,
ACNS.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
2014,
TWEB.
Jing Wu,
Michel Savoie,
Gregor von Bochmann,
2009
.
Michel Savoie,
Gregor von Bochmann,
Jing Wu,
2009,
2009 IEEE International Conference on Communications.
Michel Savoie,
Gregor von Bochmann,
Jing Wu,
2008,
Opt. Switch. Netw..
Gregor von Bochmann,
G. Bochmann,
2004,
Knowl. Based Syst..
Morad Benyoucef,
Khalil El-Khatib,
Gregor von Bochmann,
2007
.
Gregor von Bochmann,
G. Bochmann,
1990,
Comput. Networks ISDN Syst..
Shah Asaduzzaman,
Gregor v. Bochmann,
G. Bochmann,
2009,
2009 IEEE International Conference on Internet Multimedia Services Architecture and Applications (IMSAA).
Overlay Structure for Large Scale Content Sharing: Leveraging Geography as the Basis for Routing Locality
pdf
Gregor von Bochmann,
Shah Asaduzzaman,
G. Bochmann,
2009,
ArXiv.
G. Bochmann,
N. Georganas,
Nawel Chefaï,
2010
.
Gregor von Bochmann,
Behçet Sarikaya,
G. Bochmann,
1987
.
Teruo Higashino,
Gregor von Bochmann,
Christian Kant,
1993,
Proceedings of Phoenix Conference on Computers and Communications.
Gregor von Bochmann,
Daniel M. Ouimet,
D. Desbiens,
1999
.
Teruo Higashino,
Gregor von Bochmann,
G. Bochmann,
1994,
IEEE Trans. Software Eng..
Gregor von Bochmann,
Michael Marcotty,
Henry F. Ledgard,
1976,
CSUR.
Gregor von Bochmann,
Khalil El-Khatib,
G. Bochmann,
2006,
WMuNeP '06.
Abdelhakim Hafid,
Gregor von Bochmann,
Rachida Dssouli,
1994,
Protocols for High-Speed Networks.
Ahmed Khoumsi,
Gregor von Bochmann,
Rachida Dssouli,
1999,
FORTE.
Ahmed Khoumsi,
Gregor von Bochmann,
Rachida Dssouli,
1995,
PSTV.
Andreas Polze,
Gregor von Bochmann,
Petre Dini,
1994,
Proceedings of 2nd International Workshop on Configurable Distributed Systems.
Nina Yevtushenko,
Gregor von Bochmann,
Khaled El-Fakih,
2012,
Programming and Computer Software.
Gregor von Bochmann,
Khaled El-Fakih,
Nina Yevtushenko,
2004,
IEEE Transactions on Software Engineering.
Gregor von Bochmann,
Philip M. Merlin,
G. Bochmann,
1983,
TOPL.
Gregor von Bochmann,
Rachida Dssouli,
Mohammed Erradi,
1992,
Proceedings Conference on Software Maintenance 1992.
G. Bochmann,
R. Dssouli,
M. Erradi,
1995
.
C. Adams,
G. Bochmann,
Jianqiang Shi,
2004,
Formal Aspects in Security and Trust.
Ken Y. Chan,
Gregor v. Bochmann,
G. Bochmann,
2003,
SDL Forum.
G. Bochmann,
N. Yevtushenko,
K. El-Fakih,
2012,
Programming and Computer Software.
G. Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
2014,
NETYS.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Seyed M. Mirtaheri,
2014,
NETYS.
Di Zou,
Gregor von Bochmann,
Guy-Vincent Jourdan,
2013,
2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Seyed M. Mirtaheri,
2013,
ICWE.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Seyed M. Mirtaheri,
2012,
CASCON.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
2012,
ICWE.
Gregor von Bochmann,
Guy-Vincent Jourdan,
Iosif-Viorel Onut,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Gregor von Bochmann,
Michel Barbeau,
G. Bochmann,
1993,
Application and Theory of Petri Nets.
Gregor von Bochmann,
Michel Barbeau,
G. Bochmann,
1991,
CAV.
Abdulmotaleb El-Saddik,
Khalil El-Khatib,
Gregor von Bochmann,
2007,
2007 IEEE 23rd International Conference on Data Engineering Workshop.
Khalil El-Khatib,
Gregor von Bochmann,
N. Hadibi,
2004,
Wirel. Commun. Mob. Comput..
Khalil El-Khatib,
Gregor von Bochmann,
G. Bochmann,
2003,
MATA.
Khalil El-Khatib,
Gregor von Bochmann,
N. Hadibi,
2003,
Euro-Par.
G. Bochmann,
A. E. Saddik,
K. El-Khatib,
2004
.
Gregor von Bochmann,
Nicolas D. Georganas,
Nawel Chefaï,
2003,
MIPS.
G. Bochmann,
Jing Wu,
M. Savoie,
2012,
Journal of Network and Systems Management.
Ferhat Khendek,
Gregor von Bochmann,
G. Bochmann,
1995,
Formal Methods Syst. Des..
Gregor von Bochmann,
Behçet Sarikaya,
G. Bochmann,
1982,
PSTV.
Gregor von Bochmann,
Michel Deslauriers,
G. Bochmann,
1989,
PSTV.