logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Christel Baier

Technische Universitat Dresden

43H-index
353Paper Count
1.3WCitation Count
Published Papers 11
Publication Date
logo
Linear dynamical systems with weight functions
errnonlinear analysis: hybrid systems
IF0
err2026-01-25
err0
errOAAI
errRajab Aghamov; Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer
errShare
errSave
Certificates and Witnesses for Multi-objective.-Regular Queries in Markov Decision Processes
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errBaier, Christel; Chau, Calvin; Drobitko, Volodymyr; Jantsch, Simon; Klueppelholz, Sascha
errShare
errSave
Backward Responsibility in Transition Systems Beyond Safety
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
PREAI
errBaier, Christel; Klatt, Rio; Klueppelholz, Sascha; Lehmann, Johannes
errShare
errSave
Feature causality
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-03-01
err2
errOAAI
errDubslaff, Clemens; Weis, Kallistos; Baier, Christel; Apel, Sven
errShare
errSave
Interaction detection in configurable systems-A formal approach featuring roles
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-02-01
err3
PREAI
errChrszon, Philipp; Baier, Christel; Dubslaff, Clemens; Klueppelholz, Sascha
errShare
errSave
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-08-01
err1
errOAAI
errBagheri, Maryam; Sirjani, Marjan; Khamespanah, Ehsan; Baier, Christel; Movaghar, Ali
errShare
errSave
Quantitative Characterization of Reconfigurable Transistor Logic Gates
errIEEE ACCESS
IF3.6
err2020-01-01
err5
errOAAI
errRaitza, Michael; Maercker, Steffen; Trommer, Jens; Heinzig, Andre; Klueppelholz, Sascha; Baier, Christel; Kumar, Akash
errShare
errSave
Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing
errPROCEEDINGS OF THE IEEE
IF25.9
err2019-01-01
err27
errOAAI
errFettweis, Gerhard P.; Doerpinghaus, Meik; Castrillon, Jeronimo; Kumar, Akash; Baier, Christel; Bock, Karlheinz; Ellinger, Frank; Fery, Andreas; Fitzek, Frank H. P.; Haertig, Hermann; Jamshidi, Kambiz; Kissinger, Thomas; Lehner, Wolfgang; Mertig, Michael; Nagel, Wolfgang E.; Nguyen, Giang T.; Plettemeier, Dirk; Schroeter, Michael; Strufe, Thorsten
errShare
errSave
Performance Evaluation and Model Checking Join Forces
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-09-01
err48
errOAAI
errBaier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter
errShare
errSave
Model checking Markov chains with actions and state labels
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2007-04-01
err48
PREAI
errBaier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Kuntz, Matthias; Siegle, Markus
errShare
errSave
Model-checking algorithms for continuous-time Markov chains
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2003-06-01
err502
errOAAI
errBaier, C; Haverkort, B; Hermanns, H; Katoen, JP
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
G
Gerhard Fettweis
H-index: 74 · Papers: 1.4K
A
Andreas Fery
H-index: 67 · Papers: 435
S
Sven Apel
H-index: 60 · Papers: 422
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
H
Holger Hermanns
H-index: 51 · Papers: 414
View more