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: Kugler:Hillel
Contributed to:
20142011
2009
2009200720072005
2004
2002
20002002Wrote 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.