in the area of Software Engineering
Conformance testing with respect to partial-order specifications ( G.v. Bochmann ), Proc. Int. Conf. on Testing Software and Systems, Graz (Austria), Oct. 2016, Springer LNCS (15 pages).
Synthesizing controllers for multi-lane traffic maneuvers ( G. v. Bochmann, M. Hilscher, S. Linker and E. R. Olderog ), Proc. Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing, China, November 4-6, 2015, Springer LNCS. -- copy
Associativity between weak and strict sequencing ( G. v. Bochmann ), in Proc. SAM Symposium, Sept. 2014, Valencia (Spain), Springer LNCS -- copy
Stochastic performance analysis of distributed activities ( T. Israr, G.v. Bochmann ), Proc. of 5th Intern. Workshop on Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th Intern. Conf. on Model Driven Engineering Languages and Systems, Miami, USA, September 29, 2013 (8 pages). -- copy
Performance modeling of distributed collaboration services with independent inputs-outputs ( T. Israr, G.v. Bochmann ), Proc. of 5th Intern. Workshop on Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th Intern. Conf. on Model Driven Engineering Languages and Systems, Miami, USA, September 29, 2013 (8 pages). -- copy
Using logic to solve the submodule construction problem ( G. v. Bochmann ), Journal on Discrete Event Dynamic Systems, Vol. 23 (1), Springer, March 2013, pp. 27-59. -- copy
FSM-based testing from user defined faults adapted to incremental and mutation testing ( K. El-Fakih, R. Dorofeeva, N. Yevtushenko and G. v. Bochmann ) Programming and Computer Software, 38(4), pp.201-209 (2012). - PDF
Evaluating reliability-testing usage models ( B. Wan, G. v. Bochmann and G. V. Jourdan ), Proc. IEEE Computer Software and Applications Conference (COMPSAC 2012), pp. 129 – 137 -- copy
A statistical approach for efficient crawling of Rich Internet Applications ( M. E. Dincturk, S. Choudhary, G. v. Bochmann, G. V. Jourdan and I. V. Onut ), in Proc.s of the 12th Intern. Conf. on Web Engineering (ICWE 2012), Berlin, Germany, July 2012. Springer LCS 7387, pp. 362-369. A longer version of the paper is also available (15 pages) -- copy
Performance modeling of distributed collaboration services ( T. Israr and G. v. Bochmann ), Proc. 2nd joint WOSP/SIPEW Int. Conf. on Performance Engineering (ICPE '11), pp. 475-480 -- copy
On the realizability of collaborative services ( H. N. Castejòn, G. v. Bochmann and R. Braek ) Journal of Software and Systems Modeling, Vol. 10 (12 October 2011), pp. 1-21. - PDF
Transforming dynamic behavior specifications from Activity Diagrams to BPEL ( M. N. M. Faleh and G. v. Bochmann ) Proc. IEEE 6th Intern. Symp. on Service-Oriented System Engineering, Irvine, Calif., Dec. 2011, pp. 305-311. - PDF
Some notes on the history of protocol engineering ( G. v. Bochmann, D. Rayner and C. H. West ) Computer Networks Journal, 54 (2010), pp 3197–3209. - PDF
Using first-order logic to reason about submodule construction ( G. v. Bochmann ) Proc. IFIP Intern. Conf. on Formal Techniques for Distributed Systems, Lisbon, Portugal, June 2009, Springer Verlag, LNCS 5522. - PDF
On testing 1-safe Petri nets ( J. V. Jourdan and G. v. Bochmann ) Proc. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianin, China, to be published. - PDF
Testing systems specified as partial-order input/output automata ( G. v. Bochmann, S. Haar, C. Jard and G. V. Jourdan ) Proc. IFIP Testcom/FATES Workshop, Tokyo, June 2008, LNCS. - PDF
Deriving component designs from global requirements ( G. v. Bochmann ) Proc. Intern. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES), Toulouse, Sept. 2008. - PDF
Realizability of Collaboration-based Service Specifications ( H. N. Castejon, G. v. Bochmann and R. Braek ) Proc. Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, Nov. 2007. - PDF
Deriving protocol specifications from service specifications written as Predicate/Transition-Nets ( H. Yamaguchi, K. El-Fakih, G. v. Bochmann and T. Higashino ) Computer Networks, 2007, vol. 51, no1, pp. 258-284 - PDF
Petri net protocol synthesis with minimum communication costs ( H. Yamaguchi, K. El-Fakih, G. v. Bochmann and T. Higashino ) Journal of the Franklin Institute: Engineering and applied mathematics, Elsevier, 2006, vol. 343, no 4-5 (28 ref.), pp. 501-520 - PDF
Progressive solutions to a parallel automata equation ( K. El-Fakih, N. Yevtushenko, S. Buffalov and G. v. Bochmann ) Theoretical Computer Science, 2006, vol. 362, no 1-3, pp. 17-32. - PDF
Service discovery and component reuse with semantic interfaces ( R. T. Sanders, R. Braek, G. v. Bochmann and D. Amyot ) Proc. of the SDL Forum, Norway, July 2005, Springer Verlag, LNCS 3530, pp. 85-102. - PDF
Removing Timed Delays in Stochastic Automata ( F. Dankar and G. v. Bochmann ) Proc. 7th Intern. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), Torino, Sept. 2005. - PDF
Submodule construction for extended state machine models ( B. Daou and G. v. Bochmann ) Proc. IFIP Intern. Conf. on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Taiwan, 2005, Springer LNCS 3731, 2005, pp. 396-410. - PDF
High-level design for user and component interfaces ( G. v. Bochmann ) Knowledge-Based Systems (Journal, Elsevier), Volume 17, Issues 7-8 (2004), pp. 303-310. - PDF
FSM-based incremental conformance testing methods ( K. El-Fakih, N. Yevtushenko and G. v. Bochmann ) IEEE Trans. on SE, Vol. 30, 7 (July 2004), pp. 425-436. - PDF
Modeling the IETF Session Initiation Protocol and its services in SDL ( K. Y. Chan and G. v. Bochmann ) Proc. of SDL Forum 2003, Springer Verlag (LNCS) - PDF
Some considerations on interfaces for users and system components ( G. v. Bochmann ) in New Trends in Software Methodologies, Tools and Techniques (Proc. of 2nd Intern. Conf. on Lyee Methodology), IOS Press, 2003, pp. 167-179. - PDF (not available)
Fault diagnosis in extended finite state machines ( K. El-Fakih, S. Prokopenko, N. Yevtushenko and G. v. Bochmann ) Proc. TestCom 2003 - the IFIP 15th International Conference on Testing of Communicating Systems, May 2003 in Sophia Antipolis, France, LNCS 2644, Springer Verlag, pp. 197-210. - PDF
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. ( H. Yamaguchi, K. El-Fakih, G. v. Bochmann and T. Higashino ) Distributed Computing, Vol. 16, 1 (March 2003), pp. 21-36. - PDF
Decomposing service definitions in predicate-transition nets for designing distributed systems ( H. Yamaguchi, G. v. Bochmann and T. Higashino ) Proc. of FORTE intern. conference (IFIP), Berlin, Oct. 2003, LNCS 2767, Springer Verlag, pp. 399-414. - PDF
Methods for designing SIP services in SDL with fewer feature Interactions ( K. Y. Chan and G. v. Bochmann ) to be presented at the Seventh International Workshop on Feature Interactions in Telecommunications and Software Systems, Ottawa, Canada, June, 2003. - PDF
Progressive solutions to a parallel automata equation ( S. Buffalov, K. El-Fakih, N. Yevtushenko and G. v. Bochmann ) Proc. FORTE Conf. (IFIP), Sept. 2003, Berlin, LNCS 2767, Springer Verlag, pp. 367-382. - PDF
Markovian component modeling ( F. K. Dankar and G. v. Bochmann ) Proc. MATHMOD Conference, Vienna, Austria, Febr. 2003. - PDF
FSM-based re-testing methods ( K. El-Fakih, N. Yevtushenko and G. v. Bochmann ) Proc. Int. Conf. on Testing of Communicating Systems (TESTCOM) 2002, pp. - PDF
Submodule construction for specifications with input assumptions and output guarantees ( G. v. Bochmann ) in Proc. FORTE'02 (22st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems), Chapman&Hall, 2002, pp. - PDF
Submodule construction - the inverse of composition ( G. v. Bochmann ) Technical Report, Sept. 2001, University of Ottawa. - PDF
Diagnosing multiple faults in communicating finite state machines ( K. El-Fakih, N. Yevtushenko and G. v. Bochmann ) in Proc. FORTE'01 (21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems), Chapman&Hall, 2001, pp. 85-100. - PDF
Activity Nets: A UML profile for modeling work flow architectures ( G. v. Bochmann ) Technical Report, University of Ottawa, Oct. 2000. - PDF
Automatic derivation of Petri-net based distributed specification with optimal allocation of resources ( K. El-Fakih, H. Yamaguchi, G. v. Bochmann and T. Higashino ) Proc. of IEEE Int. Conf. on 15th IEEE Int. Conf. on Automated Software Engineering (ASE'2000), Grenoble, France, Sept. 2000, pp. - PDF
On the fly re-synthesis of communications protocols ( K. El-Fakih, K. Saleh and G. v. Bochmann ) In Proc. of the 12th Int. Conf. On Parallel and Distributed Computing and Systems (PDCS’00), Nov. 2000 (Las Vegas, USA). - PDF
Protocol re-synthesis based on extended Petri nets ( K. El-Fakih, H. Yamaguchi, G. v. Bochmann and T. Higashino ) Proc. of Workshop on Software Engineering and Petri Nets (SEPN-2000), June 2000, Aarhus, Denmark. - PDF
A Petri net based method for deriving distributed specifications with optimal allocation of resources ( H. Yamaguchi, K. El-Fakih, G. v. Bochmann and T. Higashino ) Proc. of Int. Conf. on Software Eng. Applied to Networking and Parallel/Distr. Computing (SNPD'00), May 2000, Reims, France, pp.19-26. - PDF