ICORE Conference Portal

Sign in with LinkedIn
Signing in with LinkedIn authorizes us to store your name, email address, headline and display picture. why?

Back to search

Tools and Algorithms for Construction and Analysis of Systems

Acronym: TACAS

DBLP Source: https://dblp.uni-trier.de/db/conf/tacas

Source: CORE2023

Rank: A

Field Of Research: 4612 - Software engineering (h-index) (citation)

Source: CORE2021

Rank: A

Field Of Research: 4612 - Software engineering

Asked for A* but left at A (Data 1) (Decision)

Source: CORE2020

Rank: A

Field Of Research: 4612 - Software engineering

Source: CORE2018

Rank: A

Field Of Research: 0803 - Computer Software†

Source: CORE2017

Rank: A

Field Of Research: 0803 - Computer Software†

Source: CORE2014

Rank: A

Field Of Research: 0803 - Computer Software†

Source: CORE2013

Rank: A

Field Of Research: 0803 - Computer Software†

Source: ERA2010

Rank: A

Field Of Research: 0803 - Computer Software†

Source: CORE2008

Rank: A

FoR Codes with a † may be old and no longer in use

Comments (1)

Average User Rating: 5.0

Welcoming:	4.0
Feedback:	5.0
Networking:	5.0
Interaction:	5.0
Top people:	5.0
Worthwhile:	5.0

Tiziana Margaria wrote: April 26, 2017, 7:29 p.m.

None

Rating:

This conference is welcoming to new attendees such as postgraduate students:
Referees for this conference provide high quality detailed feedback:
The conference program facilitates networking:
There is a culture of interaction and feedback following presentations:
The conference is routinely attended by top people in the area:
Overall, attending this conference is worthwhile:

You must sign in to leave comments