no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- testing
- verification
- symbolicexecution
- model_checking
- imported
- statecharts
- privacy
- orders
- partialorder
- coverability
- masterarbeit
- safety
- security
- 2001
- presence_awareness
- coordination
- 2005
- Investitionsgütermarketing
- myown
- computer-supported_cooperative_work
- distributed
- bufferoverflow
- modelchecking
- concurrent
- Marketing
- No matching items.
- Ru-Gang Xu, Patrice Godefroid, and Rupak Majumdar. Proceedings of the 2008 International Symposium on Software Testing and Analysis ISSTA, (2008)Ru-Gang Xu, Patrice Godefroid, and Rupak Majumdar. Proceedings of the 2008 International Symposium on Software Testing and Analysis ISSTA, (2008)2 years and 7 months agoby liangzk2
- Patrice Godefroid, Michael Y. Levin, and David Molnar. #NDSS08#, (2008)Patrice Godefroid, Michael Y. Levin, and David Molnar. #NDSS08#, (2008)2 years and 7 months agoby liangzk2
- Patrice Godefroid, Nils Klarlund, and Koushik Sen. #PLDI05#, (2005)Patrice Godefroid, Nils Klarlund, and Koushik Sen. #PLDI05#, (2005)2 years and 7 months agoby liangzk3
- Patrice Godefroid, Adam Kiezun, and Michael Y. Levin. #PLDI08#, (2008)Patrice Godefroid, Adam Kiezun, and Michael Y. Levin. #PLDI08#, (2008)2 years and 7 months agoby liangzk2
- Patrice Godefroid, Peli de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, and Michael Y. Levin. IEEE Software 25(5):30-37 (2008)Patrice Godefroid, Peli de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, and Michael Y. Levin. IEEE Software 25(5):30-37 (2008)2 years and 7 months agoby liangzk1
- Patrice Godefroid. #POPL07#, (2007)Patrice Godefroid. #POPL07#, (2007)2 years and 7 months agoby liangzk2
- Saswat Anand, Patrice Godefroid, and Nikolai Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, (2008)Saswat Anand, Patrice Godefroid, and Nikolai Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, (2008)2 years and 7 months agoby liangzk3
- Patrice Godefroid, and Johannes Kinder. ISSTA, page 1-12. ACM, (2010)Patrice Godefroid, and Johannes Kinder. ISSTA, page 1-12. ACM, (2010)2 years and 10 months agoby dblp1
- A. Borgoo, O. Scharf, Gediminas Gaigalas, and Michel R. Godefroid. Computer Physics Communications 181(2):426-439 (2010)A. Borgoo, O. Scharf, Gediminas Gaigalas, and Michel R. Godefroid. Computer Physics Communications 181(2):426-439 (2010)2 years and 10 months agoby dblp1
- Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesany, and Du Li. Proceedings of the 2000 ACM conference on Computer supported cooperative work, page 59--68. Philadelphia, Pennsylvania, United States, ACM, (2000)Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesany, and Du Li. Proceedings of the 2000 ACM conference on Computer supported cooperative work, page 59--68. Philadelphia, Pennsylvania, United States, ACM, (2000)2 years and 11 months agoby pilpul1
- Patrice Godefroid, and Pierre Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)Patrice Godefroid, and Pierre Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)3 years and a month ago1
- Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and SaiDeep Tetali. POPL, page 43-56. ACM, (2010)Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and SaiDeep Tetali. POPL, page 43-56. ACM, (2010)3 years and 4 months agoby dblp1
- Pierre Wolper, and Patrice Godefroid. CONCUR, volume 715 of Lecture Notes in Computer Science, page 233-246. Springer, (1993)Pierre Wolper, and Patrice Godefroid. CONCUR, volume 715 of Lecture Notes in Computer Science, page 233-246. Springer, (1993)3 years and 7 months agoby dblp1
- Bernard Boigelot, and Patrice Godefroid. FME, volume 1051 of Lecture Notes in Computer Science, page 465-478. Springer, (1996)Bernard Boigelot, and Patrice Godefroid. FME, volume 1051 of Lecture Notes in Computer Science, page 465-478. Springer, (1996)3 years and 7 months agoby dblp1
- Bernard Boigelot, and Patrice Godefroid. CAV, volume 1102 of Lecture Notes in Computer Science, page 1-12. Springer, (1996)Bernard Boigelot, and Patrice Godefroid. CAV, volume 1102 of Lecture Notes in Computer Science, page 1-12. Springer, (1996)3 years and 8 months agoby dblp1
- Patrice Godefroid, and Didier Pirottin. CAV, volume 697 of Lecture Notes in Computer Science, page 438-449. Springer, (1993)Patrice Godefroid, and Didier Pirottin. CAV, volume 697 of Lecture Notes in Computer Science, page 438-449. Springer, (1993)3 years and 8 months agoby dblp1
- Patrice Godefroid, Gerard J. Holzmann, and Didier Pirottin. CAV, volume 663 of Lecture Notes in Computer Science, page 178-191. Springer, (1992)Patrice Godefroid, Gerard J. Holzmann, and Didier Pirottin. CAV, volume 663 of Lecture Notes in Computer Science, page 178-191. Springer, (1992)3 years and 8 months agoby dblp1
- Patrice Godefroid, and Pierre Wolper. CAV, volume 575 of Lecture Notes in Computer Science, page 332-342. Springer, (1991)Patrice Godefroid, and Pierre Wolper. CAV, volume 575 of Lecture Notes in Computer Science, page 332-342. Springer, (1991)3 years and 8 months agoby dblp1
- Patrice Godefroid. CAV, volume 531 of Lecture Notes in Computer Science, page 176-185. Springer, (1990)Patrice Godefroid. CAV, volume 531 of Lecture Notes in Computer Science, page 176-185. Springer, (1990)3 years and 8 months agoby dblp1