|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 26 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin |
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Zongyan Qiu (eds.) |
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Structured Specifications for Better Verification of Heap-Manipulating Programs. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
Automatically Refining Partial Specifications for Program Verification. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu |
Towards an Axiomatic Verification System for JavaScript. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin |
Verifying pointer safety for programs with unknown calls. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
Loop Invariant Synthesis in a Combined Domain. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin (eds.) |
Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
Stack Bound Inference for Abstract Java Bytecode. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
PTSC: probability, time and shared-variable concurrency. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
Memory Usage Verification Using Hip/Sleek. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Shengchao Qin (eds.) |
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China |
TASE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi |
Timed Automata Patterns. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Shengchao Qin |
Separation Logic for Multiple Inheritance. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Shengchao Qin, Zongyan Qiu |
Verifying BPEL-like programs with Hoare logic. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
compensation mechanism, axiomatic verification system, operational semantics, soundness, WS-BPEL |
| 1 | Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Guanhua He, Shengchao Qin |
A Heap Model for Java Bytecode to Support Separation Logic. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
| 1 | Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin |
Analysing memory resource bounds for low-level programs. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
fixpoint analysis, heap space analysis, low level programs, stack space analysis |
| 1 | Chenguang Luo, Shengchao Qin, Zongyan Qiu |
Verifying BPEL-Like Programs with Hoare Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Multiple Pre/Post Specifications for Heap-Manipulating Methods. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Guanhua He |
Linking Object-Z with Spec#. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
Spec#, pre/post conditions, verification, Formal specification, Object-Z |
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Automated Verification of Shape, Size and Bag Properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong |
Realizing Live Sequence Charts in SystemVerilog. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Automated Verification of Shape and Size Properties Via Separation Logic. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu |
From Statecharts to Verilog: a formal approach to hardware/software co-specification. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws |
| 1 | Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
Integrating Probability with Time and Shared-Variable Concurrency. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He, Shengchao Qin, Adnan Sherif |
Constructing Property-Oriented Models for Verification. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin |
HighSpec: a tool for building and checking OZTA models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
verification, timed automata, object-Z, structural design |
| 1 | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang |
The Semantics and Tool Support of OZTA. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Timed Patterns, Tool and Verification, Semantics |
| 1 | Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |
Memory Usage Verification for OO Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
| 1 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi |
Timed Patterns: TCOZ to Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
Modeling and specification formalisms |
| 1 | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
Region inference for an object-oriented language. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
downcasts, method overriding, region inference, type systems, memory management, object-oriented languages |
| 1 | Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin |
An Automatic Mapping from Statecharts to Verilog. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Shengchao Qin, Jun Sun 0001 |
Generating MSCs from an Integrated Formal Specification Language. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Requirement Engineering, MSC, TCOZ |
| 1 | Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
| 1 | Quan Long, Zongyan Qiu, Shengchao Qin |
The Equivalence of Statecharts. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin |
A Semantic Foundation for TCOZ in Unifying Theories of Programming. |
FME |
2003 |
DBLP DOI BibTeX RDF |
UTP, integrated formal specifications, semantics |
| 1 | Shengchao Qin, Wei-Ngan Chin |
Mapping Statecharts to Verilog for Hardware/Software Co-specification. |
FME |
2003 |
DBLP DOI BibTeX RDF |
operational semantics, Statecharts, homomorphism, Verilog |
| 1 | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |
An Algebraic Hardware/Software Partitioning Algorithm. |
J. Comput. Sci. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang |
Hardware/Software Partitioning in Verilog. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Jifeng He |
Partitioning Program into Hardware and Software. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Zongyan Qiu, Jifeng He |
Constructing Hardware/Software Interface Using Protocol Converters. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
protocol converter, program algebra, Hardware/software partition |
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")