R. S. Sreenivas

15 papers B 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Fault-Tolerant Control of Discrete-Event Systems With Controllability Failures.
IEEE Control. Syst. Lett.
Arun Raman, R. S. Sreenivas
2015 J jnl
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems.
J. Intell. Manuf.
S. Chandrasekaran, N. Somnath, R. S. Sreenivas
2015 J jnl
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.
IEEE Trans. Autom. Control.
E. Salimi, R. S. Sreenivas
2015 J jnl
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets.
IEEE Trans. Autom. Control.
V. Deverakonda, R. S. Sreenivas
2013 J jnl
On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets.
IEEE Trans Autom. Sci. Eng.
N. Somnath, R. S. Sreenivas
2013 J jnl
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies.
IEEE Trans. Syst. Man Cybern. Syst.
R. S. Sreenivas
2013 — conf
On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets.
ICNSC
S. Chandrasekaran, R. S. Sreenivas
2012 J jnl
On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets.
IEEE Trans. Autom. Control.
R. S. Sreenivas
2008 J jnl
Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities.
IEEE Trans. Syst. Man Cybern. Part A
Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas
2008 B conf
Relaying a fountain code across multiple nodes.
ITW
Ramakrishna Gummadi, R. S. Sreenivas
2007 B conf
On Distributed Algorithms that Enforce Proportional Fairness in Ad-hoc Wireless Networks.
WiOpt
Nikhil Singh, R. S. Sreenivas
2006 — conf
Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation.
CASE
Tae-Eog Lee, Hwan-Yong Lee, R. S. Sreenivas
2003 — conf
Zonepow: a Novel Approach to Power control in Ad-Hoc Networks.
MWCN
Shachindra Sharma, R. S. Sreenivas
1992 J jnl
Ordinal optimization of DEDS.
Discret. Event Dyn. Syst.
Yu-Chi Ho, R. S. Sreenivas, Pirooz Vakili
1991 J jnl
On condition/event systems with discrete state realizations.
Discret. Event Dyn. Syst.
R. S. Sreenivas, Bruce H. Krogh
redb/extractors/decompiler/apk/__init__.py
← Index redb/extractors/decompiler/apk/__init__.py python 
"""APK code analysis module — androguard + JADX + apktool integration."""

from redb.extractors.decompiler.apk.analyzer import APKCodeAnalyzer
from redb.extractors.decompiler.apk.library_filter import LibraryFilter
from redb.extractors.decompiler.apk.smali_parser import SmaliParser
from redb.extractors.decompiler.apk.jadx_wrapper import JADXDecompiler
from redb.extractors.decompiler.apk.apktool_wrapper import ApktoolDisassembler

__all__ = [
    "APKCodeAnalyzer",
    "LibraryFilter",
    "SmaliParser",
    "JADXDecompiler",
    "ApktoolDisassembler",
]