BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Latvia
1 × Russia
2 × France
Collaborated with:
O.Kupferman U.Boker G.Avni J.O.Ringert Y.Velner
Talks about:
synthesi (3) qualiti (3) ltl (2) stochast (1) guarante (1) discount (1) quantit (1) presenc (1) generat (1) environ (1)

Person: Shaull Almagor

DBLP DBLP: Almagor:Shaull

Contributed to:

FoSSaCS 20142014
TACAS 20142014
CAV 20132013
ICALP (2) 20132013
CSL 20162016
CAV (2) 20172017

Wrote 6 papers:

FoSSaCS-2014-AlmagorK #synthesis
Latticed-LTL Synthesis in the Presence of Noisy Inputs (SA, OK), pp. 226–241.
TACAS-2014-AlmagorBK #ltl
Discounting in LTL (SA, UB, OK), pp. 424–439.
CAV-2013-AlmagorAK #automation #generative #quality #specification
Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
ICALP-v2-2013-AlmagorBK #formal method #quality #reasoning
Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
CSL-2016-AlmagorK #probability #synthesis
High-Quality Synthesis Against Stochastic Environments (SA, OK), p. 17.
CAV-2017-AlmagorKRV #synthesis
Quantitative Assume Guarantee Synthesis (SA, OK, JOR, YV), pp. 353–374.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.