المؤلفون: Seshia, SA, Sharygina, N, Tripakis, S

المساهمون: Clarke, Edmund M, Henzinger, Thomas A, Veith, Helmut, Bloem, Roderick

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______325::28c9c01de696e437ccf4f2653d7eda53
https://escholarship.org/uc/item/6ct6g021

المؤلفون: Laarman, Alfons, van de Pol, Jan Cornelis, Weber, M., Sharygina, N., Bloem, R.

المصدر: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 247-256
STARTPAGE=247;ENDPAGE=256;TITLE=Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design

مصطلحات موضوعية: lockless, CR-D.2.4, hash tables, METIS-271023, EWI-18437, IR-73119, Parallel, Multi-Core, Model Checking

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::71d56f75d7195524090a80f3d77fa0dd
https://research.utwente.nl/en/publications/67e248d4-30a4-46c0-9870-5226e77c51d0

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

المساهمون: Baresi, L, DiNitto, E

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1064::fda2f3bff6e1707ca1771e1cdb552d26
https://ora.ox.ac.uk/objects/uuid:1ecd0724-dbf8-48e9-bf5d-a46ac1141274

المؤلفون: Marieke Huisman, Aldrich, J., Barnett, M., Giannakopoulou, D., Leavens, G. T., Sharygina, N.

المصدر: Scopus-Elsevier

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c864c824152059da41f03111af23486
http://www.scopus.com/inward/record.url?eid=2-s2.0-77950466206&partnerID=MN8TOARS

المؤلفون: Clarke, E, Kroening, D, Sharygina, N, Yorav, K

المصدر: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005). 3440

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f8d6383569c34e8bfb9c6c8f3b3c79b
http://ora.ox.ac.uk/objects/uuid:8d093dc2-18b1-407b-95d7-668bacc6716d

المؤلفون: Vegt, M. Van der, Jansen, N., Junges, S., Sharygina, N.

المصدر: Sharygina, N. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I, 508-526. Cham : Springer
STARTPAGE=508;ENDPAGE=526;ISSN=0302-9743;TITLE=Sharygina, N. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6267e88c1243925358d3788515e84f98
https://hdl.handle.net/2066/292259

المؤلفون: Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N.

المصدر: 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. :201-210 2004

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

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

المصدر: 2006 Formal Methods in Computer Aided Design Formal Methods in Computer Aided Design, 2006. FMCAD '06. :53-59 Nov, 2006

Relation: 2006 Formal Methods in Computer Aided Design

المؤلفون: 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