• 2012-07-18Symmetry in Combinatorial Search
• 2012-07-17Symbiotic Autonomy: Robots, Humans, and the Web
• 2012-07-05Search Based Software Engineering
• 2012-07-02Energy games and multiweighted modal automata
• 2012-06-29Structured Specification for Verification and Inference
• 2012-06-25Logic based problem solving: from theory to practice
• 2012-06-21Information Visualization and Graph Drawing
• 2012-06-13Languages in Racket
• 2012-06-12Symbolic Consistency Checking of OpenMP Parallel Programs
• 2012-06-12Patching vulnerabilities with sanitization synthesis
• 2012-06-08Applications of Context-Sensitive Program Analysis and Verification Techniques
• 2012-06-08Context-sensitive models for multi-thread programs
• 2012-05-24Trace Driven Approach for Testing and Debugging Concurrent Programs
• 2012-05-14Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems
• 2012-05-10Interaction-Based Concurrency
• 2012-05-09Controllers with Minimal Observation Power (Application to Timed Systems)
• 2012-04-18Commutative Data Automata
• 2012-04-18Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding
• 2012-04-18Techniques on System-Level Design of Hard Real-Time Embedded Systems
• 2012-04-06Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding