Zobrazeno 1 - 10
of 165
pro vyhledávání: '"Greve, David"'
Publikováno v:
EPTCS 359, 2022, pp. 33-47
The decentralized perimeter surveillance system (DPSS) seeks to provide a decentralized protocol for evenly distributing surveillance of a perimeter over time across an ensemble of unmanned aerial vehicles (UAVs) whose members may communicate only wh
Externí odkaz:
http://arxiv.org/abs/2205.11697
Autor:
Katis, Andreas, Fedyukovich, Grigory, Chen, Jeffrey, Greve, David, Rayadurgam, Sanjai, Whalen, Michael W.
Diversity in the exhibited behavior of a given system is a desirable characteristic in a variety of application contexts. Synthesis of conformant implementations often proceeds by discovering witnessing Skolem functions, which are traditionally deter
Externí odkaz:
http://arxiv.org/abs/2009.12330
Publikováno v:
IEEE Sensors Journal, 2020
Wireless and passive surface acoustic wave (SAW) devices with nanoporous metal-organic framework (MOF) sensing layers are attractive gas sensors for applications in many fields such as energy industries and air pollution control. Here, we report on e
Externí odkaz:
http://arxiv.org/abs/2002.00705
Autor:
Devkota, Jagannath1,2,3 (AUTHOR) richard.pingree@netl.doe.gov, Greve, David W.1,4 (AUTHOR) dg07@andrew.cmu.edu, Diemler, Nathan1,2 (AUTHOR), Pingree, Richard1,2 (AUTHOR), Wright, Ruishu1 (AUTHOR)
Publikováno v:
Sensors (14248220). Feb2024, Vol. 24 Issue 3, p789. 12p.
Autor:
Greve, David, Gacek, Andrew
Publikováno v:
EPTCS 280, 2018, pp. 30-46
We are developing a model-based fuzzing framework that employs mathematical models of system behavior to guide the fuzzing process. Whereas traditional fuzzing frameworks generate tests randomly, a model-based framework can deduce tests from a behavi
Externí odkaz:
http://arxiv.org/abs/1810.04310
Autor:
Devkota, Jagannath, Kim, Ki-Joong, Ohodnicki, Paul R., Culp, Jeffrey T., Greve, David W., Lekse, Jonathan W.
Integration of nanoporous materials such as metal organic frameworks (MOFs) with sensitive transducers can result robust sensing platforms for monitoring gases and chemical vapors for a range of applications. Here, we report on an integration of the
Externí odkaz:
http://arxiv.org/abs/1712.08468
Publikováno v:
In Sensors and Actuators: B. Chemical 1 March 2022 354
Publikováno v:
In Journal of Alloys and Compounds 15 February 2021 854