Homepage of Markus Roggenbach

Markus Roggenbach

Research focus: Processes and Data

Topics

Specification languages and their semantics
Verification
Testing
Tools
- Timed CSP Simulator (in cooperation with Marc Dragon, Marc Fontaine, Andy Gimblett, Faron Moller, Hoang Nga Nguyen)
- CSP-Prover (in cooperation with Y.Isobe )
- CASL Consistency Checker (CCC) (in cooperation with C.Lüth and L.Schröder )
Knowledge transfer

I will teach on these topics at the SEFM Summerschool 2012.

Selected Publications

Projects

SafeCap (2011-13). EPSRC / RSSB.
South Africa-UK Science Network (2007-2008).
Processes and Data (2006-2009). EPSRC Project EP/D037212/1.

Teaching

Swansea University Distinguished Teaching Award in 2011.

CS-135 Professional Issues II: Software Development
Software tools, testing, and design methods for the development of reliable software.
CS-364, CS-M84 Software Testing
Functional Testing, Structural Testing, Integration and System Testing, Object-Oriented Testing, Selected Research Topics.
CS-339 Advanced Topics in Computer Science: Testing (2006)

Professional Activities

Member of the IFIP WG 1.3

Steering Committees

AVoCS (chair), CALCO

Program Committees

AVOCS (Automatic Verification of Critical Systems), 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012; ICFEM (International Conference on Formal Engineering Methods) 2009; ICTAC (International Colloquium on Theoretical Aspects of Computing), 2010; IWIGP (International workshop on interactions, games and protocols), 2011, 2012; MODEVVA (Workshop on Model Engineering, Verification, and Validation), 2009; MoVaH (Workshop on Modeling, Validation and Heterogeneity), 2008; SAC-SE (Software Engineering Track of the ACM Symposium on Applied Computing), 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012; SEFM (IEEE Software Engineering and Formal Methods), 2009, 2010; SSIRI (IEEE International Conference on Secure System Integration and Reliability Improvement), 2008, 2009, 2010, 2011; WADT (Workshop on Algebraic Development Techniques), 2008, 2010.

Invited Talks

Bamberg, Germany, April 2012; Surrey, UK, May 2011; Beijing, China, August 2010; Berlin, Germany, June 2010; Newcastle, UK, June 2010; York, UK, May, 2010; Lisbon, Portugal, November 2009; Bergen, Norway, November 2009; Macao, Macao, October 2009; Aberystwyth, UK, August 2009; Paris, France, May 2009; Tsukuba, Japan, April 2009; Bremen, Germany, January 2009; Cape Topwn, South Africa, November 2008; York, UK, October 2008; Rolls Royce, Derby, UK, April 2008; IFIP WG 1.3, Sierra Nevada meeting, Spain, January 2008; Bergen, Norway, October 2007; Bergen, Norway, October 2007; Pretoria, South Africa, July 2007; IFIP WG 1.3, Braga meeting, Portugal, March 2007; Humboldt University Berlin, Germany, June 2007; IFIP WG 1.3, La Roche meeting, Belgium, June 2006; Bremen, Germany, October 2005; Leicester, UK, May 2005; Oxford, UK, March 2005; AIST, Tsukuba, Japan, September 2004.

Conference Organisation

E-mail:  M.Roggenbach@swan.ac.uk

Address: Markus Roggenbach
         Department of Computer Science
         College of Science
         Swansea University
         Singleton Park
         Swansea SA2 8PP 
         United Kingdom

Phone:   +44 (0)1792 51-3578
Fax:     +44 (0)1792 295708

Markus Roggenbach last update May 5, 2012.