Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,299 papers from all fields of science
Search
Sign In
Create Free Account
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
Expand
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of six computer science conferences taking place…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Bernhard Steffen (computer scientist)
Computer science
ESOP
Formal methods
Expand
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…
Mikolaj Bojanczyk
,
A. Simpson
2019
Corpus ID: 198341644
Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games…
Expand
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…
J. Vitek
2015
Corpus ID: 196119775
This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK…
Expand
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…
A. Pitts
2015
Corpus ID: 196116903
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation…
Expand
2015
2015
Model Checking of Open Interval Markov Chains
Souymodip Chakraborty
,
J. Katoen
Analytical and Stochastic Modeling Techniques and…
2015
Corpus ID: 13849991
We consider the model checking problem for interval Markov chains with open intervals. Interval Markov chains are generalizations…
Expand
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…
Nir Piterman
,
S. Smolka
2013
Corpus ID: 262370435
On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients for Probabilistic Automata -- LTL Model…
Expand
2012
2012
Regularization of bellman equations for infinite-horizon probabilistic properties
Ilya Tkachev
,
A. Abate
International Conference on Hybrid Systems…
2012
Corpus ID: 13926002
This work studies Bellman integral equations arising in infinite-horizon probabilistic verification problems for discrete time…
Expand
2002
2002
European Joint Conferences on Theory and Practices of Software (ETAPS). Designing Correct Circuits (DCC '02)
M. Sheeran
,
T. Melham
2002
Corpus ID: 60070671
Abstract : The Final Proceedings for European Joint Conferences on Theory and Practice of Software (ETAPS), 6 April 2002 - 14…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
2002
2002
Community Usage of the Online Conference Service: an Experience Report from three CS Conferences
T. Margaria
,
M. Karusseit
IFIP International Conference on e-Business, e…
2002
Corpus ID: 34870625
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without…
Expand
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…
E. Astesiano
1998
Corpus ID: 60243105
Extreme programming: A humanistic discipline of software development.- Some mistakes I have and what I have learned from them…
Expand
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)
ACCEPT & CONTINUE