Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games… 
Review
2015
Review
2015
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK… 
Review
2015
Review
2015
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation… 
2015
2015
We consider the model checking problem for interval Markov chains with open intervals. Interval Markov chains are generalizations… 
Review
2013
Review
2013
On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients for Probabilistic Automata -- LTL Model… 
2012
2012
This work studies Bellman integral equations arising in infinite-horizon probabilistic verification problems for discrete time… 
2002
2002
Abstract : The Final Proceedings for European Joint Conferences on Theory and Practice of Software (ETAPS), 6 April 2002 - 14… 
2002
2002
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
2002
2002
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without… 
1998
1998
Extreme programming: A humanistic discipline of software development.- Some mistakes I have and what I have learned from them…