Christopher A. Rouff - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2023

2022

Assured Autonomy SurveyChristopher A. Rouff, Lanier A. Watkins. ftsec, 4(1):1-116, 2022. [doi]

2021

SoK: Autonomic Cybersecurity - Securing Future Disruptive TechnologiesChristopher A. Rouff, Lanier Watkins, Roy Sterritt, Salim Hariri. csr2 2021: 66-72 [doi]

2017

2012

You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer SystemsMike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt. In Mike Hinchey, Lorcan Coyle, editors, Conquering Complexity. pages 159-176, Springer, 2012. [doi]

2011

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methodsJoaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés. SoSyM, 10(1):55-62, 2011. [doi]

2008

You can t get there from here! Problems and potential solutions in developing new classes of complex computer systemsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff. imcsit 2008: 639-647 [doi]

Introduction to the Second Special Section on the DARPA Urban Grand ChallengeChristopher A. Rouff. jacic, 5(12):490, 2008. [doi]

2007

2006

Software engineering and swarm-based systemsMichael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff. ICSE 2006: 97 [doi]

Enhanced Requirements-Based Programming for Embedded Systems DesignMichael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen. mbees 2006: 43-52 [doi]

Completing and Adapting Models of Biological ProcessesTiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen. ifip10 2006: 43-54 [doi]

A requirements-based programming approach to developing a NASA autonomous ground control systemJames L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson. air, 25(4):285-297, 2006. [doi]

Experiences applying formal approaches in the development of swarm-based space exploration systemsChristopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash. STTT, 8(6):587-603, 2006. [doi]

Autonomous and autonomic systems: a paradigm for future space exploration missionsWalter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff. tsmc, 36(3):279-291, 2006. [doi]

2005

Some Verification Issues at NASA Goddard Space Flight CenterMichael G. Hinchey, James L. Rash, Christopher A. Rouff. vstte 2008: 403-412 [doi]

Towards an automated development methodology for dependable systems with application to sensor networksMichael G. Hinchey, James L. Rash, Christopher A. Rouff. ipccc 2005: 445-451 [doi]

Requirements of an integrated formal method for intelligent swarmsMichael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski. fmics 2005: 125-133 [doi]

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex SystemsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt. jid, 9(1):1-16, 2005. [doi]

Towards a Hybrid Formal Method for Swarm-Based Exploration MissionsChristopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski. sew 2006: 253-264 [doi]

2004

Formal Methods for Autonomic and Swarm-based SystemsChristopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey. ISoLA 2004: 100-102

1996

Formal specification of user interfacesChristopher A. Rouff. sigchi, 28(3):27-33, 1996. [doi]

Sign in or sign up to see more results.

runs on WebDSL