SubhenduAich ShamikSural ArunK.Majumdar Spatiotemporal Connectives for Security Policy in the Presence of Location Hierarchy. Springer 5185 118-127 2008 MuhammadAsif ShikhareshMajumdar RalucaDragnea Partitioning the WS Execution Environment for Hosting Mobile Web Services. IEEE Computer Society 315-322 2008 KrishnenduChatterjee RupakMajumdar ThomasA.Henzinger Controller Synthesis with Budget Constraints. Springer 4981 72-86 2008 FrankCiesinski ChristelBaier MarcusGrößer DavidParker Generating Compact MTBDD-Representations from ProbmelaSpecifications. Springer 5156 60-76 2008 SamiEvangelista Dynamic Delayed Duplicate Detection for External Memory Model Checking. Springer 5156 77-94 2008 HaraldFecher SharonShoham State Focusing: Lazy Abstraction for the Mu-Calculus. Springer 5156 95-113 2008 VietYenNguyen TheoC.Ruys Incremental Hashing for Spin. Springer 5156 232-249 2008 YannisSmaragdakis Combining Static and Dynamic Reasoning for the Discovery of Program Properties. Springer 5156 7-8 2008 DejvuthSuwimonteerabuth JavierEsparza StefanSchwoon Symbolic Context-Bounded Analysis of Multithreaded Java Programs. Springer 5156 270-287 2008 DriesVanoverberghe NikolajBjørner JonathandeHalleux WolframSchulte NikolaiTillmann Using Dynamic Symbolic Execution to Improve Deductive Verification. Springer 5156 9-25 2008