Ver Publicación - Prisma - Unidad de Bibliometría

Full contract verification for ATL using symbolic execution

Oakes, Bentley James ; Troya, Javier; Lúcio, Levi; Wimmer, Manuel

Tipo: Artículo
Año de Publicación: 2018
Volumen: 17
Número: 3
Páginas: 815 - 849
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus1529-10-2024
wos1829-10-2024
Dimensions
PlumX
Altmetric

Año: 2018

Journal Impact Factor (JIF): 2.660

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, SOFTWARE ENGINEERINGSCIE24/107Q1T1D3

Año: 2018

Journal Citation Indicator (JCI): 1,130

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, SOFTWARE ENGINEERING23/126Q1T1D282,14

Año:

2018

CiteScore:

5,500

CategoríaPosiciónCuartilTercilDecil
Modeling and Simulation23/273Q1T1D1
Software73/364Q1T1D3

SJR año:

2018

Factor de Impacto:

0,534

CategoríaPosiciónCuartilTercilDecil
Software99/366Q2T1D3
Modeling and Simulation104/289Q2T2D4
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
European Commission (FEDER)-
NECSIS project - Automotive Partnership, Canada-
NSERC grant-
Spanish and the Andalusian RDI programmesTIN2015-70560-R; P10-TIC-5906; P12-TIC-1867
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Oakes, Bentley James McGill University (Canada)
2Troya, JavierUniversidad de Sevilla (Spain)
3Lúcio, LeviFortiss GmbH (Germany)
4Wimmer, ManuelTechnische Universitat Wien (Austria)