Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers von El-Fakih, Khaled, Bochmann, Gregor V.

Volltext

Recovering user-interactions of Rich Internet Applications through replaying of HTTP traces von Hooshmand, Salman, Bochmann, Gregor V., Jourdan, Guy-Vincent, Couturier, Russell, Onut, Iosif-Viorel

Volltext

A proof of wavelength conversion not improving Lagrangian bounds of the sliding scheduled RWA problem von Zhang, James Yiming, Wu, Jing, Bochmann, Gregor v.

Volltext

Architecture of Distributed Computer Systems von Bochmann, Gregor v

Volltext

Synthesizing and verifying controllers for multi-lane traffic maneuvers von Bochmann, Gregor V., Hilscher, Martin, Linker, Sven, Olderog, Ernst-Rüdiger

Volltext

Using logic to solve the submodule construction problem von Bochmann, Gregor v.

Volltext

CliqueStream: Creating an efficient and resilient transport overlay for peer-to-peer live streaming using a clustered DHT von Asaduzzaman, Shah, Qiao, Ying, Bochmann, Gregor v.

Volltext

Deriving protocol specifications from service specifications written as Predicate/Transition-nets von Yamaguchi, Hirozumi, El-Fakih, Khaled, Bochmann, Gregor v., Higashino, Teruo

Volltext

A Model-Based Approach for Crawling Rich Internet Applications von Dincturk, Mustafa Emre, Jourdan, Guy-Vincent, Bochmann, Gregor V., Onut, Iosif Viorel

Volltext

Phishing Attacks Modifications and Evolutions von Cui, Qian, Jourdan, Guy-Vincent, Bochmann, Gregor V., Onut, Iosif-Viorel, Flood, Jason

Volltext

Petri net-based protocol synthesis with minimum communication costs von El-Fakih, Khaled, Yamaguchi, Hirozumi, Bochmann, Gregor v., Higashino, Teruo

Volltext

A computation method for scenario studies in WDM network planning von Yiming Zhang, James, Wu, Jing, v. Bochmann, Gregor, Savoie, Michel

Volltext

Load balancing in peer-to-peer systems using a diffusive approach von Qiao, Ying, Bochmann, Gregor v.

Volltext

Some notes on the history of protocol engineering von Bochmann, Gregor v., Rayner, Dave, West, Colin H.

Volltext

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings von Bochmann, Gregor von, Probst, David Karl

Volltext

FSM-based incremental conformance testing methods von EI-Fakih, K., Yevtushenko, N., Bochmann, Gv

Volltext

A System for Centralizing Online Reputation von Benyoucef, Morad, Li, Hui, Bochmann, Gregor V.

Volltext

Supporting Decentralized SPARQL Queries in an Ad-Hoc Semantic Web Data Sharing System von Zhou, Jing, Bochmann, Gregor v., Shi, Zhongzhi

Volltext

A proof of wavelength conversion not improving the lagrangian bound of the static RWA problem von Zhang, J.Y., Jing Wu, Bochmann, G.V., Savoie, M.

Volltext

Progressive solutions to a parallel automata equation von El-Fakih, Khaled, Yevtushenko, Nina, Buffalov, Sergey, Bochmann, Gregor v.

Volltext