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)

Related topics

Related topics

5 relations
Bernhard Steffen (computer scientist)Computer scienceESOPFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019…
Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games… 
Review
2015
Review
2015
Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April…
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK… 
Review
2015
Review
2015
Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015…
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation… 
2015
2015
Model Checking of Open Interval Markov Chains
We consider the model checking problem for interval Markov chains with open intervals. Interval Markov chains are generalizations… 
Review
2013
Review
2013
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS…
On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients for Probabilistic Automata -- LTL Model… 
2012
2012
Regularization of bellman equations for infinite-horizon probabilistic properties
This work studies Bellman integral equations arising in infinite-horizon probabilistic verification problems for discrete time… 
2002
2002
European Joint Conferences on Theory and Practices of Software (ETAPS). Designing Correct Circuits (DCC '02)
Abstract : The Final Proceedings for European Joint Conferences on Theory and Practice of Software (ETAPS), 6 April 2002 - 14… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
2002
2002
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without… 
1998
1998
Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal…
Extreme programming: A humanistic discipline of software development.- Some mistakes I have and what I have learned from them… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)