-
1مؤتمر
المؤلفون: 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)
-
2مؤتمر
المؤلفون: 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)
-
3مؤتمر
المؤلفون: 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)
-
4تقرير
المؤلفون: 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
-
5تقرير
المؤلفون: 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
-
6مؤتمر
المؤلفون: 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
-
7مؤتمر
المؤلفون: 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
-
8مؤتمر
المؤلفون: 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
-
9مؤتمر
المؤلفون: 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
-
10مؤتمر
المؤلفون: 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