European Joint Conferences on Theory and Practice of Software

Known as: ETAPS, International Conference on Compiler Construction, Tools and Algorithms for Construction and Analysis of Systems 
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of six computer science conferences taking place… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2018
0102019922018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We present a technique for efficient stateless model checking of programs that execute under the relaxed memory models TSO and… (More)
  • figure 4
  • figure 6
  • figure 7
  • figure 8
  • table 1
Is this relevant?
2014
2014
This report describes the 3rd International Competition on Software Verification (SV-COMP 2014), which is the third edition of a… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2013
2013
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2013
2013
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2012
2012
We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Büchi automata via very weak… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2012
Highly Cited
2012
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2005
2005
At the last TACAS in Barcelona, already almost a year ago, Alur, Etessami, and Madhusudan [2004] introduced CaRet, a temporal… (More)
Is this relevant?
2002
2002
Alloy is a lightweight language for software modelling. It’s designed to be flexible and expressive, and yet amenable to fully… (More)
Is this relevant?
2000
2000
Salsa is an invariant checker for speci cations in SAL (the SCR Abstract Language). To establish a formula as an invariant… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
Specifications for security protocols range from informal narrations of message flows to formal assertions of protocol properties… (More)
Is this relevant?