Publications

Projects

SEMECO

Zukunftscluster

Highly Adaptive Energy Efficient Computing

Collaborative Research Center

Center for Advancing Electronics Dresden

Cluster of Excellence in the German Excellence Initiative

Quantitative Logics and Automata

DFG Research Training Group

Secure Remote EXecution

ESF Young Researchers Group

Foundations of Perspicuous Software Systems

Collaborative Research Center

Centre for Tactile Internet with Human-in-the-Loop

Cluster of Excellence in the German Excellence Initiative

Activities

2023

  • Workshop on Verification of Probabilistic Programs VeriProp 2023, July 2023, Paris, France
  • Workshop dedicated to Tom Henzinger for his 60th birthday Henzinger Festschrift, July 2023, Paris, France

2022

  • 18th International Conference on Formal Aspects of Component Software FACS'22 November 2022, Oslo, Norway (online)
  • Summer School on Modelling and Verification of Parallel Processes MOVEP'22 June 2022, Aalborg, Denmark

2021

  • 48th International Colloquium on Automata, Languages and Programming ICALP'21 July 2021, Glasgow, UK (online)
  • 10th IFIP WG 1.8 Workshop on Trends in Concurrency Theory TRENDS'21 Satellite event of QONFEST'21, Paris, France (online)
  • Verification Mentoring Workshop VMW'21 Satellite event of CAV'21, Los Angelos, US (online)

2019

  • 6th Workshop on Synthesis of Complex Parameters SynCoP'19 Satellite event of ETAPS'19, Prague, CZ

2018

  • 43rd International Symposium on Mathematical Foundations of Computer Science MFCS'18 August 2018, Liverpool, UK.
  • Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe'18) MoRe'18 July 2018, FloC, Oxford, UK.
  • IEEE Colombian Conference on Communication and Computing COLCOM'18 May 2018, Medellin, Colombia.

2017

  • 2nd Winter School in Engineering and Computer Science on Formal Verification Israel Winter School December 2017, Jerusalem, Israel.
  • 1st School on Foundations of Programming and Software Systems. Probabilistic Programming ProbProgSchool May/June 2017, Vila Verde, Portugal.
  • Verification Technology, Systems and Applications VTSA Summer School July 2017, MPI, Saarbrücken.
  • 38th Marktoberdorf Summer School: Logical Methods for Safety and Security of Software Systems MOD'17 August 2017, Marktoberdorf.

2016

  • 10th International Symposium on Theoretical Aspects of Software Engineering TASE'16. July 2016, Shanghai, China.

2015

  • 9th International Workshop on Reachability Problems RP'15. September 2015, Warsaw
  • Highlights of Logic, Games and Automata HLGA'15. September 2015, Prague
  • Marktoberdorf Summer School MSS. August 2015, Marktoberdorf
  • 14th Asian Logic Conference ALC. January 2015, Mumbai

2014

  • First EATCS Young Researcher School EATCS. August 2014, Telc
  • 29th Symposium on Logic in Computer Science CSL-LICS. July 2014, Vienna
  • 35th International Conference on Application and Theory of Petri Nets and Concurrency PN. June 2014, Tunis
  • 17th International Conference on Fundamental Approaches to Software Engineering FASE. April 2014, Grenoble

2013

  • 20. Jahrestagung der GI-Fachgruppe Logik in der Informatik LOGINF. November 2013, Bremen
  • 5th International Conference on Algebraic Informatics (CAI), September 2013, Porquerolles Island, France
  • NVTI Theory Day NVTI. April 2013, Utrecht, Niederlande

2012

  • Rigorous dependability analysis using model checking techniques for stochastic systems ROCKS. Oktober 2012, Vahrn, Italien

2011

  • Computability in Europe: Models of Computation in Context CIE. June/July 2011, Sofia, Bulgaria
  • SFM'11:CONNECT SFM. June/July 2011, Bertinoro, Italia

2010

  • 8th International Conference on Integrated Formal Methods IFM. October 2010, Nancy, Fance
  • School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages SFM-10:QAPL. June 2010, Bertinoro, Italy
  • Weighted Automata: Theory and Applications WATA. May 2010, Leipzig, Germany
  • Ph.D. School: Quantitative Model Checking QMC. March 2010, Kopenhagen, Denmark
  • Winter School Synthesis and Analysis of Component Connectors SYANCO. February 2010, Berlin, Germany
  • 20th International Conference on Concurrency Theory CONCUR. September 2009, Bologna, Italy

2009

  • 11th Workshop on Descriptional Complexity of Formal Systems: \"Expressiveness, Efficiency, and Decidability\" DCFS. July 2009, Magdeburg, Germany
  • 35th International Conference in Theory and Practice of Computer Science, Software seminar SOFSEM. January 2009, Spindleruv Mlyn, Czech Republic

2007

  • GI 17. Theorietag GI. September 2007, Leipzig, Germany

2006

  • IPA Herfstdagen on Stochastic Systems IPA. November/December 2006, Bergen, The Netherlands
  • International Workshop on Advances in Model Checking, in Honour of Gerald J. Holzmann, November 2006, Twente, Enschede, The Netherlands
  • Weighted Automata: Theory and Applications WATA. March 2006, Leipzig, Germany

2005

  • First Doctoral Workshop on Mathematical and Engineering Methods in Computer Science MEMICS. Oktober 2005, Znojmo, Czech Republic
  • 10th International Workshop on Formal Methods for Industrial Critical Systems FMICS. September 2005, Lisbon, Portugal
  • Journées Systèmes Infinis, March 2005, Cachan, France

2004

  • 20th Conference on Mathematical Foundations of Programming Languages MFPS. 2004, Pittsburgh, USA

2000

  • First EEF/Euro Summer School on Trends in Computer Science, School on Formal Methods and Performance Analysis EEF. July 2000, Nijmegen, The Netherlands

1999

  • IPA Spring Days on Probabilistic Methods, April 1999, Mierlo, The Netherlands
  • Editor of the Verification Column of ACM SIGLOG News from April 2023
  • Editor-in-chief of the Springer journal Acta Informatica 2015-2022
  • Member of the editorial board of ACM Transactions on Computational Logic since 2015
  • Member in the editorial board of LIPIcs: Leibniz International Proceedings in Informatics, 2018 -- 2022
  • Member of the editorial board of PeerJ since 2015
  • Member of the editorial board of RAIRO since 2014
  • Steering Committee Member of IEEE Symposium on Logic in Computer Science LICS since 2018
  • Steering Committee Member of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2016 -- 2021
  • Steering Committee Member of IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), since 2018
  • Steering Committee Member of International Conference on Fundamentals of Software Engineering (FSEN) since 2009
  • European Joint Conferences on Theory and Practice ETAPS 2014 -- 2015, 2017 -- 2018
  • EATCS Fellow Selection Committee Member EATCS 2019 -- 2023, (chair in 2020)

Edited Volumes

  • C. Baier (Editor). Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science LICS'22 Association for Computing Machinery, 2022
  • C. Baier, J. Goubault-Larrecq (Editors). 29th EACSL Annual Conference on Computer Science Logic CSL'21 LIPICS Vol. 183, 2021
  • C.Baier, I. Chatzigiannakis, P. Flocchini, S. Leonardi (Editors). 6th International Colloquium on Automata, Languages, and Programming ICALP'19 LIPICS Vol. 132, 2019
  • C. Baier, L. Caires (Editors). 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems FORTE'18. Lecture Notes in Computer Science 10854, Springer 2018.
  • C. Baier, U. Dal Lago (Editors). 21st International Conference on Foundations of Software Science and Computation Structures FoSSaCS'18. Lecture Notes in Computer Science 10803, Springer 2018.
  • C. Baier, C. Tinelli (Editors). Special Issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Acta Informatica 54(8), 2017
  • C. Baier, C. Tinelli (Editors). Some Advances in Tools and Algorithms for the Construction and Analysis of Systems. STTT 19 (6), 2017
  • Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (Editors). 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017: Theory and Practice of Computer Science. Limerick, Ireland, January 16-20, 2017, Proceedings. Lecture Notes in Computer Science 10139, Springer 2017.
  • C. Baier, C. Tinelli (Editors). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'15. Lecture Notes in Computer Science 9035, Springer, 2015.
  • C. Baier, M. Kwiatkowska (Guest Editors). Probabilistic Model Checking. Formal Methods in System Design, Vol. 43(2), Special Issue, 2013.
  • C. Baier, A. Di Pierro (Editors). QAPL'09: 7th Workshop on Quantitative Aspects of Programming. Electronic Notes in Theoretical Computer Science, Vol. 253(3), 2009.
  • C. Baier, H. Hermanns (Editors). 17th International Conference on Concurrency Theory. Information and Computation, Vol. 206(5), Special Issue, 2008.
  • C. Baier, A. Aldini (Editors). QAPL'08: 6th Workshop on Quantitative Aspects of Programming. Electronic Notes in Theoretical Computer Science, Vol. 220(3), 2008.
  • C. Baier, H. Hermanns (Editors). CONCUR 2006: 17th International Conference on Concurrency Theory. Lecture Notes in Computer Science, Vol. 4137, Springer, 2006.
  • C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, M. Siegle (Editors). Validation of Stochastic Systems - a Guide to Current Research. Lecture Notes in Computer Science, Vol. 2925, Springer, 2004.
  • C. Baier, M. Huth, M. Kwiatkowska, M. Ryan (Editors). PROBMIV'98: First International Workshop on Probabilistic Methods in Verifiction. Electronic Notes in Theoretical Computer Science, Vol. 22, 1999.

2024

  • 32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL'24), February 2024, Naples,Italy

2023

  • 15th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'23), October 2023, Iowa, US
  • 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandAlf'23) September 2023, Udine, Italy
  • 17th International Conference on Reachability Problems (RP'23) October 2023. Nice, France
  • 34th International Conference on Concurrency Theory (CONCUR'23), Antwerp, Belgium
  • 50th International Colloquium on Automata, Languages, and Programming (ICALP'23), Paderborn, Germany
  • 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23), Paris, France

2022

  • 14th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'22), Trento, Italy
  • 33rd International Conference on Concurrency Theory (CONCUR'22), Warsaw, Poland
  • 20th International Symposium on Automated Technology for Verification and Analysis (ATVA'22), Bejing, China
  • 23rd International Conference on Formal Engineering Methods (ICFEM'22), Madrid, Spain

2021

  • 24th International Symposium on Formal Methods (FM'21), Bejing, China
  • 33rd International Conference on Computer-Aided Verification (CAV'21)

2020

  • 32nd International Conference on Computer-Aided Verification (CAV'20)
  • 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'20)
  • 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'20) April 2020. Dublin, Ireland.

2019

  • 21st International Conference on Formal Engineering Methods (ICFEM'19). November 2019, Shenzen, China.
  • 13th International Conference on Reachability Problems (RP'19). September 2019. Brussels, Belgium
  • 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19). October 2019. Taipei, Taiwan.
  • 23rd International Symposium on Formal Methods (FM'19). October 2019. Porto, Portugal.
  • 31st International Conference on Computer-Aided Verification (CAV'19). July 2019. New York, US.
  • 2nd workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe'19). Satellite workshop of LICS, June 2019, Vancouver, Canada.
  • 22nd International Conference on Fundamental Approaches to Software Engineering (FASE'19). April 2019. Praque, Czech Republic.
  • 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'19). April 2019. Montreal, Canada.
  • 8th IPM International Conference on Fundamentals of Software Engineering (FSEN'19). May 2019. Tehran, Iran.

2018

  • 29th International Conference on Concurrency Theory (CONCUR'18). Bejing, September 2018.
  • 27th Annual Conference on Computer Science Logic (CSL'18) of the European Association for Computer Science Logic. Birmingham, UK, September 2018.
  • 20th International Conference on Formal Engineering Methods (ICFEM'18). November 2018, Gold Coast, Australia.
  • 9th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'18). September 2018, Saarbr\"ucken.
  • 12th International Conference on Reachability Problems (RP'18) Aix-Marseille, September 2018.
  • 30th International Conference on Computer-Aided Verification (CAV'18) July 2018, Oxford, UK.
  • 13th School on Modelling and Verifying Parallel Processes (MOVEP'18), July 2018, Cachan, France
  • 12th International Conference on Language and Automata Theory and Applications (LATA'18) March 2018, Bar-Ilan, Israel.
  • 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'18) January 2018, Krems, Austria.

2017

  • 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'17) December 2017, Kanpur, India.
  • Formal Methods in Computer-Aided Design (FMCAD'17) October 2017, Vienna, Austria.
  • 14th International Conference on Quantitative Evaluation of Systems (QEST'17), September 2017, Berlin, Germany.
  • Highlights of Logic, Games and Automata (Highlights'17) September 2017, London, UK.
  • 24th International SPIN Symposium on Model Checking of Software (SPIN'17)
  • 29th International Conference on Computer-Aided Verification (CAV'17) July 2017, Heidelberg, Germany.
  • 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'17) July 2017, Heidelberg, Germany.
  • 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17) June 2017, Reykjavik, Island.
  • 20th Internal Conference on Foundations of Software Science and Computation Structures (FoSSaCS'17) April 2017, Uppsala.
  • 11th International Conference on Language and Automata Theory and Applications (LATA'17) March 2017, Umea, Sweden.

2016

  • 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) Oktober 2016, Tokio.
  • 25th Annual Conference on Computer Science Logic (CSL'16) August/September 2016, Marseille.
  • 31rd IEEE Symposium on Logic in Computer Science (LICS'16) July 2016, New York City.
  • 28th International Conference on Computer-Aided Verification (CAV'16) July 2016, Toronto, Canada.
  • 12th School on Modelling and Verifying Parallel Processes (MOVEP'16), July 2016, Genova, Italy
  • 19th International Conference on Hybrid Systems: Computation and Control (HSCC'16) April 2016, Vienna.
  • 10th International Conference on Language and Automata Theory and Applications (LATA'16) March 2016, Prague.

2015

  • 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). November 2015,South Pacific, Fiji.
  • 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15), October 2015, Shanghai, China
  • 22nd International SPIN Workshop on Model Checking of Software (SPIN'15), August 2015, Stellenbosch, South Africa
  • 20th International Symposium on Fundamentals of Computation Theory (FCT'15), August 2015, Gdansk, Poland
  • 42th International Colloquium on Automata, Languages and Programming (ICALP'15), Juli 2015, Kyoto, Japan
  • 7th NASA Formal Methods Symposium (NFM'15), April 2015, Pasadena, USA
  • 6th International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN'15), April 2015, Teheran, Iran
  • 13th Workshop on Quantitative Aspects of Programming Languages (QAPL'15), April 2015, London, UK

2014

  • 25th International Conference on Concurrency Theory (CONCUR'14), September 2014, Rom, Italy
  • 21th Internatinal Conference on Analytical and Stochastic Modelling and Applications (ASMTA'14), June/July 2014, Budapest, Hungary
  • 9th International Computer Science Symposium in Russia (CSR'14), June 2014, Moskau
  • 11th Annual Conference on Theory and Applications of Models of Computation (TAMC'14), April 2014, India
  • 12th Workshop on Quantitative Aspects of Programming Languages (QAPL'14), April 2014, Grenoble, France
  • 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS:TACAS'14), April 2014, Grenoble, France
  • 8th International Conference on Language and Automata Theory and Applications (LATA'14), March 2014, Madrid, Spain
  • 11th Internatinal Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14) January 2014, San Diego, USA

2013

  • 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'13), December 2013, Stellenbosch, South Africa
  • 22nd EASCL Annual Conference on Computer Science Logic (CSL'13), September 2013, Turin
  • 10th International Conference on Quantitative Evaluation of Systems (QEST'13), August 2013, Buenos Aires
  • 24th International Conference on Concurrency Theory (CONCUR'13), August 2013, Buenos Aires
  • 7th International Conference on Language and Automata Theory and Applications (LATA'13), March 2013, Bilbao
  • 40th International Colloquium on Automata, Languages and Programming, (ICALP'13), July 2013, Riga
  • 5th International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN'13), April 2013, Teheran, Iran

2012

  • 10th International Symposiumon Automated Technology for Verification and Analysis (ATVA'12), October 2012, Kerala
  • 9th International Conference on Quantitative Evaluation of Systems (QEST'12), September 2012, London
  • 9th International Symposium on Formal Aspects of Component Software (FACS'12), September 2012, Mountain View, USA
  • 1st Workshop on Quantities in Formal Methods (QFM'12), August 2012, Paris, France
  • 27th IEEE Symposium on Logic in Computer Science (LICS'12), July 2012, Dubrovnik, Croatia
  • 19th International SPIN Workshop on Model Checking of Software (SPIN'12), July 2012, Oxford, UK
  • 10th Workshop on Quantitative Aspects of Programming Languages (QAPL'12), March 2012, Tallin, Estonia

2011

  • 5th International Workshop on Harnessing Theories for Tool Support in Software (TTSS'11), September 2011, Oslo
  • 8th International Conference on Quantitative Evaluation of Systems (QEST'11), September 2011, Aachen
  • 8th International Symposium on Formal Aspects of Component Software (FACS'11), September 2011, Oslo
  • 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'11), September 2011, Aalborg
  • Workshop on Process Algebra and Coordination (PACO'11), June 2011, Reykjavik, Iceland
  • 4rd International Conference on Fundamentals of Software Engineering, Theory and Practice (FSEN '11), April 2011, Iran
  • 21th International Conference on Concurrency Theory (CONCUR '11), September 2011, Aachen, Germany

2010

  • 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS '10), September 2010, Wien, Austria
  • 7th International Conference on Quantitative Evaluation of Systems (QEST '10), September 2010, Williamsburg, USA
  • Games and Probabilistic Models in Formal Verification (GPMFV'10), August 2010, Brno, Czech Republic
  • 4th Workshop on Reachability Problems (RP '10), August 2010, Brno, Czech Republic
  • 35th International Symposium on Mathematical Foundations of Computer Science (MFCS '10), August 2010, Brno, Czech Republic
  • 22nd International Conference on Computer Aided Verification (CAV '10), July 2010, Edinburgh, UK
  • 13th International Conference on Foundations of Software Science and Com- putation Structures (FOSSACS '10), March 2010, Paphos, Cyprus
  • 9th School on Modelling and Verifying Parallel Processes (MOVEP '10), June/July 2010, Aachen, Germany
  • 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '10), January 2010, Madrid, Spain
  • Dagstuhl Seminar 10031: Quantitative Models: Expressiveness and Analysis (co-organizer) (Seminar 10031), January 2010, Dagstuhl, Germany

2009

  • 29th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '09), December 2009, Kanpur, India
  • International Conference on Theoretical Aspects of Computing (ICTAC '09), August 2009, Kuala Lumpur, Malaysia
  • 7th International Symposium on Automated Technology for Verification and Analysis (ATVA '09), October 2009, Macao, China
  • 6th International Conference on Quantitative Evaluation of Systems (QEST '09), September 2009, Budapest, Hungary
  • Workshop on Expressiveness in Concurrency (EXPRESS '09), August 2009, Bologna, Italy
  • 21st International Conference on Computer Aided Verification (CAV '09), June/July 2009, Grenoble, France
  • 16th International SPIN Workshop on Model Checking of Software (SPIN '09), June 2009, Grenoble, France

2008

  • 5th International Conference on Quantitative Evaluation of Systems (QEST '08), September 2008, Saint Malo, France
  • 18th International Conference on Concurrency Theory (CONCUR '08), August 2008, Toronto, Canada
  • 35th International Colloquium on Automata, Languages and Programming, (ICALP '08), July 2008, Reykjavik, Iceland
  • 6th Workshop on Quantitative Aspects of Programming Languages (co-chair) (QAPL '08)), March 2008, Budapest, Hungary
  • 9th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '08), January 2008, San Francisco, USA

2007

  • Two Decades of Probabilistic Verification−Refections and Perspectives (scientific coordinator) (link), November 2007, Lorentz Center, Leiden
  • 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS '07), October 2007, Znojmo, Czech Republic
  • 5th International Symposium on Automated Technology for Verification and Analysis (ATVA '07), October 2007, Tokyo, Japan
  • 1st International Workshop on Synthesis and Analysis of Component Connectors (co-chair), ESEC/FSE-Workshop (SYANCO '07), September 2007 Dubrovnik, Croatia
  • 4th International Conference on Quantitative Evaluation of Systems (QEST '07), September 2007 Edinburgh, UK
  • 2nd International Workshop on Probabilistic Automata and Logics (co-chair), LICS-Workshop (PAuL '07), July 2007, Wroclaw, Poland
  • 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord '07), June 2007, Paphos, Cyprus
  • 13th International Conference on Tools and Algorithms for the construction and analysis of systems (TACAS '07), April 2007, Braga, Portugal
  • 2nd International Workshop on Fundamentals of Software Engineering, Theory and Practice (FSEN '07), April 2007, Tehran, Iran
  • 5th Workshop on Quantitative Aspects of Programming Languages (QAPL '07), March 2007 Braga, Portugal

2006

  • 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS '06), October 2006, Mikulov, Czech Republic
  • 4th International Symposium on Automated Technology for Verification and Analysis (ATVA '06), October 2006, Beijing, China
  • 3rd International Conference on Quantitative Evaluation of Systems (QEST '06), September 2006, Riverside, USA
  • 1st International Workshop on Probabilistic Automata and Logics (co-chair) FLoC−Workshop (PAuL '06), August 2006, Seattle, USA
  • 26th IEEE Symposium on Logic in Computer Science (LICS '06), August 2006, Seattle, USA
  • 17th International Conference on Concurrency Theory (co-chair and local organizer) (CONCUR '06), August 2006, Bonn

2005

  • 1st International Workshop on Fundamentals of Software Engineering, Theory and Practice (FSEN '05), June 2005, Tehran, Iran
  • 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA '05), October 2005, Taipei, Taiwan
  • 2nd International Conference on Quantitative Evaluation of Systems (co-chair) (QEST '05), September 2005, Turino, Italy
  • 1st Conference on Algebra and Coalgebra in Computer Science (CALCO '05), September 2005, Swansea, UK
  • 16th International Conference on Concurrency Theory (CONCUR '05), August 2005, San Francisco, USA

2004

  • Workshop on Verification of Infinite State Systems (INFINITY '04), September 2004, London, UK
  • 1st International Conference on Quantitative Evaluation of Systems (QEST '04), September 2004, Twente, The Netherland
  • GI-Dagstuhl Seminar \"Validation of Stochastic Systems\" (co-organizer) (GI), December 2003, Dagstuhl, Germany

2003

  • Workshop on Verification of Infinite State Systems (INFINITY '03), September 2003, Marseille, France

2002

  • Argentinian Workshop on Theoretical Computer Science (WAIT '02), September 2002, Rosario, Argentina
  • Workshop on Process Algebra, Performance Modelling and Probabilistic Methods in Verification (PAPM−PROBMIV), July 2002, Kopenhagen, Denmark

1999

  • 2nd Workshop for Probabilistic Methods in Verification (PROBMIV '99), August 1999, Eindhoven, The Netherlands
  • 15th Conference on Mathematical Foundations of Programming Languages (MFPS '99), April/May 1999, Tulane University, New Orleans, USA
  • 5th International AMAST Workshop on Real−Time and Probabilistic Systems (ARTS '99), May 1999, Bamberg, Germany

1998

  • 1st Workshop for Probabilistic Methods in Verification (PROBMIV '98), June 1998, Indianapolis, USA

2022

  • 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'22). PC chair. August 2022, Haifa, Israel

2021

  • 29th International Conference on Computer Science Logic (CSL'21). PC co-chair. January 2021, virtual meeting

2019

  • 46th International Colloquium on Automata, Languages, and Programming (ICALP'19). PC chair of Track B. July 2019, Patras, Greece

2018

  • Chair of the invited session on Multi-objective Reasoning in Probabilistic Models at Highlights of Logic, Games and Automata HLGA. September 2018, Berlin
  • 38th IFIP WG6.1 Internal Conference on Formal Techniques for Distributed Objects, Components and Systems FORTE'18. PC co-chair. June 2018, Madrid
  • 21st Internal Conference on Foundations of Software Science and Computation Structures (FoSSaCS'18) at FoSSaCS'18. PC co-chair. April 2018, Thessaloniki, Greece

2017

  • 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Track Chair for Foundations of Computer Science. January 2017. Limerick, Ireland

2015

  • 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15). PC co-chair. March 2015, London, UK

before 2015

  • Quantitative Models: Expressiveness and Analysis, Dagstuhl-Seminar 10031. co-organizer. January 2010, Dagstuhl, Germany
  • 7th Workshop on Quantitative Aspects of Programming Languages (QAPL'09). PC co-chair. March 2009, York, UK
  • 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08). PC co-chair. March 2008, Budapest, Hungary
  • Two Decades of Probabilistic Verification - Reflections and Perspectives, co-organizer. November 2007, Leiden, Netherlands
  • First International Workshop on Synthesis and Analysis of Component Connectors (SYANCO'07), co-organizer. September 2007, Dubrovnik, Croatia
  • Second International Workshop on Probabilistic Automata and Logics (PAuL'07). PC co-chair. July 2007, Wroclaw, Poland
  • 17th International Conference on Concurrency Theory (CONCUR'06). PC co-chair and local organizer. August 2006, Bonn, Germany
  • First International Workshop on Probabilistic Automata and Logics (PAuL'06). PC co-chair. August 2006, Seattle, US
  • Second International Conference on Quantitative Evaluation of Systems (QEST'05). PC co-chair. September 2005, Turin, Italy
  • Validation of Stochastic Systems co-organizer. December 2003, Dagstuhl, Germany
  • First International Workshop on Probabilistic Methods in Verification (PROBMIV'98), PC co-chair. August 1998, Indianapolis, US
  • Jean-Claude Laprie Award in Dependable Computing 2023
  • Test-of-Time Award CONCUR'22
  • Best Paper Awards at ETAPS 2008, ETAPS 2014, HSCC 2018, ATVA 2021
  • Member of Academia Europea since 2011.
  • Member of the DFG senate commission for Research Training Groups, 2020-2025.
  • Elected member of the DFG Review Board for Computer Science, 2012 -- 2019. (Fachkollegium 409)
  • Jury member of the LICS Test-of-Time Award 2017 and chair in 2018 (LICS ToT)
  • Jury member for the Ackerman Award. EACSL Outstanding Dissertation Award for Logic in Computer Science) 2018-2023
  • Member of the Scientific Advisory Board (SAB) Schloss Dagstuhl, Leibniz Zentrum für Informatik, 2014-2023
  • Jury Member of the German Youth Research Competion Bundeswettbewerb Jugend forscht: 2015 (Ludwigshafen), 2016 (Paderborn), 2017 (Erlangen), 2019 (Chemnitz), 2020 and 2021 (online), 2022 (Lübeck), 2023 (Bremen)
  • Vice Dean of the Faculty for Computer Science at TU Dresden, 2019-2021 and 2021-2024
  • Elected member of the senate at TU Dresden, 2015 -- 2020
  • Ombudsperson of TU Dresden, since 2020

Teaching

Contact