|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 34 keywords
|
|
|
|
|
Results
Found 66 publication records. Showing 65 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter |
Automated Property-Based Testing from AADL Component Contracts. |
FMICS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hariharan Thiagarajan, John Hatcliff, Robby |
Awas: AADL information flow and error propagation analysis framework. |
Innov. Syst. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Jason Belt, Robby, Todd Carpenter |
HAMR: An AADL Multi-platform Code Generation Toolset. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, John Hatcliff |
Slang: The Sireum Programming Language. |
ISoLA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hariharan Thiagarajan, John Hatcliff, Robby |
Awas: AADL Information Flow and Error Propagation Analysis Framework. |
ECSA Companion |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang 0051 |
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. |
ISoLA (1) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, John Hatcliff, Jason Belt |
Model-Based Development for High-Assurance Embedded Systems. |
ISoLA (1) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
Focused Certification of an Industrial Compilation and Static Verification Toolchain. |
SEFM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby |
Communication patterns for interconnecting and composing medical systems. |
EMBC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby |
Ecosphere Principles for Medical Application Platforms. |
ICHI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Procter, John Hatcliff, Robby |
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. |
FHIES/SEHC |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jooyong Yi, Robby, Xianghua Deng, Abhik Roychoudhury |
Past expression: encapsulating pre-states at post-conditions by means of AOP. |
AOSD |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Robby, Patrice Chalin, Jason Belt |
Explicating symbolic execution (xSymExe): an evidence-based verification framework. |
ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Jooyong Lee, Robby |
Efficient and formal generalized symbolic execution. |
Autom. Softw. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, Patrice Chalin, John Hatcliff, Robby |
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. |
HILT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng |
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby |
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. |
SCAM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng |
Enhancing spark's contract checking facilities using symbolic execution. |
SIGAda |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan C. García-Ojeda, Scott A. DeLoach, Robby |
agentTool process editor: supporting the design of tailored agent-based processes. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
O-MaSE, agentTool III, agentTool process editor, CASE tool, method engineering |
| 1 | Robby, Patrice Chalin |
Preliminary design of a unified JML representation and software infrastructure. |
FTfJP@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Belt, Robby, Xianghua Deng |
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
program analysis, symbolic execution, decision procedure |
| 1 | Scott J. Harmon, Scott A. DeLoach, Robby |
Abstract Requirement Analysis in Multiagent System Design. |
IAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott J. Harmon, Scott A. DeLoach, Robby |
From abstract qualities to concrete specification using guidance policies. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
O-MaSE, multiagent systems, policy, agent oriented software engineering, law, guidance |
| 1 | Juan C. García-Ojeda, Scott A. DeLoach, Robby |
agentTool III: from process definition to code generation. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
multiagent systems, agent-oriented software engineering |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott J. Harmon, Scott A. DeLoach, Robby, Doina Caragea |
Leveraging Organizational Guidance Policies with Learning to Self-Tune Multiagent Systems. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
Formal Software Analysis Emerging Trends in Software Model Checking. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott J. Harmon, Scott A. DeLoach, Robby |
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Robby, John Hatcliff |
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Robby, John Hatcliff |
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: A Flexible Framework for Creating Software Model Checkers. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Jooyong Lee, Robby |
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Domain-specific Model Checking Using The Bogor Framework. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Scott A. DeLoach, Valeriy A. Kolesnikov |
Using Design Metrics for Predicting System Flexibility. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
software verifcation, locking discipline, software model checking, partial order reduction, escape analysis |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser |
Analyzing Interaction Orderings with Model Checking. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Robby, Matthew B. Dwyer |
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif |
Space-Reduction Strategies for Model Checking Dynamic Software. |
SoftMC@CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
| 1 | Robby, Matthew B. Dwyer, John Hatcliff |
Bogor: an extensible and highly-modular software model checking framework. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
modular, extensible, domain-specific, model checker |
| 1 | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
Space Reductions for Model Checking Quasi-Cyclic Systems. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Object-oriented programs, Temporal specification |
| 1 | John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby |
Foundations of the Bandera Abstraction Tools. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh |
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
A Language Framework for Expressing Checkable Properties of Dynamic Software. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction |
| 1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Bandera: a source-level interface for model checking Java programs. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
debugging and testing, Java, Java, model checking, program analysis |
Displaying result #1 - #65 of 65 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license