now163
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata2012-08-06
- Decimals of Pi: An example in verified programming about mathematics2012-07-24
- A Calculational Framework for Parallel Programming with MapReduce2012-07-23
- Symmetry in Combinatorial Search2012-07-18
- Symbiotic Autonomy: Robots, Humans, and the Web2012-07-17
- Search Based Software Engineering2012-07-05
- Energy games and multiweighted modal automata2012-07-02
- Structured Specification for Verification and Inference2012-06-29
- Logic based problem solving: from theory to practice2012-06-25
- Information Visualization and Graph Drawing2012-06-21
- Languages in Racket2012-06-13
- Symbolic Consistency Checking of OpenMP Parallel Programs2012-06-12
- Patching vulnerabilities with sanitization synthesis2012-06-12
- Applications of Context-Sensitive Program Analysis and Verification Techniques2012-06-08
- Context-sensitive models for multi-thread programs2012-06-08
- Trace Driven Approach for Testing and Debugging Concurrent Programs2012-05-24
- Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems2012-05-14
- Interaction-Based Concurrency2012-05-10
- Controllers with Minimal Observation Power (Application to Timed Systems)2012-05-09
- Commutative Data Automata2012-04-18