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 × Austria
1 × Canada
2 × USA
3 × Portugal
3 × United Kingdom
Collaborated with:
D.Harel A.Pnueli C.Plock M.J.Stern E.J.A.Hubbard I.Segall A.Roberts R.Marelly N.Paoletti B.Yordanov Y.Hamadi C.M.Wintersteiger Y.Lu Y.Bontemps T.Arons J.Hooman M.v.d.Zwaag
Talks about:
synthes (4) system (4) specif (4) model (4) base (4) logic (3) lsc (3) synthesi (2) scenario (2) sequenc (2)

Person: Hillel Kugler

DBLP DBLP: Kugler:Hillel

Contributed to:

CAV 20142014
CAV 20112011
FASE 20092009
TACAS 20092009
FASE 20072007
TACAS 20072007
TACAS 20052005
UML 20042004
OOPSLA 20022002
CIAA 20002000
CIAA 20002002

Wrote 11 papers:

CAV-2014-PaolettiYHWK #logic
Analyzing and Synthesizing Genomic Logic Functions (NP, BY, YH, CMW, HK), pp. 343–357.
CAV-2011-KuglerPR #biology
Synthesizing Biological Theories (HK, CP, AR), pp. 579–584.
FASE-2009-KuglerPP #requirements #synthesis
Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.
TACAS-2009-KuglerS #composition #sequence chart #specification #synthesis
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
FASE-2007-KuglerSH #modelling #testing
Testing Scenario-Based Models (HK, MJS, EJAH), pp. 306–320.
TACAS-2007-KuglerPSH #framework #logic #modelling #predict
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models (HK, AP, MJS, EJAH), pp. 343–357.
TACAS-2005-KuglerHPLB #logic #specification
Temporal Logic for Scenario-Based Specifications (HK, DH, AP, YL, YB), pp. 445–460.
UML-2004-AronsHKPZ #deduction #modelling #uml #verification
Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.
OOPSLA-2002-MarellyHK #execution #multi #sequence chart
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
CIAA-2000-HarelK #object-oriented #specification
Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 1–33.
CIAA-J-2000-HarelK02 #object-oriented #specification
Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 5–51.

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.