Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gregor von Bochmann
@article{DBLP:journals/tse/El-FakihB21,
author = {Khaled El{-}Fakih and
Gregor v. Bochmann},
title = {Symbolic Refinement of Extended State Machines with Applications to
the Automatic Derivation of Sub-Components and Controllers},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {1},
pages = {1--16},
year = {2021},
url = {https://doi.org/10.1109/TSE.2018.2878728},
doi = {10.1109/TSE.2018.2878728},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/El-FakihB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acns/CuiJBO21,
author = {Qian Cui and
Guy{-}Vincent Jourdan and
Gregor v. Bochmann and
Iosif{-}Viorel Onut},
editor = {Kazue Sako and
Nils Ole Tippenhauer},
title = {Proactive Detection of Phishing Kit Traffic},
booktitle = {Applied Cryptography and Network Security - 19th International Conference,
{ACNS} 2021, Kamakura, Japan, June 21-24, 2021, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {12727},
pages = {257--286},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78375-4\_11},
doi = {10.1007/978-3-030-78375-4\_11},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acns/CuiJBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrime/CuiJBO20,
author = {Qian Cui and
Guy{-}Vincent Jourdan and
Gregor v. Bochmann and
Iosif{-}Viorel Onut},
title = {SemanticPhish: {A} Semantic-based Scanning System for Early Detection
of Phishing Attacks},
booktitle = {{APWG} Symposium on Electronic Crime Research, eCrime 2020, Boston,
MA, USA, November 16-19, 2020},
pages = {1--12},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/eCrime51433.2020.9493252},
doi = {10.1109/ECRIME51433.2020.9493252},
timestamp = {Mon, 09 Aug 2021 09:09:23 +0200},
biburl = {https://dblp.org/rec/conf/ecrime/CuiJBO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/BadawiJBO20,
author = {Emad Badawi and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut},
title = {An Automatic Detection and Analysis of the Bitcoin Generator Scam},
booktitle = {{IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P
Workshops 2020, Genoa, Italy, September 7-11, 2020},
pages = {407--416},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EuroSPW51379.2020.00061},
doi = {10.1109/EUROSPW51379.2020.00061},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/BadawiJBO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwe/BadawiJBO19,
author = {Emad Badawi and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut},
title = {Automatic Detection and Analysis of the "Game Hack" Scam},
journal = {J. Web Eng.},
volume = {18},
number = {8},
pages = {729--760},
year = {2019},
url = {https://doi.org/10.13052/jwe1540-9589.1881},
doi = {10.13052/JWE1540-9589.1881},
timestamp = {Fri, 10 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwe/BadawiJBO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/PageJBOF19,
author = {Sophie Le Page and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut and
Jason Flood},
editor = {Maxim Bakaev and
Flavius Frasincar and
In{-}Young Ko},
title = {Domain Classifier: Compromised Machines Versus Malicious Registrations},
booktitle = {Web Engineering - 19th International Conference, {ICWE} 2019, Daejeon,
South Korea, June 11-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11496},
pages = {265--279},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19274-7\_20},
doi = {10.1007/978-3-030-19274-7\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/PageJBOF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BadawiJBOF19,
author = {Emad Badawi and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut and
Jason Flood},
editor = {Maxim Bakaev and
Flavius Frasincar and
In{-}Young Ko},
title = {The "Game Hack" Scam},
booktitle = {Web Engineering - 19th International Conference, {ICWE} 2019, Daejeon,
South Korea, June 11-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11496},
pages = {280--295},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19274-7\_21},
doi = {10.1007/978-3-030-19274-7\_21},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BadawiJBOF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Al-hammouriB19,
author = {Mohammad F. Al{-}hammouri and
Gregor von Bochmann},
editor = {Pau Fonseca i Casas and
Maria{-}Ribera Sancho and
Edel Sherratt},
title = {Deriving Distributed Design Models from Global State Machines Requirements},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Industry
4.0 - 11th International Conference, {SAM} 2019, Munich, Germany,
September 16-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11753},
pages = {27--43},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30690-8\_2},
doi = {10.1007/978-3-030-30690-8\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Al-hammouriB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jisa/HooshmandBJCO18,
author = {Salman Hooshmand and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Russell Couturier and
Iosif{-}Viorel Onut},
title = {Recovering user-interactions of Rich Internet Applications through
replaying of {HTTP} traces},
journal = {J. Internet Serv. Appl.},
volume = {9},
number = {1},
pages = {9:1--9:27},
year = {2018},
url = {https://doi.org/10.1186/s13174-018-0081-8},
doi = {10.1186/S13174-018-0081-8},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jisa/HooshmandBJCO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrime/PageJBFO18,
author = {Sophie Le Page and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Jason Flood and
Iosif{-}Viorel Onut},
title = {Using {URL} shorteners to compare phishing and malware attacks},
booktitle = {2018 {APWG} Symposium on Electronic Crime Research, eCrime 2018, San
Diego, CA, USA, May 15-17, 2018},
pages = {1--13},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ECRIME.2018.8376215},
doi = {10.1109/ECRIME.2018.8376215},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/ecrime/PageJBFO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/CuiJBOF18,
author = {Qian Cui and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut and
Jason Flood},
editor = {Javier L{\'{o}}pez and
Jianying Zhou and
Miguel Soriano},
title = {Phishing Attacks Modifications and Evolutions},
booktitle = {Computer Security - 23rd European Symposium on Research in Computer
Security, {ESORICS} 2018, Barcelona, Spain, September 3-7, 2018, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11098},
pages = {243--262},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99073-6\_12},
doi = {10.1007/978-3-319-99073-6\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/CuiJBOF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/PageBCFJO18,
author = {Sophie Le Page and
Gregor von Bochmann and
Qian Cui and
Jason Flood and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Kieran McLaughlin and
Ali A. Ghorbani and
Sakir Sezer and
Rongxing Lu and
Liqun Chen and
Robert H. Deng and
Paul Miller and
Stephen Marsh and
Jason R. C. Nurse},
title = {Using {AP-TED} to Detect Phishing Attack Variations},
booktitle = {16th Annual Conference on Privacy, Security and Trust, {PST} 2018,
Belfast, Northern Ireland, Uk, August 28-30, 2018},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PST.2018.8514213},
doi = {10.1109/PST.2018.8514213},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pst/PageBCFJO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Al-hammouriB18,
author = {Mohammad F. Al{-}hammouri and
Gregor von Bochmann},
editor = {Ferhat Khendek and
Reinhard Gotzhein},
title = {Realizability of Service Specifications},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Systems
Engineering - 10th International Conference, {SAM} 2018, Copenhagen,
Denmark, October 15-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11150},
pages = {127--143},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01042-3\_8},
doi = {10.1007/978-3-030-01042-3\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/Al-hammouriB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BochmannHLO17,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
title = {Synthesizing and verifying controllers for multi-lane traffic maneuvers},
journal = {Formal Aspects Comput.},
volume = {29},
number = {4},
pages = {583--600},
year = {2017},
url = {https://doi.org/10.1007/s00165-017-0424-4},
doi = {10.1007/S00165-017-0424-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BochmannHLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CuiJBCO17,
author = {Qian Cui and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Russell Couturier and
Iosif{-}Viorel Onut},
editor = {Rick Barrett and
Rick Cummings and
Eugene Agichtein and
Evgeniy Gabrilovich},
title = {Tracking Phishing Attacks Over Time},
booktitle = {Proceedings of the 26th International Conference on World Wide Web,
{WWW} 2017, Perth, Australia, April 3-7, 2017},
pages = {667--676},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3038912.3052654},
doi = {10.1145/3038912.3052654},
timestamp = {Tue, 06 Nov 2018 16:57:07 +0100},
biburl = {https://dblp.org/rec/conf/www/CuiJBCO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/Hooshmand0BJCO16,
author = {Salman Hooshmand and
Muhammad Faheem and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Russell Couturier and
Iosif{-}Viorel Onut},
editor = {Marcellus Mindel and
Blake Jones and
Hausi A. M{\"{u}}ller and
Vio Onut},
title = {D-ForenRIA: a distributed tool to reconstruct user sessions for rich
internet applications},
booktitle = {Proceedings of the 26th Annual International Conference on Computer
Science and Software Engineering, {CASCON} 2016, Toronto, Ontario,
Canada, October 31 - November 2, 2016},
pages = {64--74},
publisher = {{IBM} / {ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=3049884},
timestamp = {Thu, 02 Mar 2017 08:05:04 +0100},
biburl = {https://dblp.org/rec/conf/cascon/Hooshmand0BJCO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip11-9/BaghbanzadehHBJ16,
author = {Sara Baghbanzadeh and
Salman Hooshmand and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Seyed M. Mirtaheri and
Muhammad Faheem and
Iosif{-}Viorel Onut},
editor = {Gilbert L. Peterson and
Sujeet Shenoi},
title = {Reconstructing Interactions with Rich Internet Applications from {HTTP}
Traces},
booktitle = {Advances in Digital Forensics {XII} - 12th {IFIP} {WG} 11.9 International
Conference, New Delhi, India, January 4-6, 2016, Revised Selected
Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {484},
pages = {147--164},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46279-0\_8},
doi = {10.1007/978-3-319-46279-0\_8},
timestamp = {Thu, 07 Sep 2017 11:14:54 +0200},
biburl = {https://dblp.org/rec/conf/ifip11-9/BaghbanzadehHBJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HafaiedhBJO16,
author = {Khaled Ben Hafaiedh and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Fault Tolerant {P2P} {RIA} Crawling},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {32--47},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_3},
doi = {10.1007/978-3-319-46140-3\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/HafaiedhBJO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Bochmann16,
author = {Gregor von Bochmann},
editor = {Franz Wotawa and
Mihai Nica and
Natalia Kushik},
title = {Conformance Testing with Respect to Partial-Order Specifications},
booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9976},
pages = {3--17},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47443-4\_1},
doi = {10.1007/978-3-319-47443-4\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/Bochmann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/HooshmandMBFJCO16,
author = {Salman Hooshmand and
Akib Mahmud and
Gregor von Bochmann and
Muhammad Faheem and
Guy{-}Vincent Jourdan and
Russ Couturier and
Iosif{-}Viorel Onut},
editor = {Jacqueline Bourdeau and
Jim Hendler and
Roger Nkambou and
Ian Horrocks and
Ben Y. Zhao},
title = {D-ForenRIA: Distributed Reconstruction of User-Interactions for Rich
Internet Applications},
booktitle = {Proceedings of the 25th International Conference on World Wide Web,
{WWW} 2016, Montreal, Canada, April 11-15, 2016, Companion Volume},
pages = {211--214},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2872518.2890547},
doi = {10.1145/2872518.2890547},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/www/HooshmandMBFJCO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/JourdanBMMOT15,
author = {Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Ettore Merlo and
James Miller and
Vio Onut and
Lin Tan},
editor = {Jordan Gould and
Marin Litoiu and
Hanan Lutfiyya},
title = {Workshop on the application of security and testing to rich internet
applications},
booktitle = {Proceedings of 25th Annual International Conference on Computer Science
and Software Engineering, {CASCON} 2015, Markham, Ontario, Canada,
2-4 November, 2015},
pages = {320--322},
publisher = {{IBM} / {ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2886511},
timestamp = {Sun, 30 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cascon/JourdanBMMOT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BochmannHLO15,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_5},
doi = {10.1007/978-3-319-25942-0\_5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnc/ZhouBS14,
author = {Jing Zhou and
Gregor von Bochmann and
Zhongzhi Shi},
title = {Supporting Decentralized {SPARQL} Queries in an Ad-Hoc Semantic Web
Data Sharing System},
journal = {Int. J. Netw. Comput.},
volume = {4},
number = {1},
pages = {88--110},
year = {2014},
url = {http://www.ijnc.org/index.php/ijnc/article/view/75},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijnc/ZhouBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwe/ChoudharyDMBJO14,
author = {Suryakant Choudhary and
Mustafa Emre Dincturk and
Seyed M. Mirtaheri and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
title = {Model-Based Rich Internet Applications Crawling: "Menu"
and "Probability" Models},
journal = {J. Web Eng.},
volume = {13},
number = {3{\&}4},
pages = {243--262},
year = {2014},
url = {http://www.rintonpress.com/xjwe13/jwe-13-34/243-262.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jwe/ChoudharyDMBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/DincturkJBO14,
author = {Mustafa Emre Dincturk and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut},
title = {A Model-Based Approach for Crawling Rich Internet Applications},
journal = {{ACM} Trans. Web},
volume = {8},
number = {3},
pages = {19:1--19:39},
year = {2014},
url = {https://doi.org/10.1145/2626371},
doi = {10.1145/2626371},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tweb/DincturkJBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HafaiedhBJO14,
author = {Khaled Ben Hafaiedh and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Guevara Noubir and
Michel Raynal},
title = {A Scalable {P2P} {RIA} Crawling System with Partial Knowledge},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {185--199},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_13},
doi = {10.1007/978-3-319-09581-3\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/HafaiedhBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MirtaheriBJO14,
author = {Seyed M. Mirtaheri and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Guevara Noubir and
Michel Raynal},
title = {GDist-RIA Crawler: {A} Greedy Distributed Crawler for Rich Internet
Applications},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {200--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_14},
doi = {10.1007/978-3-319-09581-3\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MirtaheriBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/Bochmann14,
author = {Gregor von Bochmann},
editor = {Daniel Amyot and
Pau Fonseca i Casas and
Gunter Mussbacher},
title = {Associativity between Weak and Strict Sequencing},
booktitle = {System Analysis and Modeling: Models and Reusability - 8th International
Conference, {SAM} 2014, Valencia, Spain, September 29-30, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8769},
pages = {96--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11743-0\_7},
doi = {10.1007/978-3-319-11743-0\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/Bochmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/MirtaheriBJO14,
author = {Seyed M. Mirtaheri and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Boualem Benatallah and
Azer Bestavros and
Yannis Manolopoulos and
Athena Vakali and
Yanchun Zhang},
title = {PDist-RIA Crawler: {A} Peer-to-Peer Distributed Crawler for Rich Internet
Applications},
booktitle = {Web Information Systems Engineering - {WISE} 2014 - 15th International
Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8787},
pages = {365--380},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11746-1\_26},
doi = {10.1007/978-3-319-11746-1\_26},
timestamp = {Sun, 02 Jun 2019 21:10:50 +0200},
biburl = {https://dblp.org/rec/conf/wise/MirtaheriBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MirtaheriDHBJO14,
author = {Seyed M. Mirtaheri and
Mustafa Emre Din{\c{c}}t{\"{u}}rk and
Salman Hooshmand and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
title = {A Brief History of Web Crawlers},
journal = {CoRR},
volume = {abs/1405.0749},
year = {2014},
url = {http://arxiv.org/abs/1405.0749},
eprinttype = {arXiv},
eprint = {1405.0749},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MirtaheriDHBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/ZhangWB13,
author = {James Yiming Zhang and
Jing Wu and
Gregor von Bochmann},
title = {A proof of wavelength conversion not improving Lagrangian bounds of
the sliding scheduled {RWA} problem},
journal = {Comput. Commun.},
volume = {36},
number = {5},
pages = {600--606},
year = {2013},
url = {https://doi.org/10.1016/j.comcom.2012.12.003},
doi = {10.1016/J.COMCOM.2012.12.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/ZhangWB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/Bochmann13,
author = {Gregor von Bochmann},
title = {Using logic to solve the submodule construction problem},
journal = {Discret. Event Dyn. Syst.},
volume = {23},
number = {1},
pages = {27--59},
year = {2013},
url = {https://doi.org/10.1007/s10626-011-0127-6},
doi = {10.1007/S10626-011-0127-6},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/Bochmann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CastejonBB13,
author = {Humberto Nicol{\'{a}}s Castej{\'{o}}n Mart{\'{\i}}nez and
Gregor von Bochmann and
Rolv Br{\ae}k},
title = {On the realizability of collaborative services},
journal = {Softw. Syst. Model.},
volume = {12},
number = {3},
pages = {597--617},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0216-x},
doi = {10.1007/S10270-011-0216-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CastejonBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/MirtaheriZBJO13,
author = {Seyed M. Mirtaheri and
Di Zou and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Fatos Xhafa and
Leonard Barolli and
Dritan Nace and
Salvatore Venticinque and
Alain Bui},
title = {Dist-RIA Crawler: {A} Distributed Crawler for Rich Internet Applications},
booktitle = {Eighth International Conference on P2P, Parallel, Grid, Cloud and
Internet Computing, 3PGCIC 2013, Compiegne, France, October 28-30,
2013},
pages = {105--112},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/3PGCIC.2013.22},
doi = {10.1109/3PGCIC.2013.22},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/MirtaheriZBJO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/MirtaheriDHBJO13,
author = {Seyed M. Mirtaheri and
Mustafa Emre Din{\c{c}}t{\"{u}}rk and
Salman Hooshmand and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {James R. Cordy and
Krzystof Czarnecki and
Sang{-}Ah Han},
title = {A brief history of web crawlers},
booktitle = {Center for Advanced Studies on Collaborative Research, {CASCON} '13,
Toronto, ON, Canada, November 18-20, 2013},
pages = {40--54},
publisher = {{IBM} / {ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2555529},
timestamp = {Wed, 27 Jan 2016 19:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cascon/MirtaheriDHBJO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/ChoudharyDMJBO13,
author = {Suryakant Choudhary and
Mustafa Emre Dincturk and
Seyed M. Mirtaheri and
Guy{-}Vincent Jourdan and
Gregor von Bochmann and
Iosif{-}Viorel Onut},
editor = {Florian Daniel and
Peter Dolog and
Qing Li},
title = {Building Rich Internet Applications Models: Example of a Better Strategy},
booktitle = {Web Engineering - 13th International Conference, {ICWE} 2013, Aalborg,
Denmark, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7977},
pages = {291--305},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39200-9\_25},
doi = {10.1007/978-3-642-39200-9\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/ChoudharyDMJBO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ZhouBS13,
author = {Jing Zhou and
Gregor von Bochmann and
Zhongzhi Shi},
title = {Distributed Query Processing in an Ad-hoc Semantic Web Data Sharing
System},
booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed
Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24,
2013},
pages = {687--695},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IPDPSW.2013.53},
doi = {10.1109/IPDPSW.2013.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ZhouBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IsrarB13,
author = {Toqeer Israr and
Gregor von Bochmann},
editor = {Simona Bernardi and
Marko Boskovic and
Jos{\'{e}} Merseguer},
title = {Performance Modeling of Distributed Collaboration Services with Independent
Inputs/Outpus},
booktitle = {Proceedings of the 5th International Workshop Non-functional Properties
in Modeling: Analysis, Languages and Processes co-located with 16th
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2013), Miami, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1074},
pages = {16--23},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1074/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/IsrarB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IsrarB13a,
author = {Toqeer Israr and
Gregor von Bochmann},
editor = {Simona Bernardi and
Marko Boskovic and
Jos{\'{e}} Merseguer},
title = {Stochastic Performance Analysis of Distributed Activities},
booktitle = {Proceedings of the 5th International Workshop Non-functional Properties
in Modeling: Analysis, Languages and Processes co-located with 16th
International Conference on Model Driven Engineering Languages and
Systems {(MODELS} 2013), Miami, USA, September 29, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1074},
pages = {24--31},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1074/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/IsrarB13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BochmannA13,
author = {Gregor von Bochmann and
Shah Asaduzzaman},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Distributed B-Tree with Weak Consistency},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {159--174},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_12},
doi = {10.1007/978-3-642-40148-0\_12},
timestamp = {Wed, 07 Dec 2022 23:13:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/BochmannA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/QiaoB12,
author = {Ying Qiao and
Gregor von Bochmann},
title = {Load balancing in peer-to-peer systems using a diffusive approach},
journal = {Computing},
volume = {94},
number = {8-10},
pages = {649--678},
year = {2012},
url = {https://doi.org/10.1007/s00607-012-0196-x},
doi = {10.1007/S00607-012-0196-X},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/QiaoB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnsm/WuZBS12,
author = {Jing Wu and
James Yiming Zhang and
Gregor von Bochmann and
Michel Savoie},
title = {Forward-Looking {WDM} Network Reconfiguration with Per-Link Congestion
Control},
journal = {J. Netw. Syst. Manag.},
volume = {20},
number = {1},
pages = {6--33},
year = {2012},
url = {https://doi.org/10.1007/s10922-011-9212-2},
doi = {10.1007/S10922-011-9212-2},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnsm/WuZBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/El-FakihDYB12,
author = {Khaled El{-}Fakih and
Rita Dorofeeva and
Nina Yevtushenko and
Gregor von Bochmann},
title = {FSM-based testing from user defined faults adapted to incremental
and mutation testing},
journal = {Program. Comput. Softw.},
volume = {38},
number = {4},
pages = {201--209},
year = {2012},
url = {https://doi.org/10.1134/S0361768812040019},
doi = {10.1134/S0361768812040019},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pcs/El-FakihDYB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/ChoudharyDMMBJO12,
author = {Suryakant Choudhary and
Mustafa Emre Dincturk and
Seyed M. Mirtaheri and
Ali Moosavi and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Hans{-}Arno Jacobsen and
Ying Zou and
Judy Chen},
title = {Crawling rich internet applications: the state of the art},
booktitle = {Center for Advanced Studies on Collaborative Research, {CASCON} '12,
Toronto, ON, Canada, November 5-7, 2012},
pages = {146--160},
publisher = {{IBM} / {ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2399790},
timestamp = {Thu, 19 Sep 2019 07:46:46 +0200},
biburl = {https://dblp.org/rec/conf/cascon/ChoudharyDMMBJO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WanBJ12,
author = {Bo Wan and
Gregor von Bochmann and
Guy{-}Vincent Jourdan},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {Evaluating Reliability-Testing Usage Models},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {129--137},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSAC.2012.23},
doi = {10.1109/COMPSAC.2012.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/WanBJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChoudharyDBJOI12,
author = {Suryakant Choudhary and
Mustafa Emre Dincturk and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut and
Paul Ionescu},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Solving Some Modeling Challenges when Testing Rich Internet Applications
for Security},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {850--857},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.186},
doi = {10.1109/ICST.2012.186},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChoudharyDBJOI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/DincturkCBJO12,
author = {Mustafa Emre Dincturk and
Suryakant Choudhary and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Marco Brambilla and
Takehiro Tokuda and
Robert Tolksdorf},
title = {A Statistical Approach for Efficient Crawling of Rich Internet Applications},
booktitle = {Web Engineering - 12th International Conference, {ICWE} 2012, Berlin,
Germany, July 23-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7387},
pages = {362--369},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31753-8\_29},
doi = {10.1007/978-3-642-31753-8\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/DincturkCBJO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aims/QiaoB11,
author = {Ying Qiao and
Gregor von Bochmann},
editor = {Isabelle Chrisment and
Alva L. Couch and
Remi Badonnel and
Martin Waldburger},
title = {Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer
Systems for Hosting Services},
booktitle = {Managing the Dynamics of Networks and Services - 5th International
Conference on Autonomous Infrastructure, Management, and Security,
{AIMS} 2011, Nancy, France, June 13-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6734},
pages = {124--135},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21484-4\_15},
doi = {10.1007/978-3-642-21484-4\_15},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aims/QiaoB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BenjaminBDJO11,
author = {Kamara Benjamin and
Gregor von Bochmann and
Mustafa Emre Dincturk and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {S{\"{o}}ren Auer and
Oscar D{\'{\i}}az and
George A. Papadopoulos},
title = {A Strategy for Efficient Crawling of Rich Internet Applications},
booktitle = {Web Engineering - 11th International Conference, {ICWE} 2011, Paphos,
Cyprus, June 20-24, 2011},
series = {Lecture Notes in Computer Science},
volume = {6757},
pages = {74--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22233-7\_6},
doi = {10.1007/978-3-642-22233-7\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BenjaminBDJO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BochmannJW11,
author = {Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Bo Wan},
editor = {Burkhart Wolff and
Fatiha Za{\"{\i}}di},
title = {Improved Usage Model for Web Application Reliability Testing},
booktitle = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7019},
pages = {15--31},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24580-0\_3},
doi = {10.1007/978-3-642-24580-0\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/BochmannJW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sose/MustafaB11,
author = {Nasser Mousa Faleh. Mustafa and
Gregor von Bochmann},
editor = {Jerry Zeyu Gao and
Xiaodong Lu and
Muhammad Younas and
Hong Zhu},
title = {Transforming dynamic behavior specifications from activity diagrams
to {BPEL}},
booktitle = {{IEEE} 6th International Symposium on Service Oriented System Engineering,
{SOSE} 2011, Irvine, CA, USA, December 12-14, 2011},
pages = {305--311},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SOSE.2011.6139121},
doi = {10.1109/SOSE.2011.6139121},
timestamp = {Wed, 21 Jun 2023 16:54:56 +0200},
biburl = {https://dblp.org/rec/conf/sose/MustafaB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/IsrarB11,
author = {Toqeer Israr and
Gregor von Bochmann},
editor = {Samuel Kounev and
Vittorio Cortellessa and
Raffaela Mirandola and
David J. Lilja},
title = {Performance modeling of distributed collaboration services},
booktitle = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance
Engineering, Karlsruhe, Germany, March 14-16, 2011},
pages = {475--480},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1958746.1958818},
doi = {10.1145/1958746.1958818},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/IsrarB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BochmannRW10,
author = {Gregor von Bochmann and
Dave Rayner and
Colin H. West},
title = {Some notes on the history of protocol engineering},
journal = {Comput. Networks},
volume = {54},
number = {18},
pages = {3197--3209},
year = {2010},
url = {https://doi.org/10.1016/j.comnet.2010.05.019},
doi = {10.1016/J.COMNET.2010.05.019},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/BochmannRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/YuWZB10,
author = {Shen Yu and
Jing Wu and
James Yiming Zhang and
Gregor von Bochmann},
title = {Corrections to "Lightpath (Wavelength) Routing in Large {WDM}
Networks" and "Dynamic Routing and Assignment of Wavelength
Algorithms in Multifiber Wavelength Division Multiplexing Networks"},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {28},
number = {9},
pages = {1502--1503},
year = {2010},
url = {https://doi.org/10.1109/JSAC.2010.101211},
doi = {10.1109/JSAC.2010.101211},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/YuWZB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppna/AsaduzzamanQB10,
author = {Shah Asaduzzaman and
Ying Qiao and
Gregor von Bochmann},
title = {CliqueStream: Creating an efficient and resilient transport overlay
for peer-to-peer live streaming using a clustered {DHT}},
journal = {Peer-to-Peer Netw. Appl.},
volume = {3},
number = {2},
pages = {100--114},
year = {2010},
url = {https://doi.org/10.1007/s12083-009-0052-8},
doi = {10.1007/S12083-009-0052-8},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ppna/AsaduzzamanQB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/QiaoB10,
author = {Ying Qiao and
Gregor von Bochmann},
title = {Applying diffusive load balancing schemes in a clustered {P2P} system},
journal = {Stud. Inform. Univ.},
volume = {8},
number = {3},
pages = {99--128},
year = {2010},
url = {http://studia.complexica.net/index.php?option=com\_content\&\#38;view=article\&\#38;id=152},
timestamp = {Fri, 23 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siu/QiaoB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BenjaminBJO10,
author = {Kamara Benjamin and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
title = {Some Modeling Challenges When Testing Rich Internet Applications for
Security},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {403--409},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.46},
doi = {10.1109/ICSTW.2010.46},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BenjaminBJO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icl/ZhangWBS09,
author = {James Yiming Zhang and
Jing Wu and
Gregor von Bochmann and
Michel Savoie},
title = {A proof of wavelength conversion not improving the lagrangian bound
of the static {RWA} problem},
journal = {{IEEE} Commun. Lett.},
volume = {13},
number = {5},
pages = {345--347},
year = {2009},
url = {https://doi.org/10.1109/LCOMM.2009.081635},
doi = {10.1109/LCOMM.2009.081635},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icl/ZhangWBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocnet/Zhang0BS09,
author = {James Yiming Zhang and
Jing Wu and
Gregor v. Bochmann and
Michel Savoie},
title = {Resource Criticality Analysis of Static Resource Allocations and Its
Applications in {WDM} Network Planning},
journal = {{JOCN}},
volume = {1},
number = {4},
pages = {294--306},
year = {2009},
url = {https://doi.org/10.1364/jocn.1.000294},
doi = {10.1364/JOCN.1.000294},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocnet/Zhang0BS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bochmann09,
author = {Gregor von Bochmann},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Using First-Order Logic to Reason about Submodule Construction},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {213--218},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_14},
doi = {10.1007/978-3-642-02138-1\_14},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bochmann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ZeineddineB09,
author = {Hassan Zeineddine and
Gregor von Bochmann},
title = {A Distributed Algorithm for Least Constraining Slot Allocation in
{MPLS} Optical {TDM} Networks},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2009, Dresden, Germany, 14-18 June 2009},
pages = {1--6},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICC.2009.5198595},
doi = {10.1109/ICC.2009.5198595},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/ZeineddineB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ZhangWBS09,
author = {James Yiming Zhang and
Jing Wu and
Gregor von Bochmann and
Michel Savoie},
title = {Differentiated Static Resource Allocation in {WDM} Networks},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2009, Dresden, Germany, 14-18 June 2009},
pages = {1--5},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICC.2009.5198917},
doi = {10.1109/ICC.2009.5198917},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icc/ZhangWBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ZhangWBS09a,
author = {James Yiming Zhang and
Jing Wu and
Gregor von Bochmann and
Michel Savoie},
title = {Resource Criticality Analysis of Static Resource Allocations in {WDM}
Networks},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2009, Dresden, Germany, 14-18 June 2009},
pages = {1--5},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICC.2009.5199413},
doi = {10.1109/ICC.2009.5199413},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icc/ZhangWBS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/QiaoB09,
author = {Ying Qiao and
Gregor von Bochmann},
title = {A Diffusive Load Balancing Scheme for Clustered Peer-to-Peer Systems},
booktitle = {15th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
pages = {842--847},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPADS.2009.119},
doi = {10.1109/ICPADS.2009.119},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/QiaoB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/ParedesBH09,
author = {Sofia A. Paredes and
Gregor von Bochmann and
Trevor J. Hall},
title = {Deploying agile photonic networks over reconfigurable optical networks},
booktitle = {Proceedings of the 14th {IEEE} Symposium on Computers and Communications
{(ISCC} 2009), July 5-8, Sousse, Tunisia},
pages = {182--187},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISCC.2009.5202335},
doi = {10.1109/ISCC.2009.5202335},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/ParedesBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medes/LiBB09,
author = {Hui Li and
Morad Benyoucef and
Gregor von Bochmann},
editor = {Richard Chbeir and
Youakim Badr and
Epaminondas Kapetanios and
Agma J. M. Traina},
title = {Towards a global online reputation},
booktitle = {{MEDES} '09: International {ACM} Conference on Management of Emergent
Digital EcoSystems, Lyon, France, October 27-30, 2009},
pages = {377--382},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1643823.1643893},
doi = {10.1145/1643823.1643893},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medes/LiBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BochmannJ09,
author = {Gregor von Bochmann and
Guy{-}Vincent Jourdan},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Paul Baker and
Mercedes G. Merayo},
title = {Testing \emph{k}-Safe Petri Nets},
booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1
International Conference, {TESTCOM} 2009 and 9th International Workshop,
{FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5826},
pages = {33--48},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05031-2\_3},
doi = {10.1007/978-3-642-05031-2\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/BochmannJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/JourdanB09,
author = {Guy{-}Vincent Jourdan and
Gregor von Bochmann},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {On Testing 1-Safe Petri Nets},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {275--281},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.20},
doi = {10.1109/TASE.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/JourdanB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-3759,
author = {Shah Asaduzzaman and
Gregor von Bochmann},
title = {GeoP2P: An adaptive peer-to-peer overlay for efficient search and
update of spatial information},
journal = {CoRR},
volume = {abs/0903.3759},
year = {2009},
url = {http://arxiv.org/abs/0903.3759},
eprinttype = {arXiv},
eprint = {0903.3759},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-3759.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-4113,
author = {Shah Asaduzzaman and
Gregor von Bochmann},
title = {Overlay Structure for Large Scale Content Sharing: Leveraging Geography
as the Basis for Routing Locality},
journal = {CoRR},
volume = {abs/0903.4113},
year = {2009},
url = {http://arxiv.org/abs/0903.4113},
eprinttype = {arXiv},
eprint = {0903.4113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-4113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-4365,
author = {Shah Asaduzzaman and
Ying Qiao and
Gregor von Bochmann},
title = {CliqueStream: an efficient and fault-resilient live streaming network
on a clustered peer-to-peer overlay},
journal = {CoRR},
volume = {abs/0903.4365},
year = {2009},
url = {http://arxiv.org/abs/0903.4365},
eprinttype = {arXiv},
eprint = {0903.4365},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-4365.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/osn/ZhangWBS08,
author = {James Yiming Zhang and
Jing Wu and
Gregor von Bochmann and
Michel Savoie},
title = {Grade-of-service differentiated static resource allocation schemes
in {WDM} networks},
journal = {Opt. Switch. Netw.},
volume = {5},
number = {2-3},
pages = {107--122},
year = {2008},
url = {https://doi.org/10.1016/j.osn.2008.01.003},
doi = {10.1016/J.OSN.2008.01.003},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/osn/ZhangWBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/AsaduzzamanQB08,
author = {Shah Asaduzzaman and
Ying Qiao and
Gregor von Bochmann},
editor = {Klaus Wehrle and
Wolfgang Kellerer and
Sandeep K. Singhal and
Ralf Steinmetz},
title = {CliqueStream: An Efficient and Fault-Resilient Live Streaming Network
on a Clustered Peer-to-Peer Overlay},
booktitle = {Proceedings P2P'08, Eighth International Conference on Peer-to-Peer
Computing, 8-11 September 2008, Aachen, Germany},
pages = {269--278},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/P2P.2008.35},
doi = {10.1109/P2P.2008.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/p2p/AsaduzzamanQB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BochmannHJJ08,
author = {Gregor von Bochmann and
Stefan Haar and
Claude Jard and
Guy{-}Vincent Jourdan},
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Testing Systems Specified as Partial Order Input/Output Automata},
booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
6.1 International Conference, TestCom 2008, 8th International Workshop,
{FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5047},
pages = {169--183},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68524-1\_13},
doi = {10.1007/978-3-540-68524-1\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/BochmannHJJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/YamaguchiEBH07,
author = {Hirozumi Yamaguchi and
Khaled El{-}Fakih and
Gregor von Bochmann and
Teruo Higashino},
title = {Deriving protocol specifications from service specifications written
as Predicate/Transition-nets},
journal = {Comput. Networks},
volume = {51},
number = {1},
pages = {258--284},
year = {2007},
url = {https://doi.org/10.1016/j.comnet.2006.03.011},
doi = {10.1016/J.COMNET.2006.03.011},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/YamaguchiEBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/CastejonBB07,
author = {Humberto Nicol{\'{a}}s Castej{\'{o}}n Mart{\'{\i}}nez and
Rolv Br{\ae}k and
Gregor von Bochmann},
title = {Realizability of Collaboration-based Service Specifications},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.79},
doi = {10.1109/APSEC.2007.79},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/CastejonBB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/HeB07,
author = {Peng He and
Gregor von Bochmann},
title = {Inter-Area Shared Segment Protection of {MPLS} Flows Over Agile All-Photonic
Star Networks},
booktitle = {Proceedings of the Global Communications Conference, 2007. {GLOBECOM}
'07, Washington, DC, USA, 26-30 November 2007},
pages = {2325--2330},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/GLOCOM.2007.443},
doi = {10.1109/GLOCOM.2007.443},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/HeB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/El-KhatibBE07,
author = {Khalil El{-}Khatib and
Gregor von Bochmann and
Abdulmotaleb El{-}Saddik},
title = {A QoS-based Service Composition for Content Adaptation},
booktitle = {Proceedings of the 23rd International Conference on Data Engineering
Workshops, {ICDE} 2007, 15-20 April 2007, Istanbul, Turkey},
pages = {331--338},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDEW.2007.4401013},
doi = {10.1109/ICDEW.2007.4401013},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/El-KhatibBE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ZhangSCFBA07,
author = {Hanxi Zhang and
Michel Savoie and
Scott Campbell and
Sergi Figuerola and
Gregor von Bochmann and
Bill St. Arnaud},
title = {Service-Oriented Virtual Private Networks for Grid Applications},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {944--951},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.160},
doi = {10.1109/ICWS.2007.160},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/ZhangSCFBA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfi/El-FakihYBH06,
author = {Khaled El{-}Fakih and
Hirozumi Yamaguchi and
Gregor von Bochmann and
Teruo Higashino},
title = {Petri net-based protocol synthesis with minimum communication costs},
journal = {J. Frankl. Inst.},
volume = {343},
number = {4-5},
pages = {501--520},
year = {2006},
url = {https://doi.org/10.1016/j.jfranklin.2006.02.005},
doi = {10.1016/J.JFRANKLIN.2006.02.005},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfi/El-FakihYBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/El-FakihYBB06,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Sergey Buffalov and
Gregor von Bochmann},
title = {Progressive solutions to a parallel automata equation},
journal = {Theor. Comput. Sci.},
volume = {362},
number = {1-3},
pages = {17--32},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.05.034},
doi = {10.1016/J.TCS.2006.05.034},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/El-FakihYBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaouB06,
author = {Bassel Daou and
Gregor von Bochmann},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Generalizing the Submodule Construction Techniques for Extended State
Machine Models},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {191--195},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_15},
doi = {10.1007/11888116\_15},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/DaouB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/ZhengPB06,
author = {Jun Zheng and
Cheng Peng and
Gregor von Bochmann},
title = {Blocking Model for All-Optical Overlaid-Star {TDM} Networks},
booktitle = {Proceedings of the Global Telecommunications Conference, 2006. {GLOBECOM}
'06, San Francisco, CA, USA, 27 November - 1 December 2006},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/GLOCOM.2006.241},
doi = {10.1109/GLOCOM.2006.241},
timestamp = {Fri, 21 Feb 2020 18:38:36 +0100},
biburl = {https://dblp.org/rec/conf/globecom/ZhengPB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/PengBH06,
author = {Cheng Peng and
Gregor von Bochmann and
Trevor J. Hall},
title = {Quick Birkhoff-von Neumann Decomposition Algorithm for Agile All-Photonic
Network Cores},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2006, Istanbul, Turkey, 11-15 June 2006},
pages = {2593--2598},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICC.2006.255170},
doi = {10.1109/ICC.2006.255170},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/PengBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/PengPHB06,
author = {Cheng Peng and
Sofia A. Paredes and
Trevor J. Hall and
Gregor von Bochmann},
editor = {Paolo Bellavista and
Chi{-}Ming Chen and
Antonio Corradi and
Mahmoud Daneshmand},
title = {Constructing Service Matrices for Agile All-Optical Cores},
booktitle = {Proceedings of the 11th {IEEE} Symposium on Computers and Communications
{(ISCC} 2006), 26-29 June 2006, Cagliari, Sardinia, Italy},
pages = {967--973},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISCC.2006.54},
doi = {10.1109/ISCC.2006.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/PengPHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/El-KhatibB06,
author = {Khalil El{-}Khatib and
Gregor von Bochmann},
editor = {Hussein M. Alnuweiri and
Regina Borges de Araujo},
title = {Protecting the privacy of user's QoS preferences for multimedia applications},
booktitle = {WMuNeP'06 - Proceedings of the Second {ACM} Workshop on Wireless Multimedia
Networking and Performance Modeling, Terromolinos, Spain, October
6, 2006},
pages = {35--42},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1163698.1163705},
doi = {10.1145/1163698.1163705},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/El-KhatibB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/PengHBH06,
author = {Cheng Peng and
Peng He and
Gregor von Bochmann and
Trevor J. Hall},
editor = {Fernando Boavida and
Thomas Plagemann and
Burkhard Stiller and
C{\'{e}}dric Westphal and
Edmundo Monteiro},
title = {Delay Performance Analysis for an Agile All-Photonic Star Network},
booktitle = {{NETWORKING} 2006 - Networking Technologies, Services, and Protocols;
Performance of Computer and Communication Networks; Mobile and Wireless
Communications Systems, 5th International {IFIP-TC6} Networking Conference,
Coimbra, Portugal, May 15-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3976},
pages = {368--378},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11753810\_31},
doi = {10.1007/11753810\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/networking/PengHBH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woc/HeB06,
author = {Peng He and
Gregor von Bochmann},
editor = {Abraham O. Fapojuwo and
Bozena Kaminska},
title = {Routing of {MPLS} Flows over an Agile All-Photonic Star Network},
booktitle = {Sixth {IASTED} International Multi-Conference on Wireless and Optical
Communications: Conference on Communication Systems and Applications,
Conference on Optical Communication Systems and Networks, Conference
on Wireless Networks and Emerging Technologies, Conference on Wireless
{SENSOR} Networks, Banff, Alberta, Canada, July 3-5, 2006},
pages = {138--144},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Thu, 24 Aug 2006 12:05:50 +0200},
biburl = {https://dblp.org/rec/conf/woc/HeB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woc/ZeineddineHB06,
author = {Hassan Zeineddine and
Peng He and
Gregor von Bochmann},
editor = {Abraham O. Fapojuwo and
Bozena Kaminska},
title = {Optimization Analysis of Optical Time Slot Interchanges in All-Optical
Network},
booktitle = {Sixth {IASTED} International Multi-Conference on Wireless and Optical
Communications: Conference on Communication Systems and Applications,
Conference on Optical Communication Systems and Networks, Conference
on Wireless Networks and Emerging Technologies, Conference on Wireless
{SENSOR} Networks, Banff, Alberta, Canada, July 3-5, 2006},
pages = {207--212},
publisher = {{IASTED/ACTA} Press},
year = {2006},
timestamp = {Wed, 23 Aug 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/woc/ZeineddineHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnm/WuSCZBA05,
author = {Jing Wu and
Michel Savoie and
Scott Campbell and
Hanxi Zhang and
Gregor von Bochmann and
Bill St. Arnaud},
title = {Customer-managed end-to-end lightpath provisioning},
journal = {Int. J. Netw. Manag.},
volume = {15},
number = {5},
pages = {349--362},
year = {2005},
url = {http://doi.acm.org/10.1145/1110960.1110966},
doi = {10.1145/1110960.1110966},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijnm/WuSCZBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/MaachBM05,
author = {Abdelilah Maach and
Gregor von Bochmann and
Hussein T. Mouftah},
title = {An optimal shared protection scheme for optical networks},
booktitle = {2005 {ACS} / {IEEE} International Conference on Computer Systems and
Applications {(AICCSA} 2005), January 3-6, 2005, Cairo, Egypt},
pages = {71},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/AICCSA.2005.1387065},
doi = {10.1109/AICCSA.2005.1387065},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/MaachBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csa/Bochmann05,
author = {Gregor von Bochmann},
editor = {Abraham O. Fapojuwo},
title = {Hierarchical Inter-Domain Management for Networks with Condo-Switches},
booktitle = {The {IASTED} International Conference on Communication Systems and
Applications, Banff, Alberta, Canada, July 19-21, 2005},
pages = {190--196},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Fri, 28 Apr 2006 13:05:00 +0200},
biburl = {https://dblp.org/rec/conf/csa/Bochmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DaouB05,
author = {Bassel Daou and
Gregor von Bochmann},
editor = {Farn Wang},
title = {Submodule Construction for Extended State Machine Models},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {396--410},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_29},
doi = {10.1007/11562436\_29},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/DaouB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gca/ZhangSWCBA05,
author = {Hanxi Zhang and
Michel Savoie and
Jing Wu and
Scott Campbell and
Gregor von Bochmann and
Bill St. Arnaud},
editor = {Hamid R. Arabnia and
Jun Ni},
title = {Service-oriented Layer 1 Virtual Private Network for Grid Applications},
booktitle = {Proceedings of The 2005 International Conference on Grid Computing
and Applications, {GCA} 2005, Las Vegas, Nevada, USA, June 20-23,
2005},
pages = {106--111},
publisher = {{CSREA} Press},
year = {2005},
timestamp = {Thu, 09 Aug 2018 16:13:20 +0200},
biburl = {https://dblp.org/rec/conf/gca/ZhangSWCBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/SandersBBA05,
author = {Richard Torbj{\o}rn Sanders and
Rolv Br{\ae}k and
Gregor von Bochmann and
Daniel Amyot},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {Service Discovery and Component Reuse with Semantic Interfaces},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {85--102},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_6},
doi = {10.1007/11506843\_6},
timestamp = {Wed, 25 Sep 2019 18:02:25 +0200},
biburl = {https://dblp.org/rec/conf/sdl/SandersBBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/YeKB04,
author = {Haiwei Ye and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann},
title = {QoS-based Distributed Query Processing},
journal = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
volume = {9},
number = {5-6},
pages = {205--234},
year = {2004},
url = {https://doi.org/10.3166/isi.9.5-6.205-234},
doi = {10.3166/ISI.9.5-6.205-234},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isi/YeKB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Bochmann04,
author = {Gregor von Bochmann},
title = {High-level design for user and component interfaces},
journal = {Knowl. Based Syst.},
volume = {17},
number = {5-6},
pages = {303--310},
year = {2004},
url = {https://doi.org/10.1016/j.knosys.2004.07.005},
doi = {10.1016/J.KNOSYS.2004.07.005},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/Bochmann04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/MaachBM04,
author = {Abdelilah Maach and
Gregor von Bochmann and
Hussein T. Mouftah},
title = {Congestion Control and Contention Elimination in Optical Burst Switching},
journal = {Telecommun. Syst.},
volume = {27},
number = {2-4},
pages = {115--131},
year = {2004},
url = {https://doi.org/10.1023/B:TELS.0000041005.87009.e5},
doi = {10.1023/B:TELS.0000041005.87009.E5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/telsys/MaachBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/El-FakihYB04,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Gregor von Bochmann},
title = {FSM-Based Incremental Conformance Testing Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {7},
pages = {425--436},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.31},
doi = {10.1109/TSE.2004.31},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/El-FakihYB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wicomm/El-KhatibZHB04,
author = {Khalil El{-}Khatib and
Zhen E. Zhang and
N. Hadibi and
Gregor von Bochmann},
title = {Personal and service mobility in ubiquitous computing environments},
journal = {Wirel. Commun. Mob. Comput.},
volume = {4},
number = {6},
pages = {595--607},
year = {2004},
url = {https://doi.org/10.1002/wcm.231},
doi = {10.1002/WCM.231},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wicomm/El-KhatibZHB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BochmannD04,
author = {Gregor von Bochmann and
Bassel Daou},
title = {Comparison of Methods for Supervisory Control and Submodule Construction},
booktitle = {4th International Conference on Application of Concurrency to System
Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
pages = {111--114},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSD.2004.1309121},
doi = {10.1109/CSD.2004.1309121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BochmannD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsnmc/MaachZB04,
author = {Abdelilah Maach and
Hassan Zeineddine and
Gregor von Bochmann},
editor = {Zoubir Mammeri and
Pascal Lorenz},
title = {A Bandwidth Allocation Scheme in Optical {TDM}},
booktitle = {High Speed Networks and Multimedia Communications, 7th {IEEE} International
Conference, {HSNMC} 2004, Toulouse, France, June 30 - July 2, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3079},
pages = {801--812},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25969-5\_73},
doi = {10.1007/978-3-540-25969-5\_73},
timestamp = {Tue, 21 Mar 2023 20:57:30 +0100},
biburl = {https://dblp.org/rec/conf/hsnmc/MaachZB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ShiBA04,
author = {Jianqiang Shi and
Gregor von Bochmann and
Carlisle M. Adams},
editor = {Theodosis Dimitrakos and
Fabio Martinelli},
title = {A Trust Model with Statistical Foundation},
booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7}
Workshop on Formal Aspects in Security and Trust (FAST), an event
of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse,
France},
series = {{IFIP}},
volume = {173},
pages = {145--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-24098-5\_11},
doi = {10.1007/0-387-24098-5\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ShiBA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/MaachBM04,
author = {Abdelilah Maach and
Gregor von Bochmann and
Hussein T. Mouftah},
title = {Shared Protection for Time Slotted Optical Networks},
booktitle = {3rd {IEEE} International Symposium on Network Computing and Applications
{(NCA} 2004), 30 August - 1 September 2004, Cambridge, MA, {USA}},
pages = {333--336},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/NCA.2004.1347796},
doi = {10.1109/NCA.2004.1347796},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/MaachBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qshine/El-KhatibBE04,
author = {Khalil El{-}Khatib and
Gregor von Bochmann and
Abdulmotaleb El{-}Saddik},
title = {A QoS-Based Framework for Distributed Content Adaptation},
booktitle = {1st International Conference on Quality of Service in Heterogeneous
Wired/Wireless Networks {(QSHINE} 2004), 18-20 October 2004, Dallas,
TX, {USA}},
pages = {308--312},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/QSHINE.2004.7},
doi = {10.1109/QSHINE.2004.7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qshine/El-KhatibBE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/BochmannW0LBKSY03,
author = {Gregor von Bochmann and
Johnny W. Wong and
David Evans and
Terence C. Lau and
Don Bourne and
Brigitte Kerherv{\'{e}} and
Mohamed{-}Vall M. Salem and
Haiwei Ye},
title = {Scalability of Web-based electronic commerce systems},
journal = {{IEEE} Commun. Mag.},
volume = {41},
number = {7},
pages = {110--115},
year = {2003},
url = {https://doi.org/10.1109/MCOM.2003.1215647},
doi = {10.1109/MCOM.2003.1215647},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/BochmannW0LBKSY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/YamaguchiEBH03,
author = {Hirozumi Yamaguchi and
Khaled El{-}Fakih and
Gregor von Bochmann and
Teruo Higashino},
title = {Protocol synthesis and re-synthesis with optimal allocation of resources
based on extended Petri nets},
journal = {Distributed Comput.},
volume = {16},
number = {1},
pages = {21--35},
year = {2003},
url = {https://doi.org/10.1007/s00446-002-0074-4},
doi = {10.1007/S00446-002-0074-4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/YamaguchiEBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/YeKB03,
author = {Haiwei Ye and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Werner Retschitzegger and
Olga Step{\'{a}}nkov{\'{a}}},
title = {Integrating Quality of Service into Database Systems},
booktitle = {Database and Expert Systems Applications, 14th International Conference,
{DEXA} 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2736},
pages = {803--812},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45227-0\_78},
doi = {10.1007/978-3-540-45227-0\_78},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dexa/YeKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/YeKB03,
author = {Haiwei Ye and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann},
editor = {Harald Kosch and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Hermann Hellwagner},
title = {Revisiting Join Site Selection in Distributed Database Systems},
booktitle = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
Klagenfurt, Austria, August 26-29, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2790},
pages = {342--347},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45209-6\_51},
doi = {10.1007/978-3-540-45209-6\_51},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/YeKB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/El-KhatibHB03,
author = {Khalil El{-}Khatib and
N. Hadibi and
Gregor von Bochmann},
editor = {Harald Kosch and
L{\'{a}}szl{\'{o}} B{\"{o}}sz{\"{o}}rm{\'{e}}nyi and
Hermann Hellwagner},
title = {Support for Personal and Service Mobility in Ubiquitous Computing
Environments},
booktitle = {Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference,
Klagenfurt, Austria, August 26-29, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2790},
pages = {1046--1055},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45209-6\_142},
doi = {10.1007/978-3-540-45209-6\_142},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/El-KhatibHB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/ChanB03,
author = {Ken Y. Chan and
Gregor von Bochmann},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Methods for Designing {SIP} Features in {SDL} with Fewer Feature Interactions},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {59--76},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 09:12:37 +0100},
biburl = {https://dblp.org/rec/conf/fiw/ChanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BuffalovEYB03,
author = {Sergey Buffalov and
Khaled El{-}Fakih and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Progressive Solutions to a Parallel Automata Equation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {367--382},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_24},
doi = {10.1007/978-3-540-39979-7\_24},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BuffalovEYB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YamaguchiBH03,
author = {Hirozumi Yamaguchi and
Gregor von Bochmann and
Teruo Higashino},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Decomposing Service Definition in Predicate/Transition-Nets for Designing
Distributed Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {399--414},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_26},
doi = {10.1007/978-3-540-39979-7\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/YamaguchiBH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/Mohamed-SalemBW03,
author = {Mohamed{-}Vall O. Mohamed{-}Salem and
Gregor von Bochmann and
Johnny W. Wong},
title = {Scaling Server Selection Using a Multi-Broker Architecture},
booktitle = {23rd International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2003 Workshops), 19-22 May 2003, Providence, RI, {USA}},
pages = {934},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICDCSW.2003.1203671},
doi = {10.1109/ICDCSW.2003.1203671},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/Mohamed-SalemBW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/YeKBO03,
author = {Haiwei Ye and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann and
Vincent Oria},
editor = {Bipin C. Desai and
Wilfred Ng},
title = {Pushing Quality of Service Information and Requirements into Global
Query Optimization},
booktitle = {7th International Database Engineering and Applications Symposium
{(IDEAS} 2003), 16-18 July 2003, Hong Kong, China},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IDEAS.2003.1214924},
doi = {10.1109/IDEAS.2003.1214924},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/YeKBO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/Mohamed-SalemCB03,
author = {Mohamed{-}Vall O. Mohamed{-}Salem and
J. Chen and
Gregor von Bochmann and
Johnny W. Wong},
title = {An experimental prototype for scalable server selection},
booktitle = {Proceedings of the 22nd {IEEE} International Performance Computing
and Communications Conference, {IPCCC} 2003, April 9-11, 2003, Phoenix,
Arizona, {USA}},
pages = {505--512},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/PCCC.2003.1203736},
doi = {10.1109/PCCC.2003.1203736},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipccc/Mohamed-SalemCB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mata/El-KhatibB03,
author = {Khalil El{-}Khatib and
Gregor von Bochmann},
editor = {Eric Horlait and
Thomas Magedanz and
Roch H. Glitho},
title = {Agent Support for Context-Aware Services and Personal Mobility},
booktitle = {Mobile Agents for Telecommunication Applications, 5th International
Workshop, {MATA} 2003, Marakech, Morocco, October 8-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2881},
pages = {89--98},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39646-8\_9},
doi = {10.1007/978-3-540-39646-8\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mata/El-KhatibB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mips/ChefaiBG03,
author = {Nawel Chefa{\"{\i}} and
Gregor von Bochmann and
Nicolas D. Georganas},
editor = {Giorgio Ventre and
Roberto Canonico},
title = {Performance Evaluation of the Preemptive Bandwidth Allocation Protocol},
booktitle = {Interactive Multimedia on Next Generation Networks, First International
Workshop on Multimedia Interactive Protocols and Systems, {MIPS} 2003,
Napoli, Italy, November 18-21, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2899},
pages = {182--194},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40012-7\_15},
doi = {10.1007/978-3-540-40012-7\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mips/ChefaiBG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/El-FakihPYB03,
author = {Khaled El{-}Fakih and
Svetlana Prokopenko and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Dieter Hogrefe and
Anthony Wiles},
title = {Fault Diagnosis in Extended Finite State Machines},
booktitle = {Testing of Communicating Systems, 15th {IFIP} International Conference,
TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2644},
pages = {197--210},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44830-6\_15},
doi = {10.1007/3-540-44830-6\_15},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/El-FakihPYB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/ChanB03,
author = {Ken Y. Chan and
Gregor von Bochmann},
editor = {Rick Reed and
Jeanne Reed},
title = {Modeling {IETF} Session Initiation Protocol and Its Services in {SDL}},
booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart,
Germany, July 1-4, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2708},
pages = {352--373},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45075-0\_21},
doi = {10.1007/3-540-45075-0\_21},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/ChanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Bochmann02,
author = {Gregor von Bochmann},
editor = {Doron A. Peled and
Moshe Y. Vardi},
title = {Submodule Construction for Specifications with Input Assumptions and
Output Guarantees},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
USA, November 11-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2529},
pages = {17--33},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36135-9\_2},
doi = {10.1007/3-540-36135-9\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Bochmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ondm/MaachB02,
author = {Abdelilah Maach and
Gregor von Bochmann},
editor = {Andrea Bianco and
Fabio Neri},
title = {Segmented Burst Switching: Enhancement of Optical Burst Switching
to Decrease Loss Rate and Support Quality of Service},
booktitle = {Next Generation Optical Network Design and Modelling, {IFIP} {TC6}
/ {WG6.10} Sixth Working Conference on Optical Network Design and
Modeling {(ONDM} 2002), February 4-6, 2002, Torino, Italy},
series = {{IFIP} Conference Proceedings},
volume = {242},
pages = {69--84},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 18 Mar 2003 15:40:55 +0100},
biburl = {https://dblp.org/rec/conf/ondm/MaachB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/El-FakihYB02,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {FSM-based Re-Testing Methods},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {373--390},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/El-FakihYB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/El-FakihYB01,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Diagnosing Multiple Faults in Communicating Finite State Machines},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {85--100},
publisher = {Kluwer},
year = {2001},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/El-FakihYB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idms/El-KhatibBZ01,
author = {Khalil El{-}Khatib and
Gregor von Bochmann and
Yu Zhong},
editor = {Doug Shepherd and
Joe Finney and
Laurent Mathy and
Nicholas J. P. Race},
title = {Selecting the QoS Parameters for Multicast Applications Based on User
Profile and Device Capability},
booktitle = {Interactive Distributed Multimedia Systems, 8th International Workshop,IDMS
2001, Lancaster, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2158},
pages = {221--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44763-6\_24},
doi = {10.1007/3-540-44763-6\_24},
timestamp = {Sat, 19 Oct 2019 19:58:30 +0200},
biburl = {https://dblp.org/rec/conf/idms/El-KhatibBZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isec/BochmannKLSY01,
author = {Gregor von Bochmann and
Brigitte Kerherv{\'{e}} and
Hanan Lutfiyya and
Mohamed{-}Vall O. Mohamed{-}Salem and
Haiwei Ye},
editor = {Weidong Kou and
Yelena Yesha and
Chung{-}Jen Tan},
title = {Introducing QoS to Electronic Commerce Applications},
booktitle = {Topics in Electronic Commerce, Second International Symposium, {ISEC}
2001 Hong Kong, China, April 26-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2040},
pages = {138--147},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45415-2\_11},
doi = {10.1007/3-540-45415-2\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/isec/BochmannKLSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ChefaiGB01,
author = {Nawel Chefa{\"{\i}} and
Nicolas D. Georganas and
Gregor von Bochmann},
editor = {Nicolas D. Georganas and
Radu Popescu{-}Zeletin},
title = {Preemptive bandwidth allocation protocol for multicast, multi-streams
environments},
booktitle = {Proceedings of the 9th {ACM} International Conference on Multimedia
2001, Ottawa, Ontario, Canada, September 30 - October 5, 2001},
pages = {528--530},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/500141.500232},
doi = {10.1145/500141.500232},
timestamp = {Tue, 09 Mar 2021 16:21:56 +0100},
biburl = {https://dblp.org/rec/conf/mm/ChefaiGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/YeKBB01,
author = {Haiwei Ye and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann and
Don Bourne},
title = {Data Distribution Strategies for Providing Database Scalability in
E-commerce Applications},
booktitle = {Third International Workshop on Advanced Issues of E-Commerce and
Web-Based Information Systems {(WECWIS} '01), San Jose, California,
USA, June 21-22, 2001},
pages = {86--89},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WECWIS.2001.933909},
doi = {10.1109/WECWIS.2001.933909},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/YeKBB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Bochmann01,
author = {Gregor von Bochmann},
editor = {Bruce W. Watson and
Derick Wood},
title = {Submodule Construction and Supervisory Control: {A} Generalization},
booktitle = {Implementation and Application of Automata, 6th International Conference,
{CIAA} 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2494},
pages = {27--39},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-36390-4\_3},
doi = {10.1007/3-540-36390-4\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/Bochmann01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/El-FakihYBH00,
author = {Khaled El{-}Fakih and
Hirozumi Yamaguchi and
Gregor von Bochmann and
Teruo Higashino},
title = {Automatic Derivation of Petri Net Based Distributed Specification
with Optimal Allocation of Resources},
booktitle = {The Fifteenth {IEEE} International Conference on Automated Software
Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
pages = {305--308},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASE.2000.873684},
doi = {10.1109/ASE.2000.873684},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/El-FakihYBH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2000,
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
publisher = {Kluwer},
year = {2000},
isbn = {0-7923-7921-7},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/HafidB99,
author = {Abdelhakim Hafid and
Gregor von Bochmann},
title = {An Approach to Quality of Service Management in Distributed Multimedia
Application: Design and an Implementation},
journal = {Multim. Tools Appl.},
volume = {9},
number = {2},
pages = {167--191},
year = {1999},
url = {https://doi.org/10.1023/A:1009680223972},
doi = {10.1023/A:1009680223972},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/HafidB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nis/GuiagoussouBB99,
author = {Mahamat Guiagoussou and
Raouf Boutaba and
Gregor von Bochmann},
title = {A Framework for Alarm Correlation and Fault Diagnostics},
journal = {Netw. Inf. Syst. J.},
volume = {2},
number = {4},
pages = {459--482},
year = {1999},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nis/GuiagoussouBB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/YeKB99,
author = {Haiwei Ye and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann},
title = {QoS Aware Distributed Query Processing},
booktitle = {10th International Workshop on Database {\&} Expert Systems Applications,
Florence, Italy, September 1-3, 1999, Proceedings},
pages = {923--927},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DEXA.1999.795305},
doi = {10.1109/DEXA.1999.795305},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/YeKB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/RamazaniB99,
author = {D. Ramazani and
Gregor von Bochmann},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Object Composition: {A} Case Study},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/RamazaniB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KhoumsiBD99,
author = {Ahmed Khoumsi and
Gregor von Bochmann and
Rachida Dssouli},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
title = {Protocol Synthesis for Real-Time Applications},
booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
{XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
on Formal Description Techniques for Distributed Systems and Communication
Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {417--433},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/KhoumsiBD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idms/BochmannY99,
author = {Gregor von Bochmann and
Zhen Yang},
editor = {Michel Diaz and
Philippe Owezarski and
Patrick S{\'{e}}nac},
title = {Quality of Service Management for Teleteaching Applications Using
the {MPEG-4/DMIF}},
booktitle = {Interactive Distributed Multimedia Systems and Telecommunication Services,
6th International Workshop, {IDMS} '99, Toulouse, France, October
12-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1718},
pages = {133--145},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48109-5\_11},
doi = {10.1007/3-540-48109-5\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/idms/BochmannY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdl/1999,
editor = {Rachida Dssouli and
Gregor von Bochmann and
Yair Lahav},
title = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings},
publisher = {Elsevier},
year = {1999},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KellerTB98,
author = {Rudolf K. Keller and
Jean Tessier and
Gregor von Bochmann},
title = {A Pattern System for Network Management Interfaces},
journal = {Commun. {ACM}},
volume = {41},
number = {9},
pages = {86--93},
year = {1998},
url = {https://doi.org/10.1145/285070.285086},
doi = {10.1145/285070.285086},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KellerTB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/HafidBD98,
author = {Abdelhakim Hafid and
Gregor von Bochmann and
Rachida Dssouli},
title = {A Quality of Service Negotiation Approach with Future Reservations
{(NAFUR):} {A} Detailed Study},
journal = {Comput. Networks},
volume = {30},
number = {8},
pages = {777--794},
year = {1998},
url = {https://doi.org/10.1016/S0169-7552(97)00109-8},
doi = {10.1016/S0169-7552(97)00109-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/HafidBD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mms/HafidB98,
author = {Abdelhakim Hafid and
Gregor von Bochmann},
title = {Quality-of-Service Adaptation in Distributed Multimedia Applications},
journal = {Multim. Syst.},
volume = {6},
number = {5},
pages = {299--315},
year = {1998},
url = {https://doi.org/10.1007/s005300050095},
doi = {10.1007/S005300050095},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mms/HafidB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmm/MadjaHDBG98,
author = {Erika Madja and
Abdelhakim Hafid and
Rachida Dssouli and
Gregor von Bochmann and
Jan Gecsei},
title = {Meta-Data Modeling for Quality of Service (QoS) Management in the
World Wide Web {(WWW)}},
booktitle = {1998 MultiMedia Modeling {(MMM} '98), October 12-15, 1998, Lausanne,
Switzerland, Proceedings},
pages = {223},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/MULMM.1998.723010},
doi = {10.1109/MULMM.1998.723010},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmm/MadjaHDBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdas/BochmannFR98,
author = {Gregor von Bochmann and
Paola Flocchini and
D. Ramazani},
editor = {Nicola Santoro and
Peter Widmayer},
title = {Distributed Objects with Sense of Direction},
booktitle = {Distributed Data {\&} Structures, Records of the 1st International
Meeting {(WDAS} 1998), Orlando, Florida, {USA}},
series = {Proceedings in Informatics},
volume = {2},
pages = {1--12},
publisher = {Carleton Scientific},
year = {1998},
timestamp = {Wed, 07 Jan 2004 15:36:26 +0100},
biburl = {https://dblp.org/rec/conf/wdas/BochmannFR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BochmannDR97,
author = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Forte '95},
journal = {Comput. Networks {ISDN} Syst.},
volume = {29},
number = {7},
pages = {731--733},
year = {1997},
url = {https://doi.org/10.1016/S0169-7552(97)00068-8},
doi = {10.1016/S0169-7552(97)00068-8},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BochmannDR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/BochmannH97,
author = {Gregor von Bochmann and
Abdelhakim Hafid},
title = {Some principles for quality of service management},
journal = {Distributed Syst. Eng.},
volume = {4},
number = {1},
pages = {16--27},
year = {1997},
url = {https://doi.org/10.1088/0967-1846/4/1/003},
doi = {10.1088/0967-1846/4/1/003},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dse/BochmannH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/WongLEVBDGNOBHHIKLMS97,
author = {Johnny W. Wong and
Kelly A. Lyons and
David Evans and
Rolf J. Velthuys and
Gregor von Bochmann and
Eric Dubois and
Nicolas D. Georganas and
Gerald W. Neufeld and
M. Tamer {\"{O}}zsu and
Jeff Brinskelle and
Abdelhakim Hafid and
Norman C. Hutchinson and
Paul Iglinski and
Brigitte Kerherv{\'{e}} and
Louise Lamont and
Dwight J. Makaroff and
Duane Szafron},
title = {Enabling Technology for Distributed Multimedia Applications},
journal = {{IBM} Syst. J.},
volume = {36},
number = {4},
pages = {489--507},
year = {1997},
url = {https://doi.org/10.1147/sj.364.0489},
doi = {10.1147/SJ.364.0489},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmsj/WongLEVBDGNOBHHIKLMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/TaoBD97,
author = {Zhongping Tao and
Gregor von Bochmann and
Rachida Dssouli},
title = {A Formal Method for Synthesizing Optimized Protocol Converters and
Its Application to Mobile Data Networks},
journal = {Mob. Networks Appl.},
volume = {2},
number = {3},
pages = {259--269},
year = {1997},
url = {https://doi.org/10.1023/A:1013692902855},
doi = {10.1023/A:1013692902855},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/TaoBD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/FischerHBM97,
author = {Stefan Fischer and
Abdelhakim Hafid and
Gregor von Bochmann and
Hermann de Meer},
title = {Cooperative QoS Management for Multimedia Applications},
booktitle = {Proceedings of the International Conference on Multimedia Computing
and Systems, {ICMCS} 1997, Ottawa, Ontario, Canada, June 3-6, 1997},
pages = {303--310},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/MMCS.1997.609609},
doi = {10.1109/MMCS.1997.609609},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/FischerHBM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/DiniBKK97,
author = {Petre Dini and
Gregor von Bochmann and
Thomas Koch and
Bernd J. Kr{\"{a}}mer},
editor = {Aurel A. Lazar and
Roberto Saracco and
Rolf Stadler},
title = {Agent Based Management of Distributed Systems with Variabel Polling
Frequency Policies},
booktitle = {Integrated Network Management V, Integrated management in a virtual
world, Proceedings of the Fifth {IFIP/IEEE} International Symposium
on Integrated Network Management, San Diego, CA, USA, May 12-16, 1997},
series = {{IFIP} Conference Proceedings},
volume = {86},
pages = {553--564},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 27 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/DiniBKK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BochmannPBM97,
author = {Gregor von Bochmann and
Alexandre Petrenko and
O. Bellal and
S. Maguiraga},
editor = {Ana R. Cavalli and
Amardeo Sarma},
title = {Automating the process of test derivation from {SDL} specifications},
booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
{SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
pages = {261--276},
publisher = {Elsevier},
year = {1997},
timestamp = {Thu, 16 Oct 2003 14:16:32 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BochmannPBM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/PetrenkoBY96,
author = {Alexandre Petrenko and
Gregor von Bochmann and
Ming Yu Yao},
title = {On Fault Coverage of Tests for Finite State Specifications},
journal = {Comput. Networks {ISDN} Syst.},
volume = {29},
number = {1},
pages = {81--106},
year = {1996},
url = {https://doi.org/10.1016/S0169-7552(96)00019-0},
doi = {10.1016/S0169-7552(96)00019-0},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/PetrenkoBY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/PetrenkoYBD96,
author = {Alexandre Petrenko and
Nina Yevtushenko and
Gregor von Bochmann and
Rachida Dssouli},
title = {Testing in context: framework and test derivation},
journal = {Comput. Commun.},
volume = {19},
number = {14},
pages = {1236--1249},
year = {1996},
url = {https://doi.org/10.1016/S0140-3664(96)01157-7},
doi = {10.1016/S0140-3664(96)01157-7},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/PetrenkoYBD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/KantHB96,
author = {Christian Kant and
Teruo Higashino and
Gregor von Bochmann},
title = {Deriving Protocol Specifications from Service Specifications Written
in {LOTOS}},
journal = {Distributed Comput.},
volume = {10},
number = {1},
pages = {29--47},
year = {1996},
url = {https://doi.org/10.1007/s004460050022},
doi = {10.1007/S004460050022},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/KantHB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrenkoYB96,
author = {Alexandre Petrenko and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Fault Models for Testing in Context},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {163--178},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/PetrenkoYB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/TanPB96,
author = {Q. M. Tan and
Alexandre Petrenko and
Gregor von Bochmann},
title = {A Framework for Conformance Testing of Systems Communicating through
Rendezvous},
booktitle = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
pages = {230--238},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/FTCS.1996.534610},
doi = {10.1109/FTCS.1996.534610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/TanPB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/HafidBK96,
author = {Abdelhakim Hafid and
Gregor von Bochmann and
Brigitte Kerherv{\'{e}}},
title = {A Quality of Service Negotiation Procedure for Distributed Multimedia
Presentational Applications},
booktitle = {Proceedings of the 5th International Symposium on High Performance
Distributed Computing {(HPDC} '96), Syracuse, NY, USA, August 6-9,
1996},
pages = {330--339},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/HPDC.1996.546203},
doi = {10.1109/HPDC.1996.546203},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/HafidBK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismse/BochmannKHDP96,
author = {Gregor von Bochmann and
Brigitte Kerherv{\'{e}} and
Abdelhakim Hafid and
Petre Dini and
Anne Pons},
title = {Architectural design of adaptive distributed multimedia systems},
booktitle = {Proceedings of the 1996 International Workshop on Multimedia Software
Development, {MMSD} 1996, Berlin, Germany, March 25-26, 1996},
pages = {31--40},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/MMSD.1996.557739},
doi = {10.1109/MMSD.1996.557739},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismse/BochmannKHDP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/md/KerhervePBH96,
author = {Brigitte Kerherv{\'{e}} and
Anne Pons and
Gregor v. Bochmann and
Abdelhakim Hafid},
title = {Metadata Modeling for Quality of Service Management in Distributed
Multimedia Systems},
booktitle = {Proceedings of the 1st {IEEE} Metadata Conference 1996, {MD} 1996,
Silver Spring, MD, USA, April 16-18, 1996},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {http://www.computer.org/conferen/meta96/kerherve/kerherve.html},
timestamp = {Fri, 15 Jul 2022 22:49:51 +0200},
biburl = {https://dblp.org/rec/conf/md/KerhervePBH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1995,
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
Eighth International Conference on Formal Description Techniques,
Montreal, Canada, October 1995},
series = {{IFIP} Conference Proceedings},
volume = {43},
publisher = {Chapman {\&} Hall},
year = {1996},
isbn = {0-412-73270-X},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BochmannPM95,
author = {Gregor von Bochmann and
St{\'{e}}phane Poirier and
Pierre Mondain{-}Monval},
title = {Object-Oriented Design for Distributed Systems: The {OSI} Directory
Example},
journal = {Comput. Networks {ISDN} Syst.},
volume = {27},
number = {4},
pages = {571--590},
year = {1995},
url = {https://doi.org/10.1016/0169-7552(93)E0114-T},
doi = {10.1016/0169-7552(93)E0114-T},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BochmannPM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KhendekB95,
author = {Ferhat Khendek and
Gregor von Bochmann},
title = {Merging Behavior Specifications},
journal = {Formal Methods Syst. Des.},
volume = {6},
number = {3},
pages = {259--293},
year = {1995},
url = {https://doi.org/10.1007/BF01384500},
doi = {10.1007/BF01384500},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KhendekB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeemm/VogelKBG95,
author = {Andreas Vogel and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann and
Jan Gecsei},
title = {Distributed Multimedia and {QOS:} {A} Survey},
journal = {{IEEE} Multim.},
volume = {2},
number = {2},
pages = {10--19},
year = {1995},
url = {https://doi.org/10.1109/93.388195},
doi = {10.1109/93.388195},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeemm/VogelKBG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/HamidEBO95,
author = {Issam A. Hamid and
Mohammed Erradi and
Gregor von Bochmann and
Setsuo Ohsuga},
title = {Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {78-D},
number = {4},
pages = {363--382},
year = {1995},
url = {http://search.ieice.org/bin/summary.php?id=e78-d\_4\_363},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/HamidEBO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/DiniB95,
author = {Petre Dini and
Gregor von Bochmann},
editor = {Kong E. Cheng and
Tadashi Ohta},
title = {Automatic Reconfiguration for Runtime Feature-Interaction Resolution
in an Object-Oriented Environment},
booktitle = {Feature Interactions in Telecommunications III, October 11-13, 1995,
Kyoto, Japan},
pages = {115--126},
publisher = {{IOS} Press},
year = {1995},
timestamp = {Tue, 16 Nov 2004 10:51:26 +0100},
biburl = {https://dblp.org/rec/conf/fiw/DiniB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/TaoBD95,
author = {Z. P. Tao and
Gregor von Bochmann and
Rachida Dssouli},
title = {An efficient method for protocol conversion},
booktitle = {Proceedings of the 4th International Conference on Computer Communications
and Networks {(ICCCN} '95), September 20-23, 1995, Las Vegas, Nevada,
{USA}},
pages = {40},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICCCN.1995.540100},
doi = {10.1109/ICCCN.1995.540100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icccn/TaoBD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/TaoBD95,
author = {Zhongping Tao and
Gregor von Bochmann and
Rachida Dssouli},
title = {Verification and diagnosis of testing equivalence and reduction relation},
booktitle = {1995 International Conference on Network Protocols, {ICNP} 1995, November
7-10, 1995, Tokyo, Japan},
pages = {14--21},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICNP.1995.524814},
doi = {10.1109/ICNP.1995.524814},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/TaoBD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GaoGBDH95,
author = {Qiang Gao and
Roland Groz and
Gregor von Bochmann and
Joumana Dargham and
E. Houssain Htite},
title = {Validation of distributed algorithms and protocols},
booktitle = {1995 International Conference on Network Protocols, {ICNP} 1995, November
7-10, 1995, Tokyo, Japan},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICNP.1995.524825},
doi = {10.1109/ICNP.1995.524825},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/GaoGBDH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/KhoumsiB95,
author = {Ahmed Khoumsi and
Gregor von Bochmann},
title = {Protocol synthesis using basic Lotos and global variables},
booktitle = {1995 International Conference on Network Protocols, {ICNP} 1995, November
7-10, 1995, Tokyo, Japan},
pages = {126},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICNP.1995.524827},
doi = {10.1109/ICNP.1995.524827},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/KhoumsiB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/TanPB95,
author = {Q. M. Tan and
Alexandre Petrenko and
Gregor von Bochmann},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {Modeling basic {LOTOS} by FSMs for conformance testing},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {137--152},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/TanPB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/EzustB95,
author = {S. Alan Ezust and
Gregor von Bochmann},
editor = {Stuart Wecker and
David Oran},
title = {An Automatic Trace Analysis Tool Generator for Estelle Specifications},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 1995 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communication,
Cambridge, MA, USA, August 28 - September 1, 1995},
pages = {175--184},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/217382.217428},
doi = {10.1145/217382.217428},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/EzustB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HigashinoB94,
author = {Teruo Higashino and
Gregor von Bochmann},
title = {Automatic Analysis and Test Case Derivation for a Restricted Class
of {LOTOS} Expressions with Data Parameters},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {1},
pages = {29--42},
year = {1994},
url = {https://doi.org/10.1109/32.263753},
doi = {10.1109/32.263753},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HigashinoB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LuoDB94,
author = {Gang Luo and
Anindya Das and
Gregor von Bochmann},
title = {Software Testing Based on {SDL} Specifications with Save},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {1},
pages = {72--87},
year = {1994},
url = {https://doi.org/10.1109/32.263756},
doi = {10.1109/32.263756},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LuoDB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LuoBP94,
author = {Gang Luo and
Gregor von Bochmann and
Alexandre Petrenko},
title = {Test Selection Based on Communicating Nondeterministic Finite-State
Machines Using a Generalized WP-Method},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {2},
pages = {149--162},
year = {1994},
url = {https://doi.org/10.1109/32.265636},
doi = {10.1109/32.265636},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LuoBP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/HafidMRBD94,
author = {Abdelhakim Hafid and
Jan de Meer and
Axel Rennoch and
Gregor von Bochmann and
Rachida Dssouli},
editor = {John E. Botsford and
Ann Gawman and
W. Morven Gentleman and
Evelyn Kidd and
Kelly A. Lyons and
Jacob Slonim and
J. Howard Johnson},
title = {Quality of service verification experiments},
booktitle = {Proceedings of the 1994 Conference of the Centre for Advanced Studies
on Collaborative Research, October 31 - November 3, 1994, Toronto,
Ontario, Canada},
pages = {23},
publisher = {{IBM}},
year = {1994},
url = {https://dl.acm.org/citation.cfm?id=782208},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/HafidMRBD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/VogelKBG94,
author = {Andreas Vogel and
Brigitte Kerherv{\'{e}} and
Gregor von Bochmann and
Jan Gecsei},
editor = {John E. Botsford and
Ann Gawman and
W. Morven Gentleman and
Evelyn Kidd and
Kelly A. Lyons and
Jacob Slonim and
J. Howard Johnson},
title = {Distributed multimedia applications and quality of service: a survey},
booktitle = {Proceedings of the 1994 Conference of the Centre for Advanced Studies
on Collaborative Research, October 31 - November 3, 1994, Toronto,
Ontario, Canada},
pages = {71},
publisher = {{IBM}},
year = {1994},
url = {https://dl.acm.org/citation.cfm?id=782256},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cascon/VogelKBG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cds/VogelBDP94,
author = {Andreas Vogel and
Gregor von Bochmann and
Petre Dini and
Andreas Polze},
title = {Configuration in the framework of open distributed processing},
booktitle = {Second International Workshop on Configurable Distributed Systems,
1994, Proceedings, Pittsburgh, {PA} , USA, 21-23 March, 1994},
pages = {106--111},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/IWCDS.1994.289931},
doi = {10.1109/IWCDS.1994.289931},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cds/VogelBDP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coodbse/Bochmann94,
author = {Gregor von Bochmann},
editor = {Vangalur S. Alagar and
Rokia Missaoui},
title = {Object-Oriented Modelling and Development of Distributed Systems},
booktitle = {Object-Oriented Technology for Database and Software Systems, Proceedings
of the Colloquium on Object Orientation in Databases and Software
Engineering, {COODBSE} 1994, 16-17 May 1994, Universite du Quebec
a Montreal, Canada},
pages = {90--113},
publisher = {World Scientific},
year = {1994},
timestamp = {Sun, 28 Jul 2019 12:54:22 +0200},
biburl = {https://dblp.org/rec/conf/coodbse/Bochmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/YaoPB94,
author = {Ming Yu Yao and
Alexandre Petrenko and
Gregor von Bochmann},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {A structural analysis approach to the evaluation of fault coverage
for protocol conformance testing},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {399--414},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 02 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/YaoPB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/YaoPB94,
author = {Ming Yu Yao and
Alexandre Petrenko and
Gregor von Bochmann},
title = {Fault Coverage Analysis in Respect to an {FSM} Specification},
booktitle = {Proceedings {IEEE} {INFOCOM} '94, The Conference on Computer Communications,
Thirteenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking for Global Communications, Toronto, Ontario,
Canada, June 12-16, 1994},
pages = {768--775},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/INFCOM.1994.337662},
doi = {10.1109/INFCOM.1994.337662},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/YaoPB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BochmannP94,
author = {Gregor von Bochmann and
Alexandre Petrenko},
editor = {Thomas J. Ostrand},
title = {Protocol Testing: Review of Methods and Relevance for Software Testing},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {109--124},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187153},
doi = {10.1145/186258.187153},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BochmannP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phsn/KerherveVBDGH94,
author = {Brigitte Kerherv{\'{e}} and
Andreas Vogel and
Gregor von Bochmann and
Rachida Dssouli and
Jan Gecsei and
Abdelhakim Hafid},
editor = {Gerald W. Neufeld and
Mabo Robert Ito},
title = {On distributed multimedia presentational applications: functional
and computational architecture and QoS negotiation},
booktitle = {Protocols for High-Speed Networks {IV}},
series = {{IFIP} Conference Proceedings},
volume = {8},
pages = {21--37},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 19 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/phsn/KerherveVBDGH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GotzheinB94,
author = {Reinhard Gotzhein and
Gregor von Bochmann},
editor = {Son T. Vuong and
Samuel T. Chanson},
title = {Specialization in Estelle},
booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings
of the Fourteenth {IFIP} {WG6.1} International Symposium on Protocol
Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
series = {{IFIP} Conference Proceedings},
volume = {1},
pages = {21--36},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GotzheinB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/KhoumsiBD94,
author = {Ahmed Khoumsi and
Gregor von Bochmann and
Rachida Dssouli},
editor = {Son T. Vuong and
Samuel T. Chanson},
title = {On specifying services and synthesizing protocols for real-time applications},
booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings
of the Fourteenth {IFIP} {WG6.1} International Symposium on Protocol
Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
series = {{IFIP} Conference Proceedings},
volume = {1},
pages = {185--200},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/KhoumsiBD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aipt/GuiagoussouDB93,
author = {Mahamat Guiagoussou and
Anindya Das and
Gregor von Bochmann},
editor = {J.{-}P. Claud{\'{e}}},
title = {An Overview of Fault Management in Telecommunication Networks},
booktitle = {Advanced Information Processing Techniques for {LAN} and {MAN} Management,
Proceedings of the {IFIP} {TC6/WG6.4} International Conference on
Advanced Information Processing Techniques for {LAN} and {MAN} Management,
Versailles, France, 7-9 April, 1993},
series = {{IFIP} Transactions},
volume = {{C-17}},
pages = {69--85},
publisher = {North-Holland},
year = {1993},
timestamp = {Mon, 21 Jan 2002 14:00:42 +0100},
biburl = {https://dblp.org/rec/conf/aipt/GuiagoussouDB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarbeauB93,
author = {Michel Barbeau and
Gregor von Bochmann},
editor = {Marco Ajmone Marsan},
title = {A Subset of Lotos with the Computational Power of Place/Transition-Nets},
booktitle = {Application and Theory of Petri Nets 1993, 14th International Conference,
Chicago, Illinois, USA, June 21-25, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {691},
pages = {49--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56863-8\_40},
doi = {10.1007/3-540-56863-8\_40},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BarbeauB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/KhendekB93,
author = {Ferhat Khendek and
Gregor von Bochmann},
editor = {Ann Gawman and
Evelyn Kidd and
Per{-}{\AA}ke Larson},
title = {Formal specifications design, evolution and reuse},
booktitle = {Proceedings of the 1993 Conference of the Centre for Advanced Studies
on Collaborative Research, October 24-28, 1993, Toronto, Ontario,
Canada, 2 Volumes},
pages = {184--193},
publisher = {{IBM}},
year = {1993},
url = {https://dl.acm.org/citation.cfm?id=962306},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/KhendekB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/Bochmann93,
author = {Gregor von Bochmann},
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
title = {Specification Languages for Communication Protocols},
booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
Description Languages and their Applications - {CHDL} '93, sponsored
by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
Ontario, Canada, 26-28 April, 1993},
series = {{IFIP} Transactions},
volume = {{A-32}},
pages = {379--396},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
biburl = {https://dblp.org/rec/conf/chdl/Bochmann93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KhendekB93,
author = {Ferhat Khendek and
Gregor von Bochmann},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {Incremental Construction Approach for Distributed System Specifications},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {87--102},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/KhendekB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GhedamsiBD93,
author = {Abderrazak Ghedamsi and
Gregor von Bochmann and
Rachida Dssouli},
title = {Diagnosis of Single Transition Faults in Communicating Finite State
Machines},
booktitle = {Proceedings of the 13th International Conference on Distributed Computing
Systems, Pittsburgh, Pennsylvania, USA, May 25-28, 1993},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ICDCS.1993.287712},
doi = {10.1109/ICDCS.1993.287712},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/GhedamsiBD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/DesbiensBDD93,
author = {D. Desbiens and
Gregor von Bochmann and
Anindya Das and
Joumana Dargham},
title = {Modeling and Formal Specification of the Personal Communication Service},
booktitle = {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 - April 1, 1993},
pages = {756--765},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/INFCOM.1993.253294},
doi = {10.1109/INFCOM.1993.253294},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/DesbiensBDD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/GhedamsiBD93,
author = {Abderrazak Ghedamsi and
Gregor von Bochmann and
Rachida Dssouli},
title = {Multiple Fault Diagnostics for Finite State Machines},
booktitle = {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 - April 1, 1993},
pages = {782--791},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/INFCOM.1993.253291},
doi = {10.1109/INFCOM.1993.253291},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/GhedamsiBD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/YaoPB93,
author = {Ming Yu Yao and
Alexandre Petrenko and
Gregor von Bochmann},
editor = {Andr{\'{e}} A. S. Danthine and
Guy Leduc and
Pierre Wolper},
title = {Conformance Testing of Protocol Machines without Reset},
booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings
of the {IFIP} {TC6/WG6.1} Thirteenth International Symposium on Protocol
Specification, Testing and Verification, Li{\`{e}}ge, Belgium, 25-28
May, 1993},
series = {{IFIP} Transactions},
volume = {{C-16}},
pages = {241--256},
publisher = {North-Holland},
year = {1993},
timestamp = {Mon, 02 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pstv/YaoPB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LuoDB93,
author = {Gang Luo and
Anindya Das and
Gregor von Bochmann},
editor = {Omar Rafiq},
title = {Generating Tests for Control Portion of {SDL} Specifications},
booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
International Workshop on Protocol Test systems, Pau, France, 28-30
September, 1993},
series = {{IFIP} Transactions},
volume = {{C-19}},
pages = {51--66},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 17 Oct 2002 11:13:42 +0200},
biburl = {https://dblp.org/rec/conf/pts/LuoDB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LuoDBVG93,
author = {Gang Luo and
Rachida Dssouli and
Gregor von Bochmann and
Pallapa Venkataram and
Abderrazak Ghedamsi},
editor = {Omar Rafiq},
title = {Generating Synchronizable Test Sequences Based on Finite State Machine
with Distributed Ports},
booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
International Workshop on Protocol Test systems, Pau, France, 28-30
September, 1993},
series = {{IFIP} Transactions},
volume = {{C-19}},
pages = {139--153},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/LuoDBVG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PetrenkoBD93,
author = {Alexandre Petrenko and
Gregor von Bochmann and
Rachida Dssouli},
editor = {Omar Rafiq},
title = {Conformance Relations and Test Derivation},
booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
International Workshop on Protocol Test systems, Pau, France, 28-30
September, 1993},
series = {{IFIP} Transactions},
volume = {{C-19}},
pages = {157--178},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/PetrenkoBD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/YaoB93,
author = {Ming Yu Yao and
Gregor von Bochmann},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Testing for a Conformance Relation Based on Acceptance},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {519--528},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_86},
doi = {10.1007/3-540-56610-4\_86},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/YaoB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/WuBY93,
author = {Cheng Wu and
Gregor von Bochmann and
Ming Yu Yao},
editor = {Andr{\'{e}} Schiper},
title = {Fairness of N-party Synchronization and Its Implementation in a Distributed
Environment},
booktitle = {Distributed Algorithms, 7th International Workshop, {WDAG} '93, Lausanne,
Switzerland, September 27-29, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {725},
pages = {279--293},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57271-6\_42},
doi = {10.1007/3-540-57271-6\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/WuBY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1992,
editor = {Gregor von Bochmann and
David K. Probst},
title = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56496-9},
doi = {10.1007/3-540-56496-9},
isbn = {3-540-56496-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/networks/1992,
editor = {S. V. Raghavan and
Gregor von Bochmann and
Guy Pujolle},
title = {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},
series = {{IFIP} Transactions},
volume = {{C-13}},
publisher = {North-Holland},
year = {1993},
isbn = {0-444-89968-5},
timestamp = {Tue, 08 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/networks/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/1992,
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {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},
series = {{IFIP} Transactions},
volume = {{C-11}},
publisher = {North-Holland},
year = {1993},
isbn = {0-444-89980-4},
timestamp = {Thu, 17 Oct 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LuoBDW92,
author = {Gang Luo and
Gregor von Bochmann and
Anindya Das and
Cheng Wu},
title = {Failure-Equivalent Transformation of Transition Systems to Avoid Internal
Actions},
journal = {Inf. Process. Lett.},
volume = {44},
number = {6},
pages = {333--343},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90110-H},
doi = {10.1016/0020-0190(92)90110-H},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LuoBDW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oopsm/CusackB92,
author = {Elspeth Cusack and
Gregor von Bochmann},
title = {Formal object-oriented methods in communication standards},
journal = {{OOPS} Messenger},
volume = {3},
number = {2},
pages = {7--8},
year = {1992},
url = {https://doi.org/10.1145/130943.130945},
doi = {10.1145/130943.130945},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/oopsm/CusackB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/KhendekB92,
author = {Ferhat Khendek and
Gregor von Bochmann},
editor = {John E. Botsford and
Arthur G. Ryman and
Jacob Slonim and
David J. Taylor},
title = {A formalization of the {CORDS} Process Model using Mondel},
booktitle = {Proceedings of the 1992 Conference of the Centre for Advanced Studies
on Collaborative Research, November 9-12, 1992, Toronto, Ontario,
Canada, 2 Volumes},
pages = {351--360},
publisher = {{IBM}},
year = {1992},
url = {https://dl.acm.org/citation.cfm?id=962286},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/KhendekB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RicoBC92,
author = {Nathalie Rico and
Gregor von Bochmann and
Omar Cherkaoui},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Model-Checking for Real-Time Systems Specified in Lotos},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {288--301},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_23},
doi = {10.1007/3-540-56496-9\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RicoBC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GhedamsiB92,
author = {Abderrazak Ghedamsi and
Gregor von Bochmann},
title = {Test Result Analysis and Diagnostics for Finite State Machines},
booktitle = {Proceedings of the 12th International Conference on Distributed Computing
Systems, Yokohama, Japan, June 9-12, 1992},
pages = {244--251},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICDCS.1992.235084},
doi = {10.1109/ICDCS.1992.235084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/GhedamsiB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/ErradiBD92,
author = {Mohammed Erradi and
Gregor von Bochmann and
Rachida Dssouli},
title = {A framework for dynamic evolution of object-oriented specifications},
booktitle = {Proceedings of the Conference on Software Maintenance, {ICSM} 1992,
Orlando, FL, USA, 9-12 November, 1992},
pages = {96--104},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICSM.1992.242553},
doi = {10.1109/ICSM.1992.242553},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icsm/ErradiBD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LuoBSB92,
author = {Gang Luo and
Gregor von Bochmann and
Beh{\c{c}}et Sarikaya and
Michel Boyer},
title = {Control-flow based testing of Prolog programs},
booktitle = {Third International Symposium on Software Reliability Engineering,
{ISSRE} 1992, Research Triangle Park, NC, USA, October 7-10, 1992},
pages = {104--113},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ISSRE.1992.285853},
doi = {10.1109/ISSRE.1992.285853},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/LuoBSB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GhedamsiDB92,
author = {Abderrazak Ghedamsi and
Rachida Dssouli and
Gregor von Bochmann},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {Diagnostic Tests for Single Transition Faults in Non-Deterministic
Finite State Machines},
booktitle = {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},
series = {{IFIP} Transactions},
volume = {{C-11}},
pages = {105--116},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 17 Oct 2002 11:13:38 +0200},
biburl = {https://dblp.org/rec/conf/pts/GhedamsiDB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HigashinoBLYT92,
author = {Teruo Higashino and
Gregor von Bochmann and
Xiangdong Li and
Keiichi Yasumoto and
Kenichi Taniguchi},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Anindya Das},
title = {Test System for a Restricted Class of {LOTOS} Expressions with Data
Parameters},
booktitle = {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},
series = {{IFIP} Transactions},
volume = {{C-11}},
pages = {205--216},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/HigashinoBLYT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ulpaa/BochmannPM92,
author = {Gregor von Bochmann and
St{\'{e}}phane Poirier and
Pierre Mondain{-}Monval},
editor = {Gerald W. Neufeld and
Bernhard Plattner},
title = {Object-Oriented Design for Distributed Systems and {OSI} Standards},
booktitle = {Upper Layer Protocols, Architectures and Applications, Proceedings
of the {IFIP} {TC6/WG6.5} International Conference on Upper Layer
Protocols, Architectures and Applications, Vancouver, BC, Canada,
27-29 May, 1992},
series = {{IFIP} Transactions},
volume = {{C-7}},
pages = {265--280},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 08 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ulpaa/BochmannPM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FournierB91,
author = {Reine Fournier and
Gregor von Bochmann},
title = {The Equivalence in the {DCP} Model},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {97--114},
year = {1991},
url = {https://doi.org/10.1016/S0304-3975(06)80006-X},
doi = {10.1016/S0304-3975(06)80006-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FournierB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FujiwaraBKAG91,
author = {Susumu Fujiwara and
Gregor von Bochmann and
Ferhat Khendek and
Mokhtar Amalou and
Abderrazak Ghedamsi},
title = {Test Selection Based on Finite State Models},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {6},
pages = {591--603},
year = {1991},
url = {https://doi.org/10.1109/32.87284},
doi = {10.1109/32.87284},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/FujiwaraBKAG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarbeauB91,
author = {Michel Barbeau and
Gregor von Bochmann},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {The Lotos Model of a Fault Protected System and its Verification Using
a Petri Net Based Approach},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {103--113},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_11},
doi = {10.1007/3-540-55179-4\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarbeauB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WuB91,
author = {Cheng Wu and
Gregor von Bochmann},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Fairness in {LOTOS}},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {543--558},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/WuB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/BochmannPM91,
author = {Gregor von Bochmann and
St{\'{e}}phane Poirier and
Pierre Mondain{-}Monval},
editor = {Jan de Meer and
Volker Heymer and
Rudolf Roth},
title = {Object-Oriented Design for {ODP}},
booktitle = {Open Distributed Processing: Proceedings of the {IFIP} {TC6/WG6.4}
International Workshop on Open Distributed Processing, Berlin, Germany,
8-11 October 1991},
series = {{IFIP} Transactions},
volume = {{C-1}},
pages = {435--439},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 12:06:41 +0100},
biburl = {https://dblp.org/rec/conf/odp/BochmannPM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/RicoB91,
author = {Nathalie Rico and
Gregor von Bochmann},
editor = {Bengt Jonsson and
Joachim Parrow and
Bj{\"{o}}rn Pehrson},
title = {Performance Description and Analysis for Distributed Systems Using
a Variant of {LOTOS}},
booktitle = {Protocol Specification, Testing and Verification XI, Proceedings of
the {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
pages = {199--213},
publisher = {North-Holland},
year = {1991},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/pstv/RicoB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BochmannDDDGL91,
author = {Gregor von Bochmann and
Anindya Das and
Rachida Dssouli and
Martin Dubuc and
Abderrazak Ghedamsi and
Gang Luo},
editor = {Jan Kroon and
Rudolf Jan Heijink and
Ed Brinksma},
title = {Fault Models in Testing},
booktitle = {Protocol Test Systems, IV, Proceedings of the {IFIP} {TC6/WG6.1} Fourth
International Workshop on Protocol Test Systems, Leidschendam, The
Netherlands, 15-17 October, 1991},
series = {{IFIP} Transactions},
volume = {{C-3}},
pages = {17--30},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 17 Oct 2002 11:13:34 +0200},
biburl = {https://dblp.org/rec/conf/pts/BochmannDDDGL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DubucDB91,
author = {Martin Dubuc and
Rachida Dssouli and
Gregor von Bochmann},
editor = {Jan Kroon and
Rudolf Jan Heijink and
Ed Brinksma},
title = {{TESTL:} An Environment for Incremental Test Suite Design Based on
Finite-State Models},
booktitle = {Protocol Test Systems, IV, Proceedings of the {IFIP} {TC6/WG6.1} Fourth
International Workshop on Protocol Test Systems, Leidschendam, The
Netherlands, 15-17 October, 1991},
series = {{IFIP} Transactions},
volume = {{C-3}},
pages = {195--206},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/DubucDB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FujiwaraB91,
author = {Susumu Fujiwara and
Gregor von Bochmann},
editor = {Jan Kroon and
Rudolf Jan Heijink and
Ed Brinksma},
title = {Testing Non-Deterministic State Machines with Fault Coverage},
booktitle = {Protocol Test Systems, IV, Proceedings of the {IFIP} {TC6/WG6.1} Fourth
International Workshop on Protocol Test Systems, Leidschendam, The
Netherlands, 15-17 October, 1991},
series = {{IFIP} Transactions},
volume = {{C-3}},
pages = {267--280},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/FujiwaraB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/SarikayaKB90,
author = {Beh{\c{c}}et Sarikaya and
Vassilios N. Koukoulidis and
Gregor von Bochmann},
title = {Method of analysing extended finite-state machine specifications},
journal = {Comput. Commun.},
volume = {13},
number = {2},
pages = {83--92},
year = {1990},
url = {https://doi.org/10.1016/0140-3664(90)90175-G},
doi = {10.1016/0140-3664(90)90175-G},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/SarikayaKB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/BochmannM90,
author = {Gregor von Bochmann and
Pierre Mondain{-}Monval},
title = {Design Principles for Communication Gateways},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {8},
number = {1},
pages = {12--21},
year = {1990},
url = {https://doi.org/10.1109/49.46842},
doi = {10.1109/49.46842},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/BochmannM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/Bochmann90,
author = {Gregor von Bochmann},
title = {Deriving protocol converters for communications gateways},
journal = {{IEEE} Trans. Commun.},
volume = {38},
number = {9},
pages = {1298--1300},
year = {1990},
url = {https://doi.org/10.1109/26.61367},
doi = {10.1109/26.61367},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/Bochmann90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/GotzheinB90,
author = {Reinhard Gotzhein and
Gregor von Bochmann},
title = {Deriving Protocol Specifications from Service Specifications Including
Parameters},
journal = {{ACM} Trans. Comput. Syst.},
volume = {8},
number = {4},
pages = {255--283},
year = {1990},
url = {https://doi.org/10.1145/128733.128734},
doi = {10.1145/128733.128734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/GotzheinB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarbeauB90,
author = {Michel Barbeau and
Gregor von Bochmann},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Extension of the Karp and Miller Procedure to Lotos Specifications},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {333--342},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023747},
doi = {10.1007/BFB0023747},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarbeauB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/BarbeauB90,
author = {Michel Barbeau and
Gregor von Bochmann},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Extension of the Karp and Miller Procedure to {LOTOS} Specifications},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {103--120},
publisher = {{DIMACS/AMS}},
year = {1990},
url = {https://doi.org/10.1090/dimacs/003/10},
doi = {10.1090/DIMACS/003/10},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/BarbeauB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DubucBBS90,
author = {Martin Dubuc and
Gregor von Bochmann and
O. Bellal and
F. Saba},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Translation from {TTCN} to {LOTOS} and the Validation of Test Cases},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {141--155},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/DubucBBS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DssouliFB90,
author = {Rachida Dssouli and
Reine Fournier and
Gregor von Bochmann},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Distributed Observation and {FIFO} Queues},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {303--310},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/DssouliFB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BochmannON90,
author = {Gregor von Bochmann and
Daniel Ouimet and
Gerald W. Neufeld},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {{ASN.1} and Estelle Implementation Support Tools},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {531--534},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/BochmannON90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Bochmann89,
author = {Gregor von Bochmann},
title = {Protocol Specification for {OSI}},
journal = {Comput. Networks {ISDN} Syst.},
volume = {18},
number = {3},
pages = {167--184},
year = {1989},
url = {https://doi.org/10.1016/0169-7552(90)90132-C},
doi = {10.1016/0169-7552(90)90132-C},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/Bochmann89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Bochmann89a,
author = {Gregor von Bochmann},
title = {Specifications of a Simplified Transport Protocol Using Different
Formal Description Techniques},
journal = {Comput. Networks {ISDN} Syst.},
volume = {18},
number = {5},
pages = {335--377},
year = {1989},
url = {https://doi.org/10.1016/0169-7552(90)90121-8},
doi = {10.1016/0169-7552(90)90121-8},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/Bochmann89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannDZ89,
author = {Gregor von Bochmann and
Rachida Dssouli and
J. R. Zhao},
title = {Trace Analysis for Conformance and Arbitration Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {11},
pages = {1347--1356},
year = {1989},
url = {https://doi.org/10.1109/32.41328},
doi = {10.1109/32.41328},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannDZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BochmannGW89,
author = {Gregor von Bochmann and
Qiang Gao and
Cheng Wu},
editor = {Son T. Vuong},
title = {On the Distributed Implementation of {LOTOS}},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {133--146},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BochmannGW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BochmannD89,
author = {Gregor von Bochmann and
Michel Deslauriers},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Combining {ASN1} Support with the {LOTOS} Language},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {175--186},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BochmannD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KhendekBK89,
author = {Ferhat Khendek and
Gregor von Bochmann and
Christian Kant},
editor = {Lawrence H. Landweber},
title = {New Results on Deriving Protocol Specifications from Service Specifications},
booktitle = {Proceedings of the {ACM} Symposium on Communications Architectures
{\&} Protocols, {SIGCOMM} 1989, Austin, TX, USA, September 19-22,
1989},
pages = {136--145},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75246.75261},
doi = {10.1145/75246.75261},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/KhendekBK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bochmann88,
author = {Gregor von Bochmann},
title = {Delay-Independent Design for Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {8},
pages = {1229--1237},
year = {1988},
url = {https://doi.org/10.1109/32.7630},
doi = {10.1109/32.7630},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bochmann88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannV87,
author = {Gregor von Bochmann and
Jean{-}Pierre Verjus},
title = {Some Comments on "Transition-Oriented" Versus "Structured"
Specification of Distributed Algorithms and Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {4},
pages = {501--505},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233188},
doi = {10.1109/TSE.1987.233188},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SarikayaBC87,
author = {Beh{\c{c}}et Sarikaya and
Gregor von Bochmann and
Eduard Cerny},
title = {A Test Design Methodology for Protocol Testing},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {5},
pages = {518--531},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233197},
doi = {10.1109/TSE.1987.233197},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SarikayaBC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannGS87,
author = {Gregor von Bochmann and
George Walter Gerber and
Jean{-}Marc Serre},
title = {Semiautomatic Implementation of Communication Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {9},
pages = {989--1000},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233521},
doi = {10.1109/TSE.1987.233521},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannGS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Bochmann87,
author = {Gregor von Bochmann},
editor = {Harry Rudin and
Colin H. West},
title = {Usage of Protocol Development Tools: The Results of a Survey},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings
of the {IFIP} {WG6.1} Seventh International Conference on Protocol
Specification, Testing and Verification, Zurich, Switzerland, 5-8
May, 1987},
pages = {139--161},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Bochmann87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BochmannG86,
author = {Gregor von Bochmann and
Reinhard Gotzhein},
editor = {Walter Kosinsky and
J. J. Garcia{-}Luna{-}Aceves and
Franklin Kuo},
title = {Deriving protocol specifications from service specifications},
booktitle = {Proceedings of the {ACM} {SIGCOMM} conference on Communications architectures
{\&} protocols, {SIGCOMM} 1986, Stowe, Vermont, United States,
August 5-7, 1986},
pages = {148--156},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/18172.18190},
doi = {10.1145/18172.18190},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BochmannG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BochmannDSSU85,
author = {Gregor von Bochmann and
Rachida Dssouli and
Wanderley Lopes de Souza and
Beh{\c{c}}et Sarikaya and
Hasan Ural},
editor = {Michel Diaz},
title = {Use of Prolog for building protocol design tools},
booktitle = {Protocol Specification, Testing and Verification V, Proceedings of
the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
pages = {131--147},
publisher = {North-Holland},
year = {1985},
timestamp = {Mon, 07 Jan 2002 16:07:03 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BochmannDSSU85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/DssouliB85,
author = {Rachida Dssouli and
Gregor von Bochmann},
editor = {Michel Diaz},
title = {Error detection with multiple observers},
booktitle = {Protocol Specification, Testing and Verification V, Proceedings of
the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
pages = {483--494},
publisher = {North-Holland},
year = {1985},
timestamp = {Mon, 07 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/DssouliB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/SarikayaB84,
author = {Beh{\c{c}}et Sarikaya and
Gregor von Bochmann},
title = {Synchronization and Specification Issues in Protocol Testing},
journal = {{IEEE} Trans. Commun.},
volume = {32},
number = {4},
pages = {389--395},
year = {1984},
url = {https://doi.org/10.1109/TCOM.1984.1096074},
doi = {10.1109/TCOM.1984.1096074},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/SarikayaB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/Bochmann84,
author = {Gregor von Bochmann},
title = {Formal Description Techniques for {OSI:} an Example},
booktitle = {Proceedings {IEEE} {INFOCOM} 84, San Francisco, CA, USA, April 9-12,
1984},
pages = {312--317},
publisher = {{IEEE}},
year = {1984},
timestamp = {Mon, 26 Jan 2015 16:54:54 +0100},
biburl = {https://dblp.org/rec/conf/infocom/Bochmann84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BochmannCGDMPSS84,
author = {Gregor von Bochmann and
Eduard Cerny and
George Walter Gerber and
Rachida Dssouli and
Michel Maksud and
B. H. Phan and
Beh{\c{c}}et Sarikaya and
Jean{-}Marc Serre},
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Use of Formal Specifications for Protocol Design, Implementation and
Testing},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of
the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
pages = {137--144},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 01 Jun 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pstv/BochmannCGDMPSS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067343,
author = {Gregor von Bochmann},
title = {Concepts for distributed systems design},
publisher = {Springer},
year = {1983},
isbn = {978-0-387-12049-2},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0067343.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/JardB83,
author = {Claude Jard and
Gregor von Bochmann},
title = {An approach to testing specifications},
journal = {J. Syst. Softw.},
volume = {3},
number = {4},
pages = {315--323},
year = {1983},
url = {https://doi.org/10.1016/0164-1212(83)90018-3},
doi = {10.1016/0164-1212(83)90018-3},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/JardB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BochmannR83,
author = {Gregor von Bochmann and
Michel Raynal},
title = {Structured Specification of Communicating Systems},
journal = {{IEEE} Trans. Computers},
volume = {32},
number = {2},
pages = {120--133},
year = {1983},
url = {https://doi.org/10.1109/TC.1983.1676197},
doi = {10.1109/TC.1983.1676197},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BochmannR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MerlinB83,
author = {Philip M. Merlin and
Gregor von Bochmann},
title = {On the Construction of Submodule Specifications and Communication
Protocols},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {5},
number = {1},
pages = {1--25},
year = {1983},
url = {https://doi.org/10.1145/357195.357196},
doi = {10.1145/357195.357196},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MerlinB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Bochmann83,
author = {Gregor von Bochmann},
editor = {David Hutchison and
John A. Mariani and
Doug Shepherd},
title = {Specification in Distributed Systems},
booktitle = {Local Area Networks: An Advanced Course, Glasgow, UK, July 11-22,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {184},
pages = {470--497},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-15191-5\_30},
doi = {10.1007/3-540-15191-5\_30},
timestamp = {Mon, 26 Sep 2022 16:14:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/Bochmann83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/Bochmann83,
author = {Gregor v. Bochmann},
editor = {David C. Wood and
Simon S. Lam},
title = {Higher-level protocols are not necessary end-to-end},
booktitle = {Proceedings of the symposium on Communications Architectures {\&}
Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
pages = {10--11},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1035237.1035242},
doi = {10.1145/1035237.1035242},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/Bochmann83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SarikayaB83,
author = {Beh{\c{c}}et Sarikaya and
Gregor von Bochmann},
editor = {David C. Wood and
Simon S. Lam},
title = {Synchronization issues in protocol testing},
booktitle = {Proceedings of the symposium on Communications Architectures {\&}
Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
pages = {121--128},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1035237.1035264},
doi = {10.1145/1035237.1035264},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SarikayaB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/RaghunathanBB83,
author = {K. S. Raghunathan and
J. A. Barchanski and
Gregor von Bochmann},
editor = {David C. Wood and
Simon S. Lam},
title = {Relationship between performance parameters for transport and network
services},
booktitle = {Proceedings of the symposium on Communications Architectures {\&}
Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
pages = {129--135},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1035237.1035265},
doi = {10.1145/1035237.1035265},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/RaghunathanBB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/JardB83,
author = {Claude Jard and
Gregor von Bochmann},
editor = {Richard E. Fairley and
Mark Scott Johnson},
title = {An approach to testing specifications},
booktitle = {Proceedings of the symposium on High-level debugging, {SIGSOFT} 1983,
Pacific Grove, California, USA, March 20-23, 1983},
pages = {53--59},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1006147.1006159},
doi = {10.1145/1006147.1006159},
timestamp = {Tue, 15 Feb 2022 14:49:48 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/JardB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Bochmann82,
author = {Gregor von Bochmann},
title = {Hardware Specification with Temporal Logic: En Example},
journal = {{IEEE} Trans. Computers},
volume = {31},
number = {3},
pages = {223--231},
year = {1982},
url = {https://doi.org/10.1109/TC.1982.1675978},
doi = {10.1109/TC.1982.1675978},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Bochmann82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/BochmannCGJLLMR82,
author = {Gregor von Bochmann and
Eduard Cerny and
Michel Gagn{\'{e}} and
Claude Jard and
Alain L{\'{e}}veill{\'{e}} and
Clement Lacaille and
Michel Maksud and
K. S. Raghunathan and
Beh{\c{c}}et Sarikaya},
title = {Experience with Formal Specifications Using an Extended State Transition
Model},
journal = {{IEEE} Trans. Commun.},
volume = {30},
number = {12},
pages = {2506--2513},
year = {1982},
url = {https://doi.org/10.1109/TCOM.1982.1095445},
doi = {10.1109/TCOM.1982.1095445},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/BochmannCGJLLMR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BochmannCGJLLMRS82,
author = {Gregor von Bochmann and
Eduard Cerny and
Michel Gagn{\'{e}} and
Claude Jard and
Alain L{\'{e}}veill{\'{e}} and
Clement Lacaille and
Michel Maksud and
K. S. Raghunathan and
Beh{\c{c}}et Sarikaya},
editor = {Carl A. Sunshine},
title = {Some Experience with the Use of Formal Specifications},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {171--185},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pstv/BochmannCGJLLMRS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SarikayaB82,
author = {Beh{\c{c}}et Sarikaya and
Gregor von Bochmann},
editor = {Carl A. Sunshine},
title = {Some Experience with Test Sequence Generation for Protocols},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {555--567},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SarikayaB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/TompaGB81,
author = {Frank Wm. Tompa and
Jan Gecsei and
Gregor von Bochmann},
title = {Special Feature: Data Structuring Facilities for Interactive Videotex
Systems},
journal = {Computer},
volume = {14},
number = {8},
pages = {72--81},
year = {1981},
url = {https://doi.org/10.1109/C-M.1981.220566},
doi = {10.1109/C-M.1981.220566},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/TompaGB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BallBG80,
author = {Alan J. S. Ball and
Gregor von Bochmann and
Jan Gecsei},
title = {Videotex Networks},
journal = {Computer},
volume = {13},
number = {12},
pages = {8--14},
year = {1980},
url = {https://doi.org/10.1109/MC.1980.1653450},
doi = {10.1109/MC.1980.1653450},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BallBG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/BochmannS80,
author = {Gregor v. Bochmann and
Carl A. Sunshine},
title = {Formal Methods in Communication Protocol Design},
journal = {{IEEE} Trans. Commun.},
volume = {28},
number = {4},
pages = {624--631},
year = {1980},
url = {https://doi.org/10.1109/TCOM.1980.1094685},
doi = {10.1109/TCOM.1980.1094685},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/BochmannS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/Bochmann80,
author = {Gregor v. Bochmann},
title = {A General Transition Model for Protocols and Communication Services},
journal = {{IEEE} Trans. Commun.},
volume = {28},
number = {4},
pages = {643--650},
year = {1980},
url = {https://doi.org/10.1109/TCOM.1980.1094696},
doi = {10.1109/TCOM.1980.1094696},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/Bochmann80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Bochmann79,
author = {Gregor von Bochmann},
title = {Architecture of Distributed Computer Systems},
series = {Lecture Notes in Computer Science},
volume = {77},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09723-6},
doi = {10.1007/3-540-09723-6},
isbn = {3-540-09723-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Bochmann79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/BochmannV79,
author = {Gregor v. Bochmann and
Friedrich H. Vogt},
title = {Message link protocol {(MLP):} functional specification},
journal = {Comput. Commun. Rev.},
volume = {9},
number = {2},
pages = {7--39},
year = {1979},
url = {https://doi.org/10.1145/1015860.1015861},
doi = {10.1145/1015860.1015861},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/BochmannV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Bochmann79,
author = {Gregor von Bochmann},
title = {Distributed Synchronization and Regularity},
journal = {Comput. Networks},
volume = {3},
pages = {36--43},
year = {1979},
url = {https://doi.org/10.1016/0376-5075(79)90052-7},
doi = {10.1016/0376-5075(79)90052-7},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/Bochmann79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Bochmann79,
author = {Gregor von Bochmann},
title = {Semantic equivalence of covering attribute grammars},
journal = {Int. J. Parallel Program.},
volume = {8},
number = {6},
pages = {523--539},
year = {1979},
url = {https://doi.org/10.1007/BF00995501},
doi = {10.1007/BF00995501},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/Bochmann79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BochmannJ79,
author = {Gregor von Bochmann and
Joachim Tankoano},
title = {Development and Structure of an {X.25} Implementation},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {429--439},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230181},
doi = {10.1109/TSE.1979.230181},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BochmannJ79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BochmannW78,
author = {Gregor von Bochmann and
P. Ward},
title = {Compiler Writing System for Attribute Grammars},
journal = {Comput. J.},
volume = {21},
number = {2},
pages = {144--148},
year = {1978},
url = {https://doi.org/10.1093/comjnl/21.2.144},
doi = {10.1093/COMJNL/21.2.144},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BochmannW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Bochmann78,
author = {Gregor von Bochmann},
title = {Finite State Description of Communication Protocols},
journal = {Comput. Networks},
volume = {2},
pages = {361--372},
year = {1978},
url = {https://doi.org/10.1016/0376-5075(78)90015-6},
doi = {10.1016/0376-5075(78)90015-6},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/Bochmann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bochmann78,
author = {Gregor von Bochmann},
title = {Compile Time Memory Allocation for Parallel Processes},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {6},
pages = {517--520},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.234137},
doi = {10.1109/TSE.1978.234137},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Bochmann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/berkeley/Bochmann78,
author = {Gregor von Bochmann},
title = {Synchronization in Distributed System Modules},
booktitle = {Proceedings of the Third Berkeley Workshop on Distributed Data Management
and Computer Networks, August 29-31, 1978},
pages = {322--339},
publisher = {Technical Information Department, Lawrence Berkeley Laboratory, University
of California, Berkeley {CA}},
year = {1978},
timestamp = {Sat, 03 Aug 2019 18:08:49 +0200},
biburl = {https://dblp.org/rec/conf/berkeley/Bochmann78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/Bochmann77,
author = {Gregor v. Bochmann},
title = {Notes on the {X.25} procedures for virtual call establishment and
clearing},
journal = {Comput. Commun. Rev.},
volume = {7},
number = {4},
pages = {53--59},
year = {1977},
url = {https://doi.org/10.1145/1024894.1024899},
doi = {10.1145/1024894.1024899},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/Bochmann77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MarcottyLB77,
author = {Michael Marcotty and
Henry F. Ledgard and
Gregor von Bochmann},
title = {Corrigendum: "A Sampler of Formal Definitions"},
journal = {{ACM} Comput. Surv.},
volume = {9},
number = {2},
pages = {168},
year = {1977},
url = {https://doi.org/10.1145/356689.356697},
doi = {10.1145/356689.356697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/MarcottyLB77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BochmannG77,
author = {Gregor von Bochmann and
Jan Gecsei},
editor = {Bruce Gilchrist},
title = {A Unified Method for the Specification and Verification of Protocols},
booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
Toronto, Canada, August 8-12, 1977},
pages = {229--234},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BochmannG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ProbstB77,
author = {Wilfried G. Probst and
Gregor v. Bochmann},
editor = {Joseph F. Marchese and
Frank E. Heart and
Harry Wise and
Gene D. Hodge and
William Cook and
Irving W. Knight},
title = {Operating system design with computer network communication protocols},
booktitle = {Proceedings of the fifth symposium on Data communications, {SIGCOMM}
1977, Snowbird, Utah, USA, September 27-29, 1977},
pages = {4},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800103.803339},
doi = {10.1145/800103.803339},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/ProbstB77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bochmann76,
author = {Gregor von Bochmann},
title = {Semantic Evaluation from Left to Right},
journal = {Commun. {ACM}},
volume = {19},
number = {2},
pages = {55--62},
year = {1976},
url = {https://doi.org/10.1145/359997.359999},
doi = {10.1145/359997.359999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bochmann76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MarcottyLB76,
author = {Michael Marcotty and
Henry F. Ledgard and
Gregor von Bochmann},
title = {A Sampler of Formal Definitions},
journal = {{ACM} Comput. Surv.},
volume = {8},
number = {2},
pages = {191--276},
year = {1976},
url = {https://doi.org/10.1145/356669.356672},
doi = {10.1145/356669.356672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/MarcottyLB76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bochmann76,
author = {Gregor von Bochmann},
title = {Comments on Monitor Definition and Implementation},
journal = {Inf. Process. Lett.},
volume = {5},
number = {4},
pages = {116--117},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90007-7},
doi = {10.1016/0020-0190(76)90007-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Bochmann76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigops/Bochmann75,
author = {Gregor von Bochmann},
editor = {Wesley W. Chu and
Vinton G. Cerf and
T. C. Chen and
R. Stockton Gains and
Butler W. Lampson},
title = {Communication protocols and error recovery procedures},
booktitle = {Proceedings of the 1975 {ACM} {SIGCOMM/SIGOPS} Workshop on Interprocess
Communications, {USA}},
pages = {45--50},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800272.810898},
doi = {10.1145/800272.810898},
timestamp = {Tue, 22 Mar 2022 09:27:32 +0100},
biburl = {https://dblp.org/rec/journals/sigops/Bochmann75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LecarmeB74,
author = {Olivier Lecarme and
Gregor von Bochmann},
editor = {Jack L. Rosenfeld},
title = {A (Truly) Usable and Portable Compiler Writing System},
booktitle = {Information Processing, Proceedings of the 6th {IFIP} Congress 1974,
Stockholm, Sweden, August 5-10, 1974},
pages = {218--221},
publisher = {North-Holland},
year = {1974},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LecarmeB74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Bochmann73,
author = {Gregor von Bochmann},
title = {Multiple Exits from a Loop Without the {GOTO}},
journal = {Commun. {ACM}},
volume = {16},
number = {7},
pages = {443--444},
year = {1973},
url = {https://doi.org/10.1145/362280.362300},
doi = {10.1145/362280.362300},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Bochmann73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Bochmann73,
author = {Gregor v. Bochmann},
title = {Compiler generation for attribute grammars},
journal = {{ACM} {SIGPLAN} Notices},
volume = {8},
number = {6},
pages = {7},
year = {1973},
url = {https://doi.org/10.1145/986953.986957},
doi = {10.1145/986953.986957},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Bochmann73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/Bochmann73,
author = {Gregor v. Bochmann},
editor = {Robert M. Graham and
Michael D. Schroeder},
title = {Hierarchical language definition},
booktitle = {Proceeding of {ACM} {SIGPLAN-SIGOPS} Interface Meeting on Programming
Languages - Operating Systems, USA, 1973},
pages = {50--51},
publisher = {{ACM}},
year = {1973},
url = {https://doi.org/10.1145/800021.808278},
doi = {10.1145/800021.808278},
timestamp = {Wed, 23 Feb 2022 16:54:22 +0100},
biburl = {https://dblp.org/rec/conf/sigplan/Bochmann73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
