المؤلفون: Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G. J., Lee, I.

المصدر: 2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :5338-5343 Dec, 2019

Relation: 2019 IEEE 58th Conference on Decision and Control (CDC)

المؤلفون: Sun, Y., Brain, M., Kroening, D., Hawthorn, A., Wilson, T., Schanda, F., Jimenez, F.J.G., Daniel, S., Bryan, C., Broster, I.

المصدر: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Engineering of Complex Computer Systems (ICECCS), 2017 22nd International Conference on. :170-173 Nov, 2017

Relation: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)

المؤلفون: Madhukar, K., Wachter, B., Kroening, D., Lewis, M., Srivas, M.

المصدر: 2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :105-111 Sep, 2015

Relation: 2015 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

المصدر: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1607.08028

المؤلفون: Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M., Sturm, T.

المصدر: ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016

مصطلحات موضوعية: Computer Science - Symbolic Computation, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1607.06945

المؤلفون: Kroening, D., Sharygina, N.

المصدر: Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Formal methods and models for co-design Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on. :101-110 2005

Relation: Proceedings. Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design

المؤلفون: Himanshu Jain, Kroening, D., Sharygina, N., Clarke, E.

المصدر: Proceedings. 42nd Design Automation Conference, 2005. Design automation Design Automation Conference, 2005. Proceedings. 42nd. :445-450 2005

Relation: Proceedings 2005. 42nd Design Automation Conference

المؤلفون: Jain, H., Kroening, D., Clarke, E.

المصدر: Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on. :7-16 2004

Relation: Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE '04

المؤلفون: Chauhan, P., Clarke, E.M., Kroening, D.

المصدر: Proceedings. 41st Design Automation Conference, 2004. Design Automation Conference, 2004. Proceedings. 41st. :524-529 2004

Relation: 2004 41st Design Automation Conference

المؤلفون: Morris, J., Kroening, D., Koopman, P.

المصدر: International Conference on Dependable Systems and Networks, 2004 Dependable systems and networks Dependable Systems and Networks, 2004 International Conference on. :377-386 2004

Relation: 2004 International Conference on Dependable Systems and Networks