 [8-25]Querying Big Data: Theory and Practice
|
2014-08-21 |
| [8-14]Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both?
|
2014-08-13 |
| [7-29]Some Problems in Software Safety
|
2014-07-08 |
| [7-24]Reusable tools for formal modeling of machine code
|
2014-07-18 |
| [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 |
