Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Elizabeth I. Leonard"'
Publikováno v:
Autonomous Underwater Vehicles: Design and practice ISBN: 9781785617034
The robotics community is deeply interested in both platform design and behavior design, but we lack tools to connect the two. The platform, the behavior design, and the environment work together to determine the robot's actions, but our tools visual
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30a6a116fc58a8212afb2f29c1666552
https://doi.org/10.1049/sbra525e_ch14
https://doi.org/10.1049/sbra525e_ch14
Publikováno v:
MEMOCODE
This paper describes a method for using property definition templates to support automatic analysis of source code for application-specific security properties. The method is illustrated on an example data flow property of a C program.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::314821f5165d4afb4c91a2dd91da6220
https://doi.org/10.1145/3127041.3127063
https://doi.org/10.1145/3127041.3127063
Autor:
David W. Aha, Elizabeth I. Leonard, Myla Archer, Indrakshi Ray, Marc Pickett, J. Gregory Trafton, Constance L. Heitmeyer
Publikováno v:
Automated Software Engineering. 22:159-197
Many future decision support systems will be human-centric, i.e., require substantial human oversight and control. Because these systems often provide critical services, high assurance is needed that they satisfy their requirements. This paper, the p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6a9af9cc37af98d5b99bcbda18f9d7f
https://doi.org/10.1007/s10515-014-0157-z
https://doi.org/10.1007/s10515-014-0157-z
Publikováno v:
Formal Methods in System Design. 37:265-294
This article introduces a new model-based method for incrementally constructing critical systems and illustrates its application to the development of fault-tolerant systems. The method relies on a special form of composition to combine software comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df00e97273ac073edacddbd4704611ea
https://doi.org/10.1007/s10703-010-0106-9
https://doi.org/10.1007/s10703-010-0106-9
Publikováno v:
IEEE Transactions on Software Engineering. 34:82-98
A major problem in verifying the security of code is that the code's large size makes it much too costly to verify in its entirety. This paper describes a novel and practical approach to verifying the security of code which substantially reduces the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0996a245d5ad3306e08851794ff327b9
https://doi.org/10.1109/tse.2007.70772
https://doi.org/10.1109/tse.2007.70772
Publikováno v:
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7b14e217c5c63237f259a2b8f1231c6
https://doi.org/10.1109/formalise.2015.16
https://doi.org/10.1109/formalise.2015.16
Publikováno v:
Higher-Order and Symbolic Computation. 16:63-92
Formal specifications of software systems are extremely useful because they can be rigorously analyzed, verified, and validated, giving high confidence that the specification captures the desired behavior. To transfer this confidence to the actual so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d79d409cea113377836f961ab6dd2731
https://doi.org/10.1023/a:1023072104553
https://doi.org/10.1023/a:1023072104553
Autor:
Marc Pickett, Elizabeth I. Leonard, Len Breslow, David W. Aha, Constance L. Heitmeyer, J. Greg Trafton
Publikováno v:
RAISE@ICSE
Many future decision support systems will be human-centric, i.e., require substantial human oversight and control. Because these systems often provide critical services, high assurance will be needed that they satisfy their requirements. How to devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3ba3c5272888422c62c3191241f73a4
https://doi.org/10.1109/raise.2013.6615202
https://doi.org/10.1109/raise.2013.6615202
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642365621
ESSoS
ESSoS
This paper describes SecProve, a prototype tool we are developing for checking application-specific security properties of C code, together with our vision of how such a tool can be used by a programmer to maintain security of code during its develop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f00705dbe2f0ad875b7c324ac6fc4ed6
https://doi.org/10.1007/978-3-642-36563-8_12
https://doi.org/10.1007/978-3-642-36563-8_12
Publikováno v:
MEMOCODE
Recently, software practitioners, using model-based engineering and similar methods, have begun developing software from models. After creating a model of the required system behavior, a developer can obtain assurance of the model by validating that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f905903015d3d965a9347072a7b9f8c
https://doi.org/10.1109/memcod.2012.6292308
https://doi.org/10.1109/memcod.2012.6292308