Robby
Robby
Professor, Department of Computer Science, Kansas State University
Verified email at k-state.edu - Homepage
Title
Cited by
Cited by
Year
Bandera: Extracting finite-state models from Java source code
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Pasareanu, Robby, ...
Software Engineering, 2000. Proceedings of the 2000 International Conference …, 2000
14732000
Amandroid: A precise and general inter-component data flow analysis framework for security vetting of android apps
F Wei, S Roy, X Ou, Robby
Proceedings of the 2014 ACM conference on Computer and communications …, 2014
3862014
Bogor: an extensible and highly-modular software model checking framework
Robby, MB Dwyer, J Hatcliff
ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003
3232003
Tool-supported program abstraction for finite-state verification
MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Păsăreanu, Robby, ...
Proceedings of the 23rd international conference on software engineering …, 2001
1922001
Bogor/Kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems
X Deng, J Lee, Robby
Automated Software Engineering, 2006. ASE'06. 21st IEEE/ACM International …, 2006
1152006
O-MaSE: a customizable approach to developing multiagent development processes
JC Garcia-Ojeda, SA DeLoach, Robby, WH Oyenan, J Valenzuela
KANSAS STATE UNIV MANHATTAN, 2007
1092007
A language framework for expressing checkable properties of dynamic software
JC Corbett, MB Dwyer, J Hatcliff, Robby
SPIN Model Checking and Software Verification, 205-223, 2000
1082000
Expressing checkable properties of dynamic systems: the Bandera Specification Language
JC Corbett, MB Dwyer, J Hatcliff, Robby
International Journal on Software Tools for Technology Transfer 4 (1), 34-56, 2002
992002
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
MB Dwyer, J Hatcliff, Robby, VP Ranganath
Formal Methods in System Design 25 (2-3), 199-240, 2004
922004
Extending JML for modular specification and verification of multi-threaded programs
E Rodriguez, M Dwyer, C Flanagan, J Hatcliff, GT Leavens, Robby
ECOOP 2005-Object-Oriented Programming, 551-576, 2005
842005
Verifying atomicity specifications for concurrent object-oriented software using model-checking
J Hatcliff, Robby, MB Dwyer
Verification, Model Checking, and Abstract Interpretation, 175-190, 2004
822004
Formal software analysis emerging trends in software model checking
MB Dwyer, J Hatcliff, Robby, CS Pasareanu, W Visser
Future of Software Engineering, 2007. FOSE'07, 120-136, 2007
702007
Bandera: A source-level interface for model checking java programs
JC Corbett, MB Dwyer, J Hatcliff, Robby
Proceedings of the 22nd international conference on Software engineering …, 2000
672000
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
MB Dwyer, J Hatcliff, M Hoosier, V Ranganath, Robby, T Wallentine
Tools and Algorithms for the Construction and Analysis of Systems, 73-89, 2006
662006
Building your own software model checker using the bogor extensible model checking framework
MB Dwyer, J Hatcliff, M Hoosier, Robby
Computer Aided Verification, 148-152, 2005
662005
Model-checking middleware-based event-driven real-time embedded software
X Deng, MB Dwyer, J Hatcliff, G Jung, Robby, G Singh
Formal Methods for Components and Objects, 154-181, 2003
572003
Space-reduction strategies for model checking dynamic software
Robby, MB Dwyer, J Hatcliff, R Iosif
Electronic Notes in Theoretical Computer Science 89 (3), 499-517, 2003
512003
Analyzing interaction orderings with model checking
MB Dwyer, Robby, O Tkachuk, W Visser
Proceedings of the 19th IEEE international conference on Automated software …, 2004
482004
Checking strong specifications using an extensible software model checking framework
Robby, E Rodríguez, MB Dwyer, J Hatcliff
Tools and Algorithms for the Construction and Analysis of Systems, 404-420, 2004
48*2004
agentTool process editor: supporting the design of tailored agent-based processes
JC Garcia-Ojeda, SA DeLoach, Robby
Proceedings of the 2009 ACM symposium on Applied Computing, 707-714, 2009
442009
The system can't perform the operation now. Try again later.
Articles 1–20