dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Robby (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng: Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng: Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos: Towards an industrial grade IVE for Java and next generation research platform for JML. STTT 12(6): 429-446 (2010)

Selection of 4 from 43 records - Robby has 36 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page