BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Japan
1 × Korea
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × USA
Collaborated with:
K.Ushijima J.Zhao Y.Goto S.Morimoto S.Shigematsu Y.Nonaka K.H.S.S.Koralalage M.R.Selim J.Miura
Talks about:
program (8) concurr (6) logic (6) ada (6) system (5) depend (5) task (5) deadlock (3) applic (3) secur (3)

Person: Jingde Cheng

DBLP DBLP: Cheng:Jingde

Contributed to:

SAC 20072007
Ada-Europe 20062006
SAC 20062006
ICSM 20012001
Ada-Europe 20002000
CSMR 19981998
TRI-Ada 19971997
Ada-Europe 19961996
ICLP 19951995
Ada-Europe 19921992
Ada-Europe 19911991

Wrote 15 papers:

SAC-2007-KoralalageRMGC #approach #lifecycle #privacy #security
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism (KHSSK, MRS, JM, YG, JC), pp. 270–275.
SAC-2007-MorimotoSGC #security #specification #verification
Formal verification of security specifications with common criteria (SM, SS, YG, JC), pp. 1506–1512.
AdaEurope-2006-Cheng #ada #detection #realtime #runtime
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
SAC-2006-Cheng #information management #logic
Deontic relevant logic as the logical basis for legal information systems (JC), pp. 319–320.
SAC-2006-GotoC #analysis #logic
A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.
SAC-2006-MorimotoSGC #security #specification #standard #verification
A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.
ICSM-2001-ZhaoCU #concurrent #dependence #logic programming #source code
A Program Dependence Model for Concurrent Logic Programs and its Applications (JZ, JC, KU), pp. 672–681.
AdaEurope-2000-NonakaCU #ada #development #self #source code
A Supporting Tool for Development of Self-Measurement Ada Programs (YN, JC, KU), pp. 69–81.
CSMR-1998-ZhaoCU #concurrent #dependence #maintenance #object-oriented #representation
A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance (JZ, JC, KU), pp. 60–66.
CSMR-1998-ZhaoCU98a #concurrent #logic programming #metric #source code
A Metrics Suite for Concurrent Logic Programs (JZ, JC, KU), pp. 172–178.
TRI-Ada-1997-Cheng #ada #concurrent #dependence
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications (JC), pp. 67–78.
AdaEurope-1996-ChengU #ada #detection #source code
Tasking Deadlocks in Ada 95 Programs and Their Detection (JC, KU), pp. 135–146.
ICLP-1995-ZhaoCU #analysis #concurrent #dependence #logic programming #source code
Program Dependence Analysis of Concurrent Logic Programs and Its Applications (JZ, JC, KU), p. 825.
AdaEurope-1992-Cheng #ada #concurrent #dependence #representation #source code
Task Dependence Net as a Representation for Concurrent Ada Programs (JC), pp. 150–164.
AdaEurope-1991-ChengU #ada #petri net #using
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.

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.