Robby - RankMe

72 papers A* 9A 3B 5C 10Misc 2Journal 11Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automated property-based testing from AADL component contracts. Int. J. Softw. Tools Technol. Transf. John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
2025	C	`conf`	End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR. FMICS John Hatcliff, Jason Belt, Robby, Clint McKenzie, Catalina Liang
2025	J	`jnl`	Logika: the Sireum verification framework. Int. J. Softw. Tools Technol. Transf. Robby, John Hatcliff, Jason Belt
2025	C	`conf`	Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. FMICS Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin
2024	—	`conf`	Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM John Hatcliff, Jason Belt, Robby, David S. Hardin
2024	C	`conf`	Logika: The Sireum Verification Framework. FMICS Robby, John Hatcliff, Jason Belt
2024	—	`conf`	Teaching with Logika: Conceiving and Constructing Correct Software. FMTea Stefan Hallerstede, John Hatcliff, Robby
2023	C	`conf`	Automated Property-Based Testing from AADL Component Contracts. FMICS John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
2023	J	`jnl`	Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 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
2022	J	`jnl`	Awas: AADL information flow and error propagation analysis framework. Innov. Syst. Softw. Eng. Hariharan Thiagarajan, John Hatcliff, Robby
2022	J	`jnl`	Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 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
2021	C	`conf`	HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA John Hatcliff, Jason Belt, Robby, Todd Carpenter
2021	C	`conf`	Slang: The Sireum Programming Language. ISoLA Robby, John Hatcliff
2020	—	`conf`	Awas: AADL Information Flow and Error Propagation Analysis Framework. ECSA Companion Hariharan Thiagarajan, John Hatcliff, Robby
2018	—	`conf`	A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
2018	J	`jnl`	Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. ACM Trans. Priv. Secur. Fengguo Wei, Sankardas Roy, Xinming Ou, Robby
2018	—	`conf`	Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) Robby, John Hatcliff, Jason Belt
2017	B	`conf`	Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu
2015	—	`conf`	Communication patterns for interconnecting and composing medical systems. EMBC Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby
2015	—	`conf`	Ecosphere Principles for Medical Application Platforms. ICHI Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby
2014	A*	`conf`	Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. CCS Fengguo Wei, Sankardas Roy, Xinming Ou, Robby
2014	—	`conf`	Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. FHIES/SEHC Sam Procter, John Hatcliff, Robby
2013	A*	`conf`	Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE John Hatcliff, Robby, Patrice Chalin, Jason Belt
2013	—	`conf`	Past expression: encapsulating pre-states at post-conditions by means of AOP. AOSD Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury
2013	—	`conf`	Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
2012	C	`conf`	Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby
2012	—	`conf`	Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
2012	J	`jnl`	Efficient and formal generalized symbolic execution. Autom. Softw. Eng. Xianghua Deng, JooYong Lee, Robby
2012	—	`conf`	Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT Jason Belt, Patrice Chalin, John Hatcliff, Robby
2011	—	`conf`	Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2011	—	`conf`	Enhancing spark's contract checking facilities using symbolic execution. SIGAda Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2010	—	`ch.`	Specification and Checking of Software Contracts for Conditional Information Flow. Design and Verification of Microprocessor Systems for High-Assurance Applications Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve
2010	J	`jnl`	Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. Patrice Chalin, Robby, Perry R. James, JooYong Lee, George Karabotsos
2009	—	`conf`	Abstract Requirement Analysis in Multiagent System Design. IAT Scott J. Harmon, Scott A. DeLoach, Robby
2009	—	`conf`	From abstract qualities to concrete specification using guidance policies. AAMAS (2) Scott J. Harmon, Scott A. DeLoach, Robby
2009	—	`conf`	Preliminary design of a unified JML representation and software infrastructure. FTfJP@ECOOP Robby, Patrice Chalin
2009	—	`conf`	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE Jason Belt, Robby, Xianghua Deng
2009	—	`conf`	agentTool III: from process definition to code generation. AAMAS (2) Juan C. García-Ojeda, Scott A. DeLoach, Robby
2009	Misc	`conf`	agentTool process editor: supporting the design of tailored agent-based processes. SAC Juan C. García-Ojeda, Scott A. DeLoach, Robby
2008	—	`conf`	Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems. SASO Scott J. Harmon, Scott A. DeLoach, Robby, Doina Caragea
2008	B	`conf`	Specification and Checking of Software Contracts for Conditional Information Flow. FM Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve
2007	—	`conf`	Formal Software Analysis Emerging Trends in Software Model Checking. FOSE Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser
2007	—	`conf`	O-MaSE: A Customizable Approach to Developing Multiagent Development Processes. AOSE Juan C. García-Ojeda, Scott A. DeLoach, Robby, Walamitien H. Oyenan, Jorge L. Valenzuela
2007	B	`conf`	Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM Xianghua Deng, Robby, John Hatcliff
2007	—	`conf`	Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems. ESAW Scott J. Harmon, Scott A. DeLoach, Robby
2006	A*	`conf`	Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE Xianghua Deng, JooYong Lee, Robby
2006	—	`conf`	Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART Robby, Matthew B. Dwyer, John Hatcliff
2006	J	`jnl`	Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
2006	A*	`conf`	Domain-specific Model Checking Using The Bogor Framework. ASE Robby, Matthew B. Dwyer, John Hatcliff
2006	A	`conf`	Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine
2006	C	`conf`	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA Xianghua Deng, Robby, John Hatcliff
2006	B	`conf`	Using Design Metrics for Predicting System Flexibility. FASE Robby, Scott A. DeLoach, Valeriy A. Kolesnikov
2005	A*	`conf`	Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby
2005	A	`conf`	Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby
2004	C	`conf`	A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff
2004	—	`conf`	A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer
2004	—	`conf`	A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby
2004	A*	`conf`	Analyzing Interaction Orderings with Model Checking. ASE Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
2004	A	`conf`	Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
2004	J	`jnl`	Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods Syst. Des. Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
2004	B	`conf`	Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI John Hatcliff, Robby, Matthew B. Dwyer
2003	—	`conf`	Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE Robby, Matthew B. Dwyer, John Hatcliff
2003	C	`conf`	Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby
2003	Misc	`conf`	Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff
2003	—	`conf`	Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC@CAV Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif
2002	J	`jnl`	Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2002	—	`conf`	Foundations of the Bandera Abstraction Tools. The Essence of Computation John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby
2002	—	`conf`	Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
2001	A*	`conf`	Tool-Supported Program Abstraction for Finite-State Verification. ICSE Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
2000	—	`conf`	A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000	A*	`conf`	Bandera: a source-level interface for model checking Java programs. ICSE James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
2000	A*	`conf`	Bandera: extracting finite-state models from Java source code. ICSE James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng