Software and Computational Systems Lab

Professional Activities

Conference Organizer

1. Program Co-Chair, 24th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS), 2018
2. Co-Organizer, Dagstuhl Seminar 14171: Evaluating Software Verification Systems: Benchmarks and Competitions,
   Schloss Dagstuhl, April 21–25, 2014
3. Program Co-Chair, 32nd IFIP Int. Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS),
   Florence, Italy, June, 2013
4. Organizer, 2st TACAS 2013 Competition on Software Verification (SV-COMP),
   Rome, Italy, March 21, 2013
5. Organization Co-Chair, 2nd Int. Workshop on Linux Driver Verification (LDV),
   Heraklion, Creta, October 15, 2012
6. General Chair, 20th IEEE Int. Conference on Program Comprehension (ICPC),
   Passau, Bavaria, Germany, June 11–13, 2012
7. Organizer, 7th Alpine Verification Meeting (AVM),
   Passau, Bavaria, Germany, May 21–22, 2012
8. Organizer, 1st TACAS 2012 Competition on Software Verification (SV-COMP),
   Tallinn, Estonia, March 29, 2012
9. Organization Chair, 1st Int. Workshop on Linux Driver Verification (LDV),
   Passau, Germany, February 13–17, 2012
10. Local Organization Chair, 31st IEEE Int. Conference on Software Engineering (ICSE),
    Vancouver, BC, Canada, May 16–24, 2009
11. Local Organization Chair, 17th IEEE Int. Conference on Program Comprehension (ICPC),
    Vancouver, BC, Canada, May 17–19, 2009
12. Local Organization Chair, 6th IEEE Working Conference on Mining Software Repositories (MSR),
    Vancouver, BC, Canada, May 16–17, 2009
13. Proceedings Chair, 25th IEEE International Conference on Software Maintenance (ICSM),
    Edmonton, AB, Canada, September 20–26, 2009
14. Local Organization Chair, 14th IEEE Working Conference on Reverse Engineering (WCRE),
    Vancouver, BC, Canada, October 28–31, 2007
15. Founder and Organizer, First Alpine Verification Meeting (AVM’05),
    Lausanne, Switzerland, October 6, 2005

Member of Conference Steering Committees

1. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), since 2015
2. IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), 2013–2016
3. IEEE Int. Conference on Program Comprehension (ICPC), 2012–2015

Member of Conference Program Committees

1. 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016
2. 9th Indian Software Engineering Conference (ISEC), 2016
3. 9th Int. Conference on Tests and Proofs (TAP), 2015
4. 7th NASA Formal Methods Symposium (NFM), 2015
5. 31st IEEE Int. Conference on Software Maintenance and Evolution (ICSME), 2015
6. 23rd IEEE Int. Conference on Program Comprehension (ICPC), 2015
7. 5th Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2015
8. 14th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2014
9. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014
10. 36th ACM/IEEE Int. Conference on Software Engineering (ICSE), 2014
11. 34nd IFIP Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2014
12. 21st Int. Symposium on Model Checking of Software (SPIN), 2014
13. 22nd IEEE Int. Conference on Program Comprehension (ICPC), 2014
14. 8th Int. Conference on Tests and Proofs (TAP), 2014
15. 18th European Conference on Software Maintenance and Reengineering and 21st Working Conference on Reverse Engineering (CSMR/WCRE), 2014
16. 13th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2013
17. 21st IEEE Int. Conference on Program Comprehension (ICPC), 2013
18. 20th Working Conference on Reverse Engineering (WCRE), 2013
19. 7th Int. Conference on Tests and Proofs (TAP), 2013
20. 23rd Annual International Conference on Computer Science and Software Engineering (CASCON), 2013
21. 4rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2013
22. 19th Working Conference on Reverse Engineering (WCRE), 2012
23. 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2012
24. 3rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2012
25. 1st Int. Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), 2012
26. 19th Int. Workshop on Model Checking of Software (SPIN), 2012
27. 6th Int. Conference on Tests and Proofs (TAP), 2012
28. 32nd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2012
29. 28th IEEE Int. Conference on Software Maintenance (ICSM), 2012
30. 6th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2012
31. 18th Working Conference on Reverse Engineering (WCRE), 2011
32. 6th Int. Workshop on Systems Software Verification (SSV), 2011
33. 31st IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2011
34. 27th IEEE Int. Conference on Software Maintenance (ICSM), 2011
35. 19th IEEE Int. Conference on Program Comprehension (ICPC), 2011
36. 5th Int. Conference on Tests and Proofs (TAP), 2011
37. 17th Working Conference on Reverse Engineering (WCRE), 2010
38. 26th IEEE Int. Conference on Software Maintenance (ICSM), 2010,
    Industrial Track
39. 4th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2010
40. 4th Int. Conference on Tests and Proofs (TAP), 2010
41. 18th IEEE Int. Conference on Program Comprehension (ICPC), 2010
42. 19th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2009
43. 16th Working Conference on Reverse Engineering (WCRE), 2009
44. 17th IEEE Int. Conference on Program Comprehension (ICPC), 2009
45. 18th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2008
46. 15th Working Conference on Reverse Engineering (WCRE), 2008
47. 24th IEEE Int. Conference on Software Maintenance (ICSM), 2008
48. 19th Int. Conference on Concurrency Theory (CONCUR), 2008
49. 16th IEEE Int. Conference on Program Comprehension (ICPC), 2008
50. 23rd IEEE Int. Conference on Software Maintenance (ICSM), 2007
51. 15th IEEE Int. Conference on Program Comprehension (ICPC), 2007
52. 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007,
    Doctoral Symposium
53. 22nd IEEE Int. Conference on Software Maintenance (ICSM), 2006

Journal Editorial Board Member

1. Editorial Board of Journal PeerJ, since 2015

Journal Referee

• IEEE Software, IEEE, 2015;
• International Journal on Software Tools for Technology Transfer (STTT), Springer, 2015;
• IEEE Transactions on Software Engineering (TSE), 2014;
• International Journal on Software Tools for Technology Transfer (STTT), Springer, 2014;
• Computer Science Review (COSREV), Elsevier, 2014;
• Formal Methods in System Design (FMSD/FORM), Springer, 2014;
• IEEE Transactions on Software Engineering (TSE), 2013;
• Software and Systems Modeling (SOSYM), Springer, 2013;
• Formal Methods in System Design (FMSD/FORM), Springer, 2013;
• Communications of the ACM, 2012;
• International Journal on Software Tools for Technology Transfer (STTT), Springer, 2012;
• Computing (COMP), Springer, 2012;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2012;
• International Journal on Software Testing, Verification and Reliability, 2011;
• IEEE Software, 2011;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2011;
• International Journal on Software Tools for Technology Transfer (STTT), Springer, 2011;
• Science of Computer Programming (SCICO), Elsevier, 2011;
• Empirical Software Engineering (EMSE), Springer, 2011;
• Automated Software Engineering (ASE), Springer, 2011;
• Arabian Journal for Science and Engineering (AJSE), 2011;
• IEEE Transactions on Software Engineering (TSE), 2010;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2010;
• Software Quality Journal, Special Issue on ICPC’09, 2010;
• Journal for Graph Algorithms and Applications (JGAA), 2010;
• IEEE Software, Special Issue on Software Evolution, 2009;
• Journal of Systems and Software (JSS), 2009;
• Journal on Formal Aspects of Computing (FACJ), 2009;
• International Journal on Software Tools for Technology Transfer (STTT), 2009;
• IEEE Transactions on Software Engineering (TSE), 2009;
• Journal of Software Maintenance and Evolution: Research and Practice (JSME), 2009;
• IEEE Systems Journal, 2008;
• IEEE Transactions on Software Engineering (TSE), 2008;
• ACM Transactions on Design Automation of Electronic Systems (TODAES), 2008;
• Simulation Modelling Practice and Theory, 2008;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2007;
• IEEE Transactions on Software Engineering (TSE), 2007;
• International Journal of Computers and Their Applications (IJCA), 2007;
• International Journal on Software Tools for Technology Transfer (STTT), 2006;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2006;
• ACM Transactions on Design Automation of Electronic Systems (TODAES), 2005

Conference Referee

• Int. Symposium on Formal Methods (FM), 2012;
• Int. Conf. on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2012;
• Festschrift Manfred Nagl (FMN), 2009;
• Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2009;
• Int. Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2009;
• International Conference on Computer-Aided Verification (CAV), 2008;
• Joint Eurographics - IEEE TCVG Symposium on Visualization (EuroVis), 2008;
• ACM Symposium on Principles of Programming Languages (POPL), 2007;
• ACM Int. Symposium on Principles and Practice of Declarative Programming (PPDP), 2007;
• ACM/IEEE International Conference on Software Engineering (ICSE), 2006;
• Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS), 2006;
• ACM International Symposium on Component-Based Software Engineering (CBSE), 2006;
• International Symposium on Software Composition (SC), 2006;
• International Conference on Computer-Aided Verification (CAV), 2005;
• International Symposium on Formal Methods (FM), 2005;
• ACM International Symposium on Component-Based Software Engineering (CBSE), 2005;
• Monterey Workshop: Software Engineering Tools, 2005

Other Referee

• Swiss National Science Foundation (SNF), 2013;
• South Africa’s National Research Foundation (NRF), 2013;
• German Science Foundation (DFG), 2012;
• Czech Science Foundation (GACR), 2011;
• German Science Foundation (DFG), 2011;
• ACM Student Research Competition at ICSE (ICSE-SRC), 2011;
• The Netherlands Organization for Scientific Research (NWO), 2010;
• Austrian Science Fund (FWF), 2009;
• The Villum Kann Rasmussen Foundation, 2008;
• ACM SIGPLAN 2006 Dissertation Award Committee, 2007;
• Natural Sciences and Engineering Research Council of Canada (NSERC), 2007;
• The Netherlands Organization for Scientific Research (NWO), 2005;
• The Netherlands Organization for Scientific Research (NWO), 2004

Consultant in Industry

1. Argus Technologies Ltd., Burnaby, 2009
2. Alpha Technologies Ltd., Burnaby, 2008

Member of Professional Organizations

1. Association for Computing Machinery (ACM)
2. IEEE, IEEE Computer Society
3. Deutscher Hochschulverband (DHV)

Grants / Awards

1. Nokia University Relations Grant, 2008 (in-kind donation of Nokia devices)
   Title: Teaching Software Engineering on Mobile Devices
2. NSERC Discovery Grant, RGPIN 341819-07, 2007-2012 (120 000 CAD)
   Title: Automated Formal Methods for Reliable Software Components
3. President’s Research Grant, SFU/PRG 06-3, 2006 (10 000 CAD)
4. Start-Up Grant, SFU, 2006 (100 000 CAD)
5. DFG (German science foundation) Grant, BE 1761/3-1, 2003 (2 500 EUR)
6. Government Award for early completion of study (2 500 EUR)
7. Government Award for best graduates, all Germany (1 500 EUR)
8. BTU University Award 1998 for best Master’s thesis

© Dirk Beyer

---

This document was translated from L^AT_EX by H^EV^EA.