 CALL FOR PAPERS ----- HP-PAC 2012
|
2011-12-16 |
| [12-20]Redundant Synchronization Event Removal for Data Race Detection
|
2011-12-15 |
| CALL FOR PAPERS ----- SEES 2012
|
2011-12-15 |
| [12-15]Fault Localization Inspired by the PIE Model (in Chinese)
|
2011-12-13 |
| [12-13]Data-driven display advertising in USA and China
|
2011-12-08 |
| [12-8]Specification Theories of Modal Transition Systems
|
2011-12-06 |
| [12-5]The MSO Theory of Connectedly Communicating Processes
|
2011-12-02 |
| [12-1]Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs
|
2011-11-15 |
| [11-29]Language Theoretic CEGAR
|
2011-11-28 |
| [11-17]SKLCS seminar:Mornitor-Based statsstical Model checking for Weighted Metric Temporal Logic
|
2011-11-09 |
| [11-11] SKLCS Seminar: Comlexity Issues of Ternary Boolean Diagrams
|
2011-11-09 |
| [11-3]On the origin of events: maximal confluent processes
|
2011-11-01 |
| [10-28]Software and System developments using Formal Models, Refinements, and Proofs with Event-B
|
2011-10-08 |
| [10-20]Recent advances in program synthesis
|
2011-10-09 |
| [10-18]Game Solving for Industrial Automation and Control - Models, Algorithms, and Tools
|
2011-10-09 |
