Zobrazeno 1 - 10
of 317
pro vyhledávání: '"Sagar Chaki"'
Autor:
Pritam Roy, Sagar Chaki
Publikováno v:
Formal Methods in System Design.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81610eff7aa7862a6c6fcc6f334d3d76
https://doi.org/10.1007/s10703-023-00414-1
https://doi.org/10.1007/s10703-023-00414-1
Autor:
Sagar Chaki, Dionisio de Niz
Publikováno v:
ACM SIGAda Ada Letters. 36:27-30
A timing enforcer not only allocates CPU cycles to threads but also uses timers to enforce time budgets. An approach for verifying safety properties of timing enforcers at the source code level is presented. We assume that the enforcer is implemented
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83b21223fd8d56e715d205cd55bfa6b6
https://doi.org/10.1145/3092893.3092898
https://doi.org/10.1145/3092893.3092898
Publikováno v:
DATE
A concolic approach, called Slec-Cf, to check sequential equivalence between a high-level (e.g., C++/SystemC) hardware description and an RTL (e.g., Verilog) is presented. Slec-Cf searches for counterexamples over the possible values of a set of "con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb87fff150bf9b94cd9ba5208bbd74c2
https://doi.org/10.23919/date.2019.8715131
https://doi.org/10.23919/date.2019.8715131
Autor:
Sagar Chaki, Amit Vasudevan
Publikováno v:
EuroS&P
Robust security on a commodity low-cost and popular computing platform is a worthy goal for today's Internet of Things (IoT) and embedded ecosystems. We present the first practical security architecture on the Raspberry PI (PI), a ubiquitous and popu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1194689931d28a58fce3dc73dba78055
https://doi.org/10.1109/eurosp.2018.00021
https://doi.org/10.1109/eurosp.2018.00021
Autor:
Arie Gurfinkel, Sagar Chaki
Publikováno v:
Handbook of Model Checking ISBN: 9783319105741
Handbook of Model Checking
Handbook of Model Checking
Symbolic model checking based on Binary Decision Diagrams (BDDs) is one of the most celebrated breakthroughs in the area of formal verification. It was originally proposed in the context of hardware model checking, and advanced the state of the art i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0759cb33fdd6666e74bd0920f9a5d79
https://doi.org/10.1007/978-3-319-10575-8_8
https://doi.org/10.1007/978-3-319-10575-8_8
Publikováno v:
Formal Methods in System Design. 47:287-301
Regression verification is the problem of deciding whether two similar programs are equivalent under an arbitrary yet equal context, given some definition of equivalence. So far this problem has only been studied for the case of single-threaded deter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::937bfb39dc571d29ccc0383b8b274132
https://doi.org/10.1007/s10703-015-0237-0
https://doi.org/10.1007/s10703-015-0237-0
Autor:
Wayne A. Wheeler, Nicholas Cohen, Sagar Chaki, Michael Riley, William Snavely, Brad Runyon, Craig Meyers, Joseph Betser
Publikováno v:
AIAA SPACE and Astronautics Forum and Exposition.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ba99c94fca7f97610246e79dd467639a
https://doi.org/10.2514/6.2017-5305
https://doi.org/10.2514/6.2017-5305
Publikováno v:
SEAMS@ICSE
Approaches to decision-making in self-adaptive systems are increasingly becoming more effective at managing the target system by taking into account more elements of the decision problem that were previously ignored. These approaches have to solve co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88413e7359b74825a77b2708a9342d61
https://doi.org/10.1109/seams.2017.7
https://doi.org/10.1109/seams.2017.7
Autor:
Dionisio de Niz, Sagar Chaki
Publikováno v:
AIAA Information Systems-AIAA Infotech @ Aerospace.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c95235a537d7bdf3c12a23690e1a9f3
https://doi.org/10.2514/6.2017-0561
https://doi.org/10.2514/6.2017-0561
Publikováno v:
Runtime Verification ISBN: 9783319675305
RV
RV
The problem of composing multiple, possibly conflicting, runtime enforcers for a cyber-physical system (CPS) is considered. A formal definition of utility-agnostic and utility-maximizing CPS enforcers is presented, followed by an algorithm to combine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::984b45122a912a8665dc9de0c956679a
https://doi.org/10.1007/978-3-319-67531-2_5
https://doi.org/10.1007/978-3-319-67531-2_5