Carsten Sinz
Carsten Sinz
Karlsruhe University of Applied Sciences
Keine bestätigte E-Mail-Adresse
Zitiert von
Zitiert von
Towards an optimal CNF encoding of boolean cardinality constraints
C Sinz
International conference on principles and practice of constraint …, 2005
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
F Merz, S Falke, C Sinz
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
Formal methods for the validation of automotive product configuration data
C Sinz, A Kaiser, W Küchlin
Ai Edam 17 (1), 75-97, 2003
Configuration lifting: Verification meets software configuration
H Post, C Sinz
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
HordeSat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
PaSAT—Parallel SAT-checking with lemma exchange: Implementation and applications
C Sinz, W Blochinger, W Küchlin
Electronic Notes in Discrete Mathematics 9, 205-216, 2001
Extended resolution proofs for conjoining BDDs
C Sinz, A Biere
International Computer Science Symposium in Russia, 600-611, 2006
Parallel propositional satisfiability checking with distributed dynamic learning
W Blochinger, C Sinz, W Küchlin
Parallel Computing 29 (7), 969-994, 2003
Proving consistency assertions for automotive product data management
W Küchlin, C Sinz
Journal of Automated Reasoning 24 (1), 145-163, 2000
Termination analysis of C programs using compiler intermediate languages
S Falke, D Kapur, C Sinz
22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
Linking functional requirements and software verification
H Post, C Sinz, F Merz, T Gorges, T Kropf
2009 17th IEEE International Requirements Engineering Conference, 295-302, 2009
A first step towards a unified proof checker for QBF
T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
A Precise Memory Model for {Low-Level} Bounded Model Checking
C Sinz, S Falke, F Merz
5th International Workshop on Systems Software Verification (SSV 10), 2010
Reducing false positives by combining abstract interpretation and bounded model checking
H Post, C Sinz, A Kaiser, T Gorges
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
Extended resolution proofs for symbolic SAT solving with quantification
T Jussila, C Sinz, A Biere
International Conference on Theory and Applications of Satisfiability …, 2006
Decomposing SAT problems into connected components
A Biere, C Sinz
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 201-208, 2006
Termination analysis of imperative programs using bitvector arithmetic
S Falke, D Kapur, C Sinz
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
Deep learning for software defect prediction: A survey
S Omri, C Sinz
Proceedings of the IEEE/ACM 42nd international conference on software …, 2020
The bounded model checker LLBMC
S Falke, F Merz, C Sinz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20