 [6-30]An Efficient Model Checking Algorithm of FG-LTL
|
2014-06-30 |
| [6-12]Mobile Cloud Computing – Infrastructures, research issues, and challenges
|
2014-06-11 |
| [6-12]Test Algebra for Concurrent Combinatorial Testing in a Cloud Environment
|
2014-06-11 |
| [6-11]Program Structure-Aware Fault Localization
|
2014-06-06 |
| [6-6]Theme-based Release Planning
|
2014-06-03 |
| [6-4]Intuitive Termination Proofs
|
2014-06-03 |
| [4-24]Automatic Verification of Message-Passing Concurrency
|
2014-04-17 |
| [4-22]An Algebraic Regular Parser Generator
|
2014-04-15 |
| [4-16]How to Treat Evolutionary Algorithms as Ordinary Randomized Algorithms
|
2014-04-14 |
| [3-20]Handcrafted Coq Inversions Made Operational on Operational Semantics
|
2014-03-13 |
| [3-19]Model-Checking for Malware Detection
|
2014-03-14 |
| [2014-3-7] Validity Check of PutbackTransformations in Bidirectional Programming
|
2014-03-04 |
| [11-28]When is a formula invariant?
|
2013-11-26 |
| [11-22]Symbolic-Numeric Algorithms for Verified Computations
|
2013-11-14 |
| [11-21]Rule Formats for Structural Operational Semantics: A Very Short Introduction
|
2013-11-18 |
