Martin Wirsing receives the Order of Merit of the Federal Republic of Germany (Bundesverdienstkreuz)
activities-academic-web
Professional Activities
Conference Organizer
-
Program Co-Chair,
21st International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI),
2020
- Program Co-Chair,
13th International Conference on
Tests and Proofs (TAP),
2019
- Program Co-Chair,
24th International Conference on
Tools and Algorithms for the Construction and of Analysis Systems (TACAS),
2018
- Co-Organizer,
Dagstuhl Seminar 14171: Evaluating Software Verification Systems: Benchmarks and Competitions,
Schloss Dagstuhl, April 21–25, 2014
- Program Co-Chair,
32nd IFIP Int. Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS),
Florence, Italy, June, 2013
- Organizer,
2st TACAS 2013 Competition on Software Verification (SV-COMP),
Rome, Italy, March 21, 2013
- Organization Co-Chair,
2nd Int. Workshop on Linux Driver Verification (LDV),
Heraklion, Creta, October 15, 2012
- General Chair,
20th IEEE Int. Conference on Program Comprehension (ICPC),
Passau, Bavaria, Germany, June 11–13, 2012
- Organizer,
7th Alpine Verification Meeting (AVM),
Passau, Bavaria, Germany, May 21–22, 2012
- Organizer,
1st TACAS 2012 Competition on Software Verification (SV-COMP),
Tallinn, Estonia, March 29, 2012
- Organization Chair,
1st Int. Workshop on Linux Driver Verification (LDV),
Passau, Germany, February 13–17, 2012
- Local Organization Chair,
31st IEEE Int. Conference on Software Engineering (ICSE),
Vancouver, BC, Canada, May 16–24, 2009
- Local Organization Chair,
17th IEEE Int. Conference on Program Comprehension (ICPC),
Vancouver, BC, Canada, May 17–19, 2009
- Local Organization Chair,
6th IEEE Working Conference on Mining Software Repositories (MSR),
Vancouver, BC, Canada, May 16–17, 2009
- Proceedings Chair,
25th IEEE International Conference on Software Maintenance (ICSM),
Edmonton, AB, Canada, September 20–26, 2009
- Local Organization Chair,
14th IEEE Working Conference on Reverse Engineering (WCRE),
Vancouver, BC, Canada, October 28–31, 2007
- Founder and Organizer,
First Alpine Verification Meeting (AVM’05),
Lausanne, Switzerland, October 6, 2005
Member of Conference Steering Committees
-
Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), since 2015
- IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), 2013–2016
- IEEE Int. Conference on Program Comprehension (ICPC), 2012–2015
Member of Conference Program Committees
-
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2020
- International Conference on Software Engineering and Formal Methods (SEFM), 2019
- Annual NASA Formal Methods Symposium (NFM), 2019
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019
- Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT), 2019
- International Conference on Formal Methods in Software Engineering (FORMALIZE), 2019
- International Conference on Software Engineering and Formal Methods (SEFM), 2018
- Annual NASA Formal Methods Symposium (NFM), 2018
- International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2018
- International Conference on Computer-Aided Verification (CAV), 2018
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017
- ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2017
- International Conference on Software Engineering, tools track (ICSE), 2017
- Annual NASA Formal Methods Symposium (NFM), 2017
- International SPIN Symposium on Model Checking of Software (SPIN), 2017
- International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA), 2017
- 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016
- 9th Indian Software Engineering Conference (ISEC), 2016
- 9th Int. Conference on Tests and Proofs (TAP), 2015
- 7th NASA Formal Methods Symposium (NFM), 2015
- 31st IEEE Int. Conference on Software Maintenance and Evolution (ICSME), 2015
- 23rd IEEE Int. Conference on Program Comprehension (ICPC), 2015
- 5th Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2015
- 14th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2014
- 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014
- 36th ACM/IEEE Int. Conference on Software Engineering (ICSE), 2014
- 34nd IFIP Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2014
- 21st Int. Symposium on Model Checking of Software (SPIN), 2014
- 22nd IEEE Int. Conference on Program Comprehension (ICPC), 2014
- 8th Int. Conference on Tests and Proofs (TAP), 2014
- 18th European Conference on Software Maintenance and Reengineering and 21st Working Conference on Reverse Engineering (CSMR/WCRE), 2014
- 13th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2013
- 21st IEEE Int. Conference on Program Comprehension (ICPC), 2013
- 20th Working Conference on Reverse Engineering (WCRE), 2013
- 7th Int. Conference on Tests and Proofs (TAP), 2013
- 23rd Annual International Conference on Computer Science and Software Engineering (CASCON), 2013
- 4rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2013
- 19th Working Conference on Reverse Engineering (WCRE), 2012
- 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2012
- 3rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2012
- 1st Int. Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), 2012
- 19th Int. Workshop on Model Checking of Software (SPIN), 2012
- 6th Int. Conference on Tests and Proofs (TAP), 2012
- 32nd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2012
- 28th IEEE Int. Conference on Software Maintenance (ICSM), 2012
- 6th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2012
- 18th Working Conference on Reverse Engineering (WCRE), 2011
- 6th Int. Workshop on Systems Software Verification (SSV), 2011
- 31st IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2011
- 27th IEEE Int. Conference on Software Maintenance (ICSM), 2011
- 19th IEEE Int. Conference on Program Comprehension (ICPC), 2011
- 5th Int. Conference on Tests and Proofs (TAP), 2011
- 17th Working Conference on Reverse Engineering (WCRE), 2010
- 26th IEEE Int. Conference on Software Maintenance (ICSM), 2010,
Industrial Track
- 4th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2010
- 4th Int. Conference on Tests and Proofs (TAP), 2010
- 18th IEEE Int. Conference on Program Comprehension (ICPC), 2010
- 19th Annual Int. Conference on
Computer Science and Software Engineering (CASCON), 2009
- 16th Working Conference on Reverse Engineering (WCRE), 2009
- 17th IEEE Int. Conference on Program Comprehension (ICPC), 2009
- 18th Annual Int. Conference on
Computer Science and Software Engineering (CASCON), 2008
- 15th Working Conference on Reverse Engineering (WCRE), 2008
- 24th IEEE Int. Conference on Software Maintenance (ICSM), 2008
- 19th Int. Conference on Concurrency Theory (CONCUR), 2008
- 16th IEEE Int. Conference on Program Comprehension (ICPC), 2008
- 23rd IEEE Int. Conference on Software Maintenance (ICSM), 2007
- 15th IEEE Int. Conference on Program Comprehension (ICPC), 2007
- 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007,
Doctoral Symposium
- 22nd IEEE Int. Conference on Software Maintenance (ICSM), 2006
Journal Editorial Board Member
-
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
-
Argus Technologies Ltd., Burnaby, 2009
- Alpha Technologies Ltd., Burnaby, 2008
Member of Professional Organizations
-
Association for Computing Machinery (ACM)
- IEEE, IEEE Computer Society
- Deutscher Hochschulverband (DHV)
Grants / Awards
-
Nokia University Relations Grant, 2008 (in-kind donation of
Nokia devices)
Title: Teaching Software Engineering on Mobile Devices
- NSERC Discovery Grant, RGPIN 341819-07, 2007-2012 (120 000 CAD)
Title: Automated Formal Methods for Reliable Software Components
- President’s Research Grant, SFU/PRG 06-3, 2006 (10 000 CAD)
- Start-Up Grant, SFU, 2006 (100 000 CAD)
- DFG (German science foundation) Grant, BE 1761/3-1, 2003 (2 500 EUR)
- Government Award for early completion of study (2 500 EUR)
- Government Award for best graduates, all Germany (1 500 EUR)
- BTU University Award 1998 for best Master’s thesis
©
Dirk Beyer
This document was translated from LATEX by
HEVEA.