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: Jin:Naiyong
Contributed to:
201320122009
20052004Wrote 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.