Person: Jingde Cheng

DBLP: Cheng:Jingde

Contributed to:

2007

2006

2006

2001

2000

1998

1997

1996

1995

1992

1991

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.