List of presentations (latest first)

• Recovering Grammar Relationships for the Java Language Specification. Paper presentation at Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2009), Edmonton, Canada, 21 September 2009. Best Paper Award. Presented joint work with Prof. Dr. Ralf Lämmel. [Slides] [Paper] [SLPS]
• Language Convergence Infrastructure. Selected presentation at Third Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), Braga, Portugal, 8 July 2009. [Slides] [Abstract] [SLPS]
• Semi-automated Language Convergence. Poster presentation at @institute4cs: follow me, Koblenz, Germany, 1 July 2009. Displayed again at Third Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), Braga, Portugal, 8 July 2009. Presented collaborative effort of Software Languages Team. [Teaser] [Poster] [Interview] [SLPS]
• Grammar Convergence. Paper presentation at Seventh International Conference on Integrated Formal Methods (iFM 2009), Düsseldorf, Germany, 18 February 2009. Presented joint work with Prof. Dr. Ralf Lämmel. [Slides] [Paper] [SLPS]
• Grammar Convergence. Local talk about ongoing research results in joint work with Prof. Dr. Ralf Lämmel, B132, Universität Koblenz-Landau, Koblenz, Germany, 13 February 2009. [Slides] [Paper] [SLPS]
• Legacy: the Underside of Progress. Invited seminar presentation, Southern Federal University, Rostov-on-Don, Russia, 22 December 2007. [Slides]
• Correct C# Grammar too Sharp for ISO. Selected presentation at Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, 6 July 2005. [Slides] [Abstract]
• Grammarware Application: Testing XML Validators. Invited presentation at Microsoft Research Academic Days, Stockholm, Sweden, 26 November 2004. First part about Grammarware Engineering was given by Dr.ing. Ralf Lämmel. [Slides]
• Combinatorial Test Set Generation: Concepts, Implementation, Case Study. Final defence talk for receiving the Master of Science degree, Universiteit Twente, Enschede, The Netherlands, 22 June 2004. [Slides] [Thesis]
• A .NET-based Test-Data Generator for Combinatorial Grammar- and Schema-based Testing. Local department talk on joint research with Dr.ing. Ralf Lämmel and Wolfram Schulte, Vrije Universiteit, Amsterdam, The Netherlands, 14 April 2004. [Slides]
• Modelling and Model Checking of Distributed Systems. Final defence talk for receiving the Master of Science degree, Computing Centre, Rostov State University, Rostov-on-Don, Russia, 16 June 2003. [Thesis]
• Comparison and Analysis of Security Protocol Verification Techniques Used in the Development of e-Business Applications. Mini-conference presentation at Distributed e-Business Techniques, Universiteit Twente, Enschede, The Netherlands, 27 February 2003. Best Paper Award. Best Presentation Award. Presented joint work with Jieyin Cheng.

[Back] Page generated on 09/02/2010