Scientific Community
-
Editorship of Journals
- Editor of Innovations in Systems and Software
Engineering: a NASA Journal
Springer (London) - first issue: April 2005.
- Editor of the Special Section on Leveraging
Applications of Formal Methods, Verification, and
Validation
of the Intern. Journal on Software Tools for
Technology Transfer (STTT)
Springer Verlag -- planned for ?????.
- Guest Editor of the Theoretical Computer
Science - B (TCS-B)
Special Issue with selected papers from ISoLA 2004,
Vol. ??, 2005
Elsevier - together with B. Steffen.
- Guest Editor of the SDPS Transactions
?????
Special Issue with selected papers from ISoLA 2004,
Vol. ??, 2005
Elsevier - together with B. Krämer and B. Steffen.
- Editor of the Journal Formal Methods
Letters
(Ken McMillan and Lenore Zuck Eds. in Chief)
forthcoming, Springer Verlag.
- Editor of the Special Section on High-Level
Test of Complex Systems
of the Intern. Journal on Software Tools for
Technology Transfer (STTT)
Springer Verlag -- planned for Spring 2005.
-
Periphery Tools Area Editor for the QPQ
(QED-Pro-Quo) Initiative
an online journal for publishing peer-reviewed
source code for deductive software components
(see http://athena.sri.com/qpq/).
- Editor of the Tool Column of the EASST
Newsletters
since Jan. 2003.
- Editor of the Special Section on Scalability
Aspects of Validation of the Intern. Journal on
Software Tools for Technology Transfer (STTT)
Springer Verlag - together with Wang Yi.
- Editor of the Special Section on Verification
of Hardware and Hardware-like Systems
of the Intern. Journal on Software Tools for
Technology Transfer (STTT)
Vol. 4 Issue 3, Springer Verlag.
- Coordinating Editor of Software Tools for
Technology Transfer (STTT)
Springer Verlag, since September 1997.
- Guest Editor of SOFTWARE: Concepts and
Tools
Special Issues with selected papers from
TACAS'96 and AIN'96
Vol. 17, 1996, Springer Verlag - together with B.
Steffen.
-
General Chair of
- IFIP WG10.5 Track Chair of BICC
IFIP Conference on Biologically Inspired
Cooperative Computing
Track on Design and Technology of Collaborative
Self-Organizing Systems
Santiago de Chile, August 2006.
- General Chair ISoLA-W'05
ISoLA-Workshop on Formal Methods in Human and
Robotic Space Exploration
Loyola College Graduate Center, Columbia, MD (USA),
September 2005.
- Chair FME - ForTIA Industry Day 2005 on
Formal Methods Going Mainstream - Costs, Benefits
and Experiences
July 20th, 2005, Newcastle Upon Tyne (GB).
- General Chair ISoLA 2004
First Int. Symposium on Leveraging Applications of
Formal Methods, in coop. with IEEE TTTC, IFIP
TC10.5, FME, EASST, SDPS, SES, CologNet
Cyprus, Oct-Nov. 2004.
- Co-Chair FASE 2004, 7th Int. Conference on
Fundamental Approaches to Software Engineering
Barcelona (Spanien), 29. März - 2. April 2004, --
zusammen mit M. Wermelinger.
- Tool Exhibition Chair FME03
12th Int. Symposium on Formal Methods
Pisa (Italy), September 2003.
- Co-Chair e-models
Minitrack on Models for e-commerce, e-business,
and e-government of the I3E
The first IFIP conference on E-Commerce,
E-Business, E-Government
Zürich (CH), 4.-5. Oktober, 2001, - together with
Ulrike Lechner
- Chair CHARME'01
11. IFIP WG10.5 Advanced Research Working
Conference on Correct Hardware Design and
Verification Methods
Glasgow (UK), 4-7 September 2001.
- Co-Chair TACAS 2001
Int. Conference on Tools and Algorithms for the
Construction and Analysis of Systems
Genova (I), March-April 2001, - together with Wang
Yi, Uppsala Univ. (S).
- Co-chair VISUAL'98
Int. Workshop on Visual Issues for Formal
Methods
April 1998, Lissabon (P), (in Anlehnung an
TACAS'98) - mit J. Posegga.
-
Program Chair of
-
Program Chair FMICS'05
10th International Workshop on Formal Methods for
Industrial Critical Systems (co-located with
ESEC/FSE 2005)
5-6 Sept. 2005, Lisbon (P) -- Co-chair with Mieke
Massink (Pisa)
-
Program Chair FIAE
IFIP TC10.5 Workshop on Frontiers of
Automotive Electronics
30. November 2003, Darmstadt.
-
Program Committee Memberships
-
- Göttingen (since 15.02.2004): see Events
- for a complete list since 1997 see CV
|
Scientific Associations and Boards
- Recommendation Board Member for the Industry Day
(I-Day), 20. July 2005
at the upcoming Formal Methods 2005 (FM'05)
symposium, July 18-22
Newcastle-Upon-Tyne, UK.
- Steering Committee Chair des International
Symposiums on Leveraging Applications of Formal
Methods (ISoLA)
(seit Oktober 2004).
- Präsident der European Association of Software
Science and Technology (EASST)
(seit April 2003).
- Advisory Board Member of the QPQ (QED-Pro-Quo)
Initiative
an online journal for publishing peer-reviewed source
code for deductive software components
(see http://athena.sri.com/qpq/)
(seit November 2002).
- Steering Committee Member der European joint
Conferences on Theory and Practice of Software
(ETAPS)
als FASE Repräsentant füur die Amtsperiode 2002-2003.
- 'Member of the Board' of FMICS (the ERCIM
Working Group on Formal Methods for Industrial
Critical Systems)
with a particular mandate for the development of
European projects
(seit Juli 2002).
- Gewähltes Präsidiumsmitglied der Gesellschaft für
Informatik
(Januar 2001 - Dezember 2003).
- Gründungsmitglied und `Member of the Board' der
European Association of Software Science and
Technology (EASST)
(März 2000 - April 2003).
- Steering Committee Member der IFIP TC 10.2-10.5
Special Interest Group on Correct Verification Methods
for Hardware-like Systems - SIGCHARME
(Oktober 1999 - September 2001).
- Steering Committee Member der European joint
Conferences on Theory and Practice of Software
(ETAPS)
als TACAS Repräsentant für die Amtsperiode 1999-2001.
Member of the ACM,
IEEE,
GI, FME,
EAPLS, and EASST.
|
