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