Christel Baier
Orcid: 0000-0002-5321-9343Affiliations:
- Dresden University of Technology, Germany
According to our database1,
Christel Baier
authored at least 241 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
Risk-averse optimization of total rewards in Markovian models using deviation measures.
CoRR, 2024
CoRR, 2024
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng., June, 2023
J. Syst. Softw., 2023
Proceedings of the Fourteenth International Symposium on Games, 2023
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
IEEE Trans. Software Eng., 2022
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng., 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
Proceedings of the Foundations of Software Science and Computation Structures, 2022
Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the Principles of Systems Design, 2022
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
2021
Formal Methods Syst. Des., 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction".
Dataset, August, 2020
Inf. Comput., 2020
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020
CoRR, 2020
IEEE Access, 2020
Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
ACM Trans. Model. Comput. Simul., 2019
Int. J. Softw. Tools Technol. Transf., 2019
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing.
Proc. IEEE, 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights.
Proceedings of the Foundations of Software Science and Computation Structures, 2019
Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
IEEE Trans. Multi Scale Comput. Syst., 2018
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Int. J. Softw. Tools Technol. Transf., 2018
PLoS Comput. Biol., 2018
Formal Aspects Comput., 2018
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018
Proceedings of the It's All About Coordination, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015).
Acta Informatica, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
Proceedings of the Dependable Software Systems Engineering, 2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
LNCS Trans. Aspect Oriented Softw. Dev., 2015
J. Comput. Syst. Sci., 2015
Proceedings of the Reachability Problems - 9th International Workshop, 2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
2014
Fundam. Informaticae, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Proceedings of the Language and Automata Theory and Applications, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
Proceedings of the 13th International Conference on Modularity, 2014
2013
Formal Methods Syst. Des., 2013
Proceedings of the International Conference for High Performance Computing, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
Proceedings of the Algebraic Informatics - 5th International Conference, 2013
2012
Inf. Process. Lett., 2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
2011
Sci. Comput. Program., 2011
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
2010
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.
Formal Methods Syst. Des., 2010
Formal Methods Syst. Des., 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010
Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010
2009
Sci. Comput. Program., 2009
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Int. J. Softw. Tools Technol. Transf., 2008
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008
Proceedings of the Model Checking Software, 2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
Reachability in continuous-time Markov reward decision processes.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008
Principles of model checking.
MIT Press, ISBN: 978-0-262-02649-9, 2008
2007
IEEE Trans. Software Eng., 2007
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties.
ACM Trans. Comput. Log., 2007
Softw. Syst. Model., 2007
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007
Proceedings of the Implementation and Application of Automata, 2007
Syanco 2007: international workshop on synthesis and analysis of component connectors.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
2006
Experiments with deterministic <i>omega</i>-automata for formulas of linear temporal logic.
Theor. Comput. Sci., 2006
Sci. Comput. Program., 2006
Inf. Process. Lett., 2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems.
Proceedings of the Logic for Programming, 2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006
2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
Theor. Comput. Sci., 2005
SIGMETRICS Perform. Evaluation Rev., 2005
SIGMETRICS Perform. Evaluation Rev., 2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties
CoRR, 2005
Proceedings of the Implementation and Application of Automata, 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
Proceedings of the Foundations of Genetic Algorithms, 8th International Workshop, 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Inf. Process. Lett., 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
IEEE Trans. Software Eng., 2003
Proceedings of FOCLASA 2003, 2003
2002
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen.
Pearson Studium, ISBN: 978-3-8273-7033-4, 2002
2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
J. Comput. Syst. Sci., 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999
1998
On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints.
Inf. Process. Lett., 1998
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998
Distributed Comput., 1998
1997
How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages.
Fundam. Informaticae, 1997
The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach.
Formal Aspects Comput., 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Weak Bisimulation for Fully Probabilistic Processes.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997
1996
Inf. Process. Lett., 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Proceedings of the Algebraic Methodology and Software Technology, 1996
1994
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.
Acta Informatica, 1994
1991
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991