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 × China
1 × France
1 × Germany
1 × Russia
1 × USA
Collaborated with:
J.He E.Filiot J.Raskin R.Armoni D.Fisman A.Bohy V.Bruyère
Talks about:
resourc (2) model (2) ltl (2) antichain (1) algorithm (1) synthesi (1) approach (1) variabl (1) softwar (1) process (1)

Person: Naiyong Jin

DBLP DBLP: Jin:Naiyong

Contributed to:

CAV 20132013
CAV 20122012
CAV 20092009
SEFM 20052005
SEFM 20042004

Wrote 5 papers:

CAV-2013-ArmoniFJ #approach
SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.
CAV-2012-BohyBFJR #ltl #synthesis
Acacia+, a Tool for LTL Synthesis (AB, VB, EF, NJ, JFR), pp. 652–657.
CAV-2009-FiliotJR #algorithm #ltl
An Antichain Algorithm for LTL Realizability (EF, NJ, JFR), pp. 263–277.
SEFM-2005-JinH #concurrent #process #towards
Towards A Truly Concurrent Model for Processes Sharing Resources (NJ, JH), pp. 231–239.
SEFM-2004-NaiyongJ #co-evolution #design #hardware #modelling #specification
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language (NJ, JH), pp. 132–141.

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.