Editorial Work of Michael Huth
Editorial Work of Michael Huth |
|
ACM Computing Surveys, Associate Editor
Special issue: Selected papers of the Conference "Quantitative Evaluation of Systems". Performance Evaluation 68(2), December 2010; co-edited with David Nicol.
Special issue: Selected papers of the Conference "Tools and Algorithms for the Construction and Analysis of Systems". Logical Methods in Computer Science, July 2009; co-edited with Orna Grumberg.
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. International Journal on Software Tools for Technology Transfer 11(2), April 2009; co-edited with Orna Grumberg.
13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, Braga, Portugal, March 2007; LNCS 4424; co-edited with Orna Grumberg.
Special section of the International Journal Software Tools for Technology Transfer (STTT, Springer), invited papers from the Fourth International Workshop on Automated Verification of Critical Systems: AVoCS'04.
4th International Workshop on Automated Verification of Critical Systems: AVoCS'04, satellite workshop of Concur'04, Royal Society, London, United Kingdom, 4 September 2004. The proceedings appeared as ENTCS 128(6) with Science Direct.
Workshop on Probabilistic Verification: Marta Kwiatkowska, Christel Baier, Mark Ryan, and I (organizers), satellite workshop of IEEE symposium LICS'98 in Indianapolis, USA; see PROBMIV'98 for details. Proceedings appeared as ENTCS 22.
Workshop on Domains, Logics, and Programming Languages: Achim Jung, Klaus Keimel, and I (organizers), at Technical University Darmstadt, Germany, 1996. Special issue of invited papers appeared in Mathematical Structures in Computer Science 7(5), October 1997.