×

von Bochmann, Gregor

Author ID: von-bochmann.gregor Recent zbMATH articles by "von Bochmann, Gregor"
Published as: Bochmann, Gregor V.; von Bochmann, Gregor; Bochmann, Gregor v.

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 76 times in 65 Documents Cited by Year
Semantic evaluation from left to right. Zbl 0317.68020
Bochmann, Gregor V.
19
1976
On the construction of submodule specifications and communication protocols. Zbl 0498.68009
Merlin, Philip; Bochmann, Gregor V.
10
1983
Hardware specification with temporal logic: an example. Zbl 0477.94036
Bochmann, Gregor V.
9
1982
Progressive solutions to a parallel automata equation. Zbl 1279.68135
Buffalov, Sergey; El-Fakih, Khaled; Yevtushenko, Nina; von Bochmann, Gregor
7
2003
A sampler of formal definitions. Zbl 0352.68095
Marcotty, Michael; Ledgard, Henry F.; Bochmann, Gregor V.
6
1976
A (truly) usable and portable compiler writing system. Zbl 0308.68033
Lecarme, Olivier; Bochmann, Gregor V.
5
1974
A unified method for the specification and verification of protocols. Zbl 0363.68015
Bochmann, Gregor V.; Gecsei, Jan
3
1977
Submodule construction and supervisory control: A generalization. Zbl 1015.68115
von Bochmann, Gregor
3
2002
Concepts for distributed systems design. Zbl 0514.68001
von Bochmann, Gregor
2
1983
Load balancing in peer-to-peer systems using a diffusive approach. Zbl 1255.68288
Qiao, Ying; von Bochmann, Gregor
2
2012
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Zbl 1118.68028
Yamaguchi, Hirozumi; El-Fakih, Khaled; Bochmann, Gregor V.; Higashino, Teruo
2
2007
Submodule construction for specifications with input assumptions and output guarantees. Zbl 1037.68551
Bochmann, Gregor v.
2
2002
Extension of the Karp and Miller procedure to Lotos specifications. Zbl 0797.68106
Barbeau, Michel; Bochmann, Gregor V.
1
1991
Submodule construction for extended state machine models. Zbl 1169.68463
Daou, Bassel; Bochmann, Gregor V.
1
2005
Progressive solutions to a parallel automata equation. Zbl 1100.68047
El-Fakih, Khaled; Yevtushenko, Nina; Buffalov, Sergey; Bochmann, Gregor V.
1
2006
The equivalence in the DCP model. Zbl 0737.68031
Fournier, Reine; von Bochmann, Gregor
1
1991
Computer aided verification. 4th international workshop, CAV ’92, Montreal, Canada, June 29 – July 1, 1992. Proceedings. Zbl 0825.00106
1
1993
Using logic to solve the submodule construction problem. Zbl 1266.93095
Bochmann, Gregor v.
1
2013
Using logic to solve the submodule construction problem. Zbl 1266.93095
Bochmann, Gregor v.
1
2013
Load balancing in peer-to-peer systems using a diffusive approach. Zbl 1255.68288
Qiao, Ying; von Bochmann, Gregor
2
2012
Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Zbl 1118.68028
Yamaguchi, Hirozumi; El-Fakih, Khaled; Bochmann, Gregor V.; Higashino, Teruo
2
2007
Progressive solutions to a parallel automata equation. Zbl 1100.68047
El-Fakih, Khaled; Yevtushenko, Nina; Buffalov, Sergey; Bochmann, Gregor V.
1
2006
Submodule construction for extended state machine models. Zbl 1169.68463
Daou, Bassel; Bochmann, Gregor V.
1
2005
Progressive solutions to a parallel automata equation. Zbl 1279.68135
Buffalov, Sergey; El-Fakih, Khaled; Yevtushenko, Nina; von Bochmann, Gregor
7
2003
Submodule construction and supervisory control: A generalization. Zbl 1015.68115
von Bochmann, Gregor
3
2002
Submodule construction for specifications with input assumptions and output guarantees. Zbl 1037.68551
Bochmann, Gregor v.
2
2002
Computer aided verification. 4th international workshop, CAV ’92, Montreal, Canada, June 29 – July 1, 1992. Proceedings. Zbl 0825.00106
1
1993
Extension of the Karp and Miller procedure to Lotos specifications. Zbl 0797.68106
Barbeau, Michel; Bochmann, Gregor V.
1
1991
The equivalence in the DCP model. Zbl 0737.68031
Fournier, Reine; von Bochmann, Gregor
1
1991
On the construction of submodule specifications and communication protocols. Zbl 0498.68009
Merlin, Philip; Bochmann, Gregor V.
10
1983
Concepts for distributed systems design. Zbl 0514.68001
von Bochmann, Gregor
2
1983
Hardware specification with temporal logic: an example. Zbl 0477.94036
Bochmann, Gregor V.
9
1982
A unified method for the specification and verification of protocols. Zbl 0363.68015
Bochmann, Gregor V.; Gecsei, Jan
3
1977
Semantic evaluation from left to right. Zbl 0317.68020
Bochmann, Gregor V.
19
1976
A sampler of formal definitions. Zbl 0352.68095
Marcotty, Michael; Ledgard, Henry F.; Bochmann, Gregor V.
6
1976
A (truly) usable and portable compiler writing system. Zbl 0308.68033
Lecarme, Olivier; Bochmann, Gregor V.
5
1974
all top 5

Cited by 111 Authors

6 von Bochmann, Gregor
4 Engelfriet, Joost
3 Chebotarev, Anatoli N.
3 El-Fakih, Khaled
3 Yevtushenko, Nina
2 Buffalov, Sergey
2 Clarke, Edmund Melson jun.
2 Filé, Gilberto
2 Giegerich, Robert
2 Lin, Feng
2 Łukaszewicz, Leon
2 Sangiovanni-Vincentelli, Alberto L.
2 Villa, Tiziano
2 Wonham, W. Murray
1 Ali, Khayri A. M.
1 Bartoletti, Massimo
1 Bellia, Marco
1 Bhaduri, Purandar
1 Bocchi, Laura
1 Boyer, Marc
1 Brayton, Robert K.
1 Bushkov, V. G.
1 Chadwick, Bryan
1 Chakrabarti, Indrajit
1 Chen, Yueguo
1 Cherkaoui, Omar
1 Chirica, Laurian M.
1 Correa, Nelson
1 Courtiat, Jean-Pierre
1 Dallal, Jehad Al
1 De Saqui-Sannes, Pierre
1 de Vlaminck, Karel
1 Deca, Rudy
1 Desjardins, Pierre
1 Du, Xiaoyong
1 Erdogmus, Hakan
1 Evtushenko, N. V.
1 Fülöp, Zoltán
1 Fusaoka, Akira
1 Gau, Chuen-Hau
1 Giannakopoulou, Dimitra
1 Hallé, Sylvain
1 Hamaguchi, Kiyoharu
1 Haridi, Seif
1 Herrmann, Frank
1 Heyker, Linda
1 Higashino, Teruo
1 Hiraishi, Hiromi
1 Hsiung, Pao-Ann
1 Hua, Qingyi
1 Huens, J.
1 Huybrechts, M.
1 Joshi, Aravind K.
1 Kasami, Tadao
1 Kastens, Uwe
1 Koskimies, Kai
1 Krogdahl, Stein
1 Kühnemann, Armin
1 Kurivchak, O. I.
1 Larsen, Kim Guldstrand
1 Lecarme, Olivier
1 Levy, Leon S.
1 Lewi, Johan
1 Lieberherr, Karl J.
1 Lundy, G. M.
1 Majumdar, Arun K.
1 Maneth, Sebastian
1 Mangeruca, Leonardo
1 Martin, David F.
1 Mendler, Michael
1 Miller, Raymond E.
1 Mishra, Bud
1 Motohashi, Yoichi
1 Murgia, Maurizio
1 Namjoshi, Kedar S.
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Pan, Guoqiang
1 Papakonstantinou, George K.
1 Parrow, Joachim
1 Păsăreanu, Corina S.
1 Pen’yam, Ya. Eh.
1 Petrenko, Alex
1 Qi, Jianzhong
1 Qiao, Ying
1 Qin, Huajun
1 Rampersad, Narad
1 Ravikumar, Bala
1 Riis, Hanne
1 Romeo, Íñigo X. Íncer
1 Sadani, Tarek
1 Saleh, Kassem A.
1 Santean, Nicolae
1 Sattler, Ulrike
1 Seki, Hirohisa
1 Shallit, Jeffrey Outlaw
1 Skyum, Sven
1 Sonnenschein, Michael
1 Stroup, Terry
1 Sun, Yu
1 Suzuki, Ichiro
...and 11 more Authors

Citations by Year