Software and Computational Systems Lab

Professional Activities

Conference Organizer

1. General Chair, 41st IEEE/ACM International Conference on Automated Software Engineering (ASE), Munich, Germany, October 2026
2. General Chair, 2026 International Conference on the Art, Science, and Engineering of Programming (⟨Programming⟩), Munich, Germany, March 2026
3. Program Co-Chair, 27th International Conference on Fundamental Approaches to Software Engineering (FASE), Luxembourg City, Luxembourg, April 6–11, 2024
4. General Co-Chair, 25st European Joint Conferences on Theory and Practice of Software (ETAPS), Munich, Germany, 2022
5. Workshops Chair, 25st European Joint Conferences on Theory and Practice of Software (ETAPS), Munich, Germany, 2022
6. Co-Organizer, 14th Alpine Verification Meeting (AVM), Frauenwörth, Germany, 2022
7. Program Co-Chair, 21st Int. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), New Orleans, USA, January 19–21, 2020
8. Program Co-Chair, 13th Int. Conference on Tests and Proofs (TAP), Porto, Portugal, October 9–11, 2019
9. Co-Organizer, 4th Int. Workshop on CPAchecker (CPA), Frauenchiemsee, Germany, October 1–2, 2019
10. Program Co-Chair, 24th Int. Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS), Thessaloniki, Greece, 2018
11. Co-Organizer, 1st Int. Workshop on CPAchecker (CPA), San Francisco (CA), USA, July 18–24, 2015
12. Workshops Chair, 27th International Conference on Computer Aided Verification (CAV), Munich, Germany, 2022
13. Co-Organizer, Dagstuhl Seminar 14171: Evaluating Software Verification Systems: Benchmarks and Competitions, Schloss Dagstuhl, April 21–25, 2014
14. Program Co-Chair, 32nd IFIP Int. Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS), Florence, Italy, June, 2013
15. Organizer, 2st TACAS 2013 Competition on Software Verification (SV-COMP), Rome, Italy, March 21, 2013
16. Organization Co-Chair, 2nd Int. Workshop on Linux Driver Verification (LDV), Heraklion, Creta, October 15, 2012
17. General Chair, 20th IEEE Int. Conference on Program Comprehension (ICPC), Passau, Bavaria, Germany, June 11–13, 2012
18. Organizer, 7th Alpine Verification Meeting (AVM), Passau, Bavaria, Germany, May 21–22, 2012
19. Organizer, 1st TACAS 2012 Competition on Software Verification (SV-COMP), Tallinn, Estonia, March 29, 2012
20. Organization Chair, 1st Int. Workshop on Linux Driver Verification (LDV), Passau, Germany, February 13–17, 2012
21. Local Organization Chair, 31st IEEE Int. Conference on Software Engineering (ICSE), Vancouver, BC, Canada, May 16–24, 2009
22. Local Organization Chair, 17th IEEE Int. Conference on Program Comprehension (ICPC), Vancouver, BC, Canada, May 17–19, 2009
23. Local Organization Chair, 6th IEEE Working Conference on Mining Software Repositories (MSR), Vancouver, BC, Canada, May 16–17, 2009
24. Proceedings Chair, 25th IEEE Int. Conference on Software Maintenance (ICSM), Edmonton, AB, Canada, September 20–26, 2009
25. Local Organization Chair, 14th IEEE Working Conference on Reverse Engineering (WCRE), Vancouver, BC, Canada, October 28–31, 2007
26. Founder and Organizer, First Alpine Verification Meeting (AVM’05), Lausanne, Switzerland, October 6, 2005

Member of Conference Steering Committees

1. Fundamental Approaches to Software Engineering (FASE), since 2022
2. European Joint Conferences on Theory and Practice of Software (ETAPS), since 2021
3. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), since 2015
4. IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), 2013–2016
5. IEEE Int. Conference on Program Comprehension (ICPC), 2012–2015

Member of Conference Program Committees

1. Int. Conference on Computer-Aided Verification (CAV), 2025
2. Int. Symposium on Automated Technology for Verification and Analysis (ATVA), 2025
3. Int. Conference on Automated Software Engineering (ASE), 2025
4. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2025
5. Int. Conference on Integrated Formal Methods (iFM), 2025
6. Int. Conference on Software Engineering (ICSE), 2024
7. Int. Conference on Program Comprehension (ICPC), 2024
8. Int. Conference on the Foundations of Software Engineering (FSE), 2024
9. Int. Symposium on Automated Technology for Verification and Analysis (ATVA), 2024
10. Int. Conference on Automated Software Engineering (ASE), 2023
11. Int. Conference on Software Engineering (ICSE), 2023
12. Int. Conference on Computer-Aided Verification (CAV), 2023
13. Annual NASA Formal Methods Symposium (NFM), 2023
14. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2023
15. Int. Conference on Software Engineering (ICSE), 2022
16. Int. Colloquium on Theoretical Aspects of Computing (ICTAC), 2022
17. Annual NASA Formal Methods Symposium (NFM), 2022
18. IEEE/ACM Int. Conference on Automated Software Engineering (ASE), 2022
19. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022
20. Int. Conference on Software Engineering and Formal Methods (SEFM), 2022
21. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2022
22. Int. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2022
23. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021
24. Int. Conference on Software Engineering (ICSE), 2021
25. Int. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2021
26. Int. Conference on Tests and Proofs (TAP), 2021
27. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2021
28. Int. Conference on Software Engineering and Formal Methods (SEFM), 2021
29. Int. Conference on Software Engineering and Formal Methods (SEFM), 2020
30. Int. Conference on Tests and Proofs (TAP), 2020
31. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2020
32. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2020
33. Int. Conference on Software Engineering and Formal Methods (SEFM), 2019
34. Annual NASA Formal Methods Symposium (NFM), 2019
35. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019
36. Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT), 2019
37. Int. Conference on Formal Methods in Software Engineering (FORMALIZE), 2019
38. Int. Conference on Software Engineering and Formal Methods (SEFM), 2018
39. Annual NASA Formal Methods Symposium (NFM), 2018
40. Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2018
41. Int. Conference on Computer-Aided Verification (CAV), 2018
42. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017
43. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2017
44. Int. Conference on Software Engineering, tools track (ICSE), 2017
45. Annual NASA Formal Methods Symposium (NFM), 2017
46. Int. SPIN Symposium on Model Checking of Software (SPIN), 2017
47. Int. Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA), 2017
48. 31st IEEE/ACM Int. Conference on Automated Software Engineering (ASE), 2016
49. 9th Indian Software Engineering Conference (ISEC), 2016
50. 9th Int. Conference on Tests and Proofs (TAP), 2015
51. 7th NASA Formal Methods Symposium (NFM), 2015
52. 31st IEEE Int. Conference on Software Maintenance and Evolution (ICSME), 2015
53. 23rd IEEE Int. Conference on Program Comprehension (ICPC), 2015
54. 5th Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2015
55. 14th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2014
56. 6th Int. Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014
57. 36th ACM/IEEE Int. Conference on Software Engineering (ICSE), 2014
58. 34nd IFIP Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2014
59. 21st Int. Symposium on Model Checking of Software (SPIN), 2014
60. 22nd IEEE Int. Conference on Program Comprehension (ICPC), 2014
61. 8th Int. Conference on Tests and Proofs (TAP), 2014
62. 18th European Conference on Software Maintenance and Reengineering and 21st Working Conference on Reverse Engineering (CSMR/WCRE), 2014
63. 13th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2013
64. 21st IEEE Int. Conference on Program Comprehension (ICPC), 2013
65. 20th Working Conference on Reverse Engineering (WCRE), 2013
66. 7th Int. Conference on Tests and Proofs (TAP), 2013
67. 23rd Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2013
68. 4rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2013
69. 19th Working Conference on Reverse Engineering (WCRE), 2012
70. 5th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2012
71. 3rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2012
72. 1st Int. Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), 2012
73. 19th Int. Workshop on Model Checking of Software (SPIN), 2012
74. 6th Int. Conference on Tests and Proofs (TAP), 2012
75. 32nd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2012
76. 28th IEEE Int. Conference on Software Maintenance (ICSM), 2012
77. 6th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2012
78. 18th Working Conference on Reverse Engineering (WCRE), 2011
79. 6th Int. Workshop on Systems Software Verification (SSV), 2011
80. 31st IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2011
81. 27th IEEE Int. Conference on Software Maintenance (ICSM), 2011
82. 19th IEEE Int. Conference on Program Comprehension (ICPC), 2011
83. 5th Int. Conference on Tests and Proofs (TAP), 2011
84. 17th Working Conference on Reverse Engineering (WCRE), 2010
85. 26th IEEE Int. Conference on Software Maintenance (ICSM), 2010,
    Industrial Track
86. 4th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2010
87. 4th Int. Conference on Tests and Proofs (TAP), 2010
88. 18th IEEE Int. Conference on Program Comprehension (ICPC), 2010
89. 19th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2009
90. 16th Working Conference on Reverse Engineering (WCRE), 2009
91. 17th IEEE Int. Conference on Program Comprehension (ICPC), 2009
92. 18th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2008
93. 15th Working Conference on Reverse Engineering (WCRE), 2008
94. 24th IEEE Int. Conference on Software Maintenance (ICSM), 2008
95. 19th Int. Conference on Concurrency Theory (CONCUR), 2008
96. 16th IEEE Int. Conference on Program Comprehension (ICPC), 2008
97. 23rd IEEE Int. Conference on Software Maintenance (ICSM), 2007
98. 15th IEEE Int. Conference on Program Comprehension (ICPC), 2007
99. 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007,
    Doctoral Symposium
100. 22nd IEEE Int. Conference on Software Maintenance (ICSM), 2006

Journal Editorial Board Member

1. Editorial Board of Journal PeerJ, since 2015
2. Int. Journal on Software Tools for Technology Transfer (STTT), since 2015, Editor-in-chief for CoCha Theme

Journal Referee

• Communications of the ACM, ACM, 2024;
• Formal Methods and System Design, Springer, 2024;
• Journal on Software and Systems, Springer, 2023;
• Transactions on Software Engineering and Methodology, ACM, 2023;
• Formal Aspects of Computing, ACM, 2022;
• Transactions on Software Engineering, ACM, 2021;
• Journal on Software: Practice and Experience, Springer, 2020;
• Journal of Automated Reasoning, Springer, 2019;
• Transactions on Software Engineering and Methodology, ACM, 2018;
• Communications of the ACM, ACM, 2018;
• Transactions on Software Engineering and Methodology, ACM, 2018;
• Transactions on Programming Languages and Systems, ACM, 2018;
• Software Testing, Verification, and Reliability, Springer, 2018;
• Journal of Automated Reasoning, Springer, 2018;
• Innovations in Systems and Software Engineering, Springer, 2018
• Int. Journal on Software Tools for Technology Transfer, Springer, 2017
• Journal of Systems and Software, Elsevier, 2017;
• Automated Software Engineering, Springer, 2016;
• IEEE Software, IEEE, 2015;
• Int. Journal on Software Tools for Technology Transfer (STTT), Springer, 2015;
• IEEE Transactions on Software Engineering (TSE), 2014;
• Int. 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;
• Int. Journal on Software Tools for Technology Transfer (STTT), Springer, 2012;
• Computing (COMP), Springer, 2012;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2012;
• Int. Journal on Software Testing, Verification and Reliability, 2011;
• IEEE Software, 2011;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2011;
• Int. 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;
• Int. 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;
• Int. Journal of Computers and Their Applications (IJCA), 2007;
• Int. 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;
• Int. 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 Int. Conference on Software Engineering (ICSE), 2006;
• Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS), 2006;
• ACM Int. Symposium on Component-Based Software Engineering (CBSE), 2006;
• Int. Symposium on Software Composition (SC), 2006;
• Int. Conference on Computer-Aided Verification (CAV), 2005;
• Int. Symposium on Formal Methods (FM), 2005;
• ACM Int. 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. ETAPS Test-of-Time Award 2023
   for FASE 2013 paper Explicit-State Software Model Checking Based on CEGAR and Interpolation, doi:10.1007/978-3-642-37057-1_11
2. DFG Grant 496588242, BE 1761/9-1, 2022 (328 900 EUR)
   Title: IDEFIX: Identifying and Fixing Incomplete Patches
3. HVC Best-Paper Award 2017
   for HVC 2017 paper Software Verification: Testing vs. Model Checking, doi:10.1007/978-3-319-70389-3_7
4. DFG Grant 418257054, BE 1761/7-1, 2019 (309 600 EUR)
   Title: Cooperative Software Verification
5. DFG Research Training Group as co-PI 378803395, GRK 2428/1, 2019 (6 095 116 EUR)
   Title: CONVEY - Continuous Verification of CYber-Physical Systems
6. Goedel Medal in silver at the Vienna Summer of Logic 2014
   for the achievements of the software-verification framework CPAchecker
7. Nokia University Relations Grant, 2008 (in-kind donation of Nokia devices)
   Title: Teaching Software Engineering on Mobile Devices
8. NSERC Discovery Grant, 482301 RGPIN 341819-07, 2007-2012 (120 000 CAD)
   Title: Automated Formal Methods for Reliable Software Components
9. President’s Research Grant, SFU/PRG 06-3, 2006 (10 000 CAD)
10. Start-Up Grant, SFU, 2006 (100 000 CAD)
11. DFG (German science foundation) Grant, BE 1761/3-1, 2003 (2 500 EUR)
12. Government Award for early completion of study (2 500 EUR)
13. Government Award for best graduates, all Germany (1 500 EUR)
14. BTU University Award 1998 for best Master’s thesis

© Dirk Beyer

---

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