Ranking & Metrics Conference Call for Papers Other Conferences in United States
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Paris, France

Submission Deadline: Thursday 13 Oct 2022

Conference Dates: Apr 22, 2023 - Jan 27, 2023

Research
Impact Score 3.20

OFFICIAL WEBSITE

Conference Organizers: Deadline extended?
Click here to edit

Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing the best scientists in addition to the h-index estimated from the scientific papers published by the best scientists. See more details on our methodology page.

Research Impact Score: 3.20
Contributing Best Scientists: 64
H5-index:
Papers published by Best Scientists 99
Research Ranking (Computer Science) 178

Conference Call for Papers

Theoretical papers with clear relevance for tool construction and analysis as well as tool descriptions and case studies with a conceptual message are all encouraged. The topics covered by the conference include, but are not limited to:

specification and verification techniques;
software and hardware verification;
analytical techniques for real-time, hybrid, or stochastic systems;
analytical techniques for safety, security, or dependability;
SAT and SMT solving;
theorem proving;
model checking;
static and dynamic program analysis;
testing;
abstraction techniques for modeling and verification;
compositional and refinement-based methodologies;
system construction and transformation techniques;
machine-learning techniques for synthesis and verification;
tool environments and tool architectures;
applications and case studies.

Overview

Top Research Topics at Tools and Algorithms for Construction and Analysis of Systems?

  • Theoretical computer science (35.61%)
  • Programming language (29.72%)
  • Model checking (26.49%)

Tools and Algorithms for Construction and Analysis of Systems mostly deals with topics like Theoretical computer science, Programming language, Model checking, Algorithm and Automaton. In addition to Theoretical computer science research, the event aims to explore topics under Set (abstract data type) and Counterexample. As a part of the event, discussions in Programming language involve topics like Software, Software verification, Symbolic execution, Concurrency and Program analysis.

The conference holds forums on Model checking that merges themes from other disciplines such as Correctness, Bounded function, State (computer science) and Temporal logic. Tools and Algorithms for Construction and Analysis of Systems dives deep in exploring the relationship between the study of Temporal logic and Linear temporal logic. Tools and Algorithms for Construction and Analysis of Systems facilitates discussions on Algorithm that incorporate concepts from other fields like Probabilistic logic, State space and Markov chain.

Timed automaton and Büchi automaton are all areas of Automaton tackled in it. Formal verification and Formal specification are closely related fields of research discussed in it.

What are the most cited papers published at the conference?

  • Z3: an efficient SMT solver (4345 citations)
  • A Temporal Logic of Nested Calls and Returns (3348 citations)
  • Symbolic Model Checking without BDDs (2016 citations)

Research areas of the most cited articles at Tools and Algorithms for Construction and Analysis of Systems:

The most cited articles primarily tackle Theoretical computer science, Algorithm, Programming language, Model checking and Automaton. The conference articles explore topics in Theoretical computer science which can be helpful for research in disciplines like Set (abstract data type) and State (computer science). The works on Model checking tackled in the most cited articles bring together disciplines like Formal verification, Bounded function, Temporal logic and Counterexample.

Papers citation over time

A key indicator for each conference is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

Research.com

The top authors publishing at Tools and Algorithms for Construction and Analysis of Systems (based on the number of publications) are:

  • Tomáš Vojnar (18 papers) published 1 paper at the last edition, 1 less than at the previous edition,
  • Daniel Kroening (16 papers) published 1 paper at the last edition,
  • Bernd Fischer (16 papers) absent at the last edition,
  • Andreas Podelski (13 papers) absent at the last edition,
  • Matthias Heizmann (12 papers) published 1 paper at the last edition, 2 less than at the previous edition.

The overall trend for top authors publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top authors.

Research.com

Only papers with recognized affiliations are considered

The top affiliations publishing at Tools and Algorithms for Construction and Analysis of Systems (based on the number of publications) are:

  • University of Oxford (44 papers) published 3 papers at the last edition, 1 less than at the previous edition,
  • University of Freiburg (22 papers) published 1 paper at the last edition, 4 less than at the previous edition,
  • Brno University of Technology (22 papers) published 2 papers at the last edition, 1 less than at the previous edition,
  • RWTH Aachen University (19 papers) published 7 papers at the last edition, 4 more than at the previous edition,
  • Microsoft (19 papers) published 2 papers at the last edition the same number as at the previous edition.

The overall trend for top affiliations publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top affiliations.

Research.com

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions at the conference edition to all articles published within that conference. The best research institutions were selected based on the largest number of articles published during all editions of the conference.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

Research.com

During the most recent 2019 edition, 0.00% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 33.78% were posted by at least one author from the top 10 institutions publishing at the conference. Another 20.27% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 22.97% of all publications and 22.97% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of conferences they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same conference from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the conference in relation to all participants in a given year.

Research.com

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

Research.com

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing at a conference. The index includes the authors publishing at the last edition of a conference, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

Research.com

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Research.com

Other Conferences in France

20th International Conference on Content-based Multimedia Indexing

Sep 20, 2023 - Sep 22, 2023

Orleans, France

Deadline: Wednesday 12 Apr 2023

42nd International Conference on Computer Safety, Reliability and Security

Sep 19, 2023 - Sep 22, 2023

Toulouse, France

Deadline: Monday 06 Feb 2023

12th International Symposium on Topics in Coding

Sep 04, 2023 - Sep 08, 2023

Brest, France

Deadline: Sunday 16 Apr 2023

35th International Conference on Computer Aided Verification

Jul 17, 2023 - Jul 22, 2023

Paris, France

Deadline: Friday 03 Feb 2023

16th International Conference on Computer Science and Information Technology (ICCSIT 2023)

Jul 06, 2023 - Jul 08, 2023

Paris, France

Deadline: Friday 10 Feb 2023

Previous Editions

Something went wrong. Please try again later.