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.
- Sandrine Godefroid, Carole Piazza, Graziano Rossi, Stephane Buord, Albert Dieter Stevens, Ruth Aguraiuja, Carly Cowell, Carl W Weekley, Gerd Vogg, Jose M Iriondo, Isabel Johnson, Bob Dixon, Doria Gordon, Sylvie Magnanon, Bertille Valentin, Kristina Bjureke, Rupert Koopman, Magdalena Vicens, Myriam Virevaire, and Thierry Vanderborght. Biological Conservation 144(2):672-682 (February 2011)Sandrine Godefroid, Carole Piazza, Graziano Rossi, Stephane Buord, Albert Dieter Stevens, Ruth Aguraiuja, Carly Cowell, Carl W Weekley, Gerd Vogg, Jose M Iriondo, Isabel Johnson, Bob Dixon, Doria Gordon, Sylvie Magnanon, Bertille Valentin, Kristina Bjureke, Rupert Koopman, Magdalena Vicens, Myriam Virevaire, and Thierry Vanderborght. Biological Conservation 144(2):672-682 (February 2011)2 months and 10 days agoby vogg1
- Patrice Godefroid, and Mihalis Yannakakis. TACAS, volume 7795 of Lecture Notes in Computer Science, page 214-229. Springer, (2013)Patrice Godefroid, and Mihalis Yannakakis. TACAS, volume 7795 of Lecture Notes in Computer Science, page 214-229. Springer, (2013)3 months and 6 days agoby dblp1
- Patrice Godefroid. FSTTCS, volume 18 of LIPIcs, page 24-33. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)Patrice Godefroid. FSTTCS, volume 18 of LIPIcs, page 24-33. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)5 months and 12 days agoby dblp1
- Patrice Godefroid, and Froduald Kabanza. AAAI, page 640-645. AAAI Press / The MIT Press, (1991)Patrice Godefroid, and Froduald Kabanza. AAAI, page 640-645. AAAI Press / The MIT Press, (1991)5 months and 15 days agoby dblp1
- Paul-Henri Heenen, and Michel Godefroid. Scholarpedia 7(10):10545 (2012)Paul-Henri Heenen, and Michel Godefroid. Scholarpedia 7(10):10545 (2012)5 months and 16 days agoby dblp1
- Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, and Du Li. CSCW, page 59-68. ACM, (2000)Patrice Godefroid, James D. Herbsleb, Lalita Jategaonkar Jagadeesan, and Du Li. CSCW, page 59-68. ACM, (2000)9 months agoby dblp1
- P. Godefroid. Bell Labs Technical Memorandum, ITD-03-44189G. Bell Laboratories, Lucent Technologies, (August 2003)P. Godefroid. Bell Labs Technical Memorandum, ITD-03-44189G. Bell Laboratories, Lucent Technologies, (August 2003)9 months agoby lucio_duarte1
- Patrice Godefroid, and Ankur Taly. PLDI, page 441-452. ACM, (2012)Patrice Godefroid, and Ankur Taly. PLDI, page 441-452. ACM, (2012)11 months agoby dblp1
- Christopher Colby, Patrice Godefroid, and Lalita Jategaonkar Jagadeesan. PLDI, page 345-357. ACM, (1998)Christopher Colby, Patrice Godefroid, and Lalita Jategaonkar Jagadeesan. PLDI, page 345-357. ACM, (1998)a year agoby dblp1
- Patrice Godefroid. POPL, page 174-186. ACM Press, (1997)Patrice Godefroid. POPL, page 174-186. ACM Press, (1997)a year agoby dblp1
- Patrice Godefroid, Michael Y. Levin, and David A. Molnar. Commun. ACM 55(3):40-44 (2012)Patrice Godefroid, Michael Y. Levin, and David A. Molnar. Commun. ACM 55(3):40-44 (2012)a year and 2 months agoby dblp2
- Patrice Godefroid, Michael Y. Levin, and David A. Molnar. ACM Queue 10(1):20 (2012)Patrice Godefroid, Michael Y. Levin, and David A. Molnar. ACM Queue 10(1):20 (2012)a year and 3 months agoby dblp2
- Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. ICSE, page 1066-1071. ACM, (2011)Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. ICSE, page 1066-1071. ACM, (2011)a year and 4 months agoby dblp1
- Glenn Bruns, and Patrice Godefroid. LICS, page 409-417. IEEE Computer Society, (2001)Glenn Bruns, and Patrice Godefroid. LICS, page 409-417. IEEE Computer Society, (2001)a year and 4 months agoby dblp1
- Patrice Godefroid, and Pierre Wolper. LICS, page 406-415. IEEE Computer Society, (1991)Patrice Godefroid, and Pierre Wolper. LICS, page 406-415. IEEE Computer Society, (1991)a year and 4 months agoby dblp1
- Patrice Godefroid, and David E. Long. LICS, page 198-206. IEEE Computer Society, (1996)Patrice Godefroid, and David E. Long. LICS, page 198-206. IEEE Computer Society, (1996)a year and 4 months agoby dblp1
- Patrice Godefroid, and Michael Huth. LICS, page 158-167. IEEE Computer Society, (2005)Patrice Godefroid, and Michael Huth. LICS, page 158-167. IEEE Computer Society, (2005)a year and 4 months agoby dblp1
- Patrice Godefroid, Doron Peled, and Mark G. Staskauskas. IEEE Trans. Software Eng. 22(7):496-507 (1996)Patrice Godefroid, Doron Peled, and Mark G. Staskauskas. IEEE Trans. Software Eng. 22(7):496-507 (1996)a year and 6 months agoby dblp2
- Patrice Godefroid, Jonathan 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, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, and Michael Y. Levin. IEEE Software 25(5):30-37 (2008)a year and 6 months agoby dblp1
- Patrice Godefroid, Shuvendu K. Lahiri, and Cindy Rubio-González. SAS, volume 6887 of Lecture Notes in Computer Science, page 112-128. Springer, (2011)Patrice Godefroid, Shuvendu K. Lahiri, and Cindy Rubio-González. SAS, volume 6887 of Lecture Notes in Computer Science, page 112-128. Springer, (2011)a year and 8 months agoby dblp1