Active Bibliography

5 Program Model Checking as a New Trend – Klaus Havelund, Willem Visser - 2000
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
1 Verifying Time Partitioning in the DEOS Scheduling Kernel – John Penix, Willem Visser, Seungjoon Park, Eric Engstrom, Aaron Larson, Nicholas Weininger - 2004
47 Hierarchical Modeling and Analysis of Embedded Systems – Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky - 2003
3 Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction – Rajeev Alur, Franjo Ivancic, Thao Dang, Centre Équation - 2002
10 Predicate abstraction for reachability analysis of hybrid systems – Rajeev Alur - 2006
22 Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking – Willem Visser, Seungjoon Park, John Penix
19 Model checking C programs using F-Soft – Franjo Ivančić, Ilya Shlyakhter, Aarti Gupta, Malay K. Ganai, Vineet Kahlon, Chao Wang, Zijiang Yang - 2005
Klaus Havelund – Qssrecom Nasa Ames, Klaus Havelund - 2000
21 Polymorphic predicate abstraction – Thomas Ball, Todd Millstein, Sriram K. Rajamani - 2000
15 Static Program Analysis via 3-Valued Logic – Thomas Reps, Mooly Sagiv, Reinhard Wilhelm - 2004
Program Verification by . . . – Ranjit Jhala - 2004
8 Using model checking to debug device firmware – Sanjeev Kumar - 2002
181 Modular verification of software components in C – Sagar Chaki, Edmund Clarke, Alex Groce, et al. - 2003
41 Reachability Analysis of Hybrid Systems via Predicate Abstraction – Rajeev Alur, Thao Dang, Franjo Ivancic - 2002
A Dynamic Framework for Testing the Synchronization Behavior of Java Monitors – Andres Yanes - 2007
2 Verification and Validation of Autonomy Software at NASA – Charles Pecheur - 2000
1 Formal verification of software source code through semi-automatic modeling – Cindy Eisner - 2005
7 Report on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem – Franjo Ivancic - 2002