default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobby
Person information
- affiliation: Kansas State University, Department of Computing and Information Sciences
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c58]Robby, John Hatcliff, Jason Belt:
Logika: The Sireum Verification Framework. FMICS 2024: 97-116- [c57]John Hatcliff, Jason Belt, Robby, David S. Hardin:
Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM 2024: 406-426 - [c56]Stefan Hallerstede
, John Hatcliff, Robby:
Teaching with Logika: Conceiving and Constructing Correct Software. FMTea 2024: 106-123 - 2023
- [j9]Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod:
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134: 102789 (2023) - [c55]John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150 - 2022
- [j8]Darren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton:
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20(3): 52-64 (2022) - [j7]Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL information flow and error propagation analysis framework. Innov. Syst. Softw. Eng. 18(4): 485-504 (2022) - 2021
- [c54]Robby, John Hatcliff:
Slang: The Sireum Programming Language. ISoLA 2021: 253-273 - [c53]John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA 2021: 274-295 - 2020
- [c52]Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL Information Flow and Error Propagation Analysis Framework. ECSA Companion 2020: 294-310
2010 – 2019
- 2018
- [j6]Fengguo Wei, Sankardas Roy, Xinming Ou, Robby:
Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. ACM Trans. Priv. Secur. 21(3): 14:1-14:32 (2018) - [c51]John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang:
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) 2018: 225-245 - [c50]Robby, John Hatcliff, Jason Belt:
Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545 - 2017
- [c49]Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu:
Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34 - 2015
- [c48]Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby:
Communication patterns for interconnecting and composing medical systems. EMBC 2015: 1711-1716 - [c47]Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby:
Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198 - 2014
- [c46]Fengguo Wei, Sankardas Roy, Xinming Ou, Robby:
Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. CCS 2014: 1329-1341 - [c45]Sam Procter, John Hatcliff, Robby:
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. FHIES/SEHC 2014: 26-43 - 2013
- [c44]Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury:
Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD 2013: 133-144 - [c43]John Hatcliff, Robby, Patrice Chalin, Jason Belt:
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE 2013: 222-231 - [c42]Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings:
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT 2013: 21-22 - 2012
- [j5]Xianghua Deng, Jooyong Lee, Robby:
Efficient and formal generalized symbolic execution. Autom. Softw. Eng. 19(3): 233-301 (2012) - [c41]Jason 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 - [c40]Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby:
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM 2012: 132-137 - [c39]Jason Belt, Patrice Chalin, John Hatcliff, Robby:
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4 - 2011
- [c38]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72 - [c37]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60 - 2010
- [j4]Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos:
Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. 12(6): 429-446 (2010) - [p1]Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve:
Specification and Checking of Software Contracts for Conditional Information Flow. Design and Verification of Microprocessor Systems for High-Assurance Applications 2010: 341-379
2000 – 2009
- 2009
- [c36]Scott J. Harmon, Scott A. DeLoach, Robby:
From abstract qualities to concrete specification using guidance policies. AAMAS (2) 2009: 1343-1344 - [c35]Juan C. García-Ojeda, Scott A. DeLoach, Robby:
agentTool III: from process definition to code generation. AAMAS (2) 2009: 1393-1394 - [c34]Robby, Patrice Chalin:
Preliminary design of a unified JML representation and software infrastructure. FTfJP@ECOOP 2009: 5:1-5:7 - [c33]Scott J. Harmon, Scott A. DeLoach, Robby:
Abstract Requirement Analysis in Multiagent System Design. IAT 2009: 86-91 - [c32]Juan C. García-Ojeda, Scott A. DeLoach, Robby:
agentTool process editor: supporting the design of tailored agent-based processes. SAC 2009: 707-714 - [c31]Jason Belt, Robby, Xianghua Deng:
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE 2009: 355-364 - 2008
- [c30]Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve:
Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245 - [c29]Scott J. Harmon, Scott A. DeLoach, Robby, Doina Caragea:
Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems. SASO 2008: 223-232 - 2007
- [c28]Juan C. García-Ojeda, Scott A. DeLoach, Robby, Walamitien H. Oyenan, Jorge L. Valenzuela:
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes. AOSE 2007: 1-15 - [c27]Scott J. Harmon, Scott A. DeLoach, Robby:
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems. ESAW 2007: 333-349 - [c26]Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 - [c25]Xianghua Deng, Robby, John Hatcliff:
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007: 273-282 - 2006
- [j3]Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff:
Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. 8(3): 280-299 (2006) - [c24]Robby, Scott A. DeLoach, Valeriy A. Kolesnikov:
Using Design Metrics for Predicting System Flexibility. FASE 2006: 184-198 - [c23]Xianghua Deng, Robby, John Hatcliff:
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA 2006: 137 - [c22]Xianghua Deng, Jooyong Lee, Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE 2006: 157-166 - [c21]Robby, Matthew B. Dwyer, John Hatcliff:
Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370 - [c20]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine:
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS 2006: 73-89 - [c19]Robby, Matthew B. Dwyer, John Hatcliff:
Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22 - 2005
- [c18]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby:
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152 - [c17]Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby:
Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576 - 2004
- [j2]Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath:
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods Syst. Des. 25(2-3): 199-240 (2004) - [c16]Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby:
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228 - [c15]Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180 - [c14]Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer:
A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267 - [c13]Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser:
Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163 - [c12]Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420 - [c11]John Hatcliff, Robby, Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190 - 2003
- [c10]Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189 - [c9]John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby:
Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2 - [c8]Robby, Matthew B. Dwyer, John Hatcliff:
Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276 - [c7]Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif:
Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC@CAV 2003: 499-517 - 2002
- [j1]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. 4(1): 34-56 (2002) - [c6]John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby:
Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203 - [c5]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh:
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181 - 2001
- [c4]Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser:
Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 - 2000
- [c3]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng:
Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448 - [c2]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765 - [c1]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
